Timeline


and

Dec 9, 2012:

10:00 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
9:56 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
9:56 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
8:17 PM Ticket #7492 (Generic1 deriving: Can we replace Rec1 f with f :.: Par1?) created by spl
It seems like Rec1 f is isomorphic to f :.: Par1. Is it possible and …
8:09 PM Ticket #7310 (Compiler nontermination on UNPACK pragmas) closed by igloo
fixed: Thanks for the report. This is fixed in HEAD and the 7.6 branch by …
7:34 PM Changeset in ghc [b339dd48]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change how sync-all handles directory changes We now remember the current working directory right at the start, and change back to it after we've finished working in a subdirectory. This should fix a problem some people have been seeing, where sync-all thinks that they have an out-of-date time library because its working directory has gone wrong somehow.
5:26 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
5:10 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
5:08 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
5:02 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
4:59 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
4:58 PM Commentary/Compiler/TypeNatSolver edited by diatchki
(diff)
8:05 AM Changeset in ghc [87c0a59a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: don't include scalar types in base set of parallel tycons
6:24 AM Changeset in ghc [a33dddc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: distinguish vectorised from parallel types and functions - We sometimes need to vectorise types and functions because they might be needed in a vectorised context, not because they do directly introduce parallelism.

Dec 8, 2012:

9:49 PM Ticket #7491 (getNumCapabilities uses n_capabilities instead of enabled_capabilities) created by Yuras
setNumCapabilities newer removes capabilities, it just disables them when …
8:27 PM TypeNats edited by diatchki
(diff)
8:26 PM TypeNats edited by diatchki
(diff)
8:25 PM Commentary edited by diatchki
(diff)
8:24 PM Commentary/Compiler edited by diatchki
(diff)
8:22 PM Commentary edited by diatchki
(diff)
7:52 PM Changeset in ghc [ecd96761]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix loading dynamic interfaces when using -dynamic-too We need to have WayDyn in the ways in the DynFlags, or the interface loader will fail. -dynamic-too now correctly evaluates whether or not it is possible to build for the dynamic way too, but doesn't actually do so yet.
7:29 PM Ticket #7490 (ghc-stage1 panic when building a cross-compiler or cross-building a ...) created by singpolyma
[…]
7:03 PM Changeset in ghc [0c4a9f3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a function to change DynFlags to be suitable for compiling for way=dynamic Will be used when we are compiling with -dynamic-too. This needed a little refactoring of the "addWay" code to allow the code to be shared.
5:16 PM Changeset in ghc [e5182b7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add replaceDynFlags to the ContainsDynFlags class
4:46 PM Ticket #7476 (-ddump-minimal-imports confused if first line is an import) closed by igloo
fixed: Test added.
4:45 PM Ticket #7474 (Panic with zonkQuantifiedTyVar in GHC 7.6.1) closed by igloo
fixed: Test added, and looks fine in 7.6 branch.
4:44 PM Ticket #7489 (Obscure warning: Var/Type length mismatch when using GADTs and ...) created by portnov
GHC 7.4.2 and 7.6.1 both write obscure warning without any link to source …
4:43 PM Changeset in ghc [cea7aa33]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:24 PM Changeset in ghc [d7d25db]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:50 PM Changeset in ghc [713c514d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
3:49 PM Changeset in ghc [dbb5a87]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7474
3:49 PM Changeset in testsuite [a1be96f5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7474
12:19 PM Changeset in ghc [33ab3f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7476
12:19 PM Changeset in testsuite [fc20d6c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7476

Dec 7, 2012:

11:20 PM Changeset in ghc [609aecb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Tweaks to dynamic-too code
10:09 PM Changeset in ghc [1435eef]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Refactor primitive field unpacking check
9:47 PM Changeset in ghc [7bf6eb9a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Minor twiddle to -funbox-strict-primitive-fields docs
9:02 PM ReportABug edited by igloo
(diff)
7:12 PM Building/MacOSX edited by tibbe
(diff)
6:38 PM Changeset in ghc [c1c2d849]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:36 PM Changeset in ghc [86e2a2a4]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't set "-O0 -g" C flags when -debug is given -debug now only determines whether or not a debug RTS is linked in. To get main() with debugging symbols you need to explicitly say -optc-O0 -optc-g
6:17 PM Changeset in ghc [1d50de5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Move UnboxStrictPrimitiveFields.hs to the right directory
6:17 PM Changeset in testsuite [56036c9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Move UnboxStrictPrimitiveFields.hs to the right directory
5:25 PM Ticket #7445 (template-haskell : need a good error message instead of just an ...) closed by igloo
fixed: Merged as 1183080b1b45dbcaa6af1154e2e668f924598772
5:25 PM Ticket #7478 (setSessionDynFlags does not always work) closed by igloo
fixed: Merged as 16ba75714cc22aeb86425679ad24b996a2b30fea
5:24 PM Ticket #7471 (Documentation bug: hs_init is incorrectly called in the example) closed by igloo
fixed: Merged as 723570dab0384e295ced98089703060fce52e616
5:00 PM Changeset in ghc [4f7027d]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Document -funbox-strict-primitive-fields
4:21 PM Changeset in ghc [e415777c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Detabbing
4:15 PM Changeset in ghc [b85a849b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Pessimistically assume that unknown arches can't do unaligned loads
3:49 PM Changeset in ghc [1183080]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Stop attempting to "trim" data types in interface files Without -O, we previously tried to make interface files smaller by not including the data constructors of data types. But there are a lot of exceptions, notably when Template Haskell is involved or, more recently, DataKinds. However Trac #7445 shows that even without TemplateHaskell, using the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ is enough to require us to expose the data constructors. So I've given up on this "optimisation" -- it's probably not important anyway. Now I'm simply not attempting to trim off the data constructors. The gain in simplicity is worth the modest cost in interface file growth, which is limited to the bits reqd to describe those data constructors. Conflicts: compiler/main/TidyPgm.lhs
3:47 PM Changeset in ghc [90bf23c1]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Release notes update
3:46 PM Changeset in ghc [16ba757]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Invalidate the ModSummary cache in setSessionDynFlags (#7478)
3:45 PM Changeset in ghc [723570da]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
fix code in library initialisation example (#7471)
1:16 PM Ticket #7488 (Promotion of newtypes) created by dreixel
[…] The program above raises the error: `A of kind * is not …
12:08 PM Changeset in ghc [b4444878]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
delete stray file
12:08 PM Changeset in testsuite [e0ba47a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
delete stray file
12:08 PM Changeset in ghc [63e4bcac]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add test for #7478
12:08 PM Changeset in testsuite [fd681c4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #7478
12:05 PM Changeset in ghc [27770ae5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Invalidate the ModSummary cache in setSessionDynFlags (#7478)
10:50 AM Changeset in ghc [250f026]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix code in library initialisation example (#7471)
10:37 AM Changeset in ghc [e4feb52]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix description of ghci instance env bug
10:22 AM Changeset in ghc [93e82e23]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
10:22 AM Changeset in testsuite [fbfb43d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
10:22 AM Changeset in ghc [34534c53]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7445
10:22 AM Changeset in testsuite [6fec11b4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7445
9:50 AM GhcKinds/KindsWithoutData edited by dreixel
(diff)
8:57 AM Ticket #7485 (Tuple constraints not properly kinded) closed by simonpj
invalid: I think that is as expected. In the source language at least, * and …
5:58 AM DataParallel/VectPragma edited by chak
(diff)
5:47 AM DataParallel/VectPragma edited by chak
(diff)
5:41 AM DataParallel/VectPragma edited by chak
(diff)
5:30 AM Changeset in ghc [2ecdaed]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Add test for -funbox-strict-primitive-fields
5:30 AM Changeset in testsuite [b2c5047]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Add test for -funbox-strict-primitive-fields
5:23 AM Changeset in ghc [566920c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Add -funbox-strict-primitive-fields When enabled, this flag causes all strict fields which representation is smaller or equal to the size of a pointer to be unboxed.
5:10 AM DataParallel/VectPragma edited by chak
(diff)
4:40 AM DataParallel/VectPragma edited by chak
(diff)
3:01 AM Changeset in ghc [cc21a70]overlapping-tyfams by Richard Eisenberg <eir@…>
Change in comments
2:15 AM Changeset in testsuite [063c8db]overlapping-tyfams by Richard Eisenberg <eir@…>
Changed expected output of one test to account for pretty-printer change.
1:44 AM Ticket #7347 (Existential data constructors should not be promoted) closed by igloo
Merged as e3dc71de7307d30f6063a8447b93e54f1551a041 and …
1:43 AM Ticket #7479 (ArrowChoice unit law in haddock seems to be wrong) closed by igloo
fixed: Merged as 56c8295c638a03676a9be8d34195e6be945ddc2c.
1:32 AM Changeset in ghc [81a2dd3]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:26 AM Changeset in ghc [77e5aa77]overlapping-tyfams by Richard Eisenberg <eir@…>
Change output of CoAxioms to look prettier.
1:26 AM Changeset in testsuite [432e510]overlapping-tyfams by Richard Eisenberg <eir@…>
Update to various tests to reflect output changes due to overlapping type family instances.
1:06 AM Changeset in ghc [e5ded8b]overlapping-tyfams by Richard Eisenberg <eir@…>
Miscellaneous bug fixes that came up during validation.
12:43 AM Changeset in ghc [f630eb51]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Document promotion of existential data types Thanks to Richard Eisenberg for writing this.
12:42 AM Changeset in ghc [e3dc71de]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Allow existential data constructors to be promoted This reverts the change in Trac #7347, which prevented promotion of existential data constructors. Ones with constraints in their types, or kind polymorphism, still can't be promoted.
12:42 AM Changeset in base [56c8295]ghc-7.6 by Ian Lynagh <ian@…>
fix #7479: ArrowChoice unit law in doc comment
12:41 AM Changeset in ghc [3e1925a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
More release notes
12:18 AM Changeset in ghc [d99810d8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Start on release notes for 7.6.2

Dec 6, 2012:

11:55 PM Ticket #7487 (Deriving Generic1 for a type containing Either) created by spl
With the following code: […] I get the error message: […] But …
11:10 PM Changeset in base [9fe3a43]ghc-7.6 by Ian Lynagh <ian@…>
Bump version to 4.6.0.1
11:00 PM Changeset in unix [b08de9b]ghc-7.6 by Ian Lynagh <ian@…>
Bump version number to 2.6.0.1
9:40 PM Ticket #7486 (dblatex can't build docs; fix included.) created by rlpowell
Currently, on my Fedora 17 system, the following occurs when you try to …
8:50 PM Changeset in ghc [9b2882c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of mac:ghc/git/val64/.
7:34 PM Changeset in ghc [6bdac1c3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make nativeCodeGen return the rest of its UniqSupply
7:12 PM Ticket #7485 (Tuple constraints not properly kinded) created by goldfire
Consider this: […] So far, so good. But, adding the following causes …
6:58 PM Changeset in ghc [c10a1b84]wip/T9016wip/ampwip/coveritywip/orf by Johan Tibell <johan.tibell@…>
Add word2float
6:58 PM Changeset in ghc-prim [dbe66a7]ghc-7.8 by Johan Tibell <johan.tibell@…>
Add word2float
4:33 PM Changeset in nofib [270c8d8]supercompiler by Max Bolingbroke <batterseapower@…>
Ad-hoc nofib-analyse changes and SUPERCOMP_HC_OPTS
4:31 PM Changeset in ghc [08e33edf]supercompiler by Max Bolingbroke <batterseapower@…>
Last bug fixes and flag additions.
4:14 PM Changeset in ghc [8a0534f6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:03 PM Changeset in ghc [9a20e540]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Stop attempting to "trim" data types in interface files Without -O, we previously tried to make interface files smaller by not including the data constructors of data types. But there are a lot of exceptions, notably when Template Haskell is involved or, more recently, DataKinds. However Trac #7445 shows that even without TemplateHaskell, using the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ is enough to require us to expose the data constructors. So I've given up on this "optimisation" -- it's probably not important anyway. Now I'm simply not attempting to trim off the data constructors. The gain in simplicity is worth the modest cost in interface file growth, which is limited to the bits reqd to describe those data constructors.
3:38 PM Changeset in base [9aa29b8]data-proxydbcsghc-7.8type-reasoning by Daniel Fischer <daniel.is.fischer@…>
Worker/Wrapper and static argument transform for `until` so it can be inlined With the direct top level recursion, `until` cannot be inlined by GHC, so no strictness analysis and consequently no unboxing occurs at the call site. With the recursion delegated to the worker with the condition and update function static arguments, it can be inlined, and strictness analysis can happen.
3:38 PM Changeset in ghc [43a383f]wip/T9016wip/ampwip/coveritywip/orf by Daniel Fischer <daniel.is.fischer@…>
Worker/Wrapper and static argument transform for `until` so it can be inlined With the direct top level recursion, `until` cannot be inlined by GHC, so no strictness analysis and consequently no unboxing occurs at the call site. With the recursion delegated to the worker with the condition and update function static arguments, it can be inlined, and strictness analysis can happen.
3:37 PM Changeset in base [392f285]data-proxydbcsghc-7.8type-reasoning by Daniel Fischer <daniel.is.fischer@…>
Remove trailing whitespace in GHC.Base
3:37 PM Changeset in ghc [84a989b4]wip/T9016wip/ampwip/coveritywip/orf by Daniel Fischer <daniel.is.fischer@…>
Remove trailing whitespace in GHC.Base
1:31 PM Ticket #7484 (Template Haskell allows building invalid record fields/names) created by iustin
This is not really a bug, more like a unintuitive behaviour. Due to a bug …
10:59 AM Ticket #7483 (Broken Read instance for Data.Fixed ("no parse" in legitimate cases).) created by navaati
read "Just 12.30" :: Maybe Centi throws "* Exception: …
8:33 AM Commentary/Rts/Word edited by Yuras
fix link to StgWord? definition (diff)

Dec 5, 2012:

10:46 PM Changeset in ghc [d842dffa]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use a MonadIO instance instead of an 'io' function
9:42 PM Changeset in ghc [b25d7090]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add the beginnings of support for building vanilla and dynamic at the same time
8:45 PM Changeset in ghc [ccdccee]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in iface/IfaceType.lhs
8:35 PM Changeset in ghc [71b5ca5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactor findAndReadIface; no functional changes
7:27 PM Changeset in ghc [3864da2f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Typo
6:30 PM Changeset in ghc [5b746f5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:05 PM Changeset in ghc [6c1caeb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
6:05 PM Changeset in testsuite [c4fe55f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:33 PM Changeset in testsuite [495a1b4]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
5:33 PM Changeset in ghc [52f2ba1]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
5:29 PM Changeset in ghc [467d575]overlapping-tyfams by Richard Eisenberg <eir@…>
Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated docs/core-spec to reflect new axioms.
4:41 PM Changeset in ghc [b0626b63]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document promotion of existential data types Thanks to Richard Eisenberg for writing this.
4:41 PM Changeset in ghc [57d67983]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When using a GHC plugin, load its interface file very partially: just enough that it can be used, without its rules and instances affecting (and being linked from!) the module being compiled.
4:37 PM Changeset in ghc [3fc453a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't define DYNAMIC when compiling the dyn way We want to compile the sources only once, and to produce both vanilla and dyn object files. This means that the sources can't differ for the two ways. This needed a bit of a kludge to get keepCAFsForGHCi included only in the dynamic library.
4:15 PM Ticket #7482 (GHC.Event overwrites main IO managers hooks to RTS) created by AndreasVoellmy
The IO manager registers two file descriptors with the RTS which the RTS …
1:13 PM Changeset in ghc [95d8658a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
In FP_GCC_VERSION, test $CC not $GCC $GCC is empty when autoreconf 2.56 or 2.59 is used, although it works with 2.67. If testing $GCC with 2.5* worked in the past then I'm not sure when/why it broke.
12:53 PM Building/GettingTheSources edited by igloo
(diff)
11:29 AM Ticket #7481 (Partially promoted data types) created by simonpj
Consider […] Is D a promoted type? Well, D1 is promotable, but …
11:18 AM Changeset in ghc [f971e75e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
11:17 AM Changeset in ghc [bb2f56a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add comment
11:09 AM Changeset in ghc [f3938cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Now that existential data constructors can be promoted T7347 passes And test 'Holdermans' was simply a duplicate
11:09 AM Changeset in testsuite [7ef55d7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Now that existential data constructors can be promoted T7347 passes And test 'Holdermans' was simply a duplicate
11:07 AM Changeset in ghc [431e8047]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:07 AM Changeset in ghc [c0d8469]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow existential data constructors to be promoted This reverts the change in Trac #7347, which prevented promotion of existential data constructors. Ones with constraints in their types, or kind polymorphism, still can't be promoted.
6:06 AM Changeset in ghc [895ff21]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: fix vectorisation avoidance for case expressions
4:28 AM Changeset in ghc [b77da25e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Rewrote vectorisation avoidance (based on the HS paper) * Vectorisation avoidance is now the default * Types and values from unvectorised modules are permitted in scalar code * Simplified the VECTORISE pragmas (see http://hackage.haskell.org/trac/ghc/wiki/DataParallel/VectPragma for the spec) * Vectorisation information is now included in the annotated Core AST

Dec 4, 2012:

10:42 PM Ticket #7480 (Proposal: Add Functor instances for ArgOrder, OptDescr and ArgDescr) created by basvandijk
The attached patch adds Functor instances for the types in …
10:30 PM Ticket #7462 (New nofib benchmark for unpacked arrays and floating point arithmetic) closed by tibbe
fixed: Merged as [14bccff2c547c0e06fe8f98607b9cf18890ef051/nofib].
7:36 PM Changeset in ghc [50905e1a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Revert "Fix pprPanic so that it doesn't throw away the SDoc part of the error." This reverts commit e6ce335e8e3ba0718efd234910185e4257424562. pprPanic doesn't throw the Doc away: It gets passed in the PprPanic constructor.
7:32 PM Changeset in base [96889dd]data-proxydbcsghc-7.8type-reasoning by Ross Paterson <ross@…>
fix #7479: ArrowChoice unit law in doc comment
7:32 PM Changeset in ghc [4bd0fa92]wip/T9016wip/ampwip/coveritywip/orf by Ross Paterson <ross@…>
fix #7479: ArrowChoice unit law in doc comment
6:58 PM Changeset in testsuite [741f6be]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
6:58 PM Changeset in ghc [4f08c12]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/types/TyCon.lhs
6:49 PM Changeset in testsuite [4dd52e0]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated test to pass with new TySynInstD in Template Haskell.
6:45 PM Changeset in ghc [86e4ca30]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated user manual to include a section on branched type family instances.
6:02 PM Ticket #7479 (ArrowChoice unit law in haddock seems to be wrong) created by pminten
In the haddock documentation of ArrowChoice there is an (unnamed) law: …
5:07 PM Ticket #7478 (setSessionDynFlags does not always work) created by edsko
The attached test case runs GHC in a separate thread (with a single call …
3:18 PM Changeset in ghc [3c06c09f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Rearrange configure.ac a bit Anything that uses gcc needs to happen after we've made the mingw inplace tree on Windows.
3:12 PM Changeset in ghc [70c4e4b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Rearrange configure.ac a bit Anything that uses gcc needs to happen after we've made the mingw inplace tree on Windows.
1:57 PM Changeset in ghc [4df0d19]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated Template Haskell to reflect branched type family instances.
1:56 PM Changeset in testsuite [d64423c]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated Template Haskell tests to reflect change to TySynInstD.
12:59 PM Ticket #7468 (incorect waiting for packets on UDP connections.) closed by simonmar
invalid: This is not a bug - Handles have buffers, so when you use hWaitForInput, …
12:03 PM Changeset in ghc [88eeabc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:53 AM Changeset in ghc [e6ce335]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Fix pprPanic so that it doesn't throw away the SDoc part of the error.
11:17 AM Changeset in ghc [9467f73]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:58 AM Changeset in ghc [156d30d7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix buglet in -ddump-minimal-imports (Trac #7476) We were mixing up the *implicit* import of Prelude with a user-written import declaration
8:58 AM Ticket #2076 (rational infinities don't compare correctly to each other) closed by simonmar
wontfix: Lots of good discussion on this subject in #3676. I think we concluded …
4:02 AM Ticket #7477 (reifyInstances can't deal with polykinded type families) created by goldfire
When I run the following code […] I get this error: […] I …
Note: See TracTimeline for information about the timeline view.