Timeline


and

Aug 17, 2011:

9:36 PM Ticket #5420 (writeFile should use openBinaryFile) created by Tinctorius
Apparently, I can't use writeFile to write binary data to a file in …
8:44 PM Ticket #5413 (Add population count primop) closed by tibbe
fixed: Fixed in 2d0438f329ac153f9e59155f405d27fac0c43d65
1:00 PM Ticket #5418 (Constructor import error message suggests invalid syntax) closed by YitzGale
duplicate: Yes it's a dup of #5385. Thanks for fixing so promptly, and sorry I didn't …
12:43 PM Ticket #5419 (integer-gmp no longer exports S# and J#) created by mikhail.vorozhtsov
Commit d8f636ec19a21cc4c22a8d1b45217436838aeebb effectively removed the …
10:03 AM Ticket #5418 (Constructor import error message suggests invalid syntax) created by YitzGale
[…] That is not a very good suggestion, since it won't compile. It …
9:41 AM Changeset in ghc [7389faf]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 Marlow <marlowsd@…>
Add test for popCnt# primop
9:41 AM Changeset in testsuite [2f4d133]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for popCnt# primop
7:19 AM Repositories edited by simonpj
(diff)
7:10 AM Repositories edited by simonpj
(diff)
7:01 AM Ticket #5409 (Language.Haskell.TH.Syntax.tupleDataName wrong for unit) closed by simonpj
fixed: Good point. Fixed by […] I don't understand why () is in a different …
6:58 AM Changeset in ghc [f708b3d2]wip/T9016wip/ampwip/coveritywip/orf by Simon Peyton Jones <simonpj@…>
The unit tuple is defined in a different module to other tuples (oddly) Fixes Trac #5409
6:42 AM Ticket #5417 (GHCi browse gets type families wrong) created by simonpj
Reported by Luite Stegeman […] Nnw use ghci 7.2.1: […] But with ghci …
6:08 AM DataParallel/VectPragma edited by chak
(diff)
5:20 AM DataParallel/VectPragma edited by chak
(diff)

Aug 16, 2011:

10:15 PM GhcKinds edited by ia0
Step 2 (diff)
4:31 PM Changeset in ghc [52cc4e1]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@…>
Add missing stderr files
4:31 PM Changeset in testsuite [f728a6a]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add missing stderr files
3:48 PM Changeset in ghc [a47a745e]wip/T9016wip/ampwip/coveritywip/orf by Simon Marlow <marlowsd@…>
Add fallbacks for processor specific instructions (e.g. POPCNT). These fallbacks are referred to by code generated by GHC.
3:48 PM Changeset in ghc-prim [cefc19a]ghc-7.4ghc-7.6ghc-7.8no-pred-ty by Simon Marlow <marlowsd@…>
Add fallbacks for processor specific instructions (e.g. POPCNT). These fallbacks are referred to by code generated by GHC.
3:48 PM Changeset in ghc [2d0438f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add popCnt# primop
1:40 PM DataParallel/Replicate edited by chak
(diff)
1:31 PM DataParallel/Replicate edited by chak
(diff)
1:30 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:29 PM Ticket #5416 (Local modules and Template Haskell declaration splices) created by simonpj
Sometimes you want a Template Haskell splice to expand to a bunch of …
1:24 PM Ticket #5398 (Multiple declarations of uniquely generated name) closed by simonpj
invalid: We had a discussion at CamHac which concluded that PLAN B is indeed the …
1:18 PM DataParallel/Replicate edited by chak
(diff)
12:38 PM Changeset in ghc [94c2f392]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 #2357
12:38 PM Changeset in testsuite [0f8de47]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #2357
12:32 PM DataParallel/Replicate edited by chak
(diff)
10:58 AM Ticket #4940 (Bad error message using poly pat bind with MonoPatBinds) closed by simonpj
fixed: Fixed by (a) above! I think you'll be happy. Simon
10:51 AM Ticket #1897 (Ambiguous types and rejected type signatures) closed by simonpj
fixed: Done! See (d) in the commit message. Simon
10:50 AM Ticket #2357 (Implement the Haskell' proposal for polymorphic pattern bindings) closed by simonpj
fixed: Free at last, free at last. This long standing change is finally done! …
10:45 AM Changeset in ghc [abb92c1f]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@…>
Remove ambiguous defn (now rightly rejected) from T3346
10:45 AM Changeset in testsuite [3c20afc]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Remove ambiguous defn (now rightly rejected) from T3346
10:45 AM Changeset in ghc [07f62bf9]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@…>
Add some new code to T2693
10:45 AM Changeset in testsuite [414ac28]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add some new code to T2693
10:44 AM Changeset in ghc [e5680cba]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@…>
Error message change
10:44 AM Changeset in testsuite [04e1152]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message change
10:44 AM Changeset in ghc [ad68e984]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@…>
tc168 is supposed to fail with an ambiguity check
10:44 AM Changeset in testsuite [c91cd81]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
tc168 is supposed to fail with an ambiguity check
10:43 AM Changeset in ghc [57e41d97]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 #5032
10:43 AM Changeset in testsuite [5b5ac3a]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5032
10:43 AM DataParallel/Replicate edited by chak
(diff)
10:01 AM Changeset in ghc [5bf960e]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 #1897
10:01 AM Changeset in testsuite [d339313]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #1897
9:58 AM DataParallel/Replicate edited by chak
(diff)
9:23 AM Changeset in ghc [49dbe605]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Major improvement to pattern bindings This patch makes a number of related improvements a) Implements the Haskell Prime semantics for pattern bindings (Trac #2357). That is, a pattern binding p = e is typed just as if it had been written t = e f = case t of p -> f g = case t of p -> g ... etc ... where f,g are the variables bound by p. In paricular it's ok to say (f,g) = (\x -> x, \y -> True) and f and g will get propertly inferred types f :: a -> a g :: a -> Int b) Eliminates the MonoPatBinds flag altogether. (For the moment it is deprecated and has no effect.) Pattern bindings are now generalised as per (a). Fixes Trac #2187 and #4940, in the way the users wanted! c) Improves the OutsideIn algorithm generalisation decision. Given a definition without a type signature (implying "infer the type"), the published algorithm rule is this: - generalise *top-level* functions, and - do not generalise *nested* functions The new rule is - generalise a binding whose free variables have Guaranteed Closed Types - do not generalise other bindings Generally, a top-level let-bound function has a Guaranteed Closed Type, and so does a nested function whose free vaiables are top-level functions, and so on. (However a top-level function that is bitten by the Monomorphism Restriction does not have a GCT.) Example: f x = let { foo y = y } in ... Here 'foo' has no free variables, so it is generalised despite being nested. d) When inferring a type f :: ty for a definition f = e, check that the compiler would accept f :: ty as a type signature for that same definition. The type is rejected precisely when the type is ambiguous. Example: class Wob a b where to :: a -> b from :: b -> a foo x = [x, to (from x)] GHC 7.0 would infer the ambiguous type foo :: forall a b. Wob a b => b -> [b] but that type would give an error whenever it is called; and GHC 7.0 would reject that signature if given by the programmer. The new type checker rejects it up front. Similarly, with the advent of type families, ambiguous types are easy to write by mistake. See Trac #1897 and linked tickets for many examples. Eg type family F a :: * f ::: F a -> Int f x = 3 This is rejected because (F a ~ F b) does not imply a~b. Previously GHC would *infer* the above type for f, but was unable to check it. Now even the inferred type is rejected -- correctly. The main implemenation mechanism is to generalise the abe_wrap field of ABExport (in HsBinds), from [TyVar] to HsWrapper. This beautiful generalisation turned out to make everything work nicely with minimal programming effort. All the work was fiddling around the edges; the core change was easy!
9:19 AM Changeset in ghc [20ceffb]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve debug printing of Names (respect opt_SuppressModulePrefixes)
8:08 AM DataParallel/Replicate edited by chak
(diff)
7:51 AM DataParallel/Replicate edited by chak
(diff)
7:47 AM DataParallel/Replicate edited by chak
(diff)
7:30 AM DataParallel/Replicate edited by chak
(diff)
3:48 AM Debugging/CompiledCode edited by MikolajKonarski
warn about cabal stripping binaries (diff)

Aug 15, 2011:

9:59 PM PatternSynonyms edited by augustss
(diff)
9:59 PM PatternSynonyms edited by augustss
(diff)
9:58 PM PatternSynonyms edited by augustss
(diff)
9:57 PM PatternSynonyms edited by augustss
Update syntax, add associated patterns. (diff)
9:01 PM Ticket #5415 (ghc panic building text 0.11.1.5 with 7.2.1 from debian/experimental) closed by dsf
invalid: Ok, this is fixed in 7.2.1.
6:39 PM Ticket #5415 (ghc panic building text 0.11.1.5 with 7.2.1 from debian/experimental) created by dsf
This happened in a clean build environment: […]
4:21 PM Changeset in ghc [7020145]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@…>
Accept changed output (resulting from fix to #5410)
4:21 PM Changeset in testsuite [73085b05]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept changed output (resulting from fix to #5410)
3:34 PM WikiStart edited by LeoBrooks
(diff)
8:44 AM DefaultSuperclassInstances edited by simonpj
(diff)
8:42 AM DefaultSuperclassInstances edited by simonpj
(diff)
8:24 AM DefaultSuperclassInstances edited by simonpj
(diff)
8:09 AM DefaultSuperclassInstances edited by simonpj
(diff)
8:08 AM DefaultSuperclassInstances edited by simonpj
(diff)
7:41 AM Changeset in ghc [e35baae]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #5404: looking up signature binders in RnEnv See Note [Looking up Exact RdrNames] in RnEnv
7:41 AM Changeset in ghc [ddfba75f]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
In instance declarations, the method names are *occurrences* not *binders* A long standing bug. The patch fixes Trac #5410
7:26 AM Changeset in ghc [1064ab02]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
7:25 AM Changeset in ghc [ea991e6]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
7:25 AM Changeset in testsuite [6c0a697]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-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
7:24 AM Changeset in ghc [f8638de]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@…>
Partial fix to a test-framework crash affecting #5313 The crach is windows-only; Ian is investigating. This patch does not fix the problem completely.
7:24 AM Changeset in testsuite [882e43e]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Partial fix to a test-framework crash affecting #5313 The crach is windows-only; Ian is investigating. This patch does not fix the problem completely.
7:17 AM Changeset in ghc [b86d227]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@…>
Tests for Trac #5404 and #5410
7:17 AM Changeset in testsuite [68e7087]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Tests for Trac #5404 and #5410

Aug 14, 2011:

11:20 AM Ticket #5402 (Exit code is wrong with dynamically loaded libraries) closed by simonmar
fixed: Fixed, test added.
11:17 AM Changeset in ghc [1df235e7]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove unnecessary return
11:17 AM Changeset in ghc [f6f0430]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix occasional failure of numsparks001 test. During shutdown we discard all the sparks from each Capability, but we were forgetting to account for the discarded sparks in the stats, leading to a failure of the assertion that tests the spark invariant. I've moved the discarding of sparks to just before the GC, to avoid race conditions, and counted the discarded sparks as GC'd.
11:17 AM Changeset in ghc [6af8d61]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix some #ifdefs that were making compilation with 7.2.1 fail - the safified array package is not in 7.2.1
11:16 AM Changeset in ghc [8d0d8a2]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 Marlow <marlowsd@…>
adjust 32-bit stats for parsing001
11:16 AM Changeset in testsuite [490a6ef]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
adjust 32-bit stats for parsing001
10:49 AM Ticket #5414 (Add unsafeShift to Data.Bits) created by tibbe
shiftL and shiftR introduce an extra branch to check for overflows …
8:51 AM Changeset in ghc [2d7de12]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 Marlow <marlowsd@…>
Add test for #5402
8:51 AM Changeset in testsuite [57027d9]at-defaultsatomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cono-pred-tyoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #5402

Aug 13, 2011:

8:25 PM Commentary/CodingStyle edited by acfoltzer
fixed typo (diff)
8:01 PM Commentary edited by acfoltzer
fixed typo (diff)
4:01 PM Ticket #5413 (Add population count primop) created by tibbe
Modern CPUs have a POPCNT instruction for efficient population count. …
9:22 AM Ticket #5412 (dataTypeConstrs gives unhelpful error message) created by NeilMitchell
Take the following program: […] The implementation of …
6:11 AM BlockObjects edited by chak
(diff)
6:09 AM BlockObjects/ExtendingGHC created by chak
6:07 AM BlockObjects/FakingIt created by chak
6:01 AM BlockObjects/Specification created by chak
6:00 AM BlockObjects edited by chak
(diff)
5:57 AM BlockObjects edited by chak
(diff)
5:56 AM BlockObjects edited by chak
(diff)
5:51 AM BlockObjects edited by chak
(diff)
5:48 AM BlockObjects edited by chak
(diff)

Aug 12, 2011:

8:51 PM Ticket #5411 (Typo in 7.7.1.2. Data instance declarations documentation) closed by simonpj
fixed: Thank you!
8:48 PM Changeset in ghc [ccbb0cc6]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:47 PM Changeset in ghc [3932f7f0]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Correct typo (fix Trac #5411)
7:12 PM Ticket #5411 (Typo in 7.7.1.2. Data instance declarations documentation) created by uznx
In User's Guide in section 7.7.1.2. Data instance declarations is the …
4:15 PM Changeset in ghc [d18b5d5]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecpr-sum-typescross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftnew-demand-to-mergenewcgno-pred-tyoverlapping-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/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
make shutdownHaskellAndExit() shut down the RTS and exit immediately (#5402)
2:45 PM Ticket #5410 (Template Haskell - splicing quoted instance decls mangles names) created by mokus
When updating a library of mine (random-fu) to build on GHC 7.2.1, I found …
2:25 PM Ticket #5409 (Language.Haskell.TH.Syntax.tupleDataName wrong for unit) created by NeilMitchell
tupleDataName 0 generates the name GHC.Tuple.(), but that's …
1:58 PM PatternSynonyms edited by simonpj
(diff)
1:41 PM BlockObjects edited by chak
(diff)
1:38 PM ViewPatternsAlternative edited by simonpj
(diff)
1:30 PM ViewPatternsAlternative edited by simonpj
(diff)
1:26 PM BlockObjects edited by chak
(diff)
1:14 PM BlockObjects edited by chak
(diff)
9:39 AM Ticket #5408 (ghc-7.2.1 build failed for PowerPC) created by maeder
[…]
9:34 AM Ticket #5407 (ghc-7.2.1 build failed on sparc solaris with non-GNU linker) created by maeder
[…]
3:34 AM WikiStart edited by benl
Revert spam (diff)
12:36 AM BlockObjects edited by chak
(diff)
12:11 AM llvm-2011-07-12.patch attached to Building/ARMLinuxGnuEABI by chak
Patch against LLVM 2011-07-12
Note: See TracTimeline for information about the timeline view.