Timeline


and

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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/nested-cprwip/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/T9016 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/T9016 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/T9016 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/T9016 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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/T9016 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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/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/T9016 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.

Feb 29, 2012:

7:13 PM Ticket #5908 (Issues with RebindableSyntax) created by scooty-puff
GHC seems to reject a typeable module, possibly related to …
6:10 PM Changeset in ghc [81e210ea]ghc-new-co by Simon Peyton Jones <simonpj@…>
Replace tab with \t in regexp
5:50 PM Changeset in ghc [8cf241db]ghc-new-co by Simon Peyton Jones <simonpj@…>
More polykinds. Now we are getting close!
5:48 PM Changeset in testsuite [0f1a796]ghc-new-co by Simon Peyton Jones <simonpj@…>
Add a bunch of polykinds tests
3:21 PM Ticket #5907 (Crashed loading package Safe) created by guest
[…] Before that I installed package Safe using cabal.
2:29 PM Changeset in ghc [28706149]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Use a placeholder for the code generation. Loading finishes now, running now panics.
2:28 PM Changeset in ghc [69f445b]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Fix a bug when interacting with already solved constraints.
1:03 PM Changeset in ghc [f312c15]ghc-new-co by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master' into ghc-new-co Conflicts: compiler/hsSyn/Convert.lhs compiler/parser/RdrHsSyn.lhs compiler/rename/RnSource.lhs compiler/typecheck/TcTyClsDecls.lhs
12:56 PM Changeset in ghc [f303e4a9]ghc-new-co by Simon Peyton Jones <simonpj@…>
More in flight
12:54 PM Changeset in testsuite [e37d325]ghc-new-co by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master' into ghc-new-co
12:54 PM Changeset in testsuite [34b1fdb]ghc-new-co by Simon Peyton Jones <simonpj@…>
Wibbles to error messages
12:07 PM Ticket #5887 (ghci win7 ctrl+c panic) closed by simonmar
duplicate: Thanks for the reporting the bug. I think this is fixed in 7.2.1 and …
12:07 PM Ticket #5906 (The 'Impossible' Happened, thread blocked indefinitely in an MVar ...) closed by simonmar
duplicate: Thanks for the reporting the bug. I think this is fixed in 7.2.1 and …
11:19 AM Changeset in ghc [def6b5b4]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Fix merge errors.
11:13 AM Changeset in testsuite [9bf6247]ghc-new-co by Simon Peyton Jones <simonpj@…>
Wibbles to poly-kind tests
11:12 AM Changeset in ghc [05c51c0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
update 32-bit results
11:12 AM Changeset in testsuite [81ac95cf]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 32-bit results
10:56 AM Building/Preparation/Linux edited by simonmar
(diff)
10:54 AM Building/Preparation/Linux edited by simonmar
(diff)
10:53 AM Building/Preparation/Linux edited by simonmar
(diff)
10:35 AM Changeset in ghc [19ea563a]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Merge https://github.com/ghc/ghc
10:28 AM Changeset in ghc [d340cd4]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Wrap hole names in a new type constructor, just like Implicit Parameters. Keep an environment of the holes and their types, so they can be passed to simplifyInfer.
10:26 AM Ticket #5897 (GHC runtime task workers are not released with C FFI) closed by simonmar
invalid: I think you're using Data.Vector.Storable unsafely: […] This is the …
10:25 AM Changeset in ghc [246908fb]type-holes-branch by Thijs Alkemade <thijsalkemade@…>
Clean up a lot of the debug messages.
8:56 AM Changeset in ghc [d682fb3b]ghc-new-co by Simon Peyton Jones <simonpj@…>
Mid-flight checkin on ghc-new-co This is yet more refactoring of type checking, driven by polymoprhic kinds. The big change this time is that types are kind-checked in one pass instead of two.
1:23 AM Changeset in base [ce34cd2]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some redundant imports
1:23 AM Changeset in ghc [f40aa90]wip/T9016 by Ian Lynagh <igloo@…>
Remove some redundant imports
1:20 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
(diff)
1:18 AM DORF Prototype Importing 29Feb2012.lhs attached to Records/DeclaredOverloadedRecordFields/ImplementorsView by AntC
demo importing and namespace control of field clashes
1:17 AM Records/DeclaredOverloadedRecordFields/ImplementorsView edited by AntC
Add example import to demo namespacing control (diff)
1:07 AM Records/DeclaredOverloadedRecordFields edited by AntC
added example of importing and not, due to popular mis-conception (diff)
1:01 AM Ticket #5906 (The 'Impossible' Happened, thread blocked indefinitely in an MVar ...) created by Falias
Unable to reproduce but... Windows 7 64bit GHCi 7.0.4 gcc 4.6.1 While …
Note: See TracTimeline for information about the timeline view.