Timeline


and

Feb 22, 2012:

10:30 PM Changeset in ghc [ec37da2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Update dependencies
10:21 PM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
10:05 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
add note re changing record constructor -- AntC (diff)
8:38 PM Changeset in ghc [51fbbbb2]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Update test outputs now the bytestring version number has changed These really ought to be normalised, but this gets them passing again for now.
8:38 PM Changeset in testsuite [d5af4d2]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Update test outputs now the bytestring version number has changed These really ought to be normalised, but this gets them passing again for now.
7:11 PM Changeset in unix [d1e86fe]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Update dependencies
7:10 PM Changeset in ghc [9f29c9a2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Update dependencies
4:40 PM Ticket #5892 (Compiler crash and other oddities when using RecordWildCards with record ...) created by parcs
GHC exhibits an irrefutable pattern failure when attempting to compile or …
3:54 PM Changeset in ghc [0a88274]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Simplified serialization of IfaceTyCon, again Jose's patch implementing kind-polymorphic core (09015be8d580bc33f5f1960c8e31d00ba7a459a1) reverted many of the simplifying changes to interface file TyCon serialization I had made in a previous patch (5d7173f9ab8405511f75765e0541a04796d9bd07). Based on the diff I think this was an unintended consequence of how Jose did the merge rather than a real change he intended to make. In fact, as a result of kind-polymorphic core we don't need to treat the Any TyCon specially any longer so my old simplifying changes can be made even simpler: IfaceTyCon is now just a newtype on IfaceExtName.
1:57 PM Changeset in base [4dd170d]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove an unsed definition in HsBase.h Bytestring uses it, so I've moved it into that package.
1:57 PM Changeset in ghc [e0db134]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Remove an unsed definition in HsBase.h Bytestring uses it, so I've moved it into that package.
4:02 AM Records edited by guest
(diff)
3:53 AM Records/NameSpacing edited by guest
(diff)
3:41 AM Records/NameSpacing edited by guest
q's about update semantics -- AntC (diff)
3:08 AM Ticket #5891 ("createDirectory: already exists" error with parallel build) created by akio
When I invoke multiple instances of GHC in parallel, I sometimes get an …
3:08 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
add speculative approach for higher-ranked types with constraints -- AntC (diff)
2:36 AM Changeset in ghc [d7d6c42]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix validating with HADDOCK_DOCS=YES
1:48 AM Changeset in ghc [fdbe5f4]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Update output for rnfail055 again
1:48 AM Changeset in testsuite [0199237]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Update output for rnfail055 again
1:47 AM Changeset in unix [7259fcd]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Convert some FFI decls to use capi
1:46 AM Changeset in ghc [544926d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove support for CTYPE pragmas on type synonyms It's not clear whether it's desirable or not, and it turns out that the way we use coercions in GHC means we tend to lose information about type synonyms.
1:46 AM Changeset in base [d9b24c6]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix an FFI decl: it should have been using capi but was using ccall
1:46 AM Changeset in ghc [d5fa875]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix an FFI decl: it should have been using capi but was using ccall
1:45 AM Changeset in ghc [de39a6fd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Remove type synonym part of Capi_Ctype_001 We no longer support CTYPE pragmas on type synonyms
1:45 AM Changeset in testsuite [64da5fe]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Remove type synonym part of Capi_Ctype_001 We no longer support CTYPE pragmas on type synonyms
12:54 AM Changeset in base [1025700]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Change CSigset into a (empty) datatype This is necessary now that we no longer allow CTYPE pragmas on type synonyms.
12:54 AM Changeset in ghc [38799c7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Change CSigset into a (empty) datatype This is necessary now that we no longer allow CTYPE pragmas on type synonyms.
12:21 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
12:09 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)

Feb 21, 2012:

11:44 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
11:37 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
11:33 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
11:00 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
10:13 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
10:10 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
9:59 PM Changeset in ghc [4b78411]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Follow more output changes
9:59 PM Changeset in testsuite [79d99ac]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Follow more output changes
9:58 PM Records/DotOperator edited by guest
added note re DORF dot notation -- AntC (diff)
9:46 PM Changeset in ghc [043a7c89]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Accept output in ccfail004 Newtype handling in FFI decls is no longer relaxed
9:46 PM Changeset in testsuite [b95df77]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept output in ccfail004 Newtype handling in FFI decls is no longer relaxed
9:39 PM Changeset in ghc [f98922b9]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Accept update
9:39 PM Changeset in testsuite [d7546b0]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept update
9:38 PM Changeset in ghc [ac780dfe]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Follow change in bindisttest install directory name
9:38 PM Changeset in testsuite [d3479d6]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Follow change in bindisttest install directory name
9:29 PM Changeset in ghc [62494e7]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a hack to make validating with HADDOCK_DOCS=NO work I've also renamed the bindisttest install directory to contain multiple spaces, so we are also testing that multiple spaces aren't getting collapsed into a single space.
7:55 PM Changeset in ghc [1e872802]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Be stricter about abstract newtypes in FFI declarations again. This reverts the relaxation in c6b0fd62fc715aa6c666eb8afe09073ac7b87a83
7:19 PM Changeset in ghc [4082460]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Show the CType in --show-iface output
6:33 PM Changeset in base [58a1bda]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Convert some more declarations to use the CAPI
6:33 PM Changeset in ghc [3da3890]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Convert some more declarations to use the CAPI
5:20 PM Changeset in base [7881b12]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Redo the sigset capi changes Now that we have the CTYPE pragma we can do this in such a way that it doesn't break the build on OS X.
5:20 PM Changeset in ghc [142bfae]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Redo the sigset capi changes Now that we have the CTYPE pragma we can do this in such a way that it doesn't break the build on OS X.
4:58 PM Ticket #5890 (Illegal instance declaration for `Show Doc') created by mcandre
I can't install hmatrix-syntax because template-haskell has errors. …
3:46 PM Changeset in ghc [5f3b4ddb]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix Capi_Ctype_001 on case-sensitive filesystems
3:46 PM Changeset in testsuite [cbf0af0]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix Capi_Ctype_001 on case-sensitive filesystems
2:59 PM Changeset in ghc [40cb7f1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
GHC trees no longer include the extensible-exceptions package
2:26 PM Ticket #5889 (-fno-prof-count-entries leads to linking errors) created by akio
When I compile the attached program with a certain set of flags, I get a …
11:02 AM Changeset in ghc [f016aa15]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Minor Haddock documentation fix
11:02 AM Changeset in ghc-prim [8682838]ghc-7.6ghc-7.8 by Jose Pedro Magalhaes <jpm@…>
Minor Haddock documentation fix
9:29 AM Ticket #5888 (Performance regression in 7.4.1 compared to 6.12.3) created by nickie
Unless I'm doing something really stupid, there seems to be a significant …
6:01 AM Ticket #5887 (ghci win7 ctrl+c panic) created by MCMayor
Running GHCI in Windows 7, type: "ghci" then Enter "yo" then Ctrl+c dude …
4:41 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
4:36 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
4:22 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
4:18 AM Ticket #5261 (-pgmF messes up hpc .mix output) closed by elaforge
fixed: I just tried this with 7.4.1 and it looks like it's fixed!
4:06 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
3:40 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
3:18 AM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
pretty up the linking, add wilder afterthought -- AntC (diff)
2:48 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
2:44 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
pretty up links -- AntC (diff)
2:27 AM Records/DeclaredOverloadedRecordFields edited by guest
add clarifications, format links -- AntC (diff)
2:08 AM Records edited by guest
add a few teasers where the DORF proposal differs -- AntC (diff)
2:06 AM Records edited by guest
(diff)

Feb 20, 2012:

9:48 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
afterthought re Proxy types vs Kinds (diff)
9:32 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
(diff)
9:21 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
note re updating higher-ranked types (diff)
9:02 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
8:51 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
fix some typo's/formatting (diff)
11:24 AM Ticket #5886 (TH: Type family instances inside InstanceD are rejected) created by mikhail.vorozhtsov
The following code is broken by f92591defcb5c4803c301558d51e3f8c9c92a985: …
4:36 AM Ticket #5885 (+RTS -? does not work) closed by akio
invalid: This turned out to be a shell behavior. +RTS '-?' works for me. I'm sorry …

Feb 19, 2012:

11:49 PM Ticket #5885 (+RTS -? does not work) created by akio
Compile the following hello.hs: main = putStrLn "hello" with: ghc …
9:49 PM Records/DeclaredOverloadedRecordFields edited by guest
added poly record pattern (diff)
9:49 PM Records/DeclaredOverloadedRecordFields/PolyRecordPattern created by guest
added, in response to John's suggestion
8:25 PM Ticket #5884 (GHC panics while trying to derive a Generic instance for Complex a) created by mux
Using the StandaloneDeriving and DeriveGeneric extensions, GHC panics when …
1:04 PM Changeset in ghc [13875c61]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Merge branch 'newcg' of /home/simonmar/code-all/work/ghc-newcg into newcg
1:04 PM Changeset in ghc [8071691]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove some obsolete notes

Feb 18, 2012:

8:11 PM Ticket #5883 (INLINE pragmas in instances declarations in quasiqutation are lost) created by Khudyakov
Lets consider following code: […] There is no INLINE pragma. But it's …
4:53 PM Commentary/Compiler/UnpackPrimitiveFields created by tibbe
3:23 PM Changeset in ghc [9919372b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Update tests following OldException removal Some redundant test have now been removed
3:23 PM Changeset in testsuite [72a4c45]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Update tests following OldException removal Some redundant test have now been removed
3:23 PM Changeset in base [1fe544c]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove Control.OldException
3:23 PM Changeset in ghc [a359804b]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Remove Control.OldException
2:08 PM Changeset in base [93fa8ee]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix build on 32bit platforms
2:08 PM Changeset in ghc [11c4880c]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix build on 32bit platforms
12:07 AM Records edited by guest
(diff)
12:05 AM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
12:02 AM Records/DeclaredOverloadedRecordFields edited by guest
(diff)

Feb 17, 2012:

11:53 PM DORF Prototype ADC5 15Feb2012.lhs attached to Records/DeclaredOverloadedRecordFields/ImplementorsView by guest
Prototype implementation
11:51 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
11:44 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
11:43 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
11:41 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
11:41 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
(diff)
11:38 PM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by guest
publish, needs links (diff)
11:29 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
11:26 PM Records/DeclaredOverloadedRecordFields/DotPostfix created by guest
publish and be damned
11:15 PM Records/DeclaredOverloadedRecordFields edited by guest
further page splitting (diff)
11:13 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by guest
complete (diff)
11:06 PM Records/DeclaredOverloadedRecordFields/COmpareSORF created by guest
split from orig
11:03 PM Records/DeclaredOverloadedRecordFields/ImplementorsView created by guest
save interim
10:56 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
10:55 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
10:47 PM Changeset in base [71bba40]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use the new unsigned quotRem primop
10:47 PM Changeset in ghc [e757f8eb]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Use the new unsigned quotRem primop
10:46 PM Changeset in ghc [7a7f6d70]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a primop for unsigned quotRem; part of #5598 Only amd64 has an efficient implementation currently.
10:35 PM Records/DeclaredOverloadedRecordFields/NoMonoRecordFields created by guest
creat page, split from orig text
10:34 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
10:28 PM Records/DeclaredOverloadedRecordFields edited by guest
(diff)
10:08 PM Records edited by guest
Add DORF option (diff)
10:00 PM Records/DeclaredOverloadedRecordFields created by guest
initial upload from text file
9:26 PM Ticket #5882 (Template Haskell declaration quote reports error with GADT syntax) created by goldfire
Consider the following code: […] The type Foo compiles just …
9:15 PM Changeset in ghc [efd78ac5]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Small refactor Moved the default case of genCCall64 out into a separate function
8:56 PM Changeset in ghc [1b7dfd7f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Small refactoring: Use (Maybe Header) rather than FastString
8:46 PM Ticket #5881 (Type synonyms of promoted types break across library boundaries?) created by bjornbm
1. Build a library/package consisting of the following module: […] 2. …
6:39 PM Changeset in ghc [5d7fd293]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add some docs for the CAPI extension
5:44 PM Changeset in ghc [3b4572b7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add another test for CAPI / CTYPE This tests that the header given in the CTYPE pragma is handled.
5:44 PM Changeset in testsuite [b1325a71]atomicsdata-kind-syntaxghc-7.6ghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add another test for CAPI / CTYPE This tests that the header given in the CTYPE pragma is handled.
5:42 PM Changeset in ghc [7b24c3f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Allow a header to be specified in a CTYPE pragma You can now say data {-# CTYPE "some_header.h" "the C type" #-} Foo = ... I think it's rare that this will actually be needed. If the header for a CAPI FFI import includes a void f(ctype x); prototype then ctype must already be defined. However, if the header only has #define f(p) p->j then the type need not be defined. But either way, it seems good practice for us to specify the header that we need.
5:35 PM Changeset in testsuite [cf30eb8]ghc-new-co by Simon Peyton Jones <simonpj@…>
Error message wibbles
3:28 PM Changeset in ghc [5940bfd]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Now I understand why Constraint is a sub-kind of ArgKind!
3:14 PM Ticket #5242 (IntMap.differenceKeysSet for removing an IntSet of keys) closed by milan
wontfix: Hi, I am closing the proposal. The representation of IntSet has changed …
3:07 PM Ticket #1816 (Add Data.Set.mapMaybe) closed by milan
wontfix: Hi, I am closing the proposal for now. I do not believe it is worth …
2:03 PM Changeset in base [c5f337a]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
2:03 PM Changeset in ghc [9d60296b]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
2:02 PM Changeset in base [491c359]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Eta expand unsafeCoerce and add a pointer to the Note
2:02 PM Changeset in ghc [f38789e7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Eta expand unsafeCoerce and add a pointer to the Note
2:02 PM Changeset in base [c78232d]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Use throwIO rather than throw where possible This makes exceptions more predictable.
2:02 PM Changeset in ghc [291633f4]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Use throwIO rather than throw where possible This makes exceptions more predictable.
2:01 PM Changeset in ghc [4c29dcb]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:01 PM Changeset in ghc [1bc80144]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to sub-kinding
2:00 PM Changeset in ghc [16e7a032]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix a missing defaultKind that resulted in lingering ArgKinds
2:00 PM Changeset in ghc [0a5e4c64]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix a nasty bug in the canonicaliser which was failing to emit kind constraints when decomposing an application. Resulting code is actually shorter!
1:59 PM Changeset in ghc [94496fce]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
More simplification of the sub-kinding story
1:57 PM Changeset in ghc [9789b03]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implement a typing rule for saturated seq, and document it Also add notes about unsafeCoerce The general thread here is to reduce use of ArgKind after the type checker; it is so fragile!
1:56 PM Changeset in ghc [e867f423]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Substantially nicer code in record updates
1:55 PM Changeset in ghc [f970ae2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the specialiser understand about polymorphic kinds
1:55 PM Changeset in ghc [c676a15e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Define TypeVar (like KindVar), isTypeVar, isKindVar, and use them This is the start of more global renaming
1:52 PM Changeset in ghc [fcf977a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Move sortQuantVars to MkCore
1:51 PM Changeset in ghc [4d84cc25]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Kill dead code
8:24 AM Ticket #2021 (let ghc find framework header files and link with frameworks located in ...) closed by maeder
wontfix: I'm closing this old ticket since I no longer use frameworks
3:26 AM Ticket #5880 (Add sync-all new-workdir) created by tibbe
The attached patch implements a new sync-all command, which calls …
Note: See TracTimeline for information about the timeline view.