Timeline


and

Apr 6, 2013:

6:03 PM Changeset in ghc [8c2f2803]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
5:59 PM Changeset in ghc [93494bd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove a redundant build-system hack We used to have to explicitly pass -lffi when linking the compiler, but it's no longer necessary.
5:59 PM Changeset in ghc [35a341d4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Rewrite usingInconsistentPicReg as a table for clarity No change in functionality intended
5:44 PM Changeset in ghc [78544b76]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Build system fix: really print the number of symbols in DLLs
5:31 PM Ticket #7816 ("main function" is not a function) created by monoidal
A module without main gives an error: […] However, main in Haskell is …
4:27 PM Changeset in ghc [c0fb187b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Derive instance Eq for CmmNode
4:10 PM Changeset in ghc [872f2c8b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in Type
4:10 PM Changeset in ghc [5df7cf32]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Detab modules with tabs on 5 lines or fewer
4:10 PM Changeset in ghc [6534c99]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in TysWiredIn
4:10 PM Changeset in ghc [575cb0c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Split off a InteractiveEvalTypes module to remove an import loop
4:05 PM Commentary/Compiler/CPS edited by heisenbug
escape (diff)
3:56 PM Commentary/PositionIndependentCode edited by heisenbug
add escape (diff)
3:45 PM Changeset in ghc [9a14de48]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Rename the FFI DLL to libffi.dll for consistency
3:45 PM Commentary/Compiler/CPS edited by heisenbug
(diff)
3:42 PM Commentary/Compiler/CPS edited by heisenbug
it is merged (diff)
3:27 PM Changeset in ghc [ba7952b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Change the list of modules that are put into a separate DLL on Windows Fixes #7780.
2:46 PM Changeset in ghc [ff59fea]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
When making a DLL, print the number of symbols that are in it
9:41 AM Changeset in ghc [9b3d4cdd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos

Apr 5, 2013:

5:14 PM Ticket #7815 (STM fails to validate read.) created by fryguybob
This issue was brought up by napping in #haskell with this paste: …
12:46 PM Debugging/CompiledCode edited by heisenbug
there is no -ddump-cmmz any more (diff)
11:44 AM Ticket #7814 (panic in PPC NCG) created by heisenbug
I get panics in the NCG PPC register allocator while compiling these …
7:12 AM Ticket #7813 (Fix mismatched visibility of StgRun) created by PHO
[http://www.haskell.org/pipermail/ghc-devs/2013-April/000932.html From …

Apr 4, 2013:

9:21 PM Changeset in ghc [97ee272f]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
Merge branch 'late-lambda-float'
9:21 PM Changeset in ghc [60015db]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
added ticky counters for heap and stack checks
3:29 PM Frisby2013Q1 edited by nfrisby
(diff)
2:43 PM Ticket #7812 (Ambiguity check too eager with unconstrained type variable) created by goldfire
Consider the following code: […] GHC 7.6.1 compiles this code without …
9:31 AM Ticket #7798 (test_bindist reports ".../libffi-6.dll (No such file or directory)") closed by thorkilnaur
fixed: For tn23 and presumably also am-deb7-64, this has been fixed by […] …

Apr 3, 2013:

5:52 PM Ticket #7811 (intermittent 'unexpected' results of test ghcpkg01) created by nfrisby
I get this unexpected error from ghcpkg01 […] when running the full …
5:35 PM Frisby2013Q1 edited by nfrisby
(diff)
5:35 PM Frisby2013Q1 edited by nfrisby
(diff)
5:24 PM Ticket #7805 (Panic: promoteType with higher-rank datatype) closed by simonpj
fixed: Correct, thanks. Simon
5:24 PM Ticket #7804 (Ambiguity check too eager in presence of RankNTypes and TypeFamilies) closed by simonpj
fixed: Quite right! This was trickier than I thought and, as the comment says, …
5:22 PM Changeset in ghc [45e9b6a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Bump peak-megabytes (always a wobbly number)
5:22 PM Changeset in testsuite [048b9a9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Bump peak-megabytes (always a wobbly number)
5:21 PM Changeset in ghc [717a1db]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error output
5:21 PM Changeset in testsuite [85e0237]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error output
5:21 PM Changeset in ghc [25fb90d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7804
5:21 PM Changeset in testsuite [b66d2c7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7804
5:20 PM Changeset in ghc [b84da61]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
5:20 PM Changeset in ghc [f3bfbd5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7804, about floating equalites We float unsolved equalities from underneath a 'forall', to help solve them, in TcSimplify.floatEqualities. It's regrettably delicate though,as this bug shows. I'm not happy with the new code; but there are copious notes; see Note [Float equalities from under a skolem binding].
5:18 PM Commentary/Compiler/Demand edited by nfrisby
(diff)
4:54 PM Ticket #7810 (make show VALUE=VAR depends on ghc-stage1) created by kgardas
I'm trying to debug some issues in GHC build system and its pretty …
4:18 PM Ticket #7809 (Silly error message suggesting LiberalTypeSynonyms) created by goldfire
The following code (rightly) does not compile: […] The error message …
3:20 PM Ticket #7808 (data families and TH names do not mix well (e.g. cannot use TH deriving)) created by duncan
lots of Haskell libraries have TH functions like: […] (e.g. aeson …
1:38 PM Changeset in ghc [7501a2c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7805: don't allow nested foralls in promoted types
1:37 PM Changeset in ghc [1128f1e0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
This changes fixes a bad error in canonicalisation, concerning kind equality We care careful not to construct a canonical equality whose LHS and RHS have incompatible kinds. (This is one of the invariants of a canonical equality.) See Note [Equalities with incompatible kinds]. However, what I had not dealt with is when LHS and RHS *look* as if they have different kinds, but after zonking they become the same. Bad! (This led to an ASSERT failure in the test for Trac #7176.)
12:30 PM Changeset in ghc [86825d5a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7805
12:30 PM Changeset in testsuite [9b19867]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7805
12:01 PM Changeset in ghc [9d33fc3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
In build.mk.sample, include v in GhcLibWays even if DYNAMIC_GHC_PROGRAMS is set Although it's not technically needed, it's less confusing if the vanilla way works when people use the sample build.mk.
11:47 AM Changeset in ghc [6b431ab4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix installation The build system thought that the RTS built more library files than it actually did, and installation failed when we tried to 'strip' one of these non-existant files.
6:28 AM Changeset in ghc [9c0dbe3d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Amos Robinson <amos.robinson@…>
SpecConstr infinite specialisation: test for #5550
6:28 AM Changeset in testsuite [7fb4ac4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Amos Robinson <amos.robinson@…>
SpecConstr infinite specialisation: test for #5550

Apr 2, 2013:

3:02 PM Ticket #7807 (Parse error with "where" and file-ending comment) created by goldfire
Consider the following file: […] If there is a file-ending newline, …
1:51 PM Debugging/TickyTicky edited by simonpj
(diff)
1:50 PM Debugging/TickyTicky edited by simonpj
(diff)
1:48 PM GhcKinds/KindsWithoutData edited by heisenbug
suggest kind only syntax (diff)
1:41 PM Debugging/TickyTicky edited by simonpj
(diff)
1:41 PM Debugging/TickyTicky edited by simonpj
(diff)
12:41 PM Debugging/TickyTicky edited by nfrisby
(diff)
8:39 AM Ticket #607 (Ticky-ticky profiling) closed by simonpj
fixed
8:26 AM Ticket #7806 (Dynamic linking and libffi) created by kazu-yamamoto
After dynamic linking became the default, building/installing GHC on …
2:57 AM Ticket #7805 (Panic: promoteType with higher-rank datatype) created by goldfire
The following code causes the panic in HEAD: […] Here is the panic …
2:36 AM Ticket #7804 (Ambiguity check too eager in presence of RankNTypes and TypeFamilies) created by goldfire
The following code compiles in 7.6.1 but not in 7.7: […] Here is the …
1:14 AM Ticket #7803 (Superclass methods are left unspecialized) created by akio
In the attached code, Foo.foo1 gets compiled (by ghc -O2) into a call to …
Note: See TracTimeline for information about the timeline view.