Timeline


and

Jun 7, 2013:

9:41 PM Ticket #7739 (Testsuite failures for HPC way tests on Windows) closed by igloo
fixed: The tix and exe.tix files are now cleaned in pretest_cleanup, so I …
9:37 PM Changeset in ghc [0d860381]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Improve the version numbers generated by the build system If we can't find a better date to use, then use today's date.
5:16 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:26 PM Commentary/Compiler/TypeType edited by simonpj
(diff)
1:47 PM Ticket #7969 (-ddump-minimal-imports should preserve imports required to implement ...) created by dsf
If a module contains a "deriving instance Show Foo" declaration, the …
11:31 AM Commentary/Compiler/TypeType edited by erikd
un-wiki ByteArray?# (diff)
11:26 AM Ticket #7968 (fft2 benchmark sometimes fails (nofib)) created by jstolarek
I noticed that sometimes fft2 program in nofib benchmark suite returns …
10:40 AM Changeset in base [d4d008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:40 AM Changeset in ghc [374fcdd0]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:12 AM Commentary/Compiler/TypeType edited by erikd
Update Type representation to refect GHC 7.7.20130606 (diff)
10:01 AM Commentary/Compiler/TypeType edited by erikd
fix typoes (diff)
8:03 AM Ticket #7894 (Crash on :i M.->) closed by simonpj
fixed: The panic in OccName.isDataOcc looked like this: […] I see no good …
8:00 AM Changeset in ghc [b52a0a2]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 #7894
8:00 AM Changeset in testsuite [2449037]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7894
6:19 AM ViewPatterns edited by guest
removed spam (diff)

Jun 6, 2013:

9:13 PM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) created by goldfire
In doing some routine dependently typed hackery, I wrote the following: …
7:29 PM Changeset in ghc [a28731b3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 Edward Z. Yang <ezyang@…>
Add --show-options to list all flags (Fixes #7843)
7:13 PM Building/RunningTests/Running edited by dterei
Make a little more concise (diff)
7:06 PM Changeset in ghc [09de957]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 David Terei <davidterei@…>
Update readme to markdown and expand.
7:06 PM Changeset in testsuite [a3828255]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update readme to markdown and expand.
7:05 PM Changeset in ghc [cc1b579]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 David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in testsuite [bc45165]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in ghc [6599d469]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 David Terei <davidterei@…>
Update gitignore.
7:05 PM Changeset in testsuite [dcb92f7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update gitignore.
5:31 PM Changeset in base [5bd176f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix import warnings
5:31 PM Changeset in ghc [4c6faba]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Fix import warnings
4:55 PM Changeset in ghc [cfe92a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Remove old representation of CSEnv; part of #5996
3:23 PM Changeset in ghc [c0e4eefe]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 compiler/simplCore/CSE.lhs
1:38 PM Changeset in base [b801f5f]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in base [6d1b0d6c]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in base [2227e5e]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in base [a97ebe3]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in base [9b7c1b1]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:38 PM Changeset in ghc [8d87b5bf]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in ghc [a8ede1e9]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in ghc [b3afa0a]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in ghc [ad6696e]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in ghc [404327a9]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:32 PM Changeset in ghc [70ceb7b]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@…>
Simplifier trace wibbles for cardinality analysis
1:32 PM Changeset in testsuite [2d01b47]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:29 PM Changeset in ghc [9616743]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Take proper account of over-saturated functions in CoreUnfold
1:29 PM Changeset in ghc [7f2a10f4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Better computeDiscount for ValAppCtxt
1:29 PM Changeset in ghc [821b077]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Traces and comments only
1:29 PM Changeset in ghc [3e7e5ba8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Use checkRecTc to improve demand analysis slightly We now look inside one layer of recursive types, thanks to checkRecTc. It does mean we need an additional environment field, ae_rec_tc. I also commented out the apparently over-conservative test at coercions. I'm not 100% sure I'm right here, but I can't see why the simpler code will go wrong, so I'm going to suck it and see.
1:29 PM Changeset in ghc [66733860]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Transfer strictness on trivial right-hand sides See Note [Trivial right-hand sides]
1:29 PM Changeset in ghc [4669c9e6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Add important missing case for bothCPR If either side diverges, both do!
1:29 PM Changeset in ghc [b2ba8ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Make the simplifier propagate strictness through casts E.g. (f e1 |> g) e2 If f is strict in two aguments, we want to see that in e2 Hence ArgSpec in SimplUtils
1:29 PM Changeset in ghc [6265312]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Wibbles (merg-os) to ticky-ticky
1:29 PM Changeset in ghc [a1a67b5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Add TyCon.checkRecTc, and use in in typeArity This just formalises an abstraction we've been using anyway, namely to expand "recursive" TyCons until we see them twice. We weren't doing this in typeArity, and that inconsistency was leading to a subsequent ASSERT failure, when compiling Stream.hs, which has a newtype like this newtype Stream m a b = Stream (m (Either b (a, Stream m a b)))
1:29 PM Changeset in ghc [9b817e5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Remove bogus-looking check, which was causing Trac #7894
1:29 PM Changeset in ghc [99d4e5b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Implement cardinality analysis This major patch implements the cardinality analysis described in our paper "Higher order cardinality analysis". It is joint work with Ilya Sergey and Dimitrios Vytiniotis. The basic is augment the absence-analysis part of the demand analyser so that it can tell when something is used never at most once some other way The "at most once" information is used a) to enable transformations, and in particular to identify one-shot lambdas b) to allow updates on thunks to be omitted. There are two new flags, mainly there so you can do performance comparisons: -fkill-absence stops GHC doing absence analysis at all -fkill-one-shot stops GHC spotting one-shot lambdas and single-entry thunks The big changes are: * The Demand type is substantially refactored. In particular the UseDmd is factored as follows data UseDmd = UCall Count UseDmd | UProd [MaybeUsed] | UHead | Used data MaybeUsed = Abs | Use Count UseDmd data Count = One | Many Notice that UCall recurses straight to UseDmd, whereas UProd goes via MaybeUsed. The "Count" embodies the "at most once" or "many" idea. * The demand analyser itself was refactored a lot * The previously ad-hoc stuff in the occurrence analyser for foldr and build goes away entirely. Before if we had build (\cn -> ...x... ) then the "\cn" was hackily made one-shot (by spotting 'build' as special. That's essential to allow x to be inlined. Now the occurrence analyser propagates info gotten from 'build's stricness signature (so build isn't special); and that strictness sig is in turn derived entirely automatically. Much nicer! * The ticky stuff is improved to count single-entry thunks separately. One shortcoming is that there is no DEBUG way to spot if an allegedly-single-entry thunk is acually entered more than once. It would not be hard to generate a bit of code to check for this, and it would be reassuring. But it's fiddly and I have not done it. Despite all this fuss, the performance numbers are rather under-whelming. See the paper for more discussion. nucleic2 -0.8% -10.9% 0.10 0.10 +0.0% sphere -0.7% -1.5% 0.08 0.08 +0.0% -------------------------------------------------------------------------------- Min -4.7% -10.9% -9.3% -9.3% -50.0% Max -0.4% +0.5% +2.2% +2.3% +7.4% Geometric Mean -0.8% -0.2% -1.3% -1.3% -1.8% I don't quite know how much credence to place in the runtime changes, but movement seems generally in the right direction.
1:29 PM Changeset in ghc [507c897]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Comments about the Name Cache
1:29 PM Changeset in ghc [da4ff65]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Comments and white space only
12:47 PM Ticket #7959 (Panic on deriving nullary typeclass) closed by simonpj
fixed
12:45 PM Changeset in ghc [9e7d0dcb]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@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:45 PM Changeset in testsuite [d61cc89]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:41 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Thanks; they should all be added now.
12:39 PM Changeset in ghc [e36f28b]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 Ian Lynagh <ian@…>
Add missing files from #7702's test
12:39 PM Changeset in testsuite [d8296b1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:25 PM Ticket #7966 ('make distclean' does not work in nofib) created by jstolarek
I noticed that make distclean and make maintainer-clean don't work for …
7:40 AM GhcKinds/PolyTypeable edited by dreixel
(diff)
7:25 AM Ticket #7965 (The 'impossible' happened!) closed by simonpj
duplicate: Thanks. Yes, it's GHC's most often-reported bug (just search the Trac), …
1:35 AM Ticket #7965 (The 'impossible' happened!) created by adit
I'm working on a haskell package (code here: …

Jun 5, 2013:

9:18 PM Ticket #7964 (GADTs in Haskell98 style) created by wvv
it would be nice if it is possible to write GADTs in Haskell98 style, like …
7:32 PM Ticket #7963 (-ddump-minimal-imports should preserve "hiding" imports) created by dsf
An input file like […] compiled with -ddump-minimal-imports produces …
5:17 PM Changeset in ghc [99da484e]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 #7959
5:17 PM Changeset in testsuite [c746681e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7959
5:16 PM Changeset in ghc [967f7469]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 panic on deriving a nullary typeclass (#7959)
5:04 PM Changeset in ghc [ac785e6c]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
4:54 PM Changeset in ghc [4770877]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Imrove Lint to check unfoldings
4:47 PM Changeset in ghc [fc60a54]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [bd321fc]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [fafaa28]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [7f0de92]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:35 PM Changeset in ghc [fb3bbcf]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
3:31 AM Ticket #7962 ("ghc -e <invalid expression>" should return non-zero exit status) created by timmaxw
When GHC is run in expression-evaluation mode (i.e. with the "-e" flag) …
2:37 AM Ticket #7961 (Remove restrictions on promoting GADT's) created by danharaj
(Also allow the promotion of data types whose kind is not (* -> ... -> *)) …

Jun 4, 2013:

10:19 PM KindSystem edited by goldfire
(diff)
10:18 PM KindSystem edited by goldfire
(diff)
8:28 PM Ticket #7509 (Changing the second prompt. :{ modules| No setting available to change.) closed by igloo
fixed: All applied, thanks!
8:27 PM Changeset in ghc [2642fe6a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Update docs for "set prompt2"
8:13 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Applied, thanks!
7:52 PM Changeset in ghc [d43d63f5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 thunk leak in CoreM's CoreWriter
7:52 PM Changeset in ghc [557fa200]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 Ian Lynagh <ian@…>
Remove some cruft
7:52 PM Changeset in testsuite [1ad2fda]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Remove some cruft
7:51 PM Changeset in ghc [753ab0b]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 Ian Lynagh <ian@…>
Performance test for Trac #7702
7:51 PM Changeset in testsuite [3dfc05e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Performance test for Trac #7702
7:31 PM Changeset in ghc [cef115f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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
7:31 PM Changeset in ghc [9ac83e95]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Reformat help message for `:show` to fit into 80 cols again.
7:30 PM Changeset in ghc [22e5b884]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Formatting only: fix alignment.
7:30 PM Changeset in ghc [bc44435]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Add the ability to customize the continuation prompt. - Remove unused property `def_prompt`.
6:40 PM Ticket #7859 (runghc should give an error when the path to ghc is invalid) closed by igloo
fixed: We now get: […]
6:13 PM Changeset in ghc [65b35319]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 Ian Lynagh <ian@…>
Add a test for #7859
6:13 PM Changeset in testsuite [c6e9f29]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7859
11:41 AM Ticket #7960 (Compiling profiling CCS registration .c file takes far too long) created by duncan
When compiling executables for profiling, ghc generates a .c file …

Jun 3, 2013:

6:28 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
6:27 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:54 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:37 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
2:51 PM Ticket #7959 (Panic on deriving nullary typeclass) created by monoidal
[…] Both data A deriving C and deriving instance C cause panic. …
12:20 PM Changeset in ghc [9a2f8ccc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [a7403029]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [f39ca29]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [f05cbb1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 Geoffrey Mainland <gmainlan@…>
Untabify
12:15 PM Changeset in process [2cdacc6]ghc-7.8 by Geoffrey Mainland <mainland@…>
Fix warning about unused result. This error was breaking validate on Linux for me.
11:57 AM Ticket #7958 ('Cannot continue after interface file error' during compilation) created by jstolarek
I'm trying to compile …
8:20 AM Ticket #7957 (-ddump-minimal-imports should honour -outputdir) created by hvr
When enabling the -ddump-minimal-imports feature for emitting …
2:49 AM Ticket #7956 (ghci segfaults with -vN command-line options) created by mvanier
Invoking ghci with the -vN options (-v0, -v1, -v2, -v3) segfaults.

Jun 2, 2013:

9:18 PM Changeset in process [2b87e24]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 on Windows
9:13 PM Changeset in process [0c4f7b1]ghc-7.8 by Ian Lynagh <ian@…>
Add Windows output for process004 and process010
8:19 PM Changeset in process [206fd81]ghc-7.8 by Ian Lynagh <ian@…>
Fix build on Windows
8:10 PM Changeset in process [a079a25]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 following the error improvements
7:57 PM Changeset in process [6cdeb1e]ghc-7.8 by Ian Lynagh <ian@…>
Fix process010 on OS X true and false aren't in /bin on OS X. Now we don't hardcode the path.
7:01 PM Changeset in process [06bb9851]ghc-7.8 by Ian Lynagh <ian@…>
Add a test for better exceptions when ewxecuting programs
6:47 PM Changeset in process [df810a5]ghc-7.8 by Ian Lynagh <ian@…>
Give more meaningful error message when trying to run programs On non-Windows, the child thread now comunicates any errors back to the parent thread via pipes.
5:34 PM Ticket #7955 (CApiFFI doesn't produce wrappers for #defined values in GHCi) created by merijn
When using the FFI's capi calling convention to get access to #defined …
5:29 PM Ticket #7954 (Strictness analysis regression) created by chad.scherrer
The sum function from the Prelude relies on GHC's strictness analysis. …
5:00 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
5:00 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
3:07 PM Changeset in process [c018c63]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:36 PM Changeset in process [f45bb7b]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:09 PM Changeset in process [5933e48]ghc-7.8 by Ian Lynagh <ian@…>
Add some braces for clarity
2:08 PM Changeset in process [95e17b4]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
12:25 PM Changeset in ghc [8c4d1eac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 a comment Make expands things even in comments
11:47 AM Changeset in base [5fe76f3]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:47 AM Changeset in ghc [f3c261bc]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:43 AM Changeset in base [4b0addb]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove an import loop
11:43 AM Changeset in ghc [889b5bb]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove an import loop
Note: See TracTimeline for information about the timeline view.