Timeline


and

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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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 [25fb90d7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
5:20 PM Changeset in ghc [f3bfbd5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7805: don't allow nested foralls in promoted types
1:37 PM Changeset in ghc [1128f1e0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by 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 …

Mar 31, 2013:

9:56 PM Ticket #7802 (kindFunResult in monad transformer) closed by monoidal
duplicate: Thanks for the report. In fact "getptrval = liftM2 lift" is enough to …
8:51 PM Ticket #7802 (kindFunResult in monad transformer) created by tobsan
This is probably related to the existing (fixed?) bug(s) about …
Note: See TracTimeline for information about the timeline view.