Timeline


and

Aug 19, 2012:

6:51 PM Ticket #7163 (nofib/real/gg is miscompiled at -O1) created by michalt
I've noticed that nofib/real/gg fails (output mismatch) and after …
2:09 AM Ticket #7162 (RULES that never fire (automatically)) created by andygill
We want a way of having GHC RULES known by GHC, but not used by the …

Aug 18, 2012:

10:57 PM Ticket #7161 (hSetNewlineMode and hSetEncoding can be performed on closed and ...) created by duncan
The hSetNewlineMode and hSetEncoding functions from GHC/IO/Handle.hs
3:41 PM Ticket #7160 (C finalizers are reversed during GC) created by int-e
(See also thread starting at …
1:40 PM Ticket #7159 (CoreToStg.coreToStgArgs fails when CoreToStg.coreToStg is called) closed by guest
invalid: This is not a bug after all. I needed to use CorePrep?.corePrepPgm before …
7:49 AM DataParallel/VectPragma edited by chak
(diff)
6:58 AM DataParallel/VectPragma edited by chak
(diff)
6:57 AM DataParallel/VectPragma edited by chak
(diff)
6:15 AM Ticket #7159 (CoreToStg.coreToStgArgs fails when CoreToStg.coreToStg is called) created by guest
Not much more to say than the title. It said Panic! (the 'impossible' …

Aug 17, 2012:

6:20 PM Ticket #7157 ('let' keyword optional in do notation) closed by igloo
wontfix: Thanks for the suggestion. However, looking at …
4:21 PM Ticket #7158 (GHCi commands case insensitive) created by Oblosys
Because GHCi commands start with a colon, it frequently happens to me that …
4:14 PM Ticket #7157 ('let' keyword optional in do notation) created by Oblosys
Would it be possible to make the 'let' keyword in a do block optional? So …
8:04 AM Changeset in ghc [79010d3c]supercompiler by Max Bolingbroke <batterseapower@…>
Hack in some examples, not quite working
7:27 AM DataParallel/VectPragma edited by chak
(diff)
3:46 AM Ticket #7156 ("Pattern match on GADT" error for non-GADT) created by ryani
It's widely known that GADTs are just generalizations of type equality and …
3:03 AM Commentary/Compiler/Backends/PprC edited by guest
Spelling fixes. (diff)
2:11 AM Changeset in ghc [2a7217e]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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Formatting wibbles
2:02 AM Changeset in ghc [4c93c8ba]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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Tabs -> spaces (and some other formatting)
12:40 AM Changeset in ghc [30c3d500]supercompiler by Max Bolingbroke <batterseapower@…>
Tidy up MSG and make specGenVars non-strict in the knot tied variable
12:29 AM Changeset in ghc [fee3f609]supercompiler by Max Bolingbroke <batterseapower@…>
Comments only
12:24 AM Changeset in ghc [7d55bbd5]supercompiler by Max Bolingbroke <batterseapower@…>
A version of MSG where stack initialization takes place in a seperate monad for cleanliness

Aug 16, 2012:

11:37 PM Changeset in ghc [0df6f2f]supercompiler by Max Bolingbroke <batterseapower@…>
First version of MSG rethink that type checks. Removed term gen capabalities while I was at it.
8:47 PM Changeset in testsuite [548f066]overlapping-tyfams by Richard Eisenberg <eir@…>
Added tests to cover overlapping type family instances.
8:41 PM Ticket #7155 (Fails to build on powerpc with -Werror : The import of `CmmCallConv' is ...) created by erikd
[…] One possible solution is something the one propsed in #7083.
8:22 PM Changeset in ghc [01b5511e]overlapping-tyfams by Richard Eisenberg <eir@…>
Added check to find inaccessible equations in family instance groups. This check uses the isDominatedBy function in types/FamInstEnv, which is currently incomplete. Thus, it is possible some inaccessible equations will not be marked as such. However, all equations marked as inaccessible are, so good code can never produce an error. It's worth noting that bad code that does not produce an error is silly, but does not compromise the type system.
3:13 PM Changeset in ghc [ee178f51]overlapping-tyfams by Richard Eisenberg <eir@…>
Allowed instance groups to match applications even coinciding. See Note [Confluence checking within groups] in types/FamInstEnv.lhs for the gory details. Also did some refactoring, including eliminating the FamIncoherence tracking outside of FamInstEnv. It's much better now.
2:29 PM Ticket #7154 (making GHC from sources with a locally installed GHC 6.12.1 fails) created by rmg
Here is the end of the output of make that followed ./configure …
10:18 AM Changeset in ghc [bfbc4f8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #6038
10:18 AM Changeset in testsuite [88f1082]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6038
10:13 AM Changeset in ghc [41c7342]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow a vew pattern or bang pattern in a record pattern. e.g. data T = MkT { x,y :: Int } f (MkT { x = !v, y = negate -> w }) = v + w
2:09 AM Ticket #7153 (GHC crashes with "(Array.!): undefined array element" while building) created by tibbe
I switched my build bot to use 7.6.1-rc1 today and the Cabal build failed …

Aug 15, 2012:

8:47 PM Ticket #7152 (Add flag to configure that skips overwriting of symlinks on install) created by tibbe
Sometimes when I'm installing a GHC release candidates I'd like to install …
5:29 PM Ticket #5624 (Delay Errors Until Runtime) closed by pcapriotti
fixed: Merged as 73057146115870578671ba8e5e50c2448bbbaa9e.
5:28 PM Ticket #7022 (Kind variable scoping problem in Iface file when using Template Haskell) closed by pcapriotti
fixed: Merged as 309eee74e0c7658c8ca3652106fdc1710f30e4d3.
5:28 PM Ticket #7064 (TH: Pragmas refactoring (also adds RULES and 'SPECIALIZE instance' ...) closed by pcapriotti
fixed: Merged as 6d0e2f288a34f12f5e3228415351d5bb4280c814 and …
5:27 PM Ticket #7128 (Panic "lookupVarEnv_NF" when using a functional dependency with a kind ...) closed by pcapriotti
fixed: Merged as 0cb389e5f07d29f92456a3c17361565b8b5ef865.
5:26 PM Ticket #7151 (GHC accepts invalid type declaration) closed by pcapriotti
fixed: Merged as 349c8c53ef9e99425d9ca299cbad388a21b63a54.
5:26 PM Ticket #7145 (Incorrect redundant import warning) closed by pcapriotti
fixed: Merged as cd74abeb527a974c9e52303de7770dc59e307e35.
5:26 PM Ticket #7131 (FlexibleInstances / UndecidableInstances confusion) closed by pcapriotti
fixed: Merged as 38d95c13fedc9966ee9731a69eef94d61cbba1d6.
5:25 PM Ticket #7124 (polykinds tests failing) closed by pcapriotti
fixed: Merged as 2e1a0cb7d5f9d2c4ba7f99a28e666f6ce40cee88.
5:14 PM Changeset in testsuite [51fdfe4]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept error in rnfail055
5:13 PM Changeset in testsuite [c2ae2a4]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Update haddock perf limits for x86 Linux.
5:11 PM Changeset in ghc [b17b14cd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:11 PM Changeset in testsuite [6cf4b2a]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-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:11 PM Changeset in testsuite [6f1d897]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add DataKinds flag to test MERGED from commit 1767d175d3a64f6821639a46a041d79ae4bc4866
5:10 PM Changeset in ghc [de07bf2]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use TcMType.growThetaTyVars (which works) rather than TcSimplify.growPreds (which doesn't) I think this got left behind when we simplified and improved TcSimplify. The effect was that we had a function like class P a b | a -> b class Q b c | b -> c f :: (P a b, Q b c) => a -> a and were were failing to quanitfy over 'c', even though it is (indirectly) determined by 'a'. This make Programatica fail to compile: Trac #7147
4:52 PM Changeset in ghc [1ce4253]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7147
4:52 PM Changeset in testsuite [6414dca]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7147
4:51 PM Changeset in ghc [57a409c6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7095
4:51 PM Changeset in testsuite [0bb311b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7095
4:49 PM Ticket #7095 (Kind-polymorphic typechecking requires better documentation.) closed by simonpj
fixed: I think this is just a bug. Kind polymorphism was not an advertised …
4:28 PM Changeset in ghc [349c8c5]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Require DataKinds for promoted list/tuple syntax in types Fixes Trac #7151 MERGED from commit 72e7f57cb4326c797f63d0c0c976241c02328209
4:26 PM Changeset in testsuite [acc0346]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add test for #7145 MERGED from commit 5831652dd33313af28dd8b8eb88cb36bb474d98e
4:24 PM Changeset in ghc [cd74abe]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix Trac #7145, by recording uses of constructor "children" in export lists MERGED from commit 10377bba65de7463b909cc7cd5781a46620f305a
4:19 PM Changeset in ghc [38d95c1]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Test FlexibleInstance not UndecidableInstances in the ambiguity check Fixes Trac #7131 MERGED from commit f7b096e8630c91a17ff9a551ab15060b21d84eb0
4:18 PM Changeset in ghc [0cb389e5]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix Trac #7128, by zonking kind varaibles more assiduously when typechecking a class declaration MERGED from commit e949162653b65d8e48573e84583c6509be2f24ed
4:17 PM Changeset in testsuite [8467db38]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Adapt to new TH pragma data types MERGED from commit 15b8a3e962e1b21a57a49f56ddd17eae2ac5a905
4:16 PM Changeset in ghc [6d0e2f2]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
TH: Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support. MERGED from commit 1993ee4ba8d30d6774c2330477a1eecf865dfa1f
4:16 PM Changeset in ghc [309eee7]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
applying simonpj's fix from #7022 (with 80-col reformatting) MERGED from commit 15e4f93b661fe83cff96c8c295e7ea8985aa08a
4:11 PM Changeset in ghc [2e1a0cb]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Put kind variables before type variables when quantifying This is a pretty egregious error; I'm surprised it has lasted so long! Fixes Trac #7124 MERGED from commit bdce8f0a3b40a60108a99b4635d168c12b79f255
4:09 PM Changeset in ghc [73057146]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Document -fdefer-type-errors Thanks to Paolo for most of the work. MERGED from commit 3fabf48e0c5be2d7c2f6ea028115fdb9b4045d97
4:09 PM Changeset in ghc [c70ca5b]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Add reference to defer-type-errors in the release notes.
3:58 PM Changeset in ghc [385058ed]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Update stderr in p2 test case.
3:58 PM Changeset in testsuite [4f5a135]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update stderr in p2 test case.
3:02 PM Changeset in ghc [d8b5659]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add DataKinds flag to test
3:02 PM Changeset in testsuite [1767d17]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add DataKinds flag to test
3:02 PM Changeset in ghc [36f2ec6c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7151
3:02 PM Changeset in testsuite [cc2852d]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7151
3:02 PM Changeset in ghc [f7b096e8]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Test FlexibleInstance not UndecidableInstances in the ambiguity check Fixes Trac #7131
3:01 PM Changeset in ghc [72e7f57]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Require DataKinds for promoted list/tuple syntax in types Fixes Trac #7151
2:59 PM Changeset in ghc [bdce8f0a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Put kind variables before type variables when quantifying This is a pretty egregious error; I'm surprised it has lasted so long! Fixes Trac #7124
1:44 PM Changeset in ghc [33a75d9f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7064
1:44 PM Changeset in testsuite [106fec1]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7064
1:38 PM Ticket #7146 (Literal strings printed wrong) closed by simonpj
fixed: Fixed by […] There are a couple of testsuite stdout-changes in …
1:38 PM Ticket #7151 (GHC accepts invalid type declaration) created by bitonic
The declaration […] is accepted by GHC with no extensions enabled, …
1:25 PM Changeset in ghc [12512e1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:25 PM Changeset in testsuite [0cbca7b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:24 PM Changeset in base [53ed79a]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
1:24 PM Changeset in ghc [2df687f]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
1:24 PM Changeset in ghc [c848891]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/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
1:24 PM Changeset in ghc [10377bb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7145, by recording uses of constructor "children" in export lists
1:23 PM Changeset in ghc [af9dd9d3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments about shadowing
1:23 PM Ticket #7150 (unjustified overlapping instances error) created by maeder
When compiling hets …
1:23 PM Changeset in base [6fb7bf8]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Fix Trac #7146, by displaying a "\n" in a multi-line string
1:23 PM Changeset in ghc [120bd32]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Fix Trac #7146, by displaying a "\n" in a multi-line string
1:22 PM Changeset in ghc [53ffd2e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Adapt to new TH pragma data types
1:22 PM Changeset in testsuite [15b8a3e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adapt to new TH pragma data types
1:21 PM Changeset in ghc [41b7f9d9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Adapt to extra \n in multi-line string printouts See Trac #7146
1:21 PM Changeset in testsuite [3799bb8]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adapt to extra \n in multi-line string printouts See Trac #7146
12:24 PM Changeset in ghc [7980ff9b]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Cleanup everything that ./validate whined about.
11:42 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:27 AM Changeset in ghc [935a043]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
11:26 AM Changeset in ghc [1993ee4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
TH: Pragmas refactoring. Also adds RULES and 'SPECIALIZE instance' support.
10:29 AM Changeset in ghc [c7442b5]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
4:39 AM Ticket #7149 (Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults) created by akio
Steps to reproduce: […]
3:39 AM Ticket #7148 (generalized newtype and type families is unsound) created by carter
the code from …

Aug 14, 2012:

9:24 PM Ticket #7086 (haddock memory usage regression) closed by igloo
fixed: Perf tests added, in testsuite/tests/perf/haddock/
9:18 PM Changeset in testsuite [c82f38a]ghc-7.6 by Ian Lynagh <ian@…>
Set haddock perf stats for the stable branch
8:43 PM Changeset in ghc [1d1062e9]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Make .t files when running haddock These files contain the "+RTS -t --machin-readable" output, so that we can spot performance regressions.
8:43 PM Changeset in testsuite [fadfea8]ghc-7.6 by Ian Lynagh <ian@…>
Add 32bit expected values for the haddock perf tests
8:43 PM Changeset in testsuite [50ebab1]ghc-7.6 by Ian Lynagh <ian@…>
Add some haddock space usage tests
6:15 PM Changeset in ghc [5a42050]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add 32bit expected values for the haddock perf tests
6:15 PM Changeset in testsuite [84d520a]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add 32bit expected values for the haddock perf tests
5:24 PM Changeset in ghc [55cdcc9]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make .t files when running haddock These files contain the "+RTS -t --machin-readable" output, so that we can spot performance regressions.
5:16 PM Changeset in ghc [310d39d8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add some haddock space usage tests
5:16 PM Changeset in testsuite [6991bb9]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add some haddock space usage tests
4:43 PM Changeset in ghc [a26252c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add test for #7145
4:43 PM Changeset in testsuite [5831652]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add test for #7145
4:31 PM Changeset in ghc [ca9986a3]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve documentation of the way that defaulting to IO happens in GHCi Thanks to John Hughes for the suggestion.
4:31 PM Changeset in ghc [3fabf48]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Document -fdefer-type-errors Thanks to Paolo for most of the work.
4:07 PM Changeset in ghc [9ffb400]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7128
4:07 PM Changeset in testsuite [51821b8]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7128
4:06 PM Changeset in ghc [b10eb00]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Better debug printing
4:06 PM Changeset in ghc [111ff8cb]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments
4:06 PM Changeset in ghc [e9491626]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7128, by zonking kind varaibles more assiduously when typechecking a class declaration
2:58 PM Ticket #7147 (programatica fails to compile) created by maeder
[…]
1:54 PM Ticket #7100 (Loosen requirement for free variables in constraint in class declaration) closed by simonpj
wontfix: What's wrong with eliminating the fundep in favour of a type function? …
1:31 PM Ticket #7146 (Literal strings printed wrong) created by simonpj
Chris Dove writes: Is it me or is this output not right? The \
12:50 PM Changeset in ghc [221df3f]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
More dependency updates.
12:40 PM Changeset in directory [285388b]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Bump version to 1.2.0.0 (#7144)
12:24 PM Changeset in process [0ab69a6]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Update version bound for directory
12:16 PM Ticket #2972 (ppc ghci segfaults at startup) closed by pcapriotti
fixed
12:09 PM Ticket #7145 (Incorrect redundant import warning) created by edsko
Compiling […] with -Wall gives […] but this import is not …
12:00 PM Changeset in ghc [97bdfda]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update dependencies.
12:00 PM Changeset in ghc [0119fbc0]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix GHCi segfault during startup on linux-powerpc (#2972). Slightly modified version of a patch from Ben Collins <bcollins@ubuntu.com> who did the final debugging that showed the segfault was being caused the memory protection mechanism. Due to the requirement of "jump islands" to handle 24 bit relative jump offsets, GHCi on PowerPC did not use mmap to load object files like the other architectures. Instead, it allocated memory using malloc and fread to load the object code. However there is a quirk in the GNU libc malloc implementation. For memory regions over certain size (dynamic and configurable), malloc will use mmap to obtain the required memory instead of sbrk and malloc's call to mmap sets the memory readable and writable, but not executable. That means when GHCi loads code into a memory region that was mmapped instead of malloc-ed and tries to execute it we get a segfault. This solution drops the malloc/fread object loading in favour of using mmap and then puts the jump island for each object code module at the end of the mmaped region for that object. This patch may also be a solution on other ELF based powerpc systems but does not work on darwin-powerpc. MERGED from commit 3e6c9308777caf83122baef504028d619d3dd588
9:17 AM Changeset in ghc [3452b7e]supercompiler by Max Bolingbroke <batterseapower@…>
A version of the deterministic MSGer that might be correct
8:48 AM Ticket #7144 (directory-1.1.1.0 violates the PVP) created by SimonHengel
The version of directory that ships with GHC 7.6.1-rc1 changes the type of …
3:39 AM Ticket #6057 (hGetBufNonBlocking blocks the underlying handle on Windows) closed by cetinsert
invalid
2:59 AM Ticket #7143 (ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version) created by cetinsert
I have downloaded: ghc: ghc-7.6.0.20120810-x86_64-windows.exe mingw64: …
2:17 AM Ticket #7142 (ghc: panic! (the 'impossible' happened) when using lowercase eq/show in ...) closed by guest
duplicate: It is fixed in HEAD. See ticket #5961. Now you get […]
1:31 AM Ticket #7142 (ghc: panic! (the 'impossible' happened) when using lowercase eq/show in ...) created by mbrodersen
Compiling the following: …
12:25 AM Changeset in ghc [022dc1c8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update old safehaskell test
12:25 AM Changeset in testsuite [1e3841d1]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update old safehaskell test
Note: See TracTimeline for information about the timeline view.