Timeline


and

Jan 21, 2011:

11:46 PM NewPlugins edited by thoughtpolice
(diff)
11:44 PM NewPlugins edited by thoughtpolice
(diff)
11:39 PM NewPlugins edited by thoughtpolice
(diff)
11:37 PM NewPlugins edited by thoughtpolice
(diff)
11:36 PM NewPlugins edited by thoughtpolice
(diff)
11:35 PM NewPlugins edited by thoughtpolice
(diff)
11:33 PM NewPlugins edited by thoughtpolice
(diff)
11:30 PM NewPlugins edited by thoughtpolice
(diff)
11:19 PM NewPlugins edited by thoughtpolice
(diff)
11:05 PM Changeset in ghc [d17afd1]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Manually control more of the Cabal flags for the compiler and ghc packages For some reason the Windows HEAD builder has started thinking the ghci flag should be on in stage 1. This should fix it, and generally make things a little more resilient.
11:02 PM Changeset in ghc [2e9fee40]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some hardcoded makefile settings Now that we used cabal to configure the ghc-bin package they are no longer needed.
7:30 PM NewPlugins edited by thoughtpolice
(diff)
7:27 PM NewPlugins edited by thoughtpolice
(diff)
7:27 PM NewPlugins edited by thoughtpolice
(diff)
7:17 PM NewPlugins edited by thoughtpolice
(diff)
7:17 PM NewPlugins edited by thoughtpolice
(diff)
7:16 PM NewPlugins edited by thoughtpolice
(diff)
7:16 PM NewPlugins edited by thoughtpolice
(diff)
7:15 PM NewPlugins edited by thoughtpolice
(diff)
7:13 PM NewPlugins edited by thoughtpolice
(diff)
7:07 PM NewPlugins edited by thoughtpolice
(diff)
7:06 PM NewPlugins edited by thoughtpolice
(diff)
7:02 PM NewPlugins edited by thoughtpolice
(diff)
6:46 PM Ticket #4914 (FPU initialization required again) created by aruiz
I think that the bug [http://hackage.haskell.org/trac/ghc/ticket/2724
3:22 PM Ticket #4911 (GHC 7 does not process Handle correctly) closed by simonmar
duplicate: The testcase works after the fix for #4895, so closing as duplicate.
2:49 PM Ticket #4449 (GHC 7 can't do IO when demonized) closed by igloo
fixed: Fixed in HEAD and 7.0 by: […]
1:53 PM Ticket #4913 (Make event tracing conditional on an RTS flag only) created by tibbe
The current event tracing mechanism is enabled at link time by linking in …
10:05 AM SafeHaskell edited by simonmar
use cases for SafeImports/SafeLanguage? (diff)
9:17 AM NewPlugins edited by simonpj
(diff)
9:10 AM Commentary edited by simonpj
(diff)
9:00 AM Ticket #4912 (No warnings for orphan instances declared via TypeSynonymInstances) created by batterseapower
File Classes.hs: […] File Orphans.hs: […] Compile: […] This …
8:56 AM SafeHaskell edited by simonmar
(diff)
8:17 AM Ticket #4911 (GHC 7 does not process Handle correctly) created by kazu-yamamoto
Compile the following code: […] Let's call this binary "foo". If you …
7:11 AM Ticket #4910 (mkStdGen (-2^31) is ⊥) created by ion1
Quoting System/Random?.hs: […] Alas, the fact that… […] …results …
2:51 AM Ticket #4909 (ghc-7.0 cannot be compiled on Snow Leopard) created by kazu-yamamoto
When I tried to compile the latest ghc-7.0 branch, I can do it on Linux …
12:21 AM SafeHaskell edited by dterei
Big update, tried to reword to sepperate implementation out also includes … (diff)

Jan 20, 2011:

9:18 PM Ticket #4908 (Easy SpecConstr opportunity that is nonetheless missed) created by batterseapower
I was looking at the code using that uses unsafe indexing into STUArrays …
12:31 PM Ticket #4906 (peekCString crashes on handling nullPtr) created by sdjp
Not quite sure what the 'correct' behaviour here is; but here's a minimal …
12:03 AM Changeset in ghc [ecb2fdd1]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix OSTYPE test

Jan 19, 2011:

10:27 PM Ticket #4905 (New flag to disable warning on incomplete pattern matches in lambdas) created by batterseapower
The distinction between -fwarn-simple-patterns and …
10:22 PM Changeset in ghc [a04ec84]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only
2:06 PM Changeset in ghc [a59f5d65]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
tweak newArray# documentation again
10:18 AM Ticket #4904 (Documentation for mkWeakIORef is misleading) created by adept
Documentation for mkWeakIORef should mention that second value is used as …
9:34 AM Ticket #4903 (Inliner looping when specialising across modules (with GADTs and other ...) created by dreixel
While #4870 is fixed, the original code that caused that problem is still …
8:37 AM SafeHaskell edited by simonpj
(diff)
8:22 AM SafeHaskell edited by simonpj
(diff)
8:21 AM SafeHaskell edited by simonpj
(diff)
8:15 AM SafeHaskell edited by simonpj
(diff)
8:05 AM SafeHaskell edited by simonpj
(diff)
8:03 AM SafeHaskell edited by simonpj
(diff)

Jan 18, 2011:

11:45 PM Ticket #4902 (Create a primop for getting the size of an Array#) created by tibbe
We currently store the size of Array#s (and MutableArray#s): […] …
10:18 PM WikiStart edited by simonmar
(diff)
9:02 PM SafeHaskell edited by David
(diff)
12:23 PM SafeHaskell edited by simonpj
(diff)
12:16 PM Ticket #4901 (Possible bug in GHCi archive loading:) created by batterseapower
I'm not sure if this is a bug or an error in my understanding. In trying …
12:04 PM SafeHaskell edited by simonpj
(diff)
6:03 AM Commentary/Abbreviations edited by megacz
(diff)
5:59 AM Commentary/Abbreviations edited by megacz
(diff)
3:58 AM Ticket #4900 (DEPENDS pragma) created by cdsmith
Since a seemingly-growing amount of Haskell code is using Template Haskell …
1:51 AM ErlangInHaskell edited by jepst
(diff)
12:57 AM SafeHaskell edited by David
(diff)
12:44 AM Ticket #4899 (Non-standard compile plus Template Haskell produces spurious "unknown ...) created by jepst
Programs that use Template Haskell fail to link when doing a …

Jan 17, 2011:

11:58 PM Commentary/Abbreviations edited by megacz
(diff)
11:44 PM TypeNats/Operations edited by diatchki
(diff)
11:44 PM TypeNats/Operations edited by diatchki
(diff)
11:32 PM Ticket #4898 (internal error: evacuate(static): strange closure type 23675) created by levicc00123
Trying to install several packages from hackage, I get this error. Running …
11:20 PM TypeNats/Operations edited by diatchki
(diff)
10:34 PM NewPlugins edited by thoughtpolice
(diff)
10:32 PM NewPlugins edited by thoughtpolice
(diff)
10:31 PM NewPlugins edited by thoughtpolice
(diff)
10:30 PM NewPlugins edited by thoughtpolice
(diff)
10:25 PM NewPlugins edited by thoughtpolice
(diff)
10:25 PM NewPlugins edited by thoughtpolice
(diff)
10:12 PM NewPlugins edited by thoughtpolice
(diff)
10:11 PM NewPlugins edited by thoughtpolice
(diff)
10:10 PM NewPlugins edited by thoughtpolice
(diff)
10:09 PM NewPlugins edited by thoughtpolice
(diff)
10:08 PM NewPlugins edited by thoughtpolice
(diff)
10:07 PM NewPlugins edited by thoughtpolice
(diff)
9:57 PM Ticket #4897 (Bus error in Network package) closed by tibbe
invalid: Thanks for the bug report. Could you please file it on the network Trac …
9:16 PM Ticket #4897 (Bus error in Network package) created by batkins
I encountered a bus error when running some HTTP client code in GHC this …
7:24 PM Changeset in directory [632e371]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8patch-5014 by Ian Lynagh <igloo@…>
Add NondecreasingIndentation to the list of extensions
7:24 PM Changeset in unix [c45f4f7]encodingghc-7.2ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Add NondecreasingIndentation to the list of extensions
5:31 PM Commentary/Abbreviations edited by maltem
(diff)
3:52 PM NewPlugins edited by thoughtpolice
(diff)
12:22 PM Changeset in ghc [614c26b]wip/T9016 by Ian Lynagh <igloo@…>
Correct the gmp build phase
12:22 PM Changeset in integer-gmp [afe6cc0]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Correct the gmp build phase
12:14 PM Ticket #4896 (Deriving Data does not work for attached code) created by mitar
I get the following error when I try to derive Data for the attached …
12:12 PM Changeset in ghc [c7a4168]wip/T9016 by Ian Lynagh <igloo@…>
Tidy up gmp cleaning
12:12 PM Changeset in integer-gmp [60b66d9]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Tidy up gmp cleaning
9:34 AM NewPlugins created by thoughtpolice
6:51 AM Commentary/Abbreviations edited by megacz
(diff)
6:49 AM Commentary/Abbreviations edited by megacz
(diff)
6:01 AM Ticket #4895 (hGetBufSome returns 0 when it should not) created by guest
In the attached program hGetBufSome returns 0, but the handle contains …
3:18 AM Changeset in ghc [39f7c93]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Make sure we don't drop derived goals (temporary). Currently, I don't fully understand the role of "derived constraints", so this is just a place-holder until I can figure out what is the correct behavior.
3:16 AM Ticket #4894 (Missing improvement for fun. deps.) created by diatchki
The problem is illustrated by the following example: […] The issue …
12:26 AM Changeset in ghc [868de1af]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Change permissions.
12:26 AM Changeset in ghc [58c9e60]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Merge branch 'master' into type-nats Conflicts: compiler/typecheck/TcMType.lhs compiler/typecheck/TcSMonad.lhs

Jan 16, 2011:

10:32 PM Ticket #3678 (rejig the build system so that dummy-ghc isn't used) closed by igloo
fixed: Fixed, mostly by: […] along with several small patches around the same …
9:59 PM Changeset in ghc [3151f79a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add some operations on type-level naturals. The core of the work happens in module TcTypeNats (a new module).
9:56 PM Changeset in ghc [9cbc204]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add basic support for number type literals. We add a new kind, Nat, inhabited by a family of types, one for each natural number: 0, 1, 2 .. :: Nat In terms of GHC's sub-kind relation, Nat is only a sub-kind of itself. The numeric types are empty because there are no primitives of these types, and the kind "Nat" is not related to *, the kind of types which can be defined in Haskell programs.
9:44 PM Changeset in ghc [b40cea3e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Treat type operators as constants, not variables. Modifies the parser to treat all infix operators at the type level as constants, not type variables. This allows us to make definitions such as this: > data a + b = Test Change to import/exports ~~~~~~~~~~~~~~~~~~~~~~~~ With this change, writing (+) in an import/export specification is ambiguous because it is not clear if we should be importing/exporting the value level (+) or the type level one, or both. We solve this as follows: - Specifications which have subrodinates are aways types. For example, T(), F(..), and (+)() all refer to types. - Specification which do not have subbordinates remain unchanged: - variable names refer to values: f, (+) - constructor names refer to types: T, F, (:+) - Because (+)() looks odd, we also add a bit of new syntax. Writing: > type (+) is an abbreviation for: > (+)() (i.e., it imports/exports a type or class without any of its subordinates). To avoid clutter, we also allow multiple type/class constructors to be mentioned in a single 'type' specificatoin. For example: > type (+) (-) TypeNat imports/exports all of the specified types/classes.
9:41 PM Changeset in ghc [7f230528]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add a missing ASSERT.
9:41 PM Changeset in ghc [3d9a2abc]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fix comment.
9:41 PM Changeset in ghc [2abe72b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fix example comment.
9:11 PM Changeset in ghc [276888e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Remember that these files are executable.
9:10 PM Changeset in ghc [a38b5101]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add .gitignore. This is already on the main branch but I chose the base for my branch at a point before it was created. I did this, because this version of the repo (roughly) matches the version which was in darcs, when I last merged my changes so, hopefully, I can import my darcs patches without problems.
6:34 PM TypeNats edited by diatchki
(diff)
6:33 PM TypeNats/Naturals edited by diatchki
(diff)
6:32 PM TypeNats/Naturals edited by diatchki
(diff)
6:13 PM TypeNats/Basics edited by diatchki
(diff)
6:13 PM TypeNats/Operations created by diatchki
6:13 PM TypeNats/Basics edited by diatchki
(diff)
6:12 PM TypeNats/Naturals created by diatchki
6:12 PM TypeNats edited by diatchki
(diff)
6:05 PM TypeNats/Basics edited by diatchki
(diff)
6:02 PM TypeNats/Basics edited by diatchki
(diff)
6:00 PM TypeNats/Basics edited by diatchki
(diff)
5:58 PM TypeNats/Basics edited by diatchki
(diff)
5:57 PM TypeNats/Basics edited by diatchki
(diff)
5:56 PM TypeNats/Basics edited by diatchki
(diff)
5:54 PM TypeNats/Basics edited by diatchki
(diff)
5:40 PM TypeNats/Basics edited by diatchki
(diff)
5:33 PM TypeNats/Basics edited by diatchki
(diff)
5:33 PM TypeNats/Basics edited by diatchki
(diff)
5:29 PM TypeNats/Basics edited by diatchki
(diff)
5:25 PM TypeNats/Implementation edited by diatchki
(diff)
5:25 PM TypeNats edited by diatchki
(diff)
5:24 PM TypeNats edited by diatchki
(diff)
5:24 PM TypeNats/AlternativeSingletons created by diatchki
5:24 PM TypeNtas created by diatchki
5:22 PM TypeNats edited by diatchki
(diff)
5:20 PM TypeNtas/AlternativeSingletins edited by diatchki
(diff)
5:07 PM TypeNtas/AlternativeSingletins created by diatchki
4:56 PM TypeNats edited by diatchki
(diff)
4:51 PM TypeNats/Basics edited by diatchki
(diff)
4:49 PM TypeNats edited by diatchki
(diff)
4:46 PM TypeNats/ImplicitExplicit edited by diatchki
(diff)
4:44 PM TypeNats/ImplicitExplicit edited by diatchki
(diff)
4:43 PM TypeNats/ImplicitExplicit edited by diatchki
(diff)
4:43 PM TypeNats/ImplicitExplicit edited by diatchki
(diff)
4:38 PM TypeNats/Basics edited by diatchki
(diff)
4:36 PM TypeNats/Basics edited by diatchki
(diff)
Note: See TracTimeline for information about the timeline view.