Timeline


and

Aug 18, 2011:

11:50 PM Changeset in ghc [d31c81f]wip/T8959wip/T8968wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Manuel M T Chakravarty <chak@…>
.gitignore
11:50 PM Changeset in ghc-prim [06d6805]ghc-7.4ghc-7.6ghc-7.8no-pred-ty by Manuel M T Chakravarty <chak@…>
.gitignore
11:38 PM Changeset in ghc [53ba351]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Manuel M T Chakravarty <chak@…>
dph/quickhull: Import vectorised Double
11:38 PM Changeset in testsuite [be8b8c5]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 Manuel M T Chakravarty <chak@…>
dph/quickhull: Import vectorised Double
3:16 PM Changeset in ghc [46fa261e]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Add VECTORISE [SCALAR] type pragma - Pragma to determine how a given type is vectorised - At this stage only the VECTORISE SCALAR variant is used by the vectoriser. - '{-# VECTORISE SCALAR type t #-}' implies that 't' cannot contain parallel arrays and may be used in vectorised code. However, its constructors can only be used in scalar code. We use this, e.g., for 'Int'. - May be used on imported types See also http://hackage.haskell.org/trac/ghc/wiki/DataParallel/VectPragma
3:16 PM Changeset in ghc [9282550c]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Improve import and export of vectorisation information
12:33 PM DataParallel/VectPragma edited by chak
(diff)
7:29 AM WikiStart edited by luite
remove link spam (diff)
4:51 AM Ticket #5421 (<<loop>> in withMVar (reproducible, but with large test case)) created by JohnMillikin
A user of one of my libraries is reporting that it fails with the message …

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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8959wip/T8968wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8959wip/T8968wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Comments only
7:25 AM Changeset in ghc [ea991e6]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <marlowsd@…>
remove unnecessary return
11:17 AM Changeset in ghc [f6f0430]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftno-pred-tysupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8968wip/T8995-level-generalisationwip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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)
Note: See TracTimeline for information about the timeline view.