Timeline


and

Jan 15, 2013:

9:03 PM Ticket #7588 (GHC HEAD built with LLVM on Mac OS X miscompiles RTS: SIGSEGV in ...) created by thoughtpolice
After fixing #7571 and #7580, with those two patches, I now get a working …
6:22 PM Ticket #7587 (Kind variables are not renamed) created by monoidal
[…] should be k -> l -> *. The 'k's are allowed to be different, …
5:35 PM Ticket #7584 (OperationalError: database is locked) closed by igloo
invalid: Thanks for the report. I'm not sure what URL you were looking at, so I …
4:47 PM Ticket #7586 (:kind command cannot show kind of type synonyms) created by augustss
The following illustrates the problem: […] Undoubtedly, T has a kind, …
3:57 PM Ticket #7585 (Core lint failure when optimizing coercions in branched axioms) created by goldfire
The attached code causes the failure. Core Lint correctly checks branched …
2:57 PM Changeset in ghc [440a9a5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tiny refactoring, really just white space
2:57 PM Changeset in ghc [ecddaca]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up FunDeps.oclose It turned out that FunDeps.oclose was unused. So * Remove oclose * Rename oclose1 to oclose * Move growThetaTyVars to FunDeps (from TcMType), because the comments treat it with oclose * Move quantifyPred to TcSimplify (from TcMType), because it seemed orphaned
2:54 PM Changeset in ghc [29054b0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
White space only
2:53 PM Changeset in ghc [053b2115]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make tc226 have -O, so that the unboxing stuff happens
2:53 PM Changeset in testsuite [a0acdf60]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make tc226 have -O, so that the unboxing stuff happens
2:52 PM Changeset in ghc [152e703]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When doing UNPACK pragmas, be careful to only unpack *data* types not newtypes This was breaking tc226, following UNPACK-pragma reorg
2:42 PM Changeset in ghc [bb79e71]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal
2:42 PM Changeset in testsuite [56cd7ad]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal
2:37 PM Changeset in ghc [292f99c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix Test by adding a fundep to make the (Concete a b) instance legal
2:37 PM Changeset in testsuite [ca5fbc2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix Test by adding a fundep to make the (Concete a b) instance legal
2:17 PM Changeset in ghc [9c64c3f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix test by adding a fundep on class A, which makes the B instance legal again
2:17 PM Changeset in testsuite [ad669f1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix test by adding a fundep on class A, which makes the B instance legal again
2:14 PM Changeset in ghc [fa0397f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix test by removing unnessary (and bogus) fundep
2:14 PM Changeset in testsuite [a7a8923]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix test by removing unnessary (and bogus) fundep
1:55 PM Commentary/CommandLineArgs edited by jstolarek
(diff)
1:54 PM Commentary/Compiler/CommandLineArgs created by jstolarek
1:54 PM Commentary/Compiler edited by jstolarek
(diff)
1:52 PM Commentary/CommandLineArgs created by jstolarek
1:46 PM Commentary/Compiler edited by jstolarek
(diff)
1:12 PM Changeset in base [d642155]data-proxydbcsghc-7.8type-reasoning by Jose Pedro Magalhaes <jpm@…>
Add Generic instances to GHC.Generics representation types
1:12 PM Changeset in ghc [6c0743c4]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Add Generic instances to GHC.Generics representation types
12:06 PM Ticket #7562 (Parse error with {-# UNPACK #-} Int) closed by simonpj
fixed: Good idea, thanks.
11:20 AM NewtypeWrappers edited by simonpj
(diff)
11:18 AM Ticket #7583 (IO reordering) closed by monoidal
invalid: This is because GHC uses line buffering by default, while GHCi disables …
11:12 AM NewtypeWrappers edited by simonpj
(diff)
11:00 AM Ticket #7584 (OperationalError: database is locked) created by Heimdell
==== How to Reproduce ==== While doing a GET operation on /report/8, …
10:57 AM Ticket #7583 (IO reordering) created by Heimdell
I have a simple test program: […] In ghci, it writes "> " before …
10:50 AM Ticket #7582 (Created thunk gets immediately evaluated) closed by simonpj
invalid: Yes, consider (lookup undefined seq True). In your original program …
10:15 AM ReportABug edited by monoidal
frequent bugs (diff)
8:17 AM Ticket #7581 (ghc crashed on trying compiling a file generated by Alex) closed by simonpj
duplicate: Thanks. This is another example of GHC most oft-reported bug (fixed some …
5:31 AM Ticket #7582 (Created thunk gets immediately evaluated) created by tibbe
The following function, taken from the unordered-containers package, is …
2:04 AM Ticket #7581 (ghc crashed on trying compiling a file generated by Alex) created by guest
C:\Documents and Settings\bcyrille\My Documents\Hskl>ghc M90.hs [1 of 1] …

Jan 14, 2013:

6:09 PM NewtypeWrappers edited by simonpj
(diff)
6:07 PM Changeset in ghc [def97b8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fix up comment: I was just wrong previously, the original GHC comment on `oclose` is correct.
6:06 PM NewtypeWrappers created by simonpj
5:46 PM Ticket #7578 (Instance selection regression from 7.4 to 7.6) closed by simonpj
invalid: Currently this is by-design. What is happening is this. At the local …
4:48 PM Changeset in ghc [b4ebf622]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:48 PM Changeset in testsuite [e063557]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:46 PM Changeset in ghc [82f81d12]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:45 PM Changeset in ghc [deec5b74]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Be willing to parse {-# UNPACK #-} without '!' This change gives a more helpful error message when the user says data T = MkT {-# UNPACK #-} Int which should have a strictness '!' as well. Rather than just a parse error, we get T7562.hs:3:14: Warning: UNPACK pragma lacks '!' on the first argument of `MkT' Fixes Trac #7562
6:41 AM Ticket #7580 (Building PrimOps.cmm on OS X with LLVM 3.2 fails) created by thoughtpolice
Using LLVM 3.2 (release,) or LLVM 3.3svn, on my Mac OS X 10.8 machine, the …
6:25 AM Ticket #7579 (Command line option to suppress LLVM version warning) created by thoughtpolice
When developing I'm sometimes testing the LLVM backend and often it's with …
2:37 AM Ticket #1241 (Functional dependency Coverage Condition is lifted, and should not be) closed by diatchki
fixed
2:34 AM Changeset in ghc [12f3a53e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fixup comment: typos + I had the generalization rule backwards.
12:31 AM Changeset in ghc [f5a5229]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Iavor S. Diatchki <iavor.diatchki@…>
Add a missing FD on `Add`, otherwise the test is (correctly) rejected. The reason is the we don't automatically inherit the FDs of super-classes.
12:31 AM Changeset in testsuite [384f47e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Add a missing FD on `Add`, otherwise the test is (correctly) rejected. The reason is the we don't automatically inherit the FDs of super-classes.
12:29 AM Changeset in ghc [fe61599]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Use a version of the coverage condition even with UndecidableInstances. This fixes bug #1241 and #2247. When UndecidableInstances are on, we use the "Liberal Coverage Condition", which is what GHC used to do in the past. This is the gist of the check: class C a b | a -> b instance theta => C t1 t2 we check that `fvs t2` is a subset of `fd-closure(theta,fvs t1)`. This is strictly more general than the coverage condition, while it still guarantees consistency with the FDs of the class. This check is completely orthogonal to termination (it by no means guarantees it). I am not sure of the role of the "coverage condition" in termination--- the comments suggest that it is important. This is why, for the moment, we only use this check when UndecidableInstances are on.

Jan 13, 2013:

8:57 PM Changeset in testsuite [5b514c1]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: tests/typecheck/should_compile/all.T
8:01 PM Ticket #7578 (Instance selection regression from 7.4 to 7.6) created by nomeata
The following code (useless due to minification) works in GHC 7.4.1: …
5:44 PM Ticket #7577 (./sync-all doesn't properly detect the existence of the 'time' submodule) created by parcs
The time submodule is present in my repository (at ./libraries/time) …
12:29 PM Ticket #7576 (Building happy -- setup: internal error: evacuate: strange closure type ...) created by datenwolf
I'm running a Gentoo system and use the haskell overlay. The …
11:51 AM Ticket #3005 (Normalize fully-applied type functions prior to display) closed by monoidal
fixed: I believe this is fixed by the :kind! command.
11:07 AM Ticket #7575 (LLVM backend does not properly widen certain literal types in call ...) created by thoughtpolice
Related to #7571 and #7574, while compiling stage2 with stage1 GHC HEAD on …
10:25 AM Ticket #7574 (Register allocator chokes on certain branches with literals) created by thoughtpolice
While running the test for #7571 (test is in #7573,) under …
10:15 AM Building/RunningTests/Adding edited by thoughtpolice
Add info about objc_src/objcpp_src (diff)
10:10 AM Ticket #7372 (Lint failure in GHC 7.6.1) closed by monoidal
fixed: I checked it. TL;DR: the same cause as in #7312, fixed in HEAD and STABLE. …
9:40 AM Ticket #7573 (Testsuite should easily be able to compile .cmm files.) created by thoughtpolice
While writing a test for #7571, I found it annoying to have to use …
7:49 AM Ticket #7572 (mk/build.mk does not let you build 'quick-llvm' style) created by thoughtpolice
In mk/build.mk, you specify the build flavor you want for the compiler. …

Jan 12, 2013:

11:09 PM Ticket #7571 (LLVM codegen does not handle integer literals in branch conditionals.) created by thoughtpolice
When compiling GHC HEAD on my ODROID-U2 ARM machine, running Ubuntu 12.10, …
11:02 PM Ticket #2705 (ghc discards version of wired-in packages) closed by thoughtpolice
wontfix: This bug is old, will probably never be fixed and is a bad idea in …
8:55 PM Ticket #7216 (Compositional blocking on file descriptors) closed by igloo
fixed: Applied, thanks!
8:03 PM MailingListsAndIRC edited by igloo
(diff)
7:51 PM Changeset in base [e747d14]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <igloo@…>
Fix warnings on Windows
7:51 PM Changeset in ghc [8564b7f3]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix warnings on Windows
7:34 PM Changeset in base [f0052dc]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <igloo@…>
Fix ambiguity error on Windows I assume that we only want to catch IOExceptions, as withThread does.
7:34 PM Changeset in ghc [753e3e3]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix ambiguity error on Windows I assume that we only want to catch IOExceptions, as withThread does.
6:26 PM Changeset in base [45bd7b2]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Fix warnings
6:26 PM Changeset in ghc [f54bc5f9]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Fix warnings
6:06 PM Changeset in base [228f0ede]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Expose new threadWaitSTM functions in Control.Concurrent (see #7216). Supports threadWaitReadSTM and threadWaitWriteSTM on Windows with the threaded runtime system.
6:06 PM Changeset in ghc [b0d27b90]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Expose new threadWaitSTM functions in Control.Concurrent (see #7216). Supports threadWaitReadSTM and threadWaitWriteSTM on Windows with the threaded runtime system.
5:07 PM CrossCompilation edited by singpolyma
Much more working in HEAD (diff)
4:07 PM Changeset in ghc [4a2536d]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix typo in docs; spotted by Gabor Greif
4:07 PM Changeset in ghc [6387eba]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix typo in docs; spotted by Gabor Greif
2:41 PM Changeset in ghc [42729f4]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
add X86_64_GOTTPOFF relocation for errno Submitted by: Markus Pfeiffer <markus.pfeiffer@morphism.de> on cvs-ghc
2:15 PM Ticket #7406 (-ddump-ds does not turn on -fforce-recomp) closed by igloo
fixed: Docs fixed.
1:40 PM Changeset in ghc [1eda0b78]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Change RTS hook APIs to match 7.6.1
12:55 PM Changeset in ghc [782faec]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Clarify docs on when -ddump-* imply -fforce-recomp; fixes #7406
12:30 PM Ticket #7563 (Passing -C flag causes the 'impossible' to happen) closed by igloo
fixed: Fixed, and test added.
11:26 AM Changeset in ghc [b479c359]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7563
11:26 AM Changeset in testsuite [441805f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7563
5:07 AM Ticket #7570 (GHC's ./configure script should check for ncurses) created by thoughtpolice
When building GHC, the configure script will not check for ncurses, even …

Jan 11, 2013:

9:00 PM Changeset in ghc [5427df8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/ghc
7:08 PM Changeset in ghc [acb0cd9]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't make -C imply -fvia-C All -fvia-C does nowadays is print a warning saying that it doesn't do anything.
7:08 PM Changeset in ghc [68833e5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make "happensBefore" take account of whether we are unregisterised If we are not unregisterised then we skip the HCc phase. Fixes #7563.
6:03 PM Changeset in ghc [385dced6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update a panic message I don't actually know if suggesting -fllvm as a workaround is useful advice, but -fvia-C certainly won't help as it doesn't do anything any more.
5:52 PM Changeset in ghc [de373f91]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in nativeGen/SPARC/Base.hs
5:49 PM Changeset in ghc [49e6c96b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update a comment
4:57 PM Changeset in ghc [f3d3baec]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove checkCOrAsmOrLlvmOrDotNetOrInterp We now just use checkCOrAsmOrLlvmOrInterp instead, which had an identical definition.
4:56 PM Changeset in ghc [b9fae0c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Improve some error messages
4:06 PM Ticket #7453 (unsafe coerce without extensions) closed by igloo
fixed: It now works (i.e. is rejected with an error) in the 7.6 branch.
3:37 PM Ticket #7281 (GHC 7.4.2 build fails on Fedora17) closed by igloo
fixed: Thanks! HEAD updated.
2:39 PM Changeset in ghc [77e78416]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update bytestring and terminfo repos bytestring fixes #7556. terminfo fixes #7281.
1:29 PM Changeset in ghc [8b1e30f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small build system refactoring hs-suffix-rules now calls hs-suffix-rules-srcdir, saving some duplication
1:28 PM Changeset in ghc [fb7391a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Build system: Add ExtraMakefileSanityChecks for extra safety Whether we check that .hi files have actually been created is now controlled by $(ExtraMakefileSanityChecks) (defaults to NO). Also updated comments about the .hi rule.
12:16 PM Changeset in ghc [96ea76c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
dynamic-too progress
10:01 AM MailingListsAndIRC edited by henrique
(diff)
9:55 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:53 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:38 AM Ticket #7568 (Can't dynamically load DLL-using libraries on Windows x86_64) closed by simonmar
duplicate: The first bug is #7097, there's a long discussion there (but no solution). …
1:23 AM Ticket #7569 (Does not correctly detect float/double Haskell types when cross-compiling) created by singpolyma
As described on the mailing list, the way that the check for floating …

Jan 10, 2013:

11:59 PM Ticket #7568 (Can't dynamically load DLL-using libraries on Windows x86_64) created by bos
I've spent the past day trying to understand and fix this downstream bug: …
11:39 PM Changeset in ghc [35428a3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactoring: No functional change Moved some code from runPipeline' into runPipeline.
11:30 PM Changeset in ghc [bab8dc7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Add preprocessor defines when SSE is enabled This will add the following preprocessor defines when Haskell source files are compiled: * __SSE__ - If any version of SSE is enabled * __SSE2__ - If SSE2 or greater is enabled * __SSE4_2_ - If SSE4.2 is enabled Note that SSE2 is enabled by default on x86-64.
8:43 PM Changeset in ghc [ccd8c6f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Handle -boot files properly when doing -dynamic-too
8:41 PM Changeset in ghc [9e3088f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove redundant rule from rules/build-package.mk We were adding "maintainer-clean : distclean" every time we call build-package. All of these are redundant, as the same dependency appears in the root ghc.mk.
7:29 PM Changeset in ghc [1353b4a1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Enable the .hi file sanity check when not on Windows We don't want the overhead of spawning a shell on Windows, but on other platforms it's a useful sanity check.
6:34 PM Changeset in ghc [5cb0880]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make the rule for .hi files depend on the .hs/.lhs files make thought that it could make a .hi file for the C files in libraries, which was causing problems when using dynamic-too.
6:29 PM Changeset in ghc [8dd2f98]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Support the MergeStub phase when building with dynamic-too
6:29 PM Changeset in ghc [35691ad]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update the -no-auto-link-packages docs It's now base + rts, rather than haskell98, that we link in by default.
4:54 PM Changeset in ghc [0ac8c371]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7562
4:54 PM Changeset in testsuite [a91cac4f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7562
4:37 PM Ticket #7567 (invalidateModSummaryCache throws exception if ms_hs_date is 0) created by edsko
It will try to subtract one, and the negative value will cause …
3:42 PM Ticket #7566 (exception when loading) closed by monoidal
duplicate: This is already fixed in GHC 7.6, bug #5951. (You compile your code by …
2:41 PM Ticket #7566 (exception when loading) created by j4hr0m
when i save […] as point.hs and load it using WinGHCi 1.0.6 …
11:09 AM Ticket #7564 (GHC fails without an error when building text-0.11.2.3) closed by simonmar
duplicate: looks like a dup of #7565
9:41 AM ReadingList edited by jstolarek
Hoopl and C-- (diff)

Jan 9, 2013:

8:41 PM Ticket #7565 (GHC fails without an error when building text-0.11.2.3) created by guest
Coming from [here](https://github.com/haskell/cabal/issues/1173). I …
7:52 PM Ticket #7564 (GHC fails without an error when building text-0.11.2.3) created by guest
I wanted to install GHC-7.6.1 on my server system. It is a CentOS 6. I …
5:23 PM Ticket #7361 (Segmentation fault on 5f37e0c71ff4af8539c5aebc739b006b4f0c6ebf) closed by simonmar
fixed
4:52 PM Changeset in ghc [3af022f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix some incorrect narrowing rules (#7361) e.g. narrow8Int# subsumes narrow16Int#, not the other way around.
4:51 PM Changeset in ghc [26e5aafd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for #7361
4:51 PM Changeset in testsuite [a443715]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #7361
2:46 PM Changeset in ghc [343548da]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix disassembler after removal of size field in bco->instrs (#7518)
12:14 PM Ticket #7518 (Instruction list length in bco->instrs redundant) closed by simonmar
fixed
12:11 PM Changeset in ghc [f838d2f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
add docs for ":showi language" (#7501)
12:11 PM Changeset in ghc [0c42e301]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
remove unnecessary size field in BCO (#7518)
10:46 AM Ticket #7563 (Passing -C flag causes the 'impossible' to happen) created by jstolarek
Passing -C flag to GHC causes compiler panic: […] Comment in …
9:40 AM Ticket #7562 (Parse error with {-# UNPACK #-} Int) created by nomeata
This code (note the missing !) causes a parser error: […] I think a …
9:37 AM Changeset in ghc [41e9276]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc Conflicts: compiler/typecheck/FamInst.lhs
9:36 AM Ticket #7504 (hackage vector package yields ghc bug on raspberry pi) closed by simonmar
invalid: Your GHC was built without GHCi support (I'm not sure why though). That …
9:27 AM Commentary/Pipeline edited by jstolarek
(diff)
8:58 AM Changeset in ghc [4737d64]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
More tidying up in FamInstBranch In particular I removed the fib_index and fib_loc fields. The "master version" is in the CoAxiom; the FamInstBranches are only for matching.
6:17 AM Ticket #7561 (Unnecessary Heap Allocations - Slow Performance) created by wurmli
Using the vector library operations that should in principle take place …
4:34 AM Ticket #7560 (Panic in conflictInstErr when branched type family instances conflict) closed by goldfire
fixed
4:31 AM Changeset in ghc [4aa886d5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add new testcase for Trac #7560.
4:31 AM Changeset in testsuite [0b4b7a9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add new testcase for Trac #7560.
4:30 AM Changeset in ghc [851e4e7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #7560. Code in conflictInstErr did not handle the case where some branches of a branched family instance had an error and some didn't. It was all or nothing. Now, if there are no conflicts for a given branch, conflictInstErr just ignores the branch instead of panicking.
2:11 AM Ticket #7560 (Panic in conflictInstErr when branched type family instances conflict) created by goldfire
This code causes the panic: […] Here is the output: […] Fix on …

Jan 8, 2013:

11:48 PM Ticket #7279 (warning for unused type variables in instance contexts; ...) closed by simonpj
fixed: This fix to ambiguity checking solves the problem […] Now the instance …
11:46 PM Changeset in ghc [23b0bf0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7279
11:46 PM Changeset in testsuite [6e301a8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7279
11:23 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:22 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:21 PM Ticket #5366 (UNPACK is paranoid about a phantom type argument) closed by simonpj
fixed: Fixed in HEAD; see the commit for Trac #3990
11:19 PM Changeset in ghc [b5cf4978]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:19 PM Changeset in testsuite [d15f793b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:19 PM Changeset in ghc [b0486189]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5366
11:19 PM Changeset in testsuite [da88dbd]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5366
11:08 PM Ticket #7332 (Kind-defaulting omitted leads to deeply obscure type error) closed by simonpj
fixed: I think it's Too Bad for 7.6, I'm afraid.
11:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:18 PM Ticket #7559 (`./configure --with-macosx-deployment-target=` doesn't work) created by altaic
This is tested on HEAD with OS X 10.8.2 using Xcode 4.5.2. Any version X …
5:25 PM Ticket #7556 (build/fold causes with ByteString unpack causes huge memory leak) closed by duncan
fixed: Fixed in bytestring head, will be in next point releases. […]
2:11 PM Ticket #7402 (Warn about possible missing -XScopedTypeVariables on errors.) closed by simonpj
fixed: Good point. I've tightened up the ambiguity check for instance …
2:09 PM Ticket #7454 (Missing warning about redundant import of classes/types whose members are ...) closed by simonpj
fixed: Thanks! Fixed by above patch.
2:08 PM Changeset in ghc [5c899f9d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7454
2:08 PM Changeset in testsuite [c4293ef]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7454
12:14 PM Changeset in ghc [cfcd6b83]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Re-do commit 1b8b7f47018eb33bebb0d7f3ee451f7d858a0f8f, which got lost by mistake
12:14 PM Changeset in testsuite [433944c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Re-do commit 1b8b7f47018eb33bebb0d7f3ee451f7d858a0f8f, which got lost by mistake
12:13 PM Changeset in ghc [2267f41]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Typo in comments
12:13 PM Changeset in testsuite [81f0cd2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Typo in comments
12:13 PM Changeset in ghc [6c0c7230]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix typo in extension flags
12:13 PM Changeset in testsuite [74ed9e1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix typo in extension flags
12:13 PM Changeset in ghc [aace245]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Ambiguous-type wibbles
12:13 PM Changeset in testsuite [c0a060c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Ambiguous-type wibbles
12:04 PM Changeset in ghc [0a24be0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add missing import
9:03 AM Changeset in base [d74c198]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//packages/base
9:03 AM Changeset in ghc [104aeb7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//packages/base
9:02 AM Changeset in base [4f27b57]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Comment out IsEven, isEven, and friends, because the type is ambiguous It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful.
9:02 AM Changeset in ghc [ccb16c1]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Comment out IsEven, isEven, and friends, because the type is ambiguous It will become un-ambiguous when Iavor teaches the type inference engine to prove more things, but until then this stuff is not useful.
9:00 AM Changeset in base [686d13d]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Remove unused import
9:00 AM Changeset in ghc [e68158a7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Remove unused import
8:47 AM Ticket #7558 (Terrible error message when given and wanted are both insoluble) created by simonpj
In fixing the ambiguity check I came across this tricky program […] We …
8:39 AM Changeset in ghc [f879703d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add missing file TcValidity.lhs This should have been part of commit 97db0edc4e637dd61ec635d1f9b6b6dd25ad890c Re-engineer the ambiguity test for user type signatures
8:33 AM Changeset in ghc [0488163a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/simplCore/should_compile/T7360.stderr
8:33 AM Changeset in testsuite [b058b8f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/simplCore/should_compile/T7360.stderr
8:30 AM Changeset in ghc [441a87a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error messages and tests, following ambiguity-check changes
8:30 AM Changeset in testsuite [fe31370]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error messages and tests, following ambiguity-check changes
8:27 AM Changeset in ghc [7dffc18]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master'
8:26 AM Changeset in ghc [97db0ed]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Re-engineer the ambiguity test for user type signatures Two main changes. First, re-engineer the ambiguity test. Previously TcMType.checkAmbiguity used a rather syntactic test to detect some types that are certainly ambiguous. But a much easier test is available, and it is used for inferred types in TcBinds. Namely <type> is ambiguous iff <type> `TcUnify.isSubType` <type> fails to hold, where "isSubType" means "is provably more polymorphic than". Example: C a => Int is ambiguous, because isSubType instantiates the (C a => Int) to (C alpha => Int) and then tries to deduce (C alpha) from (C a). This is Martin Sulzmann's definition of ambiguity. (Defn 10 of "Understanding functional dependencies via constraint handling rules", JFP.) This change is neat, reduces code, and correctly rejects more programs. However is *is* just possible to have a useful program that would be rejected. For example class C a b f :: C Int b => Int -> Int Here 'f' would be rejected as having an ambiguous type. But it is just possible that, at a *call* site there might be an instance declaration instance C Int b, which does not constrain 'b' at all. This is pretty strange -- why is 'b' overloaded at all? -- but it's possible, so I also added a flag -XAllowAmbiguousTypes that simply removes the ambiguity check. Let's see if anyone cares. Meanwhile the earlier error report will be useful for everyone else. A handful of regression tests had to be adjusted as a result, because they used ambiguous types, somewhat accidentally. Second, split TcMType (already too large) into two * TcMType: a low-level module dealing with monadic operations like zonking, creating new evidence variables, etc * TcValidity: a brand-new higher-level module dealing with validity checking for types: checkValidType, checkValidInstance, checkFamInstPats etc Apart from the fact that TcMType was too big, this allows TcValidity to import TcUnify(tcSubType) without causing a loop.
8:24 AM Ticket #7557 (Default implementation for a type class function missing when profiling is ...) created by JohnWiegley
I tried to reduce this to a simpler case, but was unable to produce the …
5:35 AM Changeset in ghc [744035fd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Fix Word2Float# test on 32-bit
5:35 AM Changeset in testsuite [2c3d474]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Fix Word2Float# test on 32-bit
2:00 AM Changeset in ghc [83bfdc2f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
2:00 AM Changeset in testsuite [22a46d1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
12:00 AM Commentary/ModuleStructure edited by simonpj
(diff)
12:00 AM Commentary/ModuleStructure edited by simonpj
(diff)

Jan 7, 2013:

11:58 PM Commentary/ModuleStructure edited by simonpj
(diff)
10:29 PM Ticket #7510 (Immediate seg-fault on 32-bit windows build) closed by igloo
fixed: Looks good here, thanks!
7:01 PM Ticket #7556 (build/fold causes with ByteString unpack causes huge memory leak) created by glguy
module Main where import qualified Data.ByteString as B import Data.Word …
5:52 PM Changeset in ghc [afe9a3b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove two unused imports, detected by the fix to Trac #7454
5:50 PM Changeset in ghc [a8ea80f1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Rearrange the computation of unused imports; fixes Trac #7454
3:52 PM Changeset in ghc [7d1216ab]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
make "./sync-all -r <path> remote set-url origin" work
3:52 PM Changeset in ghc [03d360f2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix bugs in allocMoreStack (#7498, #7510) There were four bugs here. Clearly I didn't test this enough to expose the bugs - it appeared to work on x86/Linux, but completely by accident it seems. 1. the delta was wrong by a factor of the slot size (as noted on #7498) 2. we weren't correctly aligning the stack pointer (sp needs to be 16-byte aligned on x86/x86_64) 3. we were doing the adjustment multiple times in the case of a block that was both a return point and a local branch target. To fix this I had to add new shim blocks to adjust the stack pointer, and retarget the original branches. See comment for details. 4. we were doing the adjustment for CALL instructions, which is unnecessary and wrong; only JMPs should be preceded by a stack adjustment. (Someone with a PPC box will need to update the PPC version of allocMoreStack to fix the above bugs, using the x86 version as a guide.)
1:16 PM Ticket #7552 ("~/.haskeline" does nothing in "ghci") closed by judahj
worksforme: maxHistorySize takes a Maybe Int instead of an Int; see the docs for …
11:38 AM Ticket #7436 (Derived Foldable and Traversable instances become extremely inefficient ...) closed by simonpj
fixed: Also: […] Thanks for the patches! I added a test in perf/should_run. …
11:37 AM Changeset in ghc [97b75f7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:37 AM Changeset in testsuite [55b6fd4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:37 AM Changeset in ghc [b942d04]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to test output after fixing Trac #7436
11:37 AM Changeset in testsuite [f5981cc]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to test output after fixing Trac #7436
11:37 AM Changeset in ghc [de40b044]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7436
11:37 AM Changeset in testsuite [4a17fff]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7436
10:45 AM Changeset in ghc [4da767e2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
10:24 AM Ticket #7400 (Strange closure type 17 internal error) closed by igloo
invalid: No response from submitter, so closing

Jan 6, 2013:

11:39 PM Ticket #7555 (SpecConstr pass hangs) closed by daniel.is.fischer
duplicate: Closing as duplicate of #7553 which also hangs in the SpecConstr pass.
11:14 PM Ticket #7555 (SpecConstr pass hangs) created by daniel.is.fischer
From …
4:36 PM Ticket #7554 (Define __SSE__ when compiling with -msse) created by tibbe
The hashable package needs to know if GHC was invoked with -msse4.1 so it …
2:43 AM Ticket #7553 (ghc fails to terminate with -O2 or greater) created by erikd
GHC 7.6.1 on x86_64-lines from Debian's experimental repo (Debian unstable …

Jan 5, 2013:

8:42 PM FunDeps edited by diatchki
(diff)
8:38 PM FunDeps created by diatchki
8:37 PM Changeset in ghc [5765248b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Refactor invariants for FamInsts. This commit mirrors work done in the commit for ClsInsts, 5efe9b... Specifically: - All FamInsts have *fresh* type variables. So, no more freshness work in addLocalFamInst Also: - Some pretty-printing code around FamInsts was cleaned up a bit This caused location information to be added to CoAxioms and index information to be added to FamInstBranches.
8:36 PM Commentary edited by diatchki
(diff)
8:01 PM Ticket #7552 ("~/.haskeline" does nothing in "ghci") created by beroal
~/.haskeline: […] "~/.ghc/ghci_history" never has more than 100 lines.
3:07 PM Repositories edited by igloo
(diff)
2:57 PM Repositories edited by igloo
(diff)
2:56 PM Repositories edited by igloo
(diff)
2:53 PM Repositories edited by igloo
(diff)
2:46 PM Repositories/Upstream edited by igloo
table tidyup (diff)
5:08 AM Changeset in ghc [92d9cb7e]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Updated stderr outputs to reflect changes in FamInst
5:08 AM Changeset in testsuite [7228d50]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Updated stderr outputs to reflect changes in FamInst
4:01 AM NewAxioms edited by goldfire
(diff)
3:58 AM TypeFunctions edited by goldfire
(diff)
12:33 AM Records edited by GregWeber
add Elm's records (diff)

Jan 4, 2013:

8:52 PM Ticket #7547 (Loop when printing External Core) closed by igloo
fixed: Merged as f7d9e72f4f79d3a8f635c3312ddd524a727334e4
8:52 PM Ticket #7486 (dblatex can't build docs; fix included.) closed by igloo
fixed: Merged as 160424c64cdbf72d241fc83d97f7c8afe8be9aad
8:21 PM Changeset in ghc [faee968]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix build for 7.6 branch
8:06 PM Changeset in ghc [f7d9e72f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix bug in External Core pretty printer (fixes Trac #7547) This bug was making GHC loop when printing external core from test T7239.
8:05 PM Ticket #7536 (Panic with TypeFamilies with type synonym instances) closed by igloo
fixed: Not smooth, so not merging.
8:02 PM Ticket #7525 (Compiler panic with ill-typed code using implicit parameters) closed by igloo
fixed: Already works in 7.6 branch, so not merging.
8:00 PM Changeset in ghc [160424c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Set DBLATEX_OPTS to -P 'filename.as.url=0' (fixes #7486) Apparently this fixes the build with dblatex 0.3.4.
7:45 PM Ticket #7062 (Spurious undefined reference to `openpty') closed by igloo
fixed: OK, the above patch should fix this. Please reopen and give details if you …
6:43 PM Changeset in ghc [9d9d09d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a -rpath entry for the RTS library, so that it can find libffi This fixes dynamic library resolution when --enable-new-dtags is used (#7062). When --enable-new-dtags is used when linking an executable, a RUNPATH as well as RPATH is set. The linker then ignores RPATH, and RUNPATH is only used for directly (not transitively) needed libraries. As the program doesn't directly need libffi, it isn't found.
11:12 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:49 AM Changeset in ghc [3d51f271]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Added note explaining the lambdas generated by functor deriving code, and how it compares to the old deriving code which used eta expansion.
10:48 AM Changeset in ghc [49ca2a37]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Changed deriving of Functor, Foldable, Traversable to fix #7436. Added foldMap to derived Foldable instance. The derived instances will no longer eta-expand the function. I.e. instead of fmap f (Foo a) = Foo (fmap (\x -> f x) a) we now derive fmap f (Foo a) = Foo (fmap f a) Some superflous lambdas are generated as a result. For example data X a = X (a,a) fmap f (X x) = (\y -> case y of (a,b) -> (f a, f b)) x The optimizer should be able to simplify this code, as it is just beta reduction. The derived Foldable instance now includes foldMap in addition to foldr.
10:40 AM Ticket #2431 (Allow empty case analysis) closed by simonpj
fixed: Here it is: […] but it also needs the follow up […] and […]
10:40 AM Changeset in ghc [2fb886eb]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #2431
10:40 AM Changeset in testsuite [f3e3787]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #2431
10:32 AM Changeset in ghc [d6a3ccac]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to output, now that CaseElim is less aggressive.
10:32 AM Changeset in testsuite [1b8b7f4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to output, now that CaseElim is less aggressive.
10:32 AM Changeset in ghc [1d21158e]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
EmptyCase is now an extension flag that GHC understands (but Cabal does not yet)
10:32 AM Changeset in testsuite [62837ef7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
EmptyCase is now an extension flag that GHC understands (but Cabal does not yet)
10:31 AM Changeset in ghc [fbff64a4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
10:30 AM Changeset in ghc [74d4018]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Switch on -XEmptyCase when renaming derived declarations Compiler-generated code can have empty cases
10:30 AM Changeset in ghc [e52d9d46]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add an ASSERT
10:30 AM Changeset in ghc [a8941e2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor HsExpr.MatchGroup * Make MatchGroup into a record, and use the record fields * Split the type field into two: mg_arg_tys and mg_res_ty This makes life much easier for the desugarer when the case alterantives are empty A little bit of this change unavoidably ended up in the preceding commit about empty case alternatives
10:27 AM Changeset in ghc [3671e674]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow empty case expressions (and lambda-case) with -XEmptyCase The main changes are: * Parser accepts empty case alternatives * Renamer checks that -XEmptyCase is on in that case * (Typechecker is pretty much unchanged.) * Desugarer desugars empty case alternatives, esp: - Match.matchWrapper and Match.match now accept empty eqns - New function matchEmpty deals with the empty case - See Note [Empty case alternatives] in Match This patch contains most of the work, but it's a bit mixed up with a refactoring of MatchGroup that I did at the same time (next commit).
10:18 AM Changeset in ghc [28d9a032]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make CaseElim a bit less aggressive See Note [Case elimination: lifted case]: We used to do case elimination if (c) the scrutinee is a variable and 'x' is used strictly But that changes case x of { _ -> error "bad" } --> error "bad" which is very puzzling if 'x' is later bound to (error "good"). Where the order of evaluation is specified (via seq or case) we should respect it. c.f. Note [Empty case alternatives] in CoreSyn, which is how I came across this.
10:00 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:51 AM Status/SLPJ-Tickets edited by simonpj
(diff)
1:46 AM Changeset in ghc [d967432]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Set DBLATEX_OPTS to -P 'filename.as.url=0' (fixes #7486) Apparently this fixes the build with dblatex 0.3.4.
12:22 AM Ticket #7489 (Obscure warning: Var/Type length mismatch when using GADTs and ...) closed by igloo
Merged as 52e00f821c03fd2e3be7033f4f3b50ace05300fc
12:21 AM Ticket #7290 (Minor documentation fix for directory) closed by igloo
fixed: Merged as 5ad061f1e54da784b0622169798f91ceb40ea382
12:21 AM Ticket #7421 (Data.List.insert / insertBy do not match the documentation) closed by igloo
fixed: Merged as c4dec4948fc0b1185404e2a6d66aec25aa293b9f
12:21 AM Ticket #7546 (Manual 6.2 doesn't match current output formatting) closed by igloo
fixed: Merged as 1e73d02befc5b3c4efe130964ea6088edbbeaaea
12:20 AM Ticket #7545 (Type variable capture in InstanceSigs message) closed by igloo
fixed: Merged as c4a2c5f6034b26425f617844b158457a592be379
12:19 AM Ticket #7368 (kindFunResult panic in the) closed by igloo
fixed: Merged as c4b2ac3775323948b7a6abdb241a4ad02afa7141
12:19 AM Ticket #7493 (STM and TVar report incorrect results) closed by igloo
fixed: Reverted, and merged as 57c8d1c2c8ceba6973a48d138d1bb018ec2988ae

Jan 3, 2013:

11:54 PM Changeset in ghc [b9eb17c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make validating with GhcProfiled=YES Just Work It now takes care of adding p to the GhcLibWays, rather than just complaining that it's missing.
10:41 PM Changeset in ghc [1e73d02]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Update strictness documentation (Trac #7546)
10:41 PM Changeset in ghc [c4a2c5f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Tidy the type in badInstSigErr (fixes Trac #7545)
10:41 PM Changeset in ghc [52e00f8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Pass the correct inst_tys argument to dataConCannotMatch, in mkRecSelBinds This fixes Trac #7503.
10:40 PM Changeset in base [c4dec49]ghc-7.6 by Ian Lynagh <ian@…>
Clarify the wording of the 'insert' haddock; fixes #7421 Wording suggested by Bart Massey.
10:40 PM Changeset in ghc [c4b2ac3]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix TcUnify.matchExpectedTyConApp so that it returns types of compatible kinds This fixes Trac #7368. The problem was that we were matching Bad w ~ f (Bad f) where (f :: * -> *). Thta leads to (w ~ Bad f), which is ill-kinded, but matchExpectedTyConApp was returning the (Bad f) as the argument type, and that was being used to instanatiate w in the data constructor type, which is very bad. The code also becomes simpler and easier to understand, which is an excellent thing.
10:35 PM Changeset in directory [5ad061f]ghc-7.6 by Ian Lynagh <ian@…>
Fix Haddock markup
10:34 PM Changeset in ghc [57c8d1c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
A better fix for #7493 (see comment for details)
10:34 PM Changeset in ghc [d71d197]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Revert "MERGED: Fix a bug in the handling of nested orElse" This reverts commit 5ea49271f793ed0f872342bf6a1cb0de10a48d94.
10:01 PM Ticket #7551 (GHCI does not support UTF8 file names.) closed by igloo
fixed: Yup, thanks for the report but it looks like it's already fixed.
9:52 PM Ticket #7528 (Non terminating thunk resolution blocks world, even in the case of forkOS) closed by igloo
duplicate: Agreed, duplicate of #367.
9:32 PM Ticket #7500 (GHC: internal error: getMBlock: mmap: Operation not permitted) closed by igloo
invalid: I don't think there's a bug here: on a 32bit platform, a single process is …
8:13 PM Ticket #7496 (Support for JavaScript as an official GHC output language) closed by igloo
wontfix: We have an entry for (more-or-less) this in the FAQ: …
4:59 PM Changeset in ghc [6d5f25f5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Fix LLVM code generated for word2Float# and word2Double#.
12:22 PM Ticket #7483 (Broken Read instance for Data.Fixed ("no parse" in legitimate cases).) closed by igloo
fixed: Fixed by above patch.
10:23 AM Ticket #7551 (GHCI does not support UTF8 file names.) created by timthelion
[…]
4:16 AM Ticket #7550 (incorrect bang patterns rejected with "report a ghc bug") closed by monoidal
duplicate: Thanks for the report. The bug is already fixed in HEAD, see #7210.
4:08 AM Ticket #7550 (incorrect bang patterns rejected with "report a ghc bug") created by aavogt
[…]
1:08 AM Ticket #7549 (Deriving Bug?) closed by monoidal
duplicate: Thanks for the report, the bug is already fixed in GHC 7.6 - bug #5961.
12:58 AM Ticket #7549 (Deriving Bug?) created by davorak
ghci -XDeriveDataTypeable > import Data.Typeable > data S = S …
12:12 AM Changeset in base [3fb1aaca]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Fix Data.Fixed.Fixed's Read instance; fixes #7483
12:12 AM Changeset in ghc [5f19f951]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Fix Data.Fixed.Fixed's Read instance; fixes #7483

Jan 2, 2013:

9:42 PM Changeset in base [08f3e69]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Clarify the wording of the 'insert' haddock; fixes #7421 Wording suggested by Bart Massey.
9:42 PM Changeset in ghc [f6ee55a8]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Clarify the wording of the 'insert' haddock; fixes #7421 Wording suggested by Bart Massey.
9:10 PM Changeset in ghc [71feb102]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Ship transformers with GHC This means that we can use the standard MonadIO class, rather than needing our own copy.
8:18 PM Changeset in ghc [b13d546]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in utils/MonadUtils.hs
6:15 PM Ticket #619 (Port Hugs's Windows front end to GHCi.) closed by igloo
wontfix: I don't think WinGHCi being part of the platform really helps, as you …
5:46 PM Ticket #7548 (GHC API dependency analysis is broken) closed by parcs
duplicate: I believe this is a duplicate of #7231, which is fixed in HEAD. When I run …
5:21 PM Ticket #7548 (GHC API dependency analysis is broken) created by MikolajKonarski
Sometimes, when a module fails to compile, GHC API invalidates other …
4:49 PM Ticket #7360 (Case-of-identical-alts optimisation fails abjectly) closed by simonpj
fixed
4:48 PM Changeset in ghc [8f01d1e]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7360
4:48 PM Changeset in testsuite [8d2c20d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7360
4:40 PM Changeset in ghc [1687a666]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
4:39 PM Changeset in ghc [6761dc2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add an extra error check in DEBUG mode for ill-typed unfoldings
4:39 PM Changeset in ghc [948c1d31]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Crucial bug fix: use scrut' rather than scrut!
4:39 PM Changeset in ghc [d36770b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactoring; no change in behaviour
4:38 PM Changeset in ghc [b0c0cae7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Define ListSetOps.getNth, and use it I was tracking down an error looking like Prelude.(!!): index too large which is very unhelpful. This patch replaces at least some uses of (!!) in GHC with getNth, which has a more helpful error message (with DEBUG anyway)
4:27 PM Changeset in ghc [7ee327bf]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:27 PM Changeset in testsuite [8f5f66c1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:24 PM Changeset in ghc [7fa2ce20]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy the type in badInstSigErr (fixes Trac #7545)
4:23 PM Changeset in ghc [d056bb32]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7545
4:23 PM Changeset in testsuite [c352150]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7545
3:48 PM Changeset in ghc [3fa7340]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
De-tab PprExternalCore
3:47 PM Changeset in ghc [3f7b147]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix bug in External Core pretty printer (fixes Trac #7547) This bug was making GHC loop when printing external core from test T7239.
3:46 PM Ticket #7547 (Loop when printing External Core) created by simonpj
Daniel Fischer points out: something is amiss between -fext-core and …
3:43 PM Changeset in ghc [5f77b315]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Update strictness documentation (Trac #7546)
3:28 PM Changeset in directory [62aa6b14]ghc-7.8 by Ian Lynagh <ian@…>
Make getModificationTime return a hi-resolution time; fixes #7473 We were only getting an integral number of seconds before. This change only affects non-Windows platforms. Patch from Duncan Coutts.
2:07 PM Ticket #7546 (Manual 6.2 doesn't match current output formatting) created by chrisseaton
Section 6.2 of the manual, under “How do I find out a function's …
1:29 PM Ticket #7545 (Type variable capture in InstanceSigs message) created by Feuerbach
If I load this file in GHCi: […] I get the message […] However, …
1:01 PM Ticket #7532 (-ddump-splices output doesn't match generated code for data instances ...) closed by simonpj
fixed: Good point, thank you. A pretty printing bug, now fixed. I don't think …
1:00 PM Ticket #7541 (Unavoidable duplicate constraint warning) closed by simonpj
fixed: OK I've added a flag to suppress duplicate constraint warnings.
12:59 PM Changeset in ghc [5e1d9d55]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:59 PM Changeset in testsuite [2b37011f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:37 PM Changeset in ghc [9b9f197]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve HsSyn pretty-printing of instance declarations (fixes Trac #7532)
12:36 PM Changeset in ghc [4e6bbb76]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7541
12:36 PM Changeset in testsuite [5e7349b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7541
12:35 PM Changeset in ghc [a974886b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7532
12:35 PM Changeset in testsuite [cc82e90]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7532
11:58 AM Changeset in ghc [4496fda]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Minor refactoring plus comments
11:57 AM Changeset in ghc [5a6a223]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add flag -fwarn-duplicate-constraints This fixes Trac #7541, and is on by default. Use -fno-warn-duplicate-constraints to switch it off.
9:32 AM Changeset in ghc [302172f4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove unnecessary import
9:17 AM Changeset in ghc [1086bc1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add a reference to Note [SingI and EvLit] in the new SingI stuff
8:57 AM Ticket #7533 (References to very old GHC in the docs) closed by simonpj
fixed: Thanks; I've committed the patch. Simon
8:53 AM Changeset in ghc [7041e9c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7536
8:53 AM Changeset in testsuite [cd4927d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7536
8:50 AM Ticket #7526 (Minor typo in error message) closed by simonpj
fixed: Thanks!
8:36 AM Changeset in ghc [243523b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/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:35 AM Changeset in ghc [9beb6153]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the fib_tvs field of FamInstBranch into a *list* not a *set* This follows the correspondig change in ClsInst
8:26 AM Changeset in ghc [1884f81]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/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:26 AM Changeset in ghc [e89f3ba]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
In type or data instances, check that all variables are bound Trac #7536 points out that it's possible for the LHS to *look* as if it binds variables, but does not acutally do so type T a = Int type instance F (T a) = a This patch makes it an error.
8:12 AM Ticket #7544 (GHC downloads are unsigned) created by afcowie
Hi, I recently came across a feature that is patched in 7.6 but not in …
6:05 AM Ticket #7543 (Constraint synonym instances) created by monoidal
It would be great if GHC could compile: […] Currently this gives an …

Jan 1, 2013:

11:13 PM Changeset in ghc [215cf423]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the comments about SingI and EvLit match current reality See Note [SingI and EvLit] in TcEvidence.
11:11 PM Changeset in ghc [b43fdcf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and white space only
11:09 PM Changeset in ghc [5efe9b11]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor the invariants for ClsInsts We now have the invariant for a ClsInst that the is_tvs field is always completely fresh type variables. See Note [Template tyvars are fresh] in InstEnv. (Previously we frehened them when extending the instance environment, but that seems messier because it was an invariant only when the ClsInst was in an InstEnv. Moreover, there was an invariant that thet tyvars of the DFunid in the ClsInst had to match, and I have removed that invariant altogether; there is no need for it.) Other changes I made at the same time: * Make is_tvs into a *list*, in the right order for the dfun type arguments. This removes the wierd need for the dfun to have the same tyvars as the ClsInst template, an invariant I have always hated. The cost is that we need to make it a VarSet when matching. We could cache an is_tv_set instead. * Add a cached is_cls field to the ClsInst, to save fishing the Class out of the DFun. (Renamed is_cls to is_cls_nm.) * Make tcSplitDFunTy return the dfun args, not just the *number* of dfun args * Make InstEnv.instanceHead return just the *head* of the instance declaration. Add instanceSig to return the whole thing.
10:40 PM Changeset in ghc [18003c9e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix typo in comment (Trac #7526)
9:35 PM Ticket #7542 (GHC doesn't optimize (strict) composition with id) created by shachaf
Newtype constructors and selectors have no runtime overhead, but some uses …
8:20 PM Ticket #7466 ([PATCH] integer-gmp silently ignores --with-gmp-* whenever it finds ...) closed by igloo
fixed: Fixed by: […] […]
7:35 PM Changeset in ghc [9929172c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove references to GHC 6.6 in docs
7:30 PM Ticket #7541 (Unavoidable duplicate constraint warning) created by blamario
The "duplicate constraint" warning can be triggered in a context where …
6:41 PM Changeset in ghc [d0a0ca7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix configure when we don't have a gmp library
6:41 PM Changeset in integer-gmp [d86166d]ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Fix configure when we don't have a gmp library
5:03 PM Changeset in ghc [0921387]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Provide a way for OS X users to indicate a preference for the GMP framework We used to always use the framework if it existed. Now the make variable GMP_PREFER_FRAMEWORK can be used to control whether the library or the framework is preferred. Fixes #7466.
5:03 PM Changeset in integer-gmp [2cf2423]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Provide a way for OS X users to indicate a preference for the GMP framework We used to always use the framework if it existed. Now the make variable GMP_PREFER_FRAMEWORK can be used to control whether the library or the framework is preferred. Fixes #7466.
3:57 PM Changeset in directory [213a987]ghc-7.8 by Ian Lynagh <ian@…>
Fix Haddock markup
3:04 PM Changeset in base [05c03d8]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Expose Data.Fixed.Fixed's constructor Discussed on libraries@, and summarised in http://www.haskell.org/pipermail/libraries/2012-December/019076.html
3:04 PM Changeset in ghc [5e3aec6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Expose Data.Fixed.Fixed's constructor Discussed on libraries@, and summarised in http://www.haskell.org/pipermail/libraries/2012-December/019076.html
1:24 PM Changeset in ghc [db9c062a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:05 PM Ticket #7540 (Panic on type inference with vectorised parallel arrays) created by tinctorius
[…] Result of ghc --make -fvectorise Y.hs: […] Result of `ghc …
3:24 AM Changeset in ghc [fee81ff]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Joey Adams <joeyadams3.14159@…>
Fix T7160 segfault by importing debugBelch2
3:24 AM Changeset in testsuite [73b3144]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Joey Adams <joeyadams3.14159@…>
Fix T7160 segfault by importing debugBelch2

Dec 30, 2012:

7:28 PM ReportABug edited by simonpj
(diff)

Dec 29, 2012:

10:55 PM Ticket #7538 (Panic on Irrefutable Pattern Failure) closed by monoidal
duplicate: Almost certainly a duplicate of #5951 - you have a malformed class …
5:13 PM Ticket #7539 (Hard ghc api crash when calling runStmt on code which has not been ...) created by edsko
(See attached example program demonstrating the crash.) When the session …
5:13 PM Ticket #7538 (Panic on Irrefutable Pattern Failure) created by eli_sennesh
[…]
6:40 AM Ticket #7537 ([PATCH] Incorrect Haskell type for ino_t on MacOS X 10.5) created by PHO
I found a strange problem that System.Posix.Internals.fdStat reporting …
12:18 AM Changeset in testsuite [f3ed78e]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Add some tests for the type-nat solver.
12:14 AM Changeset in ghc [45279919]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fix dictionaries for SingI. This adds the missing coercions in the constructed evidence for SingI. Previously we simply passed an integer or a string for the evidence, which was not quite correct and causes errors when the core lint is enabled. This patch corrects this by inserting the necessary coercions.

Dec 28, 2012:

6:19 PM Ticket #7536 (Panic with TypeFamilies with type synonym instances) created by snowleopard
The code below brings GHC to panic. […] Panic details: […] Can …
4:13 PM Ticket #7535 (Using -with-rtsopts=-N should fail unless -threaded is also specified) created by mhoermann
If ghc can already tell at compile time that the specified -with-rtsopts …
8:13 AM Changeset in base [040313e]data-proxydbcsghc-7.8type-reasoning by Joey Adams <joeyadams3.14159@…>
BufferedIO: fix bug in writeBufNonBlocking introduced by commit 7d39e100 bufferAdjustL does nothing but update bufL, and set bufL = bufR = 0 when bufL == bufR. It ignores the old bufL. writeBufNonBlocking is currently unused. It is only used to implement flushWriteBuffer0, which is never called by base (hPutBufNonBlocking uses a blocking flush).
8:13 AM Changeset in ghc [0862dcc5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Joey Adams <joeyadams3.14159@…>
BufferedIO: fix bug in writeBufNonBlocking introduced by commit 7d39e100 bufferAdjustL does nothing but update bufL, and set bufL = bufR = 0 when bufL == bufR. It ignores the old bufL. writeBufNonBlocking is currently unused. It is only used to implement flushWriteBuffer0, which is never called by base (hPutBufNonBlocking uses a blocking flush).
8:13 AM Changeset in base [cb6f03d]data-proxydbcsghc-7.8type-reasoning by Joey Adams <joeyadams3.14159@…>
GHC.IO.Buffer: use memmove instead of memcpy in slideContents
8:13 AM Changeset in ghc [d7b5f524]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Joey Adams <joeyadams3.14159@…>
GHC.IO.Buffer: use memmove instead of memcpy in slideContents

Dec 27, 2012:

9:46 AM Ticket #7534 (allocateRegsAndSpill: Cannot read from uninitialized register) created by erikd
Building git HEAD on linux-powerpc64 and I get: […]

Dec 26, 2012:

11:29 PM Ticket #7533 (References to very old GHC in the docs) created by benmachine
It's probably safe not to warn people that things are new in GHC 6.6 these …
7:00 PM Ticket #7527 (Couldn't match kind `*' with `*' with PolyKinds & GADTs.) closed by goldfire
fixed: Fixed in HEAD: […] Are you claiming that this should type check? Or, …
5:49 PM Ticket #7532 (-ddump-splices output doesn't match generated code for data instances ...) created by Aninhumer
Using the following code: […] […] When compiling the second file in …

Dec 25, 2012:

6:37 PM Ticket #7531 (after manualy installing array-0.4.0.1) created by guest
After manually installing array-0.4.0.1 installation manually of Cabal …
6:10 PM Ticket #7529 (Crash when using (->) instead of (=>) in a typeclass instance) closed by monoidal
duplicate: Thanks for the report, the bug is already fixed in GHC 7.6.1, see #5951. …
4:05 PM Ticket #7530 (Proposal: Add isLeft/isRight to Data.Either) created by SimonHengel
I propose to add isLeft/isRight to Data.Either. The …
2:50 PM Ticket #7529 (Crash when using (->) instead of (=>) in a typeclass instance) created by Helkafen
import qualified Data.Vector as V import Test.QuickCheck import …
2:32 PM Ticket #7528 (Non terminating thunk resolution blocks world, even in the case of forkOS) created by timthelion
Please see: http://comments.gmane.org/gmane.comp.lang.haskell.cafe/102479
6:15 AM Ticket #7527 (Couldn't match kind `*' with `*' with PolyKinds & GADTs.) created by Ashley Yakeley
[…] […]

Dec 24, 2012:

6:03 PM Ticket #7526 (Minor typo in error message) created by parcs
Compiling the following snippet […] gives the following error message …
4:01 PM Changeset in ghc [2f784e3b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Don't run T7507 in ghci
4:01 PM Changeset in testsuite [cc59fbaf]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Don't run T7507 in ghci
3:57 PM Ticket #4321 (Unexpected stack overflow prevented by superfluous type annotation) closed by simonpj
fixed: In the end, the patch to #7507 fixed this too. Simon
3:55 PM Ticket #7507 (loop fusion not working for Int32, Int64 as it does for Int ?) closed by simonpj
fixed: See also #4321. Fixed by this patch to base: […]
3:53 PM Changeset in ghc [77dc6948]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7507
3:53 PM Changeset in testsuite [c271ee47]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7507
2:44 PM Changeset in base [06e36c6]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Make sum and product INLINABLE This was causing the bad behaviour in Trac #7507, because 'sum' wasn't getting specialised to Int64. It also deals with Trac #4321, which had the same cause. This has a big effect on some nofib programs too: -------------------------------------------------------------------------------- Program Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------------ bernouilli -2.6% -2.0% -2.0% +0.0% fft2 -23.8% 0.09 0.09 -16.7% fluid -4.4% 0.01 0.01 +0.0% hidden -3.2% +2.1% +1.8% +0.0% integrate -38.0% -47.7% -47.7% -1.0% x2n1 -30.2% 0.01 0.01 -50.0% ------------------------------------------------------------------------ Min -38.0% -47.7% -47.7% -50.0% Max +0.4% +11.2% +11.8% +6.9% Geometric Mean -1.3% +0.2% +0.2% -0.8%
2:44 PM Changeset in ghc [f251bf58]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Make sum and product INLINABLE This was causing the bad behaviour in Trac #7507, because 'sum' wasn't getting specialised to Int64. It also deals with Trac #4321, which had the same cause. This has a big effect on some nofib programs too: -------------------------------------------------------------------------------- Program Allocs Runtime Elapsed TotalMem ------------------------------------------------------------------------ bernouilli -2.6% -2.0% -2.0% +0.0% fft2 -23.8% 0.09 0.09 -16.7% fluid -4.4% 0.01 0.01 +0.0% hidden -3.2% +2.1% +1.8% +0.0% integrate -38.0% -47.7% -47.7% -1.0% x2n1 -30.2% 0.01 0.01 -50.0% ------------------------------------------------------------------------ Min -38.0% -47.7% -47.7% -50.0% Max +0.4% +11.2% +11.8% +6.9% Geometric Mean -1.3% +0.2% +0.2% -0.8%
2:07 PM Changeset in ghc [3a2ce0b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
2:07 PM Changeset in testsuite [d961a51]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_fail/all.T
2:04 PM Changeset in ghc [53a3f0d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Bump the residency of T4801 Residency is a very wobbly number; it depends on GC sampling time. So I don't think this is a real regression.
2:04 PM Changeset in testsuite [349493e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Bump the residency of T4801 Residency is a very wobbly number; it depends on GC sampling time. So I don't think this is a real regression.
1:43 PM Changeset in ghc [545fd8b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the treatment of addAltUnfoldings handle casts This minor refactoring re-attaches Note [Add unfolding for scrutinee]. It had become detached, which led me on a bit of a wild goose chase. While I was at it, I made the code work right for the case where the scrutinee is of form (x |> co); I don't think this is an important improvement. I also make simplAlt unconditionally zap occurrence information on case-alternative binders (see Note [Case alternative occ info]); it was almost always being zapped and the additional complexity seems not worth it.
1:25 PM Changeset in ghc [bacf7ca0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make combine-identical-alternatives work again (Trac #7360) Move the "combine indentical alternatives" transformation *before* simplifying the alternatives. For example case x of y [] -> length y (_:_) -> length y } If we look *post* simplification, since 'y' is used in the alterantives, the case binders *might* be (see the keep_occ_info test in Simplify.simplAlt); and hence the combination of the two alteranatives does not happen. But if we do it *pre* simplification there is no problem. This fixes Trac #7360.
1:20 PM Changeset in ghc [89eb9e92]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add traceSmpl for simplifier tracing, now that the simplifier has the IO monad
11:34 AM Changeset in ghc [9ea2b66]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify the binder-swap transformation The occurrence analyser implements the "binder-swap" transformation, described in Note [Binder swap] in OccAnal. For some reason I had implemeted an extremely complicated version, I believe intended to get as much as possible done in single simplifier pass. But it turned out (Trac #7258) that the 'getProxies' bit of this complicated code scaled rather non-linearly, and all by itself could consume half of the entire compile time. The patch dramatically simplifies the transformation, so that we simply swizzle case x of y { I# v -> e } to case x of y { I# v -> let x = y in e } I can't see any reason not to do this * Compiler allocation for #7258 with 200 fields goes down by 25% and compile time by 20% * The nofib figures do not budge * Quite a bit of complicated code goes away
11:20 AM Changeset in ghc [e661e290]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment typo only
10:55 AM Changeset in ghc [49bfb631]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to debug output
10:55 AM Changeset in testsuite [7f9bd37]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to debug output
10:08 AM Commentary/Compiler/CodeGen edited by ezyang
(diff)
10:06 AM Commentary/Compiler/CodeGen edited by ezyang
old is gone (diff)
9:50 AM Changeset in ghc [1f7d26b2]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:50 AM Changeset in testsuite [07c0058]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:50 AM Changeset in base [f07215b]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
9:50 AM Changeset in ghc [5d608279]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
9:49 AM Changeset in ghc [7cc8a3c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:49 AM Changeset in ghc [62a3c50a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7525
9:49 AM Changeset in testsuite [fb2d741]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7525
9:46 AM Changeset in ghc [1d07cc04]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remember to zonk when taking free variables in simpl_top Forgetting this meant that we were upating the same meta-tyvar twice. Fixes Trac #7525.
9:38 AM Changeset in ghc [e9e650d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A bit more tracing

Dec 23, 2012:

3:51 PM Changeset in ghc [29696e3]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:51 PM Changeset in testsuite [b14391f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:49 PM Changeset in ghc [e5ccb4ee]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc Conflicts: compiler/basicTypes/MkId.lhs compiler/iface/IfaceSyn.lhs
3:44 PM Ticket #7525 (Compiler panic with ill-typed code using implicit parameters) created by parcs
The following snippet produces a compiler panic with GHC 7.7.20121221: …
3:38 PM Changeset in ghc [1ee1cd4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make {-# UNPACK #-} work for type/data family invocations This fixes most of Trac #3990. Consider data family D a data instance D Double = CD Int Int data T = T {-# UNPACK #-} !(D Double) Then we want the (D Double unpacked). To do this we need to construct a suitable coercion, and it's much safer to record that coercion in the interface file, lest the in-scope instances differ somehow. That in turn means elaborating the HsBang type to include a coercion. To do that I moved HsBang from BasicTypes to DataCon, which caused quite a few minor knock-on changes. Interface-file format has changed! Still to do: need to do knot-tying to allow instances to take effect within the same module.
12:59 PM Changeset in ghc [d2a5a9cf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ross Paterson <ross@…>
rename do_map_arrow as do_premap (no semantic change)
5:22 AM NewAxioms edited by goldfire
(diff)
4:07 AM Ticket #7524 (Erroneous repeated kind variable in conflicting type family instance error ...) created by goldfire
Consider the following code: […] GHC correctly complains that these …

Dec 22, 2012:

11:22 PM Changeset in base [85bda3d]data-proxydbcsghc-7.8type-reasoning by Iavor S. Diatchki <iavor.diatchki@…>
Add functions that compare singletons for equality (with evidence)
11:22 PM Changeset in ghc [875beafa]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <iavor.diatchki@…>
Add functions that compare singletons for equality (with evidence)
8:07 PM Ticket #7523 (segfault when ignoring invalid byte sequence when decoding UTF8//IGNORE) closed by ganesh
duplicate: Duplicate of #7522 - accidentally submitted twice after a timeout.
8:06 PM Ticket #7523 (segfault when ignoring invalid byte sequence when decoding UTF8//IGNORE) closed by ganesh
wontfix
8:05 PM Ticket #7523 (segfault when ignoring invalid byte sequence when decoding UTF8//IGNORE) created by ganesh
The code below segfaults on a variety of platforms and GHC versions - I've …
7:52 PM Ticket #7522 (segfault when ignoring invalid byte sequence when decoding UTF8//IGNORE) created by ganesh
The code below segfaults on a variety of platforms and GHC versions - I've …
1:57 AM Changeset in ghc [73730c56]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Richard Eisenberg <eir@…>
Implement overlapping type family instances. An ordered, overlapping type family instance is introduced by 'type instance where', followed by equations. See the new section in the user manual (7.7.2.2) for details. The canonical example is Boolean equality at the type level: type family Equals (a :: k) (b :: k) :: Bool type instance where Equals a a = True Equals a b = False A branched family instance, such as this one, checks its equations in order and applies only the first the matches. As explained in the note [Instance checking within groups] in FamInstEnv.lhs, we must be careful not to simplify, say, (Equals Int b) to False, because b might later unify with Int. This commit includes all of the commits on the overlapping-tyfams branch. SPJ requested that I combine all my commits over the past several months into one monolithic commit. The following GHC repos are affected: ghc, testsuite, utils/haddock, libraries/template-haskell, and libraries/dph. Here are some details for the interested: - The definition of CoAxiom has been moved from TyCon.lhs to a new file CoAxiom.lhs. I made this decision because of the number of definitions necessary to support BranchList. - BranchList is a GADT whose type tracks whether it is a singleton list or not-necessarily-a-singleton-list. The reason I introduced this type is to increase static checking of places where GHC code assumes that a FamInst or CoAxiom is indeed a singleton. This assumption takes place roughly 10 times throughout the code. I was worried that a future change to GHC would invalidate the assumption, and GHC might subtly fail to do the right thing. By explicitly labeling CoAxioms and FamInsts as being Unbranched (singleton) or Branched (not-necessarily-singleton), we make this assumption explicit and checkable. Furthermore, to enforce the accuracy of this label, the list of branches of a CoAxiom or FamInst is stored using a BranchList, whose constructors constrain its type index appropriately. I think that the decision to use BranchList is probably the most controversial decision I made from a code design point of view. Although I provide conversions to/from ordinary lists, it is more efficient to use the brList... functions provided in CoAxiom than always to convert. The use of these functions does not wander far from the core CoAxiom/FamInst logic. BranchLists are motivated and explained in the note [Branched axioms] in CoAxiom.lhs. - The CoAxiom type has changed significantly. You can see the new type in CoAxiom.lhs. It uses a CoAxBranch type to track branches of the CoAxiom. Correspondingly various functions producing and consuming CoAxioms had to change, including the binary layout of interface files. - To get branched axioms to work correctly, it is important to have a notion of type "apartness": two types are apart if they cannot unify, and no substitution of variables can ever get them to unify, even after type family simplification. (This is different than the normal failure to unify because of the type family bit.) This notion in encoded in tcApartTys, in Unify.lhs. Because apartness is finer-grained than unification, the tcUnifyTys now calls tcApartTys. - CoreLinting axioms has been updated, both to reflect the new form of CoAxiom and to enforce the apartness rules of branch application. The formalization of the new rules is in docs/core-spec/core-spec.pdf. - The FamInst type (in types/FamInstEnv.lhs) has changed significantly, paralleling the changes to CoAxiom. Of course, this forced minor changes in many files. - There are several new Notes in FamInstEnv.lhs, including one discussing confluent overlap and why we're not doing it. - lookupFamInstEnv, lookupFamInstEnvConflicts, and lookup_fam_inst_env' (the function that actually does the work) have all been more-or-less completely rewritten. There is a Note [lookup_fam_inst_env' implementation] describing the implementation. One of the changes that affects other files is to change the type of matches from a pair of (FamInst, [Type]) to a new datatype (which now includes the index of the matching branch). This seemed a better design. - The TySynInstD constructor in Template Haskell was updated to use the new datatype TySynEqn. I also bumped the TH version number, requiring changes to DPH cabal files. (That's why the DPH repo has an overlapping-tyfams branch.) - As SPJ requested, I refactored some of the code in HsDecls: * splitting up TyDecl into SynDecl and DataDecl, correspondingly changing HsTyDefn to HsDataDefn (with only one constructor) * splitting FamInstD into TyFamInstD and DataFamInstD and splitting FamInstDecl into DataFamInstDecl and TyFamInstDecl * making the ClsInstD take a ClsInstDecl, for parallelism with InstDecl's other constructors * changing constructor TyFamily into FamDecl * creating a FamilyDecl type that stores the details for a family declaration; this is useful because FamilyDecls can appear in classes but other decls cannot * restricting the associated types and associated type defaults for a * class to be the new, more restrictive types * splitting cid_fam_insts into cid_tyfam_insts and cid_datafam_insts, according to the new types * perhaps one or two more that I'm overlooking None of these changes has far-reaching implications. - The user manual, section 7.7.2.2, is updated to describe the new type family instances.
1:55 AM Changeset in ghc [7a42cf6]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Implement overlapping type family instances. An ordered, overlapping type family instance is introduced by 'type instance where', followed by equations. See the new section in the user manual (7.7.2.2) for details. The canonical example is Boolean equality at the type level: type family Equals (a :: k) (b :: k) :: Bool type instance where Equals a a = True Equals a b = False A branched family instance, such as this one, checks its equations in order and applies only the first the matches. As explained in the note [Instance checking within groups] in FamInstEnv.lhs, we must be careful not to simplify, say, (Equals Int b) to False, because b might later unify with Int. This commit includes all of the commits on the overlapping-tyfams branch. SPJ requested that I combine all my commits over the past several months into one monolithic commit. The following GHC repos are affected: ghc, testsuite, utils/haddock, libraries/template-haskell, and libraries/dph. Here are some details for the interested: - The definition of CoAxiom has been moved from TyCon.lhs to a new file CoAxiom.lhs. I made this decision because of the number of definitions necessary to support BranchList. - BranchList is a GADT whose type tracks whether it is a singleton list or not-necessarily-a-singleton-list. The reason I introduced this type is to increase static checking of places where GHC code assumes that a FamInst or CoAxiom is indeed a singleton. This assumption takes place roughly 10 times throughout the code. I was worried that a future change to GHC would invalidate the assumption, and GHC might subtly fail to do the right thing. By explicitly labeling CoAxioms and FamInsts as being Unbranched (singleton) or Branched (not-necessarily-singleton), we make this assumption explicit and checkable. Furthermore, to enforce the accuracy of this label, the list of branches of a CoAxiom or FamInst is stored using a BranchList, whose constructors constrain its type index appropriately. I think that the decision to use BranchList is probably the most controversial decision I made from a code design point of view. Although I provide conversions to/from ordinary lists, it is more efficient to use the brList... functions provided in CoAxiom than always to convert. The use of these functions does not wander far from the core CoAxiom/FamInst logic. BranchLists are motivated and explained in the note [Branched axioms] in CoAxiom.lhs. - The CoAxiom type has changed significantly. You can see the new type in CoAxiom.lhs. It uses a CoAxBranch type to track branches of the CoAxiom. Correspondingly various functions producing and consuming CoAxioms had to change, including the binary layout of interface files. - To get branched axioms to work correctly, it is important to have a notion of type "apartness": two types are apart if they cannot unify, and no substitution of variables can ever get them to unify, even after type family simplification. (This is different than the normal failure to unify because of the type family bit.) This notion in encoded in tcApartTys, in Unify.lhs. Because apartness is finer-grained than unification, the tcUnifyTys now calls tcApartTys. - CoreLinting axioms has been updated, both to reflect the new form of CoAxiom and to enforce the apartness rules of branch application. The formalization of the new rules is in docs/core-spec/core-spec.pdf. - The FamInst type (in types/FamInstEnv.lhs) has changed significantly, paralleling the changes to CoAxiom. Of course, this forced minor changes in many files. - There are several new Notes in FamInstEnv.lhs, including one discussing confluent overlap and why we're not doing it. - lookupFamInstEnv, lookupFamInstEnvConflicts, and lookup_fam_inst_env' (the function that actually does the work) have all been more-or-less completely rewritten. There is a Note [lookup_fam_inst_env' implementation] describing the implementation. One of the changes that affects other files is to change the type of matches from a pair of (FamInst, [Type]) to a new datatype (which now includes the index of the matching branch). This seemed a better design. - The TySynInstD constructor in Template Haskell was updated to use the new datatype TySynEqn. I also bumped the TH version number, requiring changes to DPH cabal files. (That's why the DPH repo has an overlapping-tyfams branch.) - As SPJ requested, I refactored some of the code in HsDecls: * splitting up TyDecl into SynDecl and DataDecl, correspondingly changing HsTyDefn to HsDataDefn (with only one constructor) * splitting FamInstD into TyFamInstD and DataFamInstD and splitting FamInstDecl into DataFamInstDecl and TyFamInstDecl * making the ClsInstD take a ClsInstDecl, for parallelism with InstDecl's other constructors * changing constructor TyFamily into FamDecl * creating a FamilyDecl type that stores the details for a family declaration; this is useful because FamilyDecls can appear in classes but other decls cannot * restricting the associated types and associated type defaults for a * class to be the new, more restrictive types * splitting cid_fam_insts into cid_tyfam_insts and cid_datafam_insts, according to the new types * perhaps one or two more that I'm overlooking None of these changes has far-reaching implications. - The user manual, section 7.7.2.2, is updated to describe the new type family instances.
1:55 AM Changeset in testsuite [80cac93]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Implement overlapping type family instances. An ordered, overlapping type family instance is introduced by 'type instance where', followed by equations. See the new section in the user manual (7.7.2.2) for details. The canonical example is Boolean equality at the type level: type family Equals (a :: k) (b :: k) :: Bool type instance where Equals a a = True Equals a b = False A branched family instance, such as this one, checks its equations in order and applies only the first the matches. As explained in the note [Instance checking within groups] in FamInstEnv.lhs, we must be careful not to simplify, say, (Equals Int b) to False, because b might later unify with Int. This commit includes all of the commits on the overlapping-tyfams branch. SPJ requested that I combine all my commits over the past several months into one monolithic commit. The following GHC repos are affected: ghc, testsuite, utils/haddock, libraries/template-haskell, and libraries/dph. Here are some details for the interested: - The definition of CoAxiom has been moved from TyCon.lhs to a new file CoAxiom.lhs. I made this decision because of the number of definitions necessary to support BranchList. - BranchList is a GADT whose type tracks whether it is a singleton list or not-necessarily-a-singleton-list. The reason I introduced this type is to increase static checking of places where GHC code assumes that a FamInst or CoAxiom is indeed a singleton. This assumption takes place roughly 10 times throughout the code. I was worried that a future change to GHC would invalidate the assumption, and GHC might subtly fail to do the right thing. By explicitly labeling CoAxioms and FamInsts as being Unbranched (singleton) or Branched (not-necessarily-singleton), we make this assumption explicit and checkable. Furthermore, to enforce the accuracy of this label, the list of branches of a CoAxiom or FamInst is stored using a BranchList, whose constructors constrain its type index appropriately. I think that the decision to use BranchList is probably the most controversial decision I made from a code design point of view. Although I provide conversions to/from ordinary lists, it is more efficient to use the brList... functions provided in CoAxiom than always to convert. The use of these functions does not wander far from the core CoAxiom/FamInst logic. BranchLists are motivated and explained in the note [Branched axioms] in CoAxiom.lhs. - The CoAxiom type has changed significantly. You can see the new type in CoAxiom.lhs. It uses a CoAxBranch type to track branches of the CoAxiom. Correspondingly various functions producing and consuming CoAxioms had to change, including the binary layout of interface files. - To get branched axioms to work correctly, it is important to have a notion of type "apartness": two types are apart if they cannot unify, and no substitution of variables can ever get them to unify, even after type family simplification. (This is different than the normal failure to unify because of the type family bit.) This notion in encoded in tcApartTys, in Unify.lhs. Because apartness is finer-grained than unification, the tcUnifyTys now calls tcApartTys. - CoreLinting axioms has been updated, both to reflect the new form of CoAxiom and to enforce the apartness rules of branch application. The formalization of the new rules is in docs/core-spec/core-spec.pdf. - The FamInst type (in types/FamInstEnv.lhs) has changed significantly, paralleling the changes to CoAxiom. Of course, this forced minor changes in many files. - There are several new Notes in FamInstEnv.lhs, including one discussing confluent overlap and why we're not doing it. - lookupFamInstEnv, lookupFamInstEnvConflicts, and lookup_fam_inst_env' (the function that actually does the work) have all been more-or-less completely rewritten. There is a Note [lookup_fam_inst_env' implementation] describing the implementation. One of the changes that affects other files is to change the type of matches from a pair of (FamInst, [Type]) to a new datatype (which now includes the index of the matching branch). This seemed a better design. - The TySynInstD constructor in Template Haskell was updated to use the new datatype TySynEqn. I also bumped the TH version number, requiring changes to DPH cabal files. (That's why the DPH repo has an overlapping-tyfams branch.) - As SPJ requested, I refactored some of the code in HsDecls: * splitting up TyDecl into SynDecl and DataDecl, correspondingly changing HsTyDefn to HsDataDefn (with only one constructor) * splitting FamInstD into TyFamInstD and DataFamInstD and splitting FamInstDecl into DataFamInstDecl and TyFamInstDecl * making the ClsInstD take a ClsInstDecl, for parallelism with InstDecl's other constructors * changing constructor TyFamily into FamDecl * creating a FamilyDecl type that stores the details for a family declaration; this is useful because FamilyDecls can appear in classes but other decls cannot * restricting the associated types and associated type defaults for a * class to be the new, more restrictive types * splitting cid_fam_insts into cid_tyfam_insts and cid_datafam_insts, according to the new types * perhaps one or two more that I'm overlooking None of these changes has far-reaching implications. - The user manual, section 7.7.2.2, is updated to describe the new type family instances.
1:54 AM Changeset in ghc [8366792]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Implement overlapping type family instances. An ordered, overlapping type family instance is introduced by 'type instance where', followed by equations. See the new section in the user manual (7.7.2.2) for details. The canonical example is Boolean equality at the type level: type family Equals (a :: k) (b :: k) :: Bool type instance where Equals a a = True Equals a b = False A branched family instance, such as this one, checks its equations in order and applies only the first the matches. As explained in the note [Instance checking within groups] in FamInstEnv.lhs, we must be careful not to simplify, say, (Equals Int b) to False, because b might later unify with Int. This commit includes all of the commits on the overlapping-tyfams branch. SPJ requested that I combine all my commits over the past several months into one monolithic commit. The following GHC repos are affected: ghc, testsuite, utils/haddock, libraries/template-haskell, and libraries/dph. Here are some details for the interested: - The definition of CoAxiom has been moved from TyCon.lhs to a new file CoAxiom.lhs. I made this decision because of the number of definitions necessary to support BranchList. - BranchList is a GADT whose type tracks whether it is a singleton list or not-necessarily-a-singleton-list. The reason I introduced this type is to increase static checking of places where GHC code assumes that a FamInst or CoAxiom is indeed a singleton. This assumption takes place roughly 10 times throughout the code. I was worried that a future change to GHC would invalidate the assumption, and GHC might subtly fail to do the right thing. By explicitly labeling CoAxioms and FamInsts as being Unbranched (singleton) or Branched (not-necessarily-singleton), we make this assumption explicit and checkable. Furthermore, to enforce the accuracy of this label, the list of branches of a CoAxiom or FamInst is stored using a BranchList, whose constructors constrain its type index appropriately. I think that the decision to use BranchList is probably the most controversial decision I made from a code design point of view. Although I provide conversions to/from ordinary lists, it is more efficient to use the brList... functions provided in CoAxiom than always to convert. The use of these functions does not wander far from the core CoAxiom/FamInst logic. BranchLists are motivated and explained in the note [Branched axioms] in CoAxiom.lhs. - The CoAxiom type has changed significantly. You can see the new type in CoAxiom.lhs. It uses a CoAxBranch type to track branches of the CoAxiom. Correspondingly various functions producing and consuming CoAxioms had to change, including the binary layout of interface files. - To get branched axioms to work correctly, it is important to have a notion of type "apartness": two types are apart if they cannot unify, and no substitution of variables can ever get them to unify, even after type family simplification. (This is different than the normal failure to unify because of the type family bit.) This notion in encoded in tcApartTys, in Unify.lhs. Because apartness is finer-grained than unification, the tcUnifyTys now calls tcApartTys. - CoreLinting axioms has been updated, both to reflect the new form of CoAxiom and to enforce the apartness rules of branch application. The formalization of the new rules is in docs/core-spec/core-spec.pdf. - The FamInst type (in types/FamInstEnv.lhs) has changed significantly, paralleling the changes to CoAxiom. Of course, this forced minor changes in many files. - There are several new Notes in FamInstEnv.lhs, including one discussing confluent overlap and why we're not doing it. - lookupFamInstEnv, lookupFamInstEnvConflicts, and lookup_fam_inst_env' (the function that actually does the work) have all been more-or-less completely rewritten. There is a Note [lookup_fam_inst_env' implementation] describing the implementation. One of the changes that affects other files is to change the type of matches from a pair of (FamInst, [Type]) to a new datatype (which now includes the index of the matching branch). This seemed a better design. - The TySynInstD constructor in Template Haskell was updated to use the new datatype TySynEqn. I also bumped the TH version number, requiring changes to DPH cabal files. (That's why the DPH repo has an overlapping-tyfams branch.) - As SPJ requested, I refactored some of the code in HsDecls: * splitting up TyDecl into SynDecl and DataDecl, correspondingly changing HsTyDefn to HsDataDefn (with only one constructor) * splitting FamInstD into TyFamInstD and DataFamInstD and splitting FamInstDecl into DataFamInstDecl and TyFamInstDecl * making the ClsInstD take a ClsInstDecl, for parallelism with InstDecl's other constructors * changing constructor TyFamily into FamDecl * creating a FamilyDecl type that stores the details for a family declaration; this is useful because FamilyDecls can appear in classes but other decls cannot * restricting the associated types and associated type defaults for a * class to be the new, more restrictive types * splitting cid_fam_insts into cid_tyfam_insts and cid_datafam_insts, according to the new types * perhaps one or two more that I'm overlooking None of these changes has far-reaching implications. - The user manual, section 7.7.2.2, is updated to describe the new type family instances.
12:11 AM Changeset in testsuite [d2e05e4]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: tests/th/all.T

Dec 21, 2012:

9:51 PM Ticket #7521 (Simplifier ticks exhausted when compiling Accelerate example.) created by eamsden
When doing $ cabal build for: …
6:07 PM Status/SLPJ-Tickets edited by simonpj
(diff)
6:06 PM Ticket #7520 (Implement cardinality analysis) created by simonpj
Ilya is well on the way to a cardinality analyser. Today I realised that …
5:40 PM Changeset in base [d9b6b25]data-proxydbcsghc-7.8type-reasoning by Simon Peyton Jones <simonpj@…>
Define GHC.Read.expectP and Text.Read.Lex.expect They are now used by TcGenDeriv
5:40 PM Changeset in ghc [e1779a7]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Define GHC.Read.expectP and Text.Read.Lex.expect They are now used by TcGenDeriv
5:39 PM Changeset in ghc [52e4300]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use expectP in deriving( Read ) Note [Use expectP] in TcGenDeriv ~~~~~~~~~~~~~~~~~~ Note that we use expectP (Ident "T1") rather than Ident "T1" <- lexP The latter desugares to inline code for matching the Ident and the string, and this can be very voluminous. The former is much more compact. Cf Trac #7258, although that also concerned non-linearity in the occurrence analyser, a separate issue.
5:33 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:30 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:30 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:07 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:46 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:33 PM Changeset in base [8afc23c6]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
remove unnecessary STM import
2:33 PM Changeset in ghc [7a6ddb8]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
remove unnecessary STM import
1:23 PM Ticket #7162 (RULES that never fire (automatically)) closed by simonpj
fixed: OK I've pushed this […] plus an extra sentence in the docs […]
1:22 PM Ticket #7513 (ghc panic in kindFunResult) closed by simonpj
fixed: I'm guessing that it's the same, and it's fixed in HEAD, so I'll close …
1:17 PM Changeset in ghc [d3e2912]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Clarify documentation of [~] syntax on RULE activations
12:54 PM Ticket #7515 (reinitializeGlobals doesn't reinitialize dynamic flags) closed by simonpj
fixed: Pushed as […]
11:02 AM Changeset in ghc [9a1b1654]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
11:02 AM Changeset in testsuite [90c26f4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:14 AM Changeset in ghc [c56c355b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Only allow special NeverActive syntax for RULES.
9:14 AM Changeset in ghc [6290c7bd]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Clarify promotion rules for newtypes in the documentation
8:36 AM Changeset in ghc [66fa188]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Likely fix to uninitialized DynFlags in plugins.
8:16 AM Ticket #7488 (Promotion of newtypes) closed by simonpj
fixed: Right, I've fixed this. Simon
8:14 AM Changeset in ghc [e2ab88c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add test for Trac #7488
8:14 AM Changeset in testsuite [4f6baef]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add test for Trac #7488
8:06 AM Changeset in ghc [40ef925c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
8:05 AM Changeset in ghc [b8739b2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow newtypes to be promoted Fixes Trac #7488

Dec 20, 2012:

9:13 PM Ticket #7514 (Rename cmmz flags) closed by simonpj
fixed: Done. Thanks Austin! […]
9:08 PM Changeset in ghc [9719ad9]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7368 (second example)
9:08 PM Changeset in testsuite [452ccd5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7368 (second example)
8:14 PM Changeset in ghc [866d28d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/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:13 PM Changeset in ghc [1353d1ef]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix over-zealous ASSERT in TcUnify
6:03 PM Ticket #7519 (CLK_TCK is not always a constant) created by singpolyma
System/CPUTime.hsc assumes that if CLK_TCK is defined, it is a constant, …
4:03 PM Ticket #7518 (Instruction list length in bco->instrs redundant) created by nomeata
While reading through the BCO-related code I notice that in the first word …
2:53 PM ReadingList edited by jstolarek
(diff)
2:22 PM Ticket #1381 (Add terminateStmt to "GHC as a library") closed by simonmar
fixed: I believe the above patch fixes this ticket, because you can now just …
2:19 PM Changeset in ghc [54a39631]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
'sync-all get -q' also passes -q to 'git submodule'
2:19 PM Changeset in ghc [02c4ab04]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Redirect asynchronous exceptions to the sandbox thread in runStmt (#1381) See comment for details. We no longer use pushInterruptTargetThread/popInterruptTargetThread, so these could go away in due course.
2:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:57 PM Ticket #2588 (Missed suggestion with context on foralls) closed by simonpj
fixed: Yes, it does look ok now. I'm not quite sure why it's ok now, but I'm …
1:50 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:49 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:15 PM FirefoxTips edited by jstolarek
Updated to match latests version of FF (no Quick Searches bookmarks) (diff)
9:32 AM Building edited by simonmar
(diff)
9:28 AM Building/Solaris edited by simonmar
(diff)
9:27 AM Building/MacOSX edited by simonmar
(diff)
9:26 AM Building edited by simonmar
(diff)
8:30 AM Building edited by simonmar
Reorg a bit, move important stuff to the top, old/out-of-date stuff to the … (diff)
8:23 AM Building edited by simonmar
(diff)
8:21 AM Ticket #7517 (wxcore setup has problem with spaces in path) created by zjcheah
The bug was detailed in here: …
7:58 AM Ticket #7516 (GHC panic) closed by simonpj
fixed: Thanks; this is a duplicate of #7183, now fixed.
5:09 AM Ticket #7516 (GHC panic) created by guest
[…] I notice I mistyped Show as show, but I think it's better to …
12:37 AM CodeOwners edited by dterei
(diff)
12:31 AM CodeOwners edited by dterei
(diff)
12:12 AM WikiStart edited by dterei
(diff)
12:11 AM WikiStart edited by dterei
(diff)
12:09 AM Building/Solaris edited by dterei
(diff)
12:07 AM Building/Preparation/Solaris edited by dterei
(diff)
12:02 AM Building/MacOSX edited by dterei
(diff)
12:00 AM Building edited by dterei
(diff)

Dec 19, 2012:

11:58 PM Building/MacOSX edited by dterei
(diff)
11:54 PM Building/Preparation/MacOSX edited by dterei
(diff)
11:53 PM Building/Preparation/MacOSX edited by dterei
(diff)
11:51 PM Changeset in ghc [f6f881f0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Rename all of the 'cmmz' flags and make them more consistent. There's only a single compiler backend now, so the 'z' suffix means nothing. Also, the flags were confusingly named ('cmm-foo' vs 'foo-cmm',) and counter-intuitively, '-ddump-cmm' did not do at all what you expected since the new backend went live. Basically, all of the -ddump-cmmz-* flags are now -ddump-cmm-*. Some were renamed to be more consistent. This doesn't update the manual; it already mentions '-ddump-cmm' and that flag implies all the others anyway, which is probably what you want. Signed-off-by: Austin Seipp <mad.one@gmail.com>
11:50 PM Changeset in ghc [9429d794]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:49 PM Changeset in ghc [be5cc2e3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix TcUnify.matchExpectedTyConApp so that it returns types of compatible kinds This fixes Trac #7368. The problem was that we were matching Bad w ~ f (Bad f) where (f :: * -> *). Thta leads to (w ~ Bad f), which is ill-kinded, but matchExpectedTyConApp was returning the (Bad f) as the argument type, and that was being used to instanatiate w in the data constructor type, which is very bad. The code also becomes simpler and easier to understand, which is an excellent thing.
11:45 PM Ticket #7512 (GHC crashes with multiple => in instance) closed by simonpj
worksforme: Really? With 7.6.1 I get […] GHC 7.4.1 indeed crashes with […] So …
11:41 PM Ticket #7515 (reinitializeGlobals doesn't reinitialize dynamic flags) created by danielv
This causes even correctly written plugins to behave badly if they try to …
11:38 PM ReadingList edited by dterei
(diff)
11:09 PM Ticket #7514 (Rename cmmz flags) created by thoughtpolice
This patch renames the cmmz flags to cmm for consistency. It was …
9:26 PM Ticket #7513 (ghc panic in kindFunResult) created by ifigueroap
The compiler made me post this bug report. Unfortunately I don't have a …
8:30 PM Ticket #7512 (GHC crashes with multiple => in instance) created by jvictor
GHC will crash (rather than a syntax error) if you write […] This …
6:00 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:42 PM Ticket #7502 (Panic when using lists of type-literals) closed by simonpj
fixed
5:40 PM Ticket #7489 (Obscure warning: Var/Type length mismatch when using GADTs and ...) closed by simonpj
fixed: commit 3394d49af13697626145aca6d80b65ae8661418c […] The commit message …
5:37 PM Changeset in ghc [3394d49a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Pass the correct inst_tys argument to dataConCannotMatch, in mkRecSelBinds This fixes Trac #7503.
5:36 PM Changeset in ghc [a62c4375]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add some ASSERTs to calls of zipTopTvSubst
5:35 PM Changeset in ghc [aad93f5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Move the kind Nat and Symbol out of TysPrim and into TysWiredIn They properly belong in TysWiredIn, since they are defined in Haskell in GHC.TypeLits. Moveover, make them WiredIn (again as they should be) and use checkWiredInTyCon when encountering them in TcHsType.tc_hs_type, so that the interface file is loaded. This fixes Trac #7502.
5:26 PM Changeset in ghc [16760df]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7489
5:26 PM Changeset in testsuite [ff0b4a0]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7489
5:26 PM Changeset in ghc [e8aa2186]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles for new UNPACK stuff
5:26 PM Changeset in testsuite [46e0cc5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles for new UNPACK stuff
5:25 PM Changeset in ghc [f65b3470]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7502
5:25 PM Changeset in testsuite [7c1faf8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7502
5:25 PM Changeset in ghc [8daa246]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7506
5:25 PM Changeset in testsuite [30ef58b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7506
4:50 PM Ticket #7511 (Room for GHC runtime improvement >~5%, inlining related) created by danielv
I compare running nofib under GHC with default optimization flags vs. with …
4:05 PM Ticket #7506 (adding extra arguments to a foreign import statement can cause ghc to ...) closed by simonpj
fixed: The problem here is simply that a foreign import with a "&" should not …
3:27 PM Repositories edited by henrique
(diff)
3:15 PM Changeset in ghc [8c1aab0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
3:04 PM WorkingConventions/Repositories edited by simonpj
(diff)
3:04 PM WorkingConventions/Repositories edited by simonpj
(diff)
3:04 PM WorkingConventions/Repositories edited by simonpj
(diff)
3:01 PM Repositories edited by simonpj
(diff)
2:47 PM Repositories edited by jstolarek
Fixed a typo (diff)
1:34 PM Ticket #1383 (mistaken qualified infix syntax could have a nicer error message) closed by simonpj
wontfix: Yes, in Haskell Prelude.(+) means (Prelude . (+)), that is the …
1:23 PM Repositories edited by simonmar
(diff)
1:23 PM Changeset in ghc [942939c0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7506 (missing check for form of FFI type)
1:16 PM Repositories edited by simonpj
(diff)
1:14 PM WorkingConventions/Git edited by simonpj
(diff)
1:13 PM Repositories edited by simonpj
(diff)
1:13 PM Repositories edited by simonpj
(diff)
12:38 PM Changeset in ghc [e3aa165]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typo
12:38 PM Changeset in ghc [a38b8327]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
spelling in doc
12:25 PM Repositories edited by simonpj
(diff)
12:24 PM Repositories edited by simonpj
(diff)
12:23 PM repos.png attached to Repositories/Upstream by simonpj
12:21 PM Repositories/Upstream created by simonpj
12:21 PM Repositories edited by simonpj
(diff)
10:32 AM Changeset in ghc [650f76fe]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
10:32 AM Changeset in ghc [b5853125]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to faa8ff40 (UNPACK pragmas) Nothing big here, just tidying up deetails
9:10 AM Changeset in ghc [ea8490e7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up documtation of monomorphsim restriction etc
9:10 AM Ticket #7508 (Make -XNoMonoPatBinds documentation match ghc behavior) closed by simonpj
fixed: You're right... even the HEAD documentation mentions MonoPatBinds which …
8:33 AM Ticket #7510 (Immediate seg-fault on 32-bit windows build) created by simonpj
On 32-bit Windows (built with MSYS), GHC crashes almost immediately when …
6:30 AM Ticket #7509 (Changing the second prompt. :{ modules| No setting available to change.) created by m30w
In order to change the main prompt it's as simple as a single command. …
2:25 AM Ticket #7508 (Make -XNoMonoPatBinds documentation match ghc behavior) created by dagit
According to this documentation: …
12:35 AM Ticket #5998 (GHCi's :info to return all the visible instances, not just the ones ...) closed by diatchki
fixed: I have documented the new :info! functionality. Just for future …
12:21 AM Changeset in ghc [909d52e2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Document the behavior of "info!".

Dec 18, 2012:

4:09 PM Changeset in ghc [90fac759]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
2:15 PM Building/Using edited by simonmar
(diff)
1:55 PM Building/GettingTheSources edited by simonmar
(diff)
1:45 PM WorkingConventions/Git edited by simonmar
(diff)
1:40 PM Changeset in ghc [8cd4ced]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
perf test for Word->Float/Double conversion
1:40 PM Changeset in testsuite [9f4dd2d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
perf test for Word->Float/Double conversion
1:37 PM Building/GettingTheSources edited by simonmar
(diff)
1:13 PM ReadingList edited by simonmar
(diff)
9:10 AM Changeset in ghc [a006ecd]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
A better fix for #7493 (see comment for details)
8:43 AM Changeset in ghc [55c55f1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Revert "Fix a bug in the handling of nested orElse" This reverts commit f184d9caffa09750ef6a374a7987b9213d6db28e. The next commit will fix it in a better way.
7:46 AM Ticket #7507 (loop fusion not working for Int32, Int64 as it does for Int ?) created by j.waldmann
here is some code that works for Int, but gives me Stack Overflow for …
1:09 AM Ticket #7506 (adding extra arguments to a foreign import statement can cause ghc to ...) created by jwlato
When defining a "FunPtr" of a C import, adding extra arguments outside the …

Dec 17, 2012:

3:50 PM Ticket #7505 (Commentary shipped with GHC sources is outdated) created by jstolarek
Commentary that comes with GHC sources is outdated. It contains incorrect …
9:42 AM Building/Preparation/Windows edited by simonpj
(diff)
9:41 AM Building/Preparation/Windows edited by simonpj
(diff)
9:39 AM Building/Preparation/Windows edited by simonpj
(diff)
8:34 AM Ticket #7498 (panic : Register allocator: out of stack slots (need 147)) closed by simonmar
fixed: @erikd: I think I've now given you permission to close tickets on Trac.
12:18 AM Ticket #7504 (hackage vector package yields ghc bug on raspberry pi) created by plaeremans
See output below, […]

Dec 16, 2012:

11:37 PM Ticket #7503 (Bug with PolyKinds, type synonyms & GADTs) created by Ashley Yakeley
GHC incorrectly rejects this program: […] GHC accepts the program when …
9:30 PM Changeset in ghc [06a962b3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove some redundant parentheses
2:06 PM Changeset in ghc [6e0d45a8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring: makes it easier to see what nativeCodeGen actually does
3:04 AM Changeset in ghc [f8fb4a4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Vectoriser: depending set of a vectorised tycon need only be vectorised if also parallel
Note: See TracTimeline for information about the timeline view.