Timeline


and

Mar 6, 2012:

10:53 PM Changeset in ghc [7a64ef7]unboxed-tuple-arguments by Max Bolingbroke <batterseapower@…>
Support code generation for unboxed-tuple function arguments This has the following knock-on effects: * We can remove special case code for void arguments, and treat them as nullary unboxed tuples * The subkind hierarchy is vastly simplified (no UbxTupleKind or ArgKind) * Various relaxed type checks in typechecker, 'foreign import prim' etc * All case binders may be live * No VoidRep
6:01 PM Ticket #5872 (bug in default implementation of popCount) closed by pcapriotti
fixed: Merged in base as 61ace69581034fc33bb3b628d6a3b947bb262dec, …
5:58 PM Changeset in base [47920f5]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix function name in INLINABLE pragma.
5:57 PM Ticket #5875 (Incorrect documentation of minimal required set of methods for Bits ...) closed by pcapriotti
fixed: Bits still has a Num superclass in 7.4, so no need to merge this.
5:57 PM Ticket #5874 (Document autoconf dependency in README) closed by pcapriotti
fixed: Merged as 7b0998b3e2f6ba492a8f60c47392cef31ad9b902.
5:56 PM Ticket #5891 ("createDirectory: already exists" error with parallel build) closed by pcapriotti
fixed: Merged as 02eab9a56b0151b952bd09d65c2f6061c461d168.
5:56 PM Ticket #5878 (main-is is too conservative) closed by pcapriotti
fixed: Merged as 09a4cfcd3ba808dae6777ec6554a92658548ee0b.
5:55 PM Ticket #5904 (panic on :m *SomeModule followed by :reload, if SomeModule is already in ...) closed by pcapriotti
fixed: Merged as 1ddd4b3baf0cb592b8ada88fa3ab386c56489b56.
5:55 PM Ticket #5896 (Three documentations inaccuracies related to concurrency.) closed by pcapriotti
fixed: Merged as 30fc1dc9549e16d925a59cc79832b120c422b699, …
5:37 PM Changeset in ghc [c12841b4]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
slight tweak to help text (#5896) MERGED from commit eeaa573717ddd7a575edc075d869a1dfaadc5ddf
5:37 PM Changeset in ghc [9f19268]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Mention -threaded in the intro to Concurrent Haskell And make the docs a bit more concrete. MERGED from commit 151b0dcd4e16e28d76fbdceadeea7287b49b9e29
5:37 PM Changeset in ghc [30fc1dc9]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Remove documentation that a feature was missing, because it is not. (#5896) MERGED from commit b1bd566a40d3cfe3db51aa1399b293cdbceff185
5:37 PM Changeset in ghc [1ddd4b3]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix crash caused by allowing duplicate *-modules in the context (#5904) MERGED from commit 0bc6055bdc140b35c563c0fc9a7a1b2ca92494cc
5:37 PM Changeset in ghc [09a4cfcd]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Be less conservative about recompiling after changes to -main-is (#5878) MERGED from commits eda2c7316883e7d107755c08ad696e669ead0447 and 444e2fedb951a94a289d909b843f3281b9d2dc0a
5:37 PM Changeset in ghc [02eab9a]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Replace createDirectoryHierarchy with createDirectoryIfMissing True createDirectoryHierarchy consisted of an existence test followed by createDirectory, which failed if that directory was creted just after the test. createDirectoryifMissing does not have this problem. MERGED from commit ffe282cef4213ab8de515a8574d366994d38d5dd
4:26 PM Changeset in ghc [7b0998b3]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
point to the wiki for "Setting up your system for building GHC" (#5874) MERGED from commit 95d2e12cbee185dd78a66e4cd44d6915519f1fa9
3:42 PM Changeset in base [61ace69]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix bug in popCountDefault. Fixes #5872 Also add an INLINABLE pragma so that the function can be specialized at the call site. Merged from commit f4cc96cd1a9d78ee250c8f26797e0b72a8008a1c
3:30 PM Ticket #5866 (Interrupting interleaved STM and resuming it produces segfault) closed by pcapriotti
fixed: Merged as c6a2bbdbd3d701653d7e2ee22e2dea73316b49d8.
3:29 PM Ticket #5851 (RTS Crashes on Exit with double free) closed by pcapriotti
fixed: Merged as 9cca800e178485d5767bc1aedb6d507d04583e14.
3:28 PM Ticket #5826 (Refer to Control.Concurrent instead of GHC.Conc in GHC 7.4.1 User's Guide) closed by pcapriotti
fixed: Merged doc patch as 6a217ed6f10d440902eb166d2e0ab4127eb3f699, base patch …
3:26 PM Ticket #5824 (ARM StgRun register clobber list is broken) closed by pcapriotti
fixed: Merged as 712604fe5856a34e184b1111de67f6dc0f8aeb5f and …
3:01 PM Changeset in ghc [c6a2bbd]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
raiseAsync: cope with ATOMICALLY_FRAMES inside UPDATE_FRAMES (#5866) MERGED from commit 014f1e1feee4c85a82f787ef8f01b44072051172
2:58 PM Changeset in ghc [9cca800]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix a memory allocation bug (rts_argv wasn't big enough) MERGED from commit dff852b1b65d07a4a400d3f20c854172c8fcecaf
2:56 PM Changeset in base [b3e6c7d]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Export setNumCapabilities I hadn't noticed that we already have getNumCapabilities here, so we should also have setNumCapabilities. MERGED from commit 1b5f7ae2ffc6f3c851970efc26687763a4e0fc58
2:52 PM Changeset in ghc [6a217ed]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Refer to Control.Concurrent instead of GHC.Conc Modified version of a patch by shelarcy <shelarcy@gmail.com> MERGED from commit 7d7809de3c6e264ae4af92c37da499502fc2fb20
2:51 PM Changeset in ghc [83c23b58]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
fix ARM's StgCRun clobbered register list for both ARM and Thumb modes MERGED from commit f3f8c90638e38088c3c8ea251f5c8e54e4047fe7
2:50 PM Changeset in ghc [712604fe]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
fix ARM StgCRun to not save and restore r11/fp register twice MERGED from commit 0bca11de22e7ad274608dc1198e51f68aae91694
2:44 PM Ticket #5838 (integer overflow in rts/RtsUtils:heapOverflow()) closed by pcapriotti
fixed: Merged as 11b56ff206bfa99cee641a44d07831914f788c8a.
2:41 PM Ticket #5836 (GHCi silently fails to import non-existing modules) closed by pcapriotti
fixed: Merged as 7e8d0137ab58fefc1f4a9ca12344fb0414ef3f45.
2:36 PM Changeset in ghc [11b56ff2]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
avoid 32-bit integer overflow (#5838) MERGED from commit bf456a09f9ef68436db48eb5ea25193d3b2f2ed5
2:35 PM Changeset in ghc [7e8d0137]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Check that imported modules actually exist (#5836) MERGED from commit e46d26686034448a311f48f7e685f159af865d7c
1:28 PM Changeset in ghc [93e42a6]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Lower safe foreign calls in the new CmmLayoutStack We also generate much better code for safe foreign calls (and maybe also unsafe foreign calls) than previously. See the two new Notes: Note [lower safe foreign calls] Note [safe foreign call convention]
1:28 PM Changeset in ghc [9a32e71d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fixes to the mini-inliner (fixes stage2 crashes)
1:28 PM Changeset in ghc [1ca4986c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Revert "Revert "Improvements to the mini-inliner"" This reverts commit 5ff03ca7f3b5b1abad64c039fa20165b4cf77360.
12:14 PM Ticket #5903 (GHC 7.4.1 32 bit: LLVM backend fails on OSX 64bit) closed by dterei
fixed: Fixed. Please merge into a 7.4.2 release if there is one Ian.
11:44 AM Changeset in ghc [03a88aaf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
11:44 AM Changeset in testsuite [b757825]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
11:27 AM Changeset in ghc [0d59d22]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Fix llvm check
11:27 AM Changeset in testsuite [083b836]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Fix llvm check
11:16 AM Changeset in ghc [5e38346]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by David Terei <davidterei@…>
Get correct options when calling 'clang' inplace of 'as' (#5903)
10:57 AM Changeset in ghc [6d0454a]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
10:57 AM Changeset in ghc [f252b20]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
10:57 AM Changeset in ghc [63fedc76]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
10:57 AM Changeset in integer-gmp [a995df6]ghc-7.6ghc-7.8wip/T8647 by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
10:57 AM Changeset in directory [04cc151]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Update .gitignore.
9:33 AM Changeset in ghc [097dca24]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Disable threads with python 2.7.2.
9:33 AM Changeset in testsuite [187e2e8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Disable threads with python 2.7.2.
5:42 AM Ticket #5789 (Bad link to documentation) closed by dterei
fixed: I let John know and there isn't any easy to link to public source for the …
5:40 AM Ticket #5842 (pretty tests from GHC's testsuite) closed by dterei
fixed: Done.

Mar 5, 2012:

5:11 PM Ticket #5716 (Failure when using promoted data family instances) closed by simonpj
fixed: Fixed by the big PolyKinds commit.
5:10 PM Changeset in ghc [a56ce4f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5716
5:10 PM Changeset in testsuite [a34b682]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5716
4:23 PM Ticket #5916 (runST isn't free) created by tibbe
While optimizing some code I discovered that runST isn't free. I had a …
2:02 PM Ticket #5915 (Code using seq has wrong strictness when unoptimised (too strict)) created by michal.palka
The following piece of code gets miscompiled if no optimisation is used. …
10:31 AM Ticket #5895 (INLINE pragma doesn't trigger on locally defined function) closed by simonpj
fixed: Thanks Johan, an excellent point. I believe I have fixed it now, although …
10:29 AM Ticket #5892 (Compiler crash and other oddities when using RecordWildCards with record ...) closed by simonpj
fixed: Good point. I've fixed the compiler bug. I looked in …
10:28 AM Changeset in ghc [0d049c05]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to testsuite/mk/boilerplate.mk ...after consulting with Simon M on a conflict
10:28 AM Changeset in testsuite [7dcc1bf]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to testsuite/mk/boilerplate.mk ...after consulting with Simon M on a conflict
10:14 AM Ticket #5912 (exporting while having defined a non-nullary promoted type synonym causes ...) closed by simonpj
fixed: Thanks for the report; now fixed. Simon
10:12 AM Ticket #5862 (Need kind annotations) closed by simonpj
fixed: Done! I added a test cases from KindFams.2.hs. Thanks Simon
10:11 AM Ticket #5881 (Type synonyms of promoted types break across library boundaries?) closed by simonpj
fixed: Thanks for reporting; the fix was easy. Simon
9:51 AM Changeset in ghc [98479d65]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5881
9:51 AM Changeset in testsuite [8303841]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5881
9:27 AM Changeset in ghc [47a9a99]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Deal with promoted DataCons in interface files (fixes Trac #5881)
8:43 AM Ticket #5914 (armhf build fails in Ubuntu (7.4.1)) created by jani@…
The ARM code generator calls llc in the same way regardless of the ABI …

Mar 4, 2012:

5:35 PM Ticket #5913 (Type class dictionary call loops at runtime) created by mnislaih
The following code works fine in 7.0.3 but crashes at runtime with <loop> …
9:41 AM Changeset in ghc [3e00d046]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5892: a coding errors We had a lazy pattern gres@(gre:_) = blah and then a test for (null gres). But I'd forgotten that a demand for *any* of variables in the pattern matches *all* of the variables in the entire pattern. So the test for (null gres) was matching the cons, which defeats the purpose.
9:38 AM Changeset in ghc [85abd54a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5892
9:38 AM Changeset in testsuite [3adf2089]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5892
9:05 AM Changeset in ghc [48cab6d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make type trimming more conservative with -XDataKinds (fixes Trac #5912) See Note [When we can't trim types] in TidyPgm. The real solution is to do a full dependency analysis, but that seems rather overkill.
9:04 AM Changeset in ghc [61de0dbd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5912
9:04 AM Changeset in testsuite [24074aa]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5912
8:26 AM Changeset in ghc [ffd72d2b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5862
8:26 AM Changeset in testsuite [6ab2ac3]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5862
8:25 AM Changeset in ghc [e0c849e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the handling of kind generalisation In particular in forall abc. <blah> we should kind generalise over <blah> as well as over the kinds of a,b,c. This fixes bug (in Trac #5862, caught by Lint) in the handling of data SMaybe a where SNothing :: SMaybe 'Nothing where I didn't get a sufficiently general kind. And it's simpler.
8:18 AM Changeset in ghc [90de973]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Attach INLINE pagmas in mutually recursive bindings This should fix #5895. It seems that I was silently ignoring INLINE pragmas in mutual recursion, which is not the right thing at all.
8:14 AM Changeset in ghc [eeba5437]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improved debug printing with -dverbose-core2core (Roman wanted this.)
2:49 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
2:46 AM Records/DeclaredOverloadedRecordFields/OptionFourTypePunning edited by AntC
(diff)
2:41 AM Records/DeclaredOverloadedRecordFields/OptionFourTypePunning edited by AntC
(diff)
1:08 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
1:08 AM Records/DeclaredOverloadedRecordFields/OptionFourTypePunning created by AntC
Another thought about reducing the biolerplate for fieldLabels

Mar 3, 2012:

4:52 PM Records edited by GregWeber
(diff)
4:48 PM Ticket #5912 (exporting while having defined a non-nullary promoted type synonym causes ...) created by guest
[…] produces […] it won't panic if either: 1. the export …
4:32 PM Records edited by strake888
(diff)
4:31 PM Records/TypeIndexedRecords edited by strake888
(diff)
4:30 PM Records/TypeIndexedRecords edited by strake888
(diff)
3:35 PM Records/TypeIndexedRecords created by strake888
3:21 PM Records/DeclaredOverloadedRecordFields/COmpareSORF edited by strake888
Material wrongly attributed to SPJ deleted (diff)
10:28 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
10:11 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
5:29 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
Option 3 for fieldLabels (diff)
5:16 AM Records/DeclaredOverloadedRecordFields edited by AntC
(diff)
5:14 AM Records/DeclaredOverloadedRecordFields edited by AntC
add possible approach to avoid fieldLabel decls everywhere (diff)
4:59 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
4:29 AM Records/DeclaredOverloadedRecordFields edited by AntC
correct an export list (diff)
3:24 AM Ticket #5911 (Add write-only variant of newTChan) created by joeyadams
The …

Mar 2, 2012:

8:06 PM Changeset in ghc [3b9c6514]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: mk/boilerplate.mk
8:06 PM Changeset in testsuite [4813b54]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: mk/boilerplate.mk
5:50 PM Ticket #5717 (ScopedTypeVariables and PolyKinds) closed by simonpj
fixed: Fixed by […]
5:49 PM Changeset in ghc [05b18ad]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5717
5:49 PM Changeset in testsuite [7cba841]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5717
5:18 PM Ticket #5771 (Confusing printout with PolyKinds) closed by simonpj
fixed: Fixed by the massive polykinds patch […]
5:16 PM Ticket #5768 (GHC Panic compiling type family with -XPolyKinds) closed by simonpj
fixed: Fixed by the massive polykinds patch […]
5:15 PM Ticket #5769 (Incorrect error message when compiling with PolyKinds and a type family) closed by simonpj
fixed: Fixed by the massive polykinds patch […]
5:14 PM Ticket #5770 (Non-sensical error message when compiling with PolyKinds and a type family) closed by simonpj
fixed: Fixed by the massive polykinds patch […]
5:13 PM Changeset in ghc [a2cf0fd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Remove unnecessary import
5:13 PM Changeset in testsuite [a70c4692]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Remove unnecessary import
4:35 PM Changeset in ghc [64880bb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Modified error output and new tests for PolyKinds commit
4:35 PM Changeset in testsuite [c91330d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Modified error output and new tests for PolyKinds commit
4:33 PM Changeset in ghc [9dde17e0]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
White space only
4:32 PM Changeset in ghc [3bf54e7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Hurrah! This major commit adds support for scoped kind variables, which (finally) fills out the functionality of polymorphic kinds. It also fixes numerous bugs. Main changes are: Renaming stuff ~~~~~~~~~~~~~~ * New type in HsTypes: data HsBndrSig sig = HsBSig sig [Name] which is used for type signatures in patterns, and kind signatures in types. So when you say f (x :: [a]) = x ++ x or data T (f :: k -> *) (x :: *) = MkT (f x) the signatures in both cases are a HsBndrSig. * The [Name] in HsBndrSig records the variables bound by the pattern, that is 'a' in the first example, 'k' in the second, and nothing in the third. The renamer initialises the field. * As a result I was able to get rid of RnHsSyn.extractHsTyNames :: LHsType Name -> NameSet and its friends altogether. Deleted the entire module! This led to some knock-on refactoring; in particular the type renamer now returns the free variables just like the term renamer. Kind-checking types: mainly TcHsType ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ A major change is that instead of kind-checking types in two passes, we now do one. Under the old scheme, the first pass did kind-checking and (hackily) annotated the HsType with the inferred kinds; and the second pass desugared the HsType to a Type. But now that we have kind variables inside types, the first pass (TcHsType.tc_hs_type) can go straight to Type, and zonking will squeeze out any kind unification variables later. This is much nicer, but it was much more fiddly than I had expected. The nastiest corner is this: it's very important that tc_hs_type uses lazy constructors to build the returned type. See Note [Zonking inside the knot] in TcHsType. Type-checking type and class declarations: mainly TcTyClsDecls ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ I did tons of refactoring in TcTyClsDecls. Simpler and nicer now. Typechecking bindings: mainly TcBinds ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ I rejigged (yet again) the handling of type signatures in TcBinds. It's a bit simpler now. The main change is that tcTySigs goes right through to a TcSigInfo in one step; previously it was split into two, part here and part later. Unsafe coercions ~~~~~~~~~~~~~~~~ Usually equality coercions have exactly the same kind on both sides. But we do allow an *unsafe* coercion between Int# and Bool, say, used in case error Bool "flah" of { True -> 3#; False -> 0# } --> (error Bool "flah") |> unsafeCoerce Bool Int# So what is the instantiation of (~#) here? unsafeCoerce Bool Int# :: (~#) ??? Bool Int# I'm using OpenKind here for now, but it's un-satisfying that the lhs and rhs of the ~ don't have precisely the same kind. More minor ~~~~~~~~~~ * HsDecl.TySynonym has its free variables attached, which makes the cycle computation in TcTyDecls.mkSynEdges easier. * Fixed a nasty reversed-comparison bug in FamInstEnv: @@ -490,7 +490,7 @@ lookup_fam_inst_env' match_fun one_sided ie fam tys n_tys = length tys extra_tys = drop arity tys (match_tys, add_extra_tys) - | arity > n_tys = (take arity tys, \res_tys -> res_tys ++ extra_tys) + | arity < n_tys = (take arity tys, \res_tys -> res_tys ++ extra_tys) | otherwise = (tys, \res_tys -> res_tys)
1:12 PM Changeset in ghc [5ff03ca7]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Revert "Improvements to the mini-inliner" This reverts commit 3d8ab554ced45c51f39951f29cc53277d5788c37.
11:58 AM Changeset in ghc [0bc6055]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix crash caused by allowing duplicate *-modules in the context (#5904)
11:50 AM Ticket #5897 (GHC runtime task workers are not released with C FFI) closed by simonmar
fixed: I looked into your example again. Although the RTS was not keeping all …
11:44 AM Changeset in ghc [085c7fe5]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Drop the per-task timing stats, give a summary only (#5897) We were keeping around the Task struct (216 bytes) for every worker we ever created, even though we only keep a maximum of 6 workers per Capability. These Task structs accumulate and cause a space leak in programs that do lots of safe FFI calls; this patch frees the Task struct as soon as a worker exits. One reason we were keeping the Task structs around is because we print out per-Task timing stats in +RTS -s, but that isn't terribly useful. What is sometimes useful is knowing how *many* Tasks there were. So now I'm printing a single-line summary, this is for the program in TASKS: 2001 (1 bound, 31 peak workers (2000 total), using -N1) So although we created 2k tasks overall, there were only 31 workers active at any one time (which is exactly what we expect: the program makes 30 safe FFI calls concurrently). This also gives an indication of how many capabilities were being used, which is handy if you use +RTS -N without an explicit number.
11:42 AM Changeset in ghc [7a29e7e2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
fix test for the new TASKS stats output
11:42 AM Changeset in testsuite [79f2474]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
fix test for the new TASKS stats output
11:05 AM Ticket #5905 (ghc with incorrect arguments deletes source file) closed by simonmar
wontfix: ghc is just calling ld, it is ld that unlinks the output file. …
10:59 AM Ticket #5910 (Holes with other constraints) created by xnyhps
Hello. As can be seen on http://hackage.haskell.org/trac/ghc/wiki/Holes
6:29 AM Records/SyntaxDirectedNameResolution edited by elaforge
(diff)
5:46 AM Ticket #5909 (Segfault with multi-threaded retainer profiling) created by akio
I see the following program often segfaults when compiled and run like …

Mar 1, 2012:

2:19 PM Changeset in ghc [2e02097]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
update ghci024 following changes to :set
2:19 PM Changeset in ghc [ac80ea2b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept output
2:19 PM Changeset in ghc [ff74e75]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add missing file
2:19 PM Changeset in testsuite [3373d5f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
update ghci024 following changes to :set
2:19 PM Changeset in testsuite [69c9f91]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept output
2:19 PM Changeset in testsuite [11330e1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add missing file
2:19 PM Changeset in ghc [8359158]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add a test for :seti
2:19 PM Changeset in testsuite [6f07913]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add a test for :seti
2:06 PM Changeset in base [bed3d79]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Make "100e12" not parse as an Integer; part of #5688 The report says that it isn't meant to.
2:06 PM Changeset in ghc [ba85754]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Make "100e12" not parse as an Integer; part of #5688 The report says that it isn't meant to.
2:03 PM Changeset in base [f3c88be]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Add a readInteger001 test
2:03 PM Changeset in ghc [81b6141a]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Add a readInteger001 test
1:58 PM Changeset in base [35ff29d]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Change how NaN and Infinity are read by lex They now get read as Ident's, and the Read Double/Float instances (via convertFrac) handle that Ident specially.
1:58 PM Changeset in ghc [198c93e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Change how NaN and Infinity are read by lex They now get read as Ident's, and the Read Double/Float instances (via convertFrac) handle that Ident specially.
1:57 PM Changeset in base [54ce838]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Add a test for reading Doubles
1:57 PM Changeset in ghc [fbfa8f4]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Add a test for reading Doubles
1:55 PM Changeset in ghc [27d7d930]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
In --make, give an indication of why a module is being recompiled e.g. [3 of 5] Compiling C (C.hs, C.o) [4 of 5] Compiling D (D.hs, D.o) [C changed] [5 of 5] Compiling E (E.hs, E.o) [D changed] The main motivation for this is so that we can give the user a clue when something is being recompiled because the flags changed: [1 of 1] Compiling Test2 ( Test2.hs, Test2.o ) [flags changed]
1:42 PM Changeset in base [480b755]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Rename lexNum test to lex001, and expand it
1:42 PM Changeset in ghc [1752a9b3]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Rename lexNum test to lex001, and expand it
9:46 AM Changeset in ghc [c624d28]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Omit -osuf/-odir -hisuf/-hidir and -stubdir from the flag checker The reasoning is that GHC will only skip recompilation if it has found a valid up-to-date object file and .hi file, so there is no need to also check that these flags have not changed, and indeed there are valid reasons to want to change them.
9:40 AM Changeset in ghc [2e55760b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-parmake-gsocghc-spjimp-param-classlate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssilent-sc-argssimdsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
GHCi: add :seti, for options that apply only at the prompt (#3217) GHCi now maintains two DynFlags: one that applies to whole modules loaded with :load, and one that applies to things typed at the prompt (expressions, statements, declarations, commands). The :set command modifies both DynFlags. This is for backwards compatibility: users won't notice any difference. The :seti command applies only to the interactive DynFlags. Additionally, I made a few changes to ":set" (with no arguments): * Now it only prints out options that differ from the defaults, rather than the whole list. * There is a new variant, ":set -a" to print out all options (the old behaviour). * It also prints out language options. e.g. Prelude> :set options currently set: none. base language is: Haskell2010 with the following modifiers: -XNoDatatypeContexts -XNondecreasingIndentation GHCi-specific dynamic flag settings: other dynamic, non-language, flag settings: -fimplicit-import-qualified warning settings: ":seti" (with no arguments) does the same as ":set", but for the interactive options. It also has the "-a" option. The interactive DynFlags are kept in the InteractiveContext, and copied into the HscEnv at the appropriate points (all in HscMain). There are some new GHC API operations: -- | Set the 'DynFlags' used to evaluate interactive expressions. setInteractiveDynFlags :: GhcMonad m => DynFlags -> m () -- | Get the 'DynFlags' used to evaluate interactive expressions. getInteractiveDynFlags :: GhcMonad m => m DynFlags -- | Sets the program 'DynFlags'. setProgramDynFlags :: GhcMonad m => DynFlags -> m [PackageId] -- | Returns the program 'DynFlags'. getProgramDynFlags :: GhcMonad m => m DynFlags Note I have not completed the whole of the plan outlined in #3217 yet: when in the context of a loaded module we don't take the interactive DynFlags from that module. That needs some more refactoring and thinking about, because we'll need to save and restore the original interactive DynFlags. This solves the immediate problem that people are having with the new flag checking in 7.4.1, because now it is possible to set language options in ~/.ghci that do not affect loaded modules and thereby cause recompilation.
7:39 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
7:29 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
Discuss exporting Proxy_type (diff)
1:26 AM Changeset in base [afcddc5]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Refactor number lexing; part of #5688 This doesn't change the behaviour yet, but I think it's a step in the right direction.
1:26 AM Changeset in ghc [ba5bea9]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Refactor number lexing; part of #5688 This doesn't change the behaviour yet, but I think it's a step in the right direction.
Note: See TracTimeline for information about the timeline view.