Timeline


and

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 [ee178f5]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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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 [36f2ec6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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 [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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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:22 PM Changeset in ghc [53ffd2e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/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/nested-cprwip/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: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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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

Aug 13, 2012:

9:52 PM Changeset in base [36bc4549]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
9:52 PM Changeset in ghc [e6fa845]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
8:06 PM Changeset in ghc [c48c4d08]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint some MSG work
6:42 PM Ticket #7130 (Give suggestions for unknown command line flags) closed by pcapriotti
fixed: Thanks, applied. […]
6:39 PM Changeset in ghc [562b154]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Fix test case 7087 for x86.
6:39 PM Changeset in ghc [f5144f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test case for #7117
6:39 PM Changeset in testsuite [3952414]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix test case 7087 for x86.
6:39 PM Changeset in testsuite [38163b91]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7117
6:39 PM Changeset in ghc [2dba6fb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Tweak some limits in performance tests.
6:39 PM Changeset in ghc [caf3f59]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test for #7130
6:39 PM Changeset in ghc [a706a604]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Update error message in safeHaskell/ghci/p2
6:39 PM Changeset in testsuite [5639614]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Tweak some limits in performance tests.
6:39 PM Changeset in testsuite [79cbbaa]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test for #7130
6:39 PM Changeset in testsuite [1da2132e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update error message in safeHaskell/ghci/p2
6:37 PM Ticket #7139 (GHCi is too verbose on -v0) closed by pcapriotti
fixed
5:56 PM Changeset in ghc [07483e4]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed bugs in overlapping type families caught by regression testing.
5:52 PM Changeset in testsuite [543e856]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated stderr output to reflect changes in GHC.
5:32 PM Changeset in ghc [3e6c930]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new 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.
5:26 PM Changeset in ghc [700d287f]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix environment update for type instance declarations in GHCi (#7117) Patch by Patrick Palka <patrick@parcs.ath.cx>
5:09 PM Changeset in ghc [feb653c]supercompiler by Max Bolingbroke <batterseapower@…>
Due to evaluator change we can remove some ugliness from split cheap heap construction
5:06 PM Changeset in ghc [2ce3732]supercompiler by Max Bolingbroke <batterseapower@…>
Totally redo evaluation, including the abstract syntax of Answers (no more casts please). Much cleaner
4:41 PM Ticket #7022 (Kind variable scoping problem in Iface file when using Template Haskell) closed by simonpj
fixed: The rnfail055 error is fine. I've updated the test to test for Richard's …
4:39 PM Changeset in ghc [42d70b5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Update T7022 to test more as per the ticket
4:39 PM Changeset in testsuite [94cdb53]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Update T7022 to test more as per the ticket
4:33 PM Changeset in ghc [be04536]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Accept error change
4:33 PM Changeset in testsuite [f306e73]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error change
4:32 PM Changeset in base [b7c8017]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Comments ony
4:16 PM Ticket #7141 (Inlining the single method of a class can shadow rules) created by pcapriotti
This shows up in template-haskell, module Language.Haskell.TH.Syntax, …
3:59 PM Changeset in ghc [82373c76]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Give suggestions for unrecognised command line arguments
3:54 PM Ticket #7140 (Allow type signature in export list) created by drb226
In response to the new InstanceSigs? extension in the 7.6.1 RC1, waterlight …
2:33 PM Changeset in ghc [0378ac2]overlapping-tyfams by Richard Eisenberg <eir@…>
Added parsing rules for type instance groups.
2:33 PM Changeset in ghc [684017d]overlapping-tyfams by Richard Eisenberg <eir@…>
Made a type instance group compile into a list of FamInsts. Cleaned up some source location tracking.
2:33 PM Changeset in ghc [bff9f7e]overlapping-tyfams by Richard Eisenberg <eir@…>
Removed warnings from dead code
2:33 PM Changeset in ghc [f428eea]overlapping-tyfams by Richard Eisenberg <eir@…>
Added overlapping type family instances. The primary change is in compiler/types/FamInstEnv.hs, where the new lookup algorithm is written. See comments in that file for the full details. The biggest change that could affect other people is that, now, the top-level family instance declaration leads to a FamInstGroup, not just a FamInst. A FamInstGroup, in turn, holds an ordered list of FamInsts. This change required a ripple of changes throughout GHC, including in interface files, to support it. Still to do: clean up some code/names, allow code to compile when it relies on a certain corner-case overlap, emit warnings/errors when certain branches of an instance group are unreachable.
2:29 PM Changeset in ghc [7e5abfc]overlapping-tyfams by Richard Eisenberg <eir@…>
Bug fix: check don't derive default family instances for both type and data families when a local instance exists
1:23 PM Changeset in testsuite [56b0dd8]overlapping-tyfams by Richard Eisenberg <eir@…>
Updated expected output of some test cases to reflect changes
12:53 PM Ticket #7138 (GHCi does no respect -ignore-dot-ghci anymore) closed by pcapriotti
fixed: Merged as 24c5c501461c9dde9858970a463672c0ac7912a5.
12:36 PM Changeset in ghc [8240843]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Respect verbosity for "flags changed" message (#7139) Also, print that message on stdout.
12:13 PM Changeset in ghc [d6fd2bfe]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Add UnboxedTuples changes to release notes.
12:10 PM Ticket #7123 (Dictionary method should be applicable even in existential context) closed by simonpj
invalid: parcs is right. See …
12:02 PM Changeset in ghc [24c5c50]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix ambiguous flag resolution (#7138) Pick longest flag when more than one matches in findArg. This fixes an issue where -ignore-dot-ghci wasn't honored, because the flag was parsed as "-i gnore-dot-ghci". MERGED from commit f78b31a36b5b49afbdea199269319faca261c898
11:48 AM Changeset in ghc [f78b31a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix ambiguous flag resolution (#7138) Pick longest flag when more than one matches in findArg. This fixes an issue where -ignore-dot-ghci wasn't honored, because the flag was parsed as "-i gnore-dot-ghci".
10:48 AM Ticket #7139 (GHCi is too verbose on -v0) created by SimonHengel
Steps to reproduce: […] I'd expect that nothing is printed, but the …
10:19 AM Changeset in ghc [484262f6]supercompiler by Max Bolingbroke <batterseapower@…>
Experimental rewrite of the MSG (currently loops)
10:19 AM Ticket #7138 (GHCi does no respect -ignore-dot-ghci anymore) created by SimonHengel
Steps to reproduce: […] Expected results: GHCi is started without any …
9:48 AM Changeset in ghc [09c9b105]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update 'unboxed tuples' section of users guide. In particular, many of the restrictions on using unboxed tuples went away thanks to Max Bolingbroke, and they can now be bound to variables without pattern matching, and passed as arguments. Also fix a little formatting in glasgow-exts.xml. Some other parts of this section may be out of date. Signed-off-by: Austin Seipp <mad.one@gmail.com> MERGED from commit 7473c3d291742175e2e2a4ba98f0c1dba5393599
9:47 AM Changeset in ghc [715860a]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Don't pass -Wimplicit to the C++ compiler. Supresses an ugly warning from gcc 4.6+ saying this is a C/ObjC flag only. Signed-off-by: Austin Seipp <mad.one@gmail.com> MERGED from commit a0e308de485bdb275008a40de9c76c31230e6c51
9:43 AM Ticket #7136 (fix for os x package builder script) closed by igloo
wontfix: However, in this case, you'd be better off patching the Haskell Platform …
9:42 AM Changeset in ghc [7473c3d2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Update 'unboxed tuples' section of users guide. In particular, many of the restrictions on using unboxed tuples went away thanks to Max Bolingbroke, and they can now be bound to variables without pattern matching, and passed as arguments. Also fix a little formatting in glasgow-exts.xml. Some other parts of this section may be out of date. Signed-off-by: Austin Seipp <mad.one@gmail.com>
9:41 AM Changeset in ghc [a0e308de]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Don't pass -Wimplicit to the C++ compiler. Supresses an ugly warning from gcc 4.6+ saying this is a C/ObjC flag only. Signed-off-by: Austin Seipp <mad.one@gmail.com>
9:41 AM Ticket #7135 (Data.Bits can still have default implementations for testBit, bit, and ...) closed by igloo
wontfix: We discussed using this extension at the time, e.g. in …
3:25 AM Ticket #7137 (Unnecessary -XRank2Types requirement involving type alias containing ...) created by joeyadams
The following builds with GHC 7.4, but not 7.6. Bottom.hs […] …
3:14 AM Ticket #7136 (fix for os x package builder script) created by carter
the build script in distrib/MacOS/mkinstaller has packagemaker hard coded …
1:34 AM Changeset in ghc [166e974]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
1:28 AM Ticket #7135 (Data.Bits can still have default implementations for testBit, bit, and ...) created by joeyadams
In commit f99cee0 of the base package, the Num constraint was removed from …
1:18 AM Ticket #7134 (ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32) created by cetinsert
I downloaded ghc-7.6.0.20120810-x86_64-windows.exe and attempting to run …

Aug 12, 2012:

6:43 PM Changeset in ghc [4e6bd651]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Use the right arch name in the Windows installer filename
10:45 AM Changeset in ghc [3dc0a43]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update release notes for GHC and base.

Aug 11, 2012:

8:24 AM Changeset in ghc [9263710]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint MSG bullshit, REMOVE trace in sc

Aug 10, 2012:

11:09 PM Changeset in base [4e4078e]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Fix build
10:21 PM Changeset in ghc [7299487c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Follow RTS symbol changes in Linker.c
9:28 PM Changeset in base [6b2c2ac]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
9:28 PM Changeset in ghc [c4d75a7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:26 PM Changeset in ghc [cb07cb7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Always define startProfTimer and stopProfTimer This allows us to provide access to them in the base library.
9:24 PM Changeset in base [5443ba9]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Make startProfTimer and stopProfTimer available via GHC.Profiling This allows the programmer to profile only part of a program's runtime, for example, ignoring startup and shutdown phases of programs.
1:49 PM Ticket #7133 (GHCi: strange behaviour after CTRL-C, followed by 'hPutChar: resource ...) created by DuncanMortimer
Example: (launching GHCi from Terminal.app) […] This behaviour does …
12:38 PM Ticket #7127 (RTS timer gets turned off when using +RTS -I0) closed by pcapriotti
fixed: Merged as 46936288fe9dc71383d3a5d6f0f08e94df4061f4.
12:38 PM Ticket #7113 (linux-powerpc : large integer implicitly truncated to unsigned type) closed by pcapriotti
fixed: Merged as e24bd732a2bfc096f747eba23b2b09c8e83deed7.
12:37 PM Ticket #6082 (Program compiled with 7.4.1 runs many times slower than compiled with ...) closed by pcapriotti
fixed: Merged as 8dcd15240a9c2ba142fcbd31f597b51cf2f560bf.
12:36 PM Ticket #6104 (Regression: space leak in HEAD vs. 7.4) closed by pcapriotti
fixed: Merged as 1363c32a0d5b79c846530fa16d09076d02f29d1c.
12:31 PM Changeset in testsuite [0106f844]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept error MERGED from commit fd96f1918670869a1ce60878930365b750795559
11:10 AM Ticket #5962 (Data.Typeable: types which should compare equal don't) closed by pcapriotti
Merged as dd2af98d191d762e68e0b4c916096afad8b04dd7.
11:08 AM Ticket #7030 (GHCi tries to load the text package twice, leading to linking failure) closed by pcapriotti
fixed: Merged as 73bde5b1a70ce02373ac73885b7260194f30fb44.
11:06 AM Changeset in ghc [46936288]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix a bug in the handling of recent_activity The problem occurred when the idle GC was turned off with +RTS -I0. Then the scheduler would go into the state ACTIVITY_DONE_GC directly without doing a GC, and a subsequent GC would put it back to ACTIVITY_YES but without turning the timer back on. Instead if the GC finds the state is ACTIVITY_DONE_GC it should leave it there. MERGED from commit 396f09031b363bf2f0d2afa28a86e67a0628a696
11:06 AM Changeset in ghc [1363c32a]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Do calcUnfoldingGuidance on the *non* occ-analysed RHS See Note [Calculate unfolding guidance on the non-occ-anal'd expression] This makes a big difference to residency (530M vs over 800M when compiling Cabal). This fixes the majority of the regression in Trac #6104 MERGED from commit cd627bcfda713efa63b7f5290c84a5077f4976f9
11:06 AM Changeset in ghc [e24bd73]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Add cast to placate gcc 4.6 on linux-powerpc (#7113). MERGED from commit 50f5016a67060538a5272cd5fa6f4532d0396ef2
11:04 AM Changeset in testsuite [22e6b94]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add 32-bit output for gcdInteger
11:04 AM Changeset in testsuite [549a5fd]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add a type signature for a function with an ambiguous type There's a comment with visit_PPSArgs to explain. GHC was rightfully rejecting visit_PPS as having an ambiguous type. And it does! It worked before because the ambiguity involved only standard classes and hence was resolved. (I suppose this could be a warning instead. But I'm fixing the test anyway.)
11:04 AM Changeset in testsuite [7551dbf]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Tweak some limits in performance tests. MERGED from commit d4b0d7e6aa7e9cc5aa9a25c282337ab61c27a625
10:33 AM Changeset in testsuite [04569d2f]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update spec-inline output.
10:25 AM Changeset in testsuite [f7f18ef]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Make numrun012 work with excess-precision.(#5856) Remove exact base 2 logarithms, since their values depend on whether excess precision is used or not (see also #5165). MERGED from commits 5774835f02acf3ef8b587cec737bc4d66bb04026 and 19fc8e321193578a1409e837d907fb90555b342c.

Aug 9, 2012:

5:47 PM Ticket #7132 (Internal error: stg_ap_v_ret when running indexed_types tests) created by goldfire
After running make in testsuite/tests/indexed_types, I got the …
4:10 PM Ticket #7131 (FlexibleInstances / UndecidableInstances confusion) created by goldfire
Consider the following code: […] Compiling this code with no …
3:08 PM Changeset in base [dd2af98]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix an egregious bug in the fingerprint calculation for TypeRep Given (T ty1) and ty2, we were computing the fingerprint of the application (T ty1 ty2) by combining the two fingerprints from (T ty1) and ty2. But that gives a different answer to combinging the three fingerprints from T, ty1, and ty2, which is what happens if you build the type all at once. Urk! Fixes Trac #5962 MERGED from commit f35ebbd5dfd108487efa7912349e9802f6029897
2:46 PM Changeset in ghc [ec4feca]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
2:12 PM Ticket #7130 (Give suggestions for unknown command line flags) created by nomeata
I noticed that GHC does not do that yet, even though suggestions are given …
11:44 AM Changeset in ghc [d801c965]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix build failure on OS X (#7119) When refactoring this recently I accidentally put the dead-strip-preventer symbol (only used on OS X) in the wrong section.
10:30 AM Ticket #7125 (HEAD build fails with ghc-7.4.1 (XCode 3.2.6, Mac OS X 10.6.8)) closed by simonmar
duplicate
8:08 AM Changeset in ghc [50f5016a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add cast to placate gcc 4.6 on linux-powerpc (#7113).
8:08 AM Changeset in ghc [3a5788c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
a couple of small optimisations
8:08 AM Changeset in ghc [74d5ddee]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Only run the second round of control-flow optimisations when -O is on
8:08 AM Changeset in ghc [09afcc9b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Remove uses of fixC from the codeGen, and make the FCode monad strict
12:50 AM Changeset in ghc [358838cb]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix build on Windows: Configure packages in the right order Also added a comment explaining that addPackages need to be in dependency order.

Aug 8, 2012:

3:36 PM Changeset in ghc [ef4140f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
don't include $(EXTRA_HC_OPTS) twice
3:36 PM Changeset in ghc [31fb6f52]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
don't force -O0
3:36 PM Changeset in ghc [af7c852e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
omit -dcmm-lint too
3:36 PM Changeset in testsuite [072e67e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
don't include $(EXTRA_HC_OPTS) twice
3:36 PM Changeset in testsuite [be107f9]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
don't force -O0
3:36 PM Changeset in testsuite [6c9b90c]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
omit -dcmm-lint too
3:36 PM Changeset in ghc [2999eae]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
don't force -O
3:36 PM Changeset in testsuite [8db95fc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
don't force -O
1:47 PM Changeset in base [79d9ea6]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Refer and link to Haskell 2010 report in Prelude.
1:46 PM Ticket #7129 (LINE pragma disables automatic tickish annotations) created by scpmw
If a {-# LINE #-} pragma is used in the code, this prevents the code in …
1:40 PM Changeset in ghc [23748ede]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test case for #7118.
1:40 PM Changeset in testsuite [550a423]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7118.
1:31 PM Ticket #7128 (Panic "lookupVarEnv_NF" when using a functional dependency with a kind ...) created by goldfire
The following code causes a panic: […] The error is […] In …
12:09 PM Changeset in ghc [415598b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
12:08 PM Changeset in ghc [c2a532a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Set the value of Unregisterised in the bindist configure.ac Now that it's included in settings, the bindist configure script needs to know it.
10:43 AM Ticket #7121 (garbage collection invokation, query functions for realtime) closed by simonmar
worksforme: We already have this: * …
10:21 AM Ticket #7127 (RTS timer gets turned off when using +RTS -I0) created by simonmar
This bug was reported to me by hvr on IRC. I fixed it in GHC yesterday, …
10:19 AM Building/Preparation/Windows edited by simonmar
(diff)
10:16 AM Building/Preparation/Windows edited by simonmar
formatting (diff)
10:16 AM Building/Preparation/Windows edited by simonmar
update Windows instructions (diff)
9:56 AM Changeset in ghc [464ce12]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
9:39 AM Changeset in ghc [cc7384d1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test case for #7126
9:39 AM Changeset in testsuite [5ca9110]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7126
9:32 AM Ticket #7126 (Unexpected loop) closed by pcapriotti
fixed: Thanks for the report. This looks fixed in HEAD.
8:10 AM Changeset in ghc [1edad871]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add missing flag for respecting EXTRA_LIBDIR
7:27 AM Ticket #7126 (Unexpected loop) created by boris
The attached program executes as expected if compiled with GHC 7.0.3, but …

Aug 7, 2012:

5:12 PM Ticket #7125 (HEAD build fails with ghc-7.4.1 (XCode 3.2.6, Mac OS X 10.6.8)) created by jff
On my Mac OS X 10.6.8, building HEAD with ghc-7.2.1 as bootstrapping …
4:04 PM Ticket #7096 (linker fails to load package with binding to foreign library) closed by nus
duplicate
3:13 PM Changeset in ghc [d992a96d]overlapping-tyfams by Richard Eisenberg <eir@…>
Note to self about modifying typechecking algorithm later
3:11 PM Changeset in ghc [21352a3]overlapping-tyfams by Richard Eisenberg <eir@…>
Updates to Haddock to deal with changes in Hs syntax tree
2:50 PM Changeset in ghc [396f090]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a bug in the handling of recent_activity The problem occurred when the idle GC was turned off with +RTS -I0. Then the scheduler would go into the state ACTIVITY_DONE_GC directly without doing a GC, and a subsequent GC would put it back to ACTIVITY_YES but without turning the timer back on. Instead if the GC finds the state is ACTIVITY_DONE_GC it should leave it there.
2:50 PM Changeset in ghc [62ab993]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warning
2:50 PM Changeset in ghc [df7a20c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Eliminate "r = r" in mkAssign
2:50 PM Changeset in ghc [313740ea]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix a warning
2:50 PM Changeset in ghc [ef58afe]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Small optimisation When calling newCAF, refer to the closure using its LocalReg rather than R1. Using R1 here was preventing the register allocator from coalescing the assignment x=R1 at the beginning of the function.
2:50 PM Changeset in ghc [babe3c60]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
entryHeapCheck: fix calls to stg_gc_fun and stg_gc_enter_1 We weren't passing the arguments correctly to the GC functions, which usually happened to work because the arguments were in the right registers already. After this fix the profiling tests go through with the new code generator.
2:50 PM Changeset in ghc [69cda9ef]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
maybeInvertComparison: remove floating-point comparisons See comments.
2:50 PM Changeset in ghc [1469a124]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Node calling convs should use R1 even if it isn't a register
2:39 PM Ticket #7083 (Reduce the likelihood of x64/x86-64 changes breaking the build on other ...) closed by igloo
wontfix: I've just pushed some patches that are working towards fixing this …
2:32 PM Changeset in ghc [ddd6af07]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Cleanup and fixes to profiling
2:32 PM Changeset in ghc [5c3f13f]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix update frames for profiling
2:32 PM Changeset in ghc [3cf60503]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix maybeSaveCostCentre: cases were reversed
2:32 PM Changeset in ghc [bccd9e8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add missing cases in hand-coded instance Eq GlobalReg aargh.
2:30 PM Changeset in ghc [0b75e456]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Generate one fewer temps per heap allocation This saves compile time and can make a big difference in some pathological cases (T4801)
2:30 PM Changeset in ghc [b534f42b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Make lint check for undefined variables in Cmm
2:30 PM Changeset in ghc [149e04b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
A closure with void args only should be a function, not a thunk
2:30 PM Changeset in ghc [8d3e9fd]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
small cleanup
2:20 PM Changeset in ghc [d29defa]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
bump sample for T783
2:20 PM Changeset in testsuite [cde0afb]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
bump sample for T783
1:56 PM Ticket #7124 (polykinds tests failing) created by pcapriotti
Some of the polykinds tests are failing with -fhpc with core lint …
1:18 PM Changeset in integer-gmp [982d8f1]ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Fix building on Windows
8:54 AM Ticket #7123 (Dictionary method should be applicable even in existential context) created by heisenbug
[…] […]
1:37 AM Changeset in ghc [46b5c19]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Define callerSaves for all platforms This means that we now generate the same code whatever platform we are on, which should help avoid changes on one platform breaking the build on another. It's also another step towards full cross-compilation.
12:27 AM Changeset in ghc [f917eeb8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add "Unregisterised" as a field in the settings file To explicitly choose whether you want an unregisterised build you now need to use the "--enable-unregisterised"/"--disable-unregisterised" configure flags.

Aug 6, 2012:

9:51 PM Changeset in ghc [e6ef5ab6]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make tablesNextToCode "dynamic" This is a bit odd by itself, but it's a stepping stone on the way to putting "target unregisterised" into the settings file.
4:49 PM Changeset in ghc [8e7fb28]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Start separating out the RTS and Haskell imports of MachRegs.h No functional differences yet
3:46 PM Blog: The new code generator is nearly ready to go live comment added by nr
Hip hip, hurrah!
3:11 PM Changeset in ghc [eb2cd97c]overlapping-tyfams by Richard Eisenberg <eir@…>
Merged changes into branch, fixing conflicts.
3:02 PM Changeset in ghc [73ab57d3]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:02 PM Changeset in ghc [df58a158]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fixed typo in earlier fix to #7022, as per Simon PJ." This reverts commit 8bedd344dcc9a03d2d29c6fb978ed4fe0a62dcf2.
2:55 PM Changeset in ghc [6997bb5]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't define STOLEN_X86_REGS in Cmm.h We weren't defining it in the other places that MachRegs.h gets imported, which seems a little suspicious. And if it's not defined then it defaults to 4 anyway, so this define doesn't seem necessary.
10:32 AM Ticket #7122 (Slightly extend performance range for T1969 and T3294) created by nomeata
When running the validate on a machine of mine (i386 chroot on an amd64 …
9:39 AM Commentary/Compiler/NewCodeGenStupidity edited by simonmar
(diff)
8:47 AM Changeset in ghc [190c555]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warning
8:47 AM Changeset in ghc [22d5822]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Foreign calls may clobber caller-saves registers See Note [foreign calls clobber GlobalRegs]
8:47 AM Changeset in ghc [f67a8b8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Continue by jumping to the top-of-stack after a safe foreign call
8:47 AM Changeset in ghc [82fa790]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix two bugs in the sinker. The new code generator now apparently generates a working stage2 compiler.
8:47 AM Changeset in ghc [cf3fb95]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
MO_F_Mul and MO_F_Add are commutative
8:47 AM Changeset in ghc [7db26e00]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
comment
8:47 AM Changeset in ghc [5620662e]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
finish a comment
8:47 AM Changeset in ghc [290ec750]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add a comment to explain why the FCode monad is lazy
8:47 AM Changeset in ghc [6228e31]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Use "ReturnedTo" when generating safe foreign calls
8:40 AM Changeset in ghc [4409a21d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
reduce max_bytes_used for T1969
8:40 AM Changeset in testsuite [135f061]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
reduce max_bytes_used for T1969

Aug 5, 2012:

11:16 PM Ticket #5240 (help GNU ld to use less memory when linking libraries compiled with ...) closed by igloo
fixed: Aha, looks like this is an old gcc bug that has been fixed: […] I …
11:12 PM Changeset in ghc [4cdfe675]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Define LdCmd in the bindist configure.ac
9:59 PM Holes edited by vilhelm_s
How should holes interact with with GHC API? (diff)
9:38 PM Ticket #4862 (Enable usage of gold linker with GHC) closed by igloo
fixed: Fixed.
9:04 PM Ticket #6163 (GHC stops producing runnable code in OSX Mountain Lion DP4) closed by igloo
fixed: No response from submitter, so assuming this is working.
8:46 PM Changeset in ghc [c7c2d6c8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in UniqFM
8:28 PM Changeset in ghc [668151c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
More more ld-related settings into the settings file Related to #4862
7:44 PM Changeset in ghc [1235c27]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Improve some code layout in SysTools
7:05 PM Ticket #7121 (garbage collection invokation, query functions for realtime) created by centaurian_slug
how about a function such as this:- invokeGarbageCollector :: IO (int,int) …
6:51 PM Changeset in ghc [c9820b2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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 [13f3a31]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove pprDefiniteTrace All uses of it are now in an IO Monad, so we don't need to use a trace-like function.
5:54 PM Changeset in ghc [52307c1]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Rename trace_dump to dump It's no longer a trace-like function.
5:53 PM Changeset in ghc [34b2906]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in compiler/simplCore/Simplify.lhs
5:15 PM Changeset in ghc [ddf9d40]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Build fix
5:11 PM Changeset in ghc [c17f301]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove LD_X; it's no longer used
5:08 PM Changeset in ghc [2d2650b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Move linker flags into the settings file; fixes #4862 They were getting baked into Config.hs before.
3:54 PM Ticket #7118 (Comments of curly bracket form, which appear at the end of type ...) closed by pcapriotti
fixed: Fixed. Thanks for the patch.
3:53 PM Changeset in ghc [ecc43c1]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Convert prefix uses of (<>) to infix <>
3:51 PM Changeset in ghc [541cc50]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Remove an unsafe use of head (#7118)
3:45 PM Ticket #3489 (Adding some gmp bindings to integer-gmp (copied from the cvs-ghc list)) closed by igloo
fixed: Thanks, I've applied the testBit parts of the patches. It looks like the …
3:07 PM Changeset in ghc [e9a587a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
De-orphan the Outputable Fingerprint instance
3:03 PM Changeset in ghc [be691e1]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove another unnecessary Platform argument
2:55 PM Changeset in integer-gmp [225ec4c]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Define testBitInteger; part of #3489 Based on a patch from pumpkingod@gmail.com
2:54 PM Changeset in base [e8a0c5b]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Use testBitInteger; part of #3489. patch from pumpkingod@gmail.com
1:51 PM Changeset in integer-gmp [48a3e75]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Whitespace only: Line some things up better
1:19 PM Changeset in ghc [5ae0cea]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in utils/Outputable.lhs
1:19 PM Changeset in ghc [14b05c0]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in hsSyn/HsSyn.lhs
1:18 PM Changeset in ghc [0e7aad2c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
De-orphan the Outputable Char instance
12:35 PM Changeset in ghc [89900ff]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:38 AM Ticket #7120 (Markdown literate programming proposal) created by holzensp
Markdown has become quite popular for its unobstructive readability. Also, …

Aug 4, 2012:

7:56 PM Ticket #7119 (Build failure on OS X Mountain Lion) created by thoughtpolice
On my OS X Mountain Lion machine, while building HEAD with GHC 7.4.2 as …
10:23 AM Blog: The new code generator is nearly ready to go live comment added by ezyang
That is super exciting! Looking forward to it.
6:01 AM Commentary/Compiler/HooplPerformance edited by heisenbug
(diff)
5:56 AM Commentary/Compiler/NewCodeGen edited by heisenbug
(diff)
12:32 AM Building/GettingTheSources edited by thoughtpolice
(diff)

Aug 3, 2012:

11:36 PM Ticket #7118 (Comments of curly bracket form, which appear at the end of type ...) created by timthelion
[…]
6:06 PM Ticket #7117 (Data family constructors defined in GHCi are not in scope) created by parcs
The following example explains the problem: […] FooInt is defined, …
3:55 PM Ticket #4065 (Inconsistent loop performance) closed by simonmar
fixed
3:32 PM Ticket #7116 (Missing optimisation: strength reduction of floating-point multiplication) created by simonmar
e.g. x * 2.0 should turn into x + x. See #2253 (program 6) for an …
3:27 PM Blog: The new code generator is nearly ready to go live edited by simonmar
3:13 PM Blog: The new code generator is nearly ready to go live created by simonmar
3:07 PM Ticket #2253 (Native code generator could do better) closed by simonmar
fixed
1:22 PM Ticket #7115 (docs mention "the darcs repositories") closed by pcapriotti
fixed: Thanks, fixed: […]
1:08 PM Ticket #7115 (docs mention "the darcs repositories") created by MikolajKonarski
The page …
1:06 PM Ticket #7114 (Cannot recover (good) inlining behaviour from 7.0.2 in 7.4.1) created by dreixel
(I'm sorry that this test case is so large.) The attached module …
1:01 PM Changeset in ghc [0940813]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix references to repositories in the user guide
12:41 PM Changeset in ghc [7974afb3]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix references to repositories in the user guide
12:02 PM Ticket #7113 (linux-powerpc : large integer implicitly truncated to unsigned type) created by erikd
Compiling on linux-powerpc using gcc 4.6.3 and get: […] In the …
10:12 AM Ticket #7112 (No inlining in the presence of non-instantiated phantom type) created by dreixel
Consider the following code: […] Compiled with -O1, g does not get …
2:42 AM Ticket #7111 (record single inheritance, partial solution to record problem) created by centaurian_slug
The record system reminded me of the situation in assembly language. Could …

Aug 2, 2012:

1:37 PM Ticket #7106 (ghc-7.4.2 on sparc solaris without threaded rts) closed by simonmar
fixed: Replying to maeder: > as always: > > {{{ > -bash-3.00$ cat …
1:12 PM Changeset in ghc [3e2d0af]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept output for now
1:12 PM Changeset in testsuite [288062e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept output for now
12:33 PM Ticket #5254 (usb library fails on Windows) closed by simonmar
fixed: Fixed: […]
12:07 PM Changeset in ghc [b11a5ef]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
comments and refactoring
10:57 AM Changeset in ghc [3ae875c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Eliminate "r = r" assignments. Previously these were caught by removeDeadAssignments, but we aren't doing that now.
10:57 AM Changeset in ghc [4aaa3c1]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix a bug in the inliner
10:57 AM Changeset in ghc [46adcee]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
comment wibble
10:57 AM Changeset in ghc [15e4f93]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
applying simonpj's fix from #7022 (with 80-col reformatting)
10:57 AM Changeset in ghc [4200c4a4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
FloutOut.wrapTick: don't forget to tick the args of a constructor app Thanks to Peter Wortmann for pointing out this bug.
10:57 AM Changeset in ghc [a915d9b4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Inline into the last node Also lots of refactoring and tidyup
10:57 AM Changeset in ghc [40b6598a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Improve accuracy of memory conflict tracking We now track stack regions, so that we can float a stack load past a stack store if they don't conflict. Also, we now use the CmmType to more accurately identify heap addresses.
10:57 AM Changeset in ghc [325f2f3]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Disable the mini-inliner when using the new codegen The new sinker is at least as powerful, and the mini-inliner sometimes even makes things worse.
10:57 AM Changeset in ghc [95686360]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
No need to do removeDeadAssignments, just do cmmLiveness instead
10:57 AM Changeset in ghc [08c16ba]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Code reformatting
10:56 AM Changeset in ghc [dae976c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add a sinking pass before stack layout (currently disabled)
10:56 AM Changeset in ghc [6ede006]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Explicitly share some return continuations Instead of relying on common-block-elimination to share return continuations in the common case (case-alternative heap checks) we do it explicitly. This isn't hard to do, is more robust, and saves some compilation time. Full commentary in Note [sharing continuations].
10:56 AM Changeset in ghc [7930221e]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't shortcut call-returns when not splitting proc points See Note [shortcut call returns]
10:40 AM Changeset in base [d7332cf]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Document that a FinalizerPtr is a pointer to a ccall function (#5254) It can't be any other calling convention, e.g. stdcall.
9:40 AM Ticket #7075 (GHC 7.4.1 Mac OSX 32 bit gets panic on compilation of Haskell code to C ...) closed by simonmar
fixed: This has been fixed already: […]
9:01 AM Ticket #6122 (INLINE pragma not obeyed) closed by simonmar
wontfix: GHC doesn't do this because it is difficult to ensure termination. The …

Aug 1, 2012:

3:21 PM Ticket #7110 (Stack overflow when compiling with optimizations) created by EyalLotem
This program: […] Causes a stack overflow when compiled with -O2, and …
1:11 PM Ticket #7109 (Inlining depends on datatype size, even with INLINE pragmas) created by dreixel
Consider the following code: […] With a proper definitions of generic …
11:50 AM Ticket #7108 (Link to haskell report in prelude) created by JonasDuregard
The documentation of the Prelude module mentions and links to the Haskell …
10:53 AM Building/GettingTheSources edited by nomeata
typo (diff)

Jul 31, 2012:

9:30 PM Ticket #7107 (Don't remove -package-conf) closed by tibbe
invalid: Great. I assumed it was removed as a bunch of code was changed to use the …
9:15 PM Ticket #7107 (Don't remove -package-conf) created by tibbe
Please keep -package-conf around as a (deprecated) alias for …
3:59 PM Changeset in ghc [d2361423]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Improve code generated when real registers are clobbered There was a long-standing ToDo here that I just did: if a real register is clobbered by the current instruction, then we should move it to another free register rather than spilling it to memory. This case crops up more often now that the register allocator can allocate into the fixed Rn registers.
12:09 PM Ticket #7084 (powerpc64 : cast from pointer to integer of different size) closed by simonmar
fixed
12:08 PM Ticket #6019 ('threadDelay maxBound' results in 'internal error: select failed') closed by simonmar
fixed: Fixed: commit 598ee1ad1b8de089a2ed207543761d617a90db52 […]
11:12 AM Ticket #7106 (ghc-7.4.2 on sparc solaris without threaded rts) created by maeder
my build of ghc-7.4.2 could not link binaries compiled with "-threaded" …
9:15 AM Plugins edited by nomeata
(diff)
9:14 AM NewPlugins edited by nomeata
Fix link (diff)
8:21 AM Changeset in ghc [9e82dc1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a test for #7087
8:21 AM Changeset in testsuite [6ebe148]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add a test for #7087
8:19 AM Changeset in ghc [598ee1a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix #7087 (integer overflow in getDelayTarget())
7:39 AM Changeset in ghc [9e7acbe]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix compile on linux-powerpc64. (#7084).
6:57 AM Changeset in ghc [3d366a8]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add a signature to avoid warning.
3:40 AM Changeset in ghc [6237dfb1]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Start in porting the Leq database data structure.
3:15 AM Changeset in ghc [6ab9460]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Tweak the rules, so that they work for the common case.

Jul 30, 2012:

5:42 PM Changeset in ghc [6f346d4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
12:43 PM Changeset in ghc [a25c9741]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix haddock parse error
12:24 PM Changeset in ghc [8b31090c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warnings
12:16 PM Changeset in ghc [a0020c1e]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix merge bugs
10:56 AM Changeset in ghc [a2e0fbe]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
bug fix for control-flow optimisation
10:56 AM Changeset in ghc [a4b249c4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Small optimisation to the code generated for CAFs
10:56 AM Changeset in ghc [e26161f]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
no need to removeUnreachableBlocks We do this in lots of other places (blockConcat, CmmLayoutStack, etc.)
10:56 AM Changeset in ghc [9388337]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
bug fixes for the sinker
10:55 AM Changeset in ghc [1cea9a5]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
optimise away some unnecessary stack checks
10:55 AM Changeset in ghc [f1ed6a1]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
New codegen: do not split proc-points when using the NCG Proc-point splitting is only required by backends that do not support having proc-points within a code block (that is, everything except the native backend, i.e. LLVM and C). Not doing proc-point splitting saves some compilation time, and might produce slightly better code in some cases.
10:45 AM Changeset in ghc [fe3753e7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Merge sinking and inlining to get better results.
10:42 AM Changeset in ghc [6c2c07c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
bugfix: cope when a source reg is dead at a join point We didn't trip over this one until I started generating code without proc-point splitting, which has more join points and loops.
10:42 AM Changeset in ghc [f68b427]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fixes for the stack layout algorithm to handle join points
9:03 AM Ticket #7105 (Better names for derived SCCs of instances) created by ksf
Currently, -fprof-auto generated SCCs are named after their function name, …
3:38 AM Ticket #7104 (Add tryWriteTBQueue to Control.Concurrent.STM.TBQueue) created by joeyadams
I'd like a "try" variant of writeTBQueue, so part of my application can …

Jul 29, 2012:

10:17 PM Changeset in ghc [cc3d9828]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
10:09 PM Changeset in ghc [90f73952]cross-compiler-alienless by Gabor Greif <ggreif@…>
initial batch of cross compiler changes notable missing functionality is: - the inclusion of the cross-gcc into the wrapper script - disabling of some extra packages - specifying linker per stage - some patching of libffi/.../powerpc/ffi.c These features will be included in subsequent commits.
7:32 PM Changeset in ghc [93c03f84]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typos
7:31 PM Changeset in ghc [ab14d99]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
GHCConstants.h should not contain preprocessor definitions
7:30 PM Changeset in ghc [c7a7c49]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typo

Jul 28, 2012:

11:46 PM Changeset in ghc [1d094f9]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove nativeGen/PprInstruction.hs Looks like I accidentally added it a while ago
10:15 PM Ticket #7103 (Compiler panic, when loading wxc in GHCi) created by Henk-Jan
[…]
10:00 PM Commentary/Compiler/StgSynType edited by heisenbug
typo (diff)
4:36 PM Changeset in ghc [8bedd34]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed typo in earlier fix to #7022, as per Simon PJ.
2:49 PM Ticket #7102 (Type family instance overlap accepted in ghci) created by exbb2
This code works if I paste it line by line in ghci, but not if i try to …
1:39 PM Changeset in process [5f84528]ghc-7.8 by Ian Lynagh <ian@…>
Improve showCommandForUser on non-Windows We no longer gratuitously use '' when they clearly aren't necessary
12:11 PM Changeset in ghc [873f7b2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix dfun unfolding of PA instances generated by the vectoriser

Jul 27, 2012:

10:15 PM Ticket #7014 (RULES for bitwise logic and shift primops) closed by pcapriotti
fixed
7:57 PM Changeset in ghc [24387e6]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix warning on x86-64
1:04 PM Changeset in ghc [822f996b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Fix failures in the full testsuite
1:04 PM Changeset in testsuite [1a837bb0]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix failures in the full testsuite
12:59 PM Changeset in testsuite [0a4d108d]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Fix failures in the full testsuite
12:00 PM Ticket #7101 (Specialise broken for implicit parameters) created by pcapriotti
The tcrun019 test case is failing with optimization on. Here is an even …
9:42 AM Changeset in ghc [70128bd]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
All tyvars that occur in a hole are now zonked and tidied before creating the hole error messages. This ensures all free type variables in all holes are consistently named. I'm not sure this is the ideal solution here, as it means all type variables in a hole get zonked and tidied (at least) twice, but it's the least invasive way to do it.
9:39 AM Changeset in ghc [75e8b56c]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Another whitespace revert.
9:37 AM Changeset in ghc [9ed2ae1e]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
This should never be reached, the hole should have been substituted by an HsVar.
8:36 AM Changeset in ghc [3afc015]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test case for #7014.
8:36 AM Changeset in testsuite [9925b8c7]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #7014.
4:27 AM Ticket #7100 (Loosen requirement for free variables in constraint in class declaration) created by selinger
In a class declaration, Haskell requires all free variables that occur in …

Jul 26, 2012:

9:05 PM Changeset in base [038402d]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Merge inline rule warning fixes
8:51 PM Changeset in ghc [74fb5c4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Fix typo in warning message
8:51 PM Changeset in ghc [2c82539]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Re-enable inline-rule-shadowing warning. Keep the warning off for template-haskell and bytestring for the moment.
8:50 PM Changeset in ghc [949081a9]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Merge PrelRules refactoring (#7014)
8:37 PM Changeset in ghc [ddbe790]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Fix T6082-RULE test case
8:37 PM Changeset in testsuite [aff55f8]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix T6082-RULE test case
8:34 PM Changeset in ghc [4f811e1a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Migrate more rules to PrelRules. Move the following primop rules from GHC.Base to PrelRules: "narrow32Int#" forall x#. narrow32Int# x# = x# "narrow32Word#" forall x#. narrow32Word# x# = x# "int2Word2Int" forall x#. int2Word# (word2Int# x#) = x# "word2Int2Word" forall x#. word2Int# (int2Word# x#) = x#
10:26 AM Ticket #7099 ('instance Show' results in stack overflow) closed by pcapriotti
invalid: This is expected behavior. The Show class defines defaults for all its …
8:58 AM Ticket #7099 ('instance Show' results in stack overflow) created by pl
When I load the code below in ghci and run 'create :: C' the execution …
3:40 AM Ticket #7098 (GHC 7.4.1 reports an internal error and core dumps while using DPH) created by Prasanna
While compiling a DPH program I got the following error, […] I have …

Jul 25, 2012:

10:56 PM Ticket #7087 ('select' fails for very large arguments to 'threadDelay') closed by pcapriotti
duplicate: Thanks for the report. This is fixed in HEAD. See #6019.
4:54 PM Ticket #7097 (linker fails to load package with binding to foreign library) created by nus
GHCI is unable to load 'network' package on Windows. The versions: […] …
4:53 PM Ticket #7096 (linker fails to load package with binding to foreign library) created by nus
GHCI is unable to load 'network' package on Windows. The versions: […] …
2:27 PM Changeset in ghc [c8335469]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2:24 PM Changeset in ghc [c859d17]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Mikolaj Konarski <mikolaj@…>
Merge taskId and serialisableTaskId A companion ghc-events pachakge commit displays task ids in the same format.
12:53 PM Changeset in base [44009e9]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Fix inline rule shadowing warnings
12:03 PM Ticket #7095 (Kind-polymorphic typechecking requires better documentation.) created by schernichkin
Hi. I faced some difficulties using kind-polymorphic instances and I think …
11:53 AM Changeset in base [f654e28]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Port more primop rules to PrelRules.
11:30 AM Changeset in ghc [5d2a1e6]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

Jul 24, 2012:

9:18 PM Changeset in ghc [55881ff]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove pprNatCmmDecl's Platform argument
9:04 PM Changeset in ghc [cd22c009]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove unnecessary Platform arguments in nativeGen/PPC/Ppr.hs
8:13 PM Changeset in ghc [bd0649f7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a comment about the units of platformWordSize
8:05 PM Changeset in ghc [fecb6af]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some old temporary warning suppression for hoopl warnings
7:41 PM Changeset in ghc [229e9fc]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Make -fscc-profiling a dynamic flag All the flags that 'ways' imply are now dynamic
6:06 PM Ticket #7094 (Irrefutable pattern failed for pattern Data.Maybe.Just) closed by pcapriotti
fixed: Thanks for the report. This is fixed in HEAD.
5:45 PM Ticket #7094 (Irrefutable pattern failed for pattern Data.Maybe.Just) created by pganelin
The following invalid program causes ghc panic […] […]
5:17 PM Changeset in base [25de47e]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Make numeric rules builtin. Move rules in GHC.Base to PrelRules and convert them to BuiltinRules.
5:14 PM Changeset in ghc [cb054f5]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Refactor prel rules: always return a single rule.
5:13 PM Changeset in ghc [4b18cc53]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
We no longer need to build utf8-string haskeline no longer depends on it
4:51 PM Changeset in ghc [6a43840c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Refactor PrelRules and add more rules (#7014) Ported various rules for numeric types from GHC.Base. Added new rules for bitwise operations, shifts and word comparisons.
3:59 PM Changeset in ghc [c9733e2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Add flag to disable rule shadowing warning. Also, temporarely disable that warning for validate builds, until we finish fixing them all.
2:46 PM Changeset in ghc [f95ced2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Tweak the HC_OPTS generation libraries/base/GHC/Base_HC_OPTS wasn't getting included, because we were using libraries/base/./GHC/Base.lhs as the path, and the ./ meant we got the wrong filename. I didn't use $(realpath ...) as the .hs file may be generated by hsc2hs or similar, so may not exist when the HC_OPTS are constructed.
2:25 PM Changeset in ghc [1d15ada]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix whitespace only in cmm/SMRep.lhs
2:11 PM Changeset in ghc [dea4ee1]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix build on Windows: Configure packages in the right order Also added a comment explaining that addPackages need to be in dependency order.

Jul 23, 2012:

11:40 PM Changeset in ghc [44ccc07e]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
Merging with master
5:26 PM Changeset in ghc [fc2a968]type-nats by Iavor S. Diatchki <diatchki@…>
Disable widening rules for the moment.
5:08 PM Ticket #7093 (Exception when encountering instance declarations without class name) closed by simonpj
duplicate: Another dup of #5951. Please re-open if you think it isn't a dup.
5:01 PM Ticket #7093 (Exception when encountering instance declarations without class name) created by guest
Code […] GHC 7.4.1 "crashes" with an exception if the class …
4:34 PM Ticket #7088 (Float-in bug) closed by simonpj
fixed
4:29 PM Changeset in ghc [b498b99]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix a subtle float-in bug This patch makes fiExpr (AnnLam ...) noFloatIntoExpr (AnnLam ...) line up with each other. Previously they behaved inconsistently with bad results. The details are in Trac #7088. There's a regression test in simplCore/should_compile/T7088
4:05 PM Changeset in ghc [9c0a6bbb]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Numerous small changes to the constraint solver The main thing is that we now keep unsolved Derived constraints in the wc_flats of a WantedConstraints, rather than discarding them each time. This actually fixes a poential (admittedly obscure) bug, when we currently discard a superclass constraint, and may never re-generate it, and may thereby miss a functional dependency. Instead, reportErrors filters out Derived constraints that we don't want to report. The other changes are all small refactorings following our walk-through.
2:50 PM Changeset in ghc [6f75505]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/simplCore/should_compile/all.T
2:50 PM Changeset in testsuite [34b7a00]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 Conflicts: tests/simplCore/should_compile/all.T
2:13 PM Changeset in ghc [606b6d5]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Reverse sense of test in RULEs warning
12:56 PM Changeset in ghc [c57f6389]supercompiler by Max Bolingbroke <batterseapower@…>
Small simplification to solving loop predecessors map
12:46 PM Ticket #7092 (Spurious shadowing warnings for names generated with newName) created by a.ulrich
When multiple names are generated with newName in the same scope and with …
8:33 AM Changeset in ghc [d23aa19]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:33 AM Changeset in testsuite [cdadbfba]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
8:23 AM Changeset in ghc [8eba4f8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #6082 rule matching warning
8:23 AM Changeset in testsuite [299134c]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6082 rule matching warning
8:22 AM Changeset in ghc [e1c116c6]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Typo in error message
8:18 AM Changeset in ghc [b79822c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:18 AM Changeset in testsuite [cbda1c8]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
8:17 AM Changeset in ghc [4dac5452]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
8:17 AM Changeset in ghc [fabb155]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Delay inlining 'text' so that the RULE has a chance to fire
8:17 AM Changeset in ghc [79062a8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the desugarer warn about RULES that may not fire This warning was suggested by Trac #6082, where we had a library RULE that failed to fire because its function was inlined too soon.
8:15 AM Changeset in ghc [9cfb3c6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add some NOINLINE pragmas to satisfy the (correct) "RULE may not fire" warning
8:15 AM Changeset in testsuite [e200b7c]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add some NOINLINE pragmas to satisfy the (correct) "RULE may not fire" warning
8:11 AM Changeset in ghc [be86a8f7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Less voluminous debug printing with -ddump-tc-trace

Jul 22, 2012:

7:53 PM Changeset in ghc [b27280b2]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: compiler/basicTypes/Unique.lhs compiler/iface/MkIface.lhs
2:46 PM Ticket #7091 (DPH Matrix product memory usage) created by mblanco
This report is from the post at Haskell-cafe "DPH matrix product", I'm …

Jul 21, 2012:

8:42 PM Changeset in ghc [3f2fe73d]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Use WiredIn names for the axiome rules.
6:53 PM Changeset in ghc [f99601f]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add a new TyThing for CoAxiomRule.
6:10 PM Changeset in ghc [afa3965d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add a type signature for a function with an ambiguous type There's a comment with visit_PPSArgs to explain. GHC was rightfully rejecting visit_PPS as having an ambiguous type. And it does! It worked before because the ambiguity involved only standard classes and hence was resolved. (I suppose this could be a warning instead. But I'm fixing the test anyway.)
6:10 PM Changeset in testsuite [0b8ea97]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add a type signature for a function with an ambiguous type There's a comment with visit_PPSArgs to explain. GHC was rightfully rejecting visit_PPS as having an ambiguous type. And it does! It worked before because the ambiguity involved only standard classes and hence was resolved. (I suppose this could be a warning instead. But I'm fixing the test anyway.)
6:09 PM Ticket #7090 (Panic "mkCoVarLCo" with ConstraintKinds and type-level equality) created by goldfire
The following abuse of the type system causes a panic: […] Here is …
6:06 PM Changeset in ghc [611bf883]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Move CoAxiomRule from Coercion to TypeRep/Type. This is in preparation for adding it to TyThing, so that the built-in rules could be implemented GHC's wired-name mechanism.
5:03 PM Ticket #5908 (Issues with RebindableSyntax) closed by simonpj
fixed: Happily this is fixed in GHC 7.4 and in HEAD. I've added your test as a …
5:01 PM Ticket #7089 (-fwarn-unused-do-bind with type families) created by dag
When using acid-state, I get warnings for "unused do binds" from functions …
5:01 PM Changeset in ghc [7cf9432a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5821
5:01 PM Changeset in testsuite [1c5a64b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5821
4:42 PM Changeset in ghc [4666be5]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Don't report unused bindings of the form _ = e Thse are used in a few libraries, either to add type constraints via a signature, or to mention some variables that are only otherwise mentioned in one #ifdef branch
5:01 AM CodeOwners edited by erikd
(diff)

Jul 20, 2012:

7:20 PM Changeset in ghc [a8072f3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7088
7:20 PM Changeset in testsuite [58111c4]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7088
7:19 PM Ticket #7088 (Float-in bug) created by simonpj
Consider […] Then loatIn.noFloatIntoRhs will say False, because the …
7:09 PM Changeset in ghc [60ee763]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
7:09 PM Changeset in ghc [0b20ae9]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make SizeIs strict in the bag, which improves performance a bit
7:08 PM Changeset in ghc [887e7c48]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make seqType etc take accouunt of kinds that are now non-trivial
7:07 PM Changeset in ghc [cd627bc]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do calcUnfoldingGuidance on the *non* occ-analysed RHS See Note [Calculate unfolding guidance on the non-occ-anal'd expression] This makes a big difference to residency (530M vs over 800M when compiling Cabal). This fixes the majority of the regression in Trac #6104
7:00 PM Ticket #7087 ('select' fails for very large arguments to 'threadDelay') created by Gabriel439
The following program crashes GHC with an internal error: import …
6:17 PM Changeset in ghc [a0ba88b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:13 PM Ticket #7085 (Report unused pattern bindings) closed by simonpj
fixed
6:12 PM Changeset in ghc [94187d0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge ../../HEAD/testsuite
6:12 PM Changeset in testsuite [4698638]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge ../../HEAD/testsuite
6:10 PM Changeset in ghc [cfb038de]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make tracingSettings have just enough information to get debug output printed I suspect I have done the wrong thing; I hope someone can improve.
6:01 PM Changeset in ghc [59a4b585]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Accept error
6:01 PM Changeset in testsuite [fd96f19]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error
5:51 PM Changeset in ghc [77441957]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add error output
5:51 PM Changeset in testsuite [b7b649e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add error output
5:30 PM Changeset in base [3e0e1de]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove tests for removed modules
5:17 PM Changeset in ghc [e7550748]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge ../HEAD
5:05 PM Changeset in base [14b0242]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove hash001, as we no longer have Data.HashTable
4:55 PM Changeset in base [12b51c4]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some deprecated modules and functions
3:54 PM Changeset in ghc [2844abb]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
GHC 7.4 is now required for building HEAD
3:46 PM Changeset in ghc [8a13344]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Bump HEAD version to 7.7
3:42 PM Ticket #7086 (haddock memory usage regression) created by igloo
Haddock uses a lot more memory than it used to. Attached are …
2:37 PM Ticket #7041 (GHC.Real.gcdInt is no longer optimized.) closed by igloo
fixed: The short answer is that gcd is different because only 1 Integer backend …
1:52 PM Changeset in ghc [3c52a0f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
1:52 PM Changeset in testsuite [caa135d]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
1:05 PM Changeset in ghc [6e199bd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Remove T7041; it doesn't make sense now that we handle gcd differently
1:05 PM Changeset in testsuite [aec57dc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Remove T7041; it doesn't make sense now that we handle gcd differently
1:04 PM Changeset in ghc [ed3c066f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix arith013
1:04 PM Changeset in testsuite [33b7bee]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix arith013
1:02 PM Changeset in ghc [b1ddfcf9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Adjust T1969's bounds again
1:02 PM Changeset in testsuite [09988e7]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Adjust T1969's bounds again
11:57 AM Changeset in ghc [cbbd108]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Warn about unused pattern bindings Fixes Trac #7085
11:57 AM Changeset in ghc [2b5c6ba]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7085
11:57 AM Changeset in testsuite [3b51367]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7085
11:53 AM Ticket #7085 (Report unused pattern bindings) created by simonpj
Henning says: recently, I was a bit suprised that GHC didn't warn about …
11:40 AM Ticket #2534 (Odd probable cause given by type checker) closed by simonpj
fixed: The new constraint-solving type inference algorithm does indeed do a …
11:39 AM Changeset in ghc [a55605f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:39 AM Changeset in testsuite [48ecf38]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
11:39 AM Changeset in ghc [1f405ee6]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #2534
11:39 AM Changeset in testsuite [a2092e7]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #2534
11:28 AM Changeset in ghc [0c42fb3c]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite Conflicts: tests/perf/compiler/all.T
11:28 AM Changeset in testsuite [5fbda50]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite Conflicts: tests/perf/compiler/all.T
9:29 AM Changeset in ghc [90d89402]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
The dph libraries are not required in the 7.6 branch And we don't build them by default, as they shouldn't go into the release.
9:29 AM Changeset in ghc [7445c98]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Bump version to 7.6.0
5:46 AM Ticket #7084 (powerpc64 : cast from pointer to integer of different size) created by erikd
Compiling for linux-powerpc64 and I get: […] Have a patch for this.
1:55 AM Ticket #7083 (Reduce the likelihood of x64/x86-64 changes breaking the build on other ...) created by erikd
The file compiler/nativeGen/X86/Regs.hs is causing rather a lot of trouble …

Jul 19, 2012:

7:39 PM Changeset in integer-gmp [ac868e8]ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/integer-gmp
7:38 PM Changeset in base [5ef21eb]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
7:38 PM Changeset in ghc [322044b2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:58 PM Changeset in ghc [d3668ed]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Update to time 1.4.0.1
6:58 PM Changeset in ghc [0f69338]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Update dependencies.
12:36 PM Changeset in ghc [577b9dc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:36 PM Changeset in testsuite [3887af1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:35 PM Changeset in ghc [6ecd9b9b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:34 PM Changeset in ghc [a631a13d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Dimitrios Vytiniotis <dimitris@…>
Improving error messages for synonyms.
12:34 PM Changeset in testsuite [f97b160]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Improving error messages for synonyms.
12:32 PM Changeset in ghc [a04583a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Cleaning up the extractUnsolved story.
9:28 AM Changeset in ghc [7987126]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Keeping Derived constraints in the unsolved parts of WantedConstraints, and other small refactorings.
9:26 AM Changeset in ghc [0b42a7d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Preserve synonyms if possible (leads to better error messages) through flattening.
9:07 AM Changeset in unix [de870e7]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Bump version to 2.6.0.0
8:49 AM Changeset in integer-gmp [2d9eca1]ghc-7.6ghc-7.8wip/T8647 by Paolo Capriotti <p.capriotti@…>
Bump version to 0.5.0.0

Jul 18, 2012:

11:28 PM Changeset in ghc [fb0769b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove redundant Platform arguments in cmm/PprC.hs
6:55 PM Changeset in ghc [e0d54c7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove most of the redundant Platform argument passing in nativeGen/X86/Ppr.hs
6:48 PM Building/Using edited by simonpj
(diff)
3:12 PM Changeset in ghc [2d969ff9]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Small code simplification
3:01 PM Changeset in ghc [d8dc1f8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove a load of Platform arguments We don't need them any more, now that we have DynFlags inside SDoc
2:49 PM Changeset in ghc [418d091]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios Vytiniotis <dimitris@…>
Small refactoring in the generation of superclasses.
2:47 PM Changeset in ghc [2a20b0e7]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Whitespace only in nativeGen/SPARC/Ppr.hs
2:37 PM Changeset in ghc [964ea43]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Add 32-bit output for gcdInteger
2:37 PM Changeset in testsuite [294cc4d]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add 32-bit output for gcdInteger
2:34 PM Changeset in integer-gmp [2d9b4cb]ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Simplify how gcd @ Int is implemented
2:33 PM Changeset in base [a8b47d5]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Simplify how gcd @ Int is implemented
2:18 PM Changeset in ghc [c06aa9b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add some more Integer rules
2:15 PM Changeset in integer-gmp [4e42fde]ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Move some rules into PrelRules
1:03 PM Changeset in ghc [6ae696a1]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
First batch of file additions for cross-compiler: new file: ghc/ghc-cross.wrapper new file: includes/mkDerivedConstants.cross.awk new file: includes/mkSizeMacros.cross.awk new file: rules/cross-compiling.mk These are expected to sit quietly in the tree until the rest of the machinery matures on an (upcoming) branch. Reviews will begin to make sense as soon as that has happened. Anyway, comments are welcome. See <http://www.haskell.org/pipermail/cvs-ghc/2012-July/074456.html> for background. Disclaimer: these source files are not (yet) up to the quality standards set by the rest of the tree. Cleanups, move-arounds and rewrites (i.e. .awk -> .hs), as well as additional comments and documentation will happen as soon as the basic functionality of a cross-compiler is working reliably.
12:16 PM Changeset in ghc [81d15563]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Another whitespace revert.
12:15 PM Changeset in ghc [9417612]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
comment-only typo
12:11 PM Changeset in ghc [5dce7d0c]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Remove many unnecessary imports and whitespace changes.
12:03 PM Changeset in ghc [3dda492]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7082
12:03 PM Changeset in testsuite [1987e06]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7082
12:02 PM Ticket #7082 (Default type family instances) closed by simonpj
fixed: Happily this works fine in HEAD. If you omit both (1) and (2), with HEAD, …
12:00 PM Changeset in ghc [6af4e5dc]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
use idiomatic type
11:50 AM Changeset in ghc [11f4ef0]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Improve the printing of the local environment.
11:50 AM Changeset in ghc [35fb703d]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Removed Holes completely from Core.
11:01 AM Ticket #5669 (Fix test 5558 for Mac OS X 10.5) closed by pcapriotti
fixed: Thanks for the patch. I ended up generating the sequence in python …
11:00 AM Ticket #6160 (support sub-second resolutions for file timestamps) closed by pcapriotti
fixed: Applied, thanks. […]
10:57 AM Ticket #7077 (Add an order-reversing newtype to Data.Ord) closed by pcapriotti
fixed: Thanks for the patch. We decided to move the definition of Down to …
10:55 AM Ticket #7060 (Option -ddump-rule-rewrites doesn't dump to a file) closed by pcapriotti
fixed: Also pushed: […]
10:51 AM Changeset in unix [868c6df]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Fix warnings.
10:50 AM Changeset in ghc [f8a00d0e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Restore old output for -ddump-rule-firings #7060 Commit 3fcf5bdff7a22e22d7265535369cd8f867141ec1 made the output of -ddump-rule-firings and -ddump-rule-rewrites excessively verbose. Fixed by removing the extra blank lines and separator when the header of dump is empty.
10:50 AM Changeset in ghc [2b341fc4]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Remove hPrintDump and make rule dump output more consistent (#7060) The only difference between SevDump and SevOutput in defaultLogAction is an extra blank line, so we don't need a separate hPrintDump function. Also make -ddump-to-file consistent with the stdout version, by avoiding to add the extra empty line when dumping rules.
10:50 AM Changeset in ghc [a0af36b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Reorder libraries to account for unix dependency on time.
10:50 AM Changeset in ghc [1aeaf17]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
ghc-pkg: restore -no-user-package-conf flag.
10:48 AM Changeset in ghc [21e38cc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Fix T4007 after changes for #7060. Rule dump output now goes to stdout.
10:48 AM Changeset in ghc [410ad380]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Make 5558 portable by replacing seq with python code (#5558)
10:48 AM Changeset in testsuite [42fd515]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix T4007 after changes for #7060. Rule dump output now goes to stdout.
10:48 AM Changeset in testsuite [3af4033]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Make 5558 portable by replacing seq with python code (#5558)
10:25 AM Changeset in ghc [3ae9f0f9]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typos in trace strings (which I observed in compile output)
10:14 AM Changeset in ghc [f25718b0]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
made comments C-style, so that no gcc-extension is needed also removed an unnecessary 'struct' tag (since the struct is not recursive); this is in line with the other struct definitions fixed a typo, updated copyright it remains to remove the tabs and align the structure members accordingly
9:33 AM Ticket #6082 (Program compiled with 7.4.1 runs many times slower than compiled with ...) closed by simonmar
wontfix: unsafeFreeze and unsafeThaw need to be imported from …
8:49 AM Changeset in ghc [9ef3b765]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typos in comments this is also my test commit and reduces the lines in the cross- compiler branch
5:24 AM Changeset in ghc [7b75920]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
An experiment with forward-chaining to look for solutions.

Jul 17, 2012:

11:49 PM Ticket #7082 (Default type family instances) created by guest
The following code does not compile in GHC 7.4, unless line (2) is …
5:38 PM Changeset in ghc [5cf88d2d]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Improve the hole's error messages. - Don't print the local environment if it's empty. - Always use the same quotes.
5:12 PM Changeset in ghc [6ee55fc]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Fix the merge, remove unnecessary code: - Holes do not contain their name anymore again. - Holes are turned into Vars before desugaring. This should not matter while running, as they are turned into runtime errors anyway, but this means holes do not need to exist in Core. - Removed named holes from the parser & lexer. - Cleaned up the deferring of holes, location info is now also better.
3:50 PM Changeset in ghc [2c1419e]supercompiler by Max Bolingbroke <batterseapower@…>
Fiddle with memo_how check fruitlessly
3:49 PM Ticket #5469 (Reorganisation of exports in template-haskell library) closed by simonpj
fixed: Great, thanks Reiner. I've committed them all. (For tiresome reasons I …
3:49 PM Changeset in ghc [a1ec2fc]supercompiler by Max Bolingbroke <batterseapower@…>
Small style fixes etc to the evaluator
3:48 PM Changeset in ghc [425828f3]supercompiler by Max Bolingbroke <batterseapower@…>
Remove unreachable nodes in splitter before deciding marking to get better results
3:42 PM Changeset in unix [9acb33c]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Extract high resolution timestamps from FileStatus Signed-off-by: Paolo Capriotti <p.capriotti@gmail.com>
3:40 PM Changeset in ghc [dae6dfd]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
3:39 PM Changeset in ghc [436630f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error output
3:39 PM Changeset in testsuite [e033b1f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error output
3:37 PM Changeset in base [3054cf9]data-proxydbcsghc-7.6ghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Move Down to Data.Ord (#7077)
3:30 PM Changeset in base [9aaf76f]data-proxydbcsghc-7.6ghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Add comment to GHC.Exts.
2:03 PM Changeset in ghc [6cb88f4]supercompiler by Max Bolingbroke <batterseapower@…>
Correctly update type of a Case when pushing frames inside it
2:02 PM Changeset in ghc [b7c6fad9]supercompiler by Max Bolingbroke <batterseapower@…>
Treat letbounds and lambdabounds as cheap, for gods sake
2:02 PM Changeset in ghc [ab9c02f]supercompiler by Max Bolingbroke <batterseapower@…>
Include the init_xes when deciding which extra bindings need to be resid
2:01 PM Changeset in ghc [6298222]supercompiler by Max Bolingbroke <batterseapower@…>
Fix small bugs in renaming terms output from the supercompiler
1:58 PM Changeset in ghc [d1417a28]supercompiler by Max Bolingbroke <batterseapower@…>
Check for triviality in renaming before returning a type generalisation
11:55 AM Changeset in ghc [3c61dcd7]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge branch 'master' of https://github.com/ghc/ghc
11:31 AM Changeset in ghc [fe99d51]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
This seems to fix the zonking of the tyvars in the hole's error message.
9:24 AM Ticket #5006 (Write locale character encoding to hpc html report) closed by simonmar
fixed: Applied, thanks!
8:43 AM Changeset in ghc [a211fcf6]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix warnings
8:31 AM Changeset in ghc [872b83e7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Refactor and simplify the SRT handling
8:30 AM Changeset in ghc [46e641e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
no need to export cafTransfers
8:30 AM Changeset in ghc [52899586]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add a comment about how SRTs work
8:30 AM Changeset in ghc [73e8e5ad]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Move sinking into a separate module, and add a simple inlining pass
8:30 AM Changeset in ghc [ebe7dc75]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
tidy up pretty-printing of CmmCall
Note: See TracTimeline for information about the timeline view.