Timeline


and

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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/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
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/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 #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/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 #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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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 …

Mar 29, 2013:

9:38 PM Ticket #7801 (Change C arithmetic types to integral types.) created by jeffshaw
I've done some looking, and I haven't found a case where C's arithmetic …
7:47 PM Changeset in ghc [b4befc06]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Make sure README.md mentions that make can build in parallel. Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:44 PM Changeset in ghc [9b4db4b8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Make sure README.md mentions that make can build in parallel." This reverts commit 0b72347dc468ba081d67385a077238bcaa9eb4d5.
7:44 PM Changeset in ghc [8ae3675b]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Revert "Wibble." This reverts commit e7ca132466e3c2e71f7c8fdb2b96ec87c24353be.
7:38 PM Changeset in ghc [e7ca132]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Wibble. Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:37 PM Changeset in ghc [0b72347d]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Make sure README.md mentions that make can build in parallel. Signed-off-by: Austin Seipp <aseipp@pobox.com>
7:25 PM Debugging/TickyTicky edited by nfrisby
(diff)
7:21 PM Debugging/TickyTicky edited by nfrisby
(diff)
3:29 PM Commentary/Profiling edited by nfrisby
(diff)
3:28 PM Debugging/TickyTicky edited by nfrisby
(diff)
3:20 PM Changeset in ghc [460abd75]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Nicolas Frisby <nicolas.frisby@…>
ticky enhancements * the new StgCmmArgRep module breaks a dependency cycle; I also untabified it, but made no real changes * updated the documentation in the wiki and change the user guide to point there * moved the allocation enters for ticky and CCS to after the heap check * I left LDV where it was, which was before the heap check at least once, since I have no idea what it is * standardized all (active?) ticky alloc totals to bytes * in order to avoid double counting StgCmmLayout.adjustHpBackwards no longer bumps ALLOC_HEAP_ctr * I resurrected the SLOW_CALL counters * the new module StgCmmArgRep breaks cyclic dependency between Layout and Ticky (which the SLOW_CALL counters cause) * renamed them SLOW_CALL_fast_<pattern> and VERY_SLOW_CALL * added ALLOC_RTS_ctr and _tot ticky counters * eg allocation by Storage.c:allocate or a BUILD_PAP in stg_ap_*_info * resurrected ticky counters for ALLOC_THK, ALLOC_PAP, and ALLOC_PRIM * added -ticky and -DTICKY_TICKY in ways.mk for debug ways * added a ticky counter for total LNE entries * new flags for ticky: -ticky-allocd -ticky-dyn-thunk -ticky-LNE * all off by default * -ticky-allocd: tracks allocation *of* closure in addition to allocation *by* that closure * -ticky-dyn-thunk tracks dynamic thunks as if they were functions * -ticky-LNE tracks LNEs as if they were functions * updated the ticky report format, including making the argument categories (more?) accurate again * the printed name for things in the report include the unique of their ticky parent as well as if they are not top-level
12:46 PM Commentary/Compiler/StrictnessAnalysis/KirstenNotes edited by nfrisby
(diff)
12:45 PM Commentary/Profiling/TickyNotes edited by nfrisby
(diff)
10:48 AM Ticket #7800 (Error message when deriving Typeable without PolyKinds) created by monoidal
Module M: […] Module N: […] We get a confusing error message: …
Note: See TracTimeline for information about the timeline view.