Timeline


and

Jun 10, 2013:

6:53 PM SafeHaskell edited by dkasak
Remove spam. (diff)
5:31 PM Ticket #7974 (Panic on a context with additional variable) closed by simonpj
fixed: Thank you! A palpable bug squashed. Simon
5:30 PM Changeset in ghc [5bd297cb]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 #7974
5:30 PM Changeset in testsuite [342c481e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:28 PM Changeset in ghc [fc927b3d]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@…>
Trace statements only
5:28 PM Changeset in ghc [1cbfddb]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 sure we quantify over the context in data constructors This was exposed by Trac #7974. A stupid bug!
5:27 PM Changeset in ghc [0239d783]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 egregious typo in cmpTypeX Reported in Trac #7272. "tv1" should be "tv2"! However, things weren't as simple as they sound, because treating (x:Open) as different from (x:*) gave rise to new failures; see Note [Comparison with OpenTypeKind] in Type. My hacky solution is to treat OpenKind as equal to * and #, at least in Core etc. Hence the faff in Type.cmpTc. I do not like this. But it seems like another messy consequence of including sub-kinding. Sigh.
10:52 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by simonpj
fixed: Great point. Exposed a subtle bug, which I have now fixed. Thank you! …
10:05 AM Changeset in ghc [436f896]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 #7973
10:05 AM Changeset in testsuite [cf46e11]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:04 AM Changeset in ghc [8c846f71]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 substitution but in liftCoSubst (Trac #7973) Iavor uncovered this subtle omission in liftCoSubst. The problem and its solution are desribed in Note [Substituting kinds in liftCoSubst]
4:30 AM Building/GettingTheSources edited by domtheo
(diff)
4:26 AM SafeHaskell edited by domtheo
(diff)
4:23 AM ViewPatterns edited by domtheo
(diff)
12:27 AM Ticket #7974 (Panic on a context with additional variable) created by monoidal
File: […] Result with HEAD: […] I got it by attempting to …

Jun 9, 2013:

9:40 PM Ticket #7964 (GADTs in Haskell98 style) closed by goldfire
invalid: Sounds like this is resolved then. I'll close the ticket. If I've missed …
7:49 PM Changeset in ghc [31b2706]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@…>
Don't create mk/stamp-h I don't think we are using it for anything any more.
7:14 PM Changeset in ghc [4c497724]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@…>
Rarrange the distclean list; part of #7941
6:24 PM Changeset in ghc [96eca81]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@…>
Change how we check that we have a suitable 'make' We now check in the same way that the testsuite does.
5:56 PM Changeset in ghc [22690c99]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 ghc.spec It doesn't look like it would work now, and doesn't really belong in the GHC tree anyway.
2:52 PM Changeset in ghc [68ba223]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
1:48 PM Changeset in ghc [f7c8c3d4]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
1:30 PM Commentary/Rts/Storage/GC/RememberedSets edited by igloo
(diff)
12:24 PM Ticket #7902 (Add support for byte endianness swapping exposed as a primops) closed by igloo
fixed: Applied, thanks!
12:18 PM Changeset in ghc [63889324]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@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:53 AM Changeset in ghc [cb5a00c7]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@…>
Fix cgrun072
11:53 AM Changeset in testsuite [4122100]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix cgrun072
11:41 AM Changeset in ghc [86ca77e]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 warnings
11:12 AM Changeset in ghc [c5d5e3a]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 test for the new bswap primops Patch from Vincent Hanquez.
11:12 AM Changeset in testsuite [95996c1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:10 AM Changeset in ghc [1c5b051]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 support for byte endian swapping for Word 16/32/64. * Exposes bSwap{,16,32,64}# primops * Add a new machops MO_BSwap * Use a Stg implementation (hs_bswap{16,32,64}) for other implementation in NCG. * Generate bswap in X86 NCG for 32 and 64 bits, and for 16 bits, bswap+shr instead of using xchg. * Generate llvm.bswap intrinsics in llvm codegen. Patch from Vincent Hanquez.
11:06 AM Changeset in ghc [da7db199]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:06 AM Changeset in ghc-prim [585bdc6]ghc-7.8 by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:01 AM Changeset in base [3ef0f91]data-proxyghc-7.8 by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
11:01 AM Changeset in ghc [5ae2385]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
1:30 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by diatchki
duplicate: This is the same as #7973.
1:28 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
1:27 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
12:11 AM Changeset in ghc [16dc39eb]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 Austin Seipp <aseipp@…>
Outline 7.8.1 release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 8, 2013:

8:35 PM Changeset in base [86c5358]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:35 PM Changeset in ghc [f177fdb9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:28 PM Ticket #7653 (incorrect handling of StackOverflow exception in the event manager) closed by igloo
fixed: Fixed by […]
8:10 PM Changeset in base [9450515]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:10 PM Changeset in ghc [c7ef98d]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:09 PM Changeset in base [13ac46d]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add a test for #7653
8:09 PM Changeset in ghc [bbf6c02]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add a test for #7653
7:43 PM Changeset in ghc [98265b39]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@…>
Update expected perf results Reason for changes unknown.
7:43 PM Changeset in testsuite [ea99af5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:35 PM Changeset in base [e843e73]data-proxyghc-7.8 by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
7:35 PM Changeset in ghc [2d5eccdf]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
5:54 PM Changeset in base [1f81187]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
5:54 PM Changeset in ghc [55a5f05d]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
4:06 PM Changeset in base [ddbe37f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
4:06 PM Changeset in ghc [68288cf9]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
3:22 PM Ticket #7971 (doesDirectoryExist description differs from its behavior) created by dsf
The documentation for doesDirectoryExist should read: The operation …
2:36 PM Ticket #7718 (ios patch no 8: adjustor pools) closed by igloo
fixed: OK, thanks Stephen. I've applied a slightly simplified version of the …
2:22 PM Changeset in ghc [972c044d]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@…>
use libffi for iOS adjustors; fixes #7718 Based on a patch from Stephen Blackheath.
1:55 AM Ticket #7970 (Thread GC frees roots before thread actually finishes) created by joeyadams
In the following program, an IORef is garbage collected after a …

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 (* -> ... -> *)) …
Note: See TracTimeline for information about the timeline view.