Timeline


and

Jan 16, 2013:

11:21 PM Ticket #7599 (timeout does not behave as expected) created by ique
In trying to debug an error I found using the MongoDB package (it was …
9:49 PM Changeset in ghc [0aae1e17]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Better abstraction over run queues. This adds some new functions: peekRunQueue, promoteInRunQueue, singletonRunQueue and truncateRunQueue which help abstract away manual linked list manipulation, making it easier to swap in a new queue implementation. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:46 PM Ticket #7598 (ghc-stage1 generates wrong assembler on StgCmmPrim (operand out of range)) created by kgardas
Hello, an attempt to compile today GHC HEAD on linux powerpc fails with …
8:13 PM Ticket #7597 (plugins01 fails if it has been run previously (doesn't force recompile)) created by ezyang
Just to make sure I don't forget about this.
6:04 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:27 PM Changeset in ghc [037617a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:27 PM Changeset in testsuite [5a1ee55]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
5:22 PM Changeset in ghc [7e1c1328]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Remove tabs
5:20 PM Changeset in ghc [d3378e4]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into new-demand-to-merge Conflicts: compiler/main/DynFlags.hs
5:18 PM Changeset in ghc [49df25c]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Comments and refactoring only
5:13 PM Changeset in nofib [4b19571]ghc-7.8shake by Simon Peyton Jones <simonpj@…>
Add notes about nofib
4:49 PM Changeset in ghc [df806942]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
4:49 PM Changeset in testsuite [245e63d8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
4:47 PM Changeset in base [2e03b94]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
4:47 PM Changeset in ghc [946a2d1f]wip/T9016 by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
4:40 PM Changeset in ghc [657e24b7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7299
4:40 PM Changeset in testsuite [38f21bb]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7299
4:35 PM Changeset in base [8a3399d]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Use the RTS getMonotonicTime to implement getMonotonicNSec; fixes #7299 I'm not entirely sure where the segfault was coming from, but it was almost certainly related to there being 2 copies of the base package around, and the interpreted one not having its timer code initialised.
4:35 PM Changeset in ghc [bd0faf74]wip/T9016 by Ian Lynagh <ian@…>
Use the RTS getMonotonicTime to implement getMonotonicNSec; fixes #7299 I'm not entirely sure where the segfault was coming from, but it was almost certainly related to there being 2 copies of the base package around, and the interpreted one not having its timer code initialised.
4:30 PM Ticket #7596 (Opportunity to improve CSE) created by simonpj
In nofib/spectral/mandel2, the function check_perim calls …
4:13 PM Building/RunningTests/Details edited by jstolarek
(diff)
3:39 PM Changeset in ghc [8f731f2b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:34 PM Changeset in ghc [08e69b59]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:34 PM Changeset in testsuite [13b32c0]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:04 PM Ticket #7569 (Does not correctly detect float/double Haskell types when cross-compiling) closed by simonmar
fixed: […]
2:41 PM Ticket #6086 (Cross compilation fails using system linker for other architecture ...) closed by simonmar
fixed
2:18 PM Changeset in ghc [b06c1eb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
When cross-compiling, pass --host to package configure scripts Otherwise the configure script for e.g. base doesn't know that we're cross-compiling, and fails trying to run an executable compiled by the C cross-compiler.
2:15 PM Changeset in ghc [f77291d6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Pass --with-ld=$(LD) to ghc-cabal when configuring packages (#6086)
1:58 PM Ticket #7594 (GHCi becomes confused about IO type) closed by simonpj
worksforme: Hmm. Absolutely right, and this happens for 7.6.2 too. However with HEAD …
1:50 PM Changeset in base [c726559]data-proxydbcsghc-7.8type-reasoning by Simon Marlow <marlowsd@…>
Possible fix for detecting Float/Double
1:50 PM Changeset in ghc [171f6386]wip/T9016 by Simon Marlow <marlowsd@…>
Possible fix for detecting Float/Double
1:38 PM Changeset in ghc [1aef13c]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Make sure that we analyse at least once, even with absent or bottom demands. See Note [Always analyse in virgin pass]
1:29 PM Changeset in ghc [d4a9a39]new-demand-to-merge by Simon Peyton Jones <simonpj@…>
Make sure we use the zapped-occ-info case-binder when processing the scrutinee A bug-fix to 7b64905a38ffed5e2d57d9c2f68f6be286a80f93 Make CSE work for case expressions too
12:04 PM Ticket #7595 (Static flags code needs cleanup) created by jstolarek
While reading through the source code I noticed that code responsible for …
11:53 AM Commentary/Pipeline edited by jstolarek
(diff)
11:41 AM Ticket #7594 (GHCi becomes confused about IO type) created by Khudyakov
[…] In the interactive mode it's possible to confuse GHCi about IO …
9:43 AM Ticket #7537 ([PATCH] Incorrect Haskell type for ino_t on MacOS X 10.5) closed by simonmar
invalid: Great, thanks for following this up.
8:23 AM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
6:05 AM Ticket #7593 (Unable to print exceptions of unicode identifiers) created by dagit
I suspect this is windows specific but I'm not certain (I couldn't …
5:10 AM Ticket #7592 (Building the latest master branch on FreeBSD 9.1 fails) created by kazu-yamamoto
The following sequence fails on FreeBSD 9.1: […] If I type "gmake …
4:06 AM Ticket #7585 (Core lint failure when optimizing coercions in branched axioms) closed by goldfire
fixed
2:34 AM Changeset in ghc [a2e27e1]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add new test case T7585.
2:34 AM Changeset in testsuite [3c0c3d9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add new test case T7585.
2:34 AM Changeset in ghc [a6ab0a40]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Fix Trac #7585. The coercion optimizer was optimizing coercions inside of branched axiom applications, sometimes invalidating the branch choice within the axiom application. Now, we check to make sure we are not invalidating this invariant before proceeding with the optimization.
1:37 AM Ticket #7591 (CodeGen.Platform.hs not including ghcautoconf.h as it should, breaks ARMv5 ...) created by StephenBlackheath
MachRegs?.h requires ghcautoconf.h to be included before it, because, in …
1:31 AM Ticket #7590 (LLVM backend bootstrap support) created by dterei
The change to the new-code-generator seems to have broken the LLVM …
1:26 AM Ticket #7589 (LLVM 3.2 Support) created by dterei
LLVM 3.2 is out as of mid December. We need to update the backend to …

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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tiny refactoring, really just white space
2:57 PM Changeset in ghc [ecddaca]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
White space only
2:53 PM Changeset in ghc [053b2115]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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/T9016 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:45 PM Changeset in ghc [deec5b74]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <iavor.diatchki@…>
Fixup comment: typos + I had the generalization rule backwards.
12:31 AM Changeset in ghc [f5a5229]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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:

9:06 PM Changeset in ghc [fa73267f]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: compiler/prelude/PrelNames.lhs
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/T9016 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 [753e3e38]wip/T9016 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/T9016 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/T9016 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/nested-cprwip/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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/ghc
7:08 PM Changeset in ghc [acb0cd9]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in nativeGen/SPARC/Base.hs
5:49 PM Changeset in ghc [49e6c96b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update a comment
4:57 PM Changeset in ghc [f3d3baec]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove checkCOrAsmOrLlvmOrDotNetOrInterp We now just use checkCOrAsmOrLlvmOrInterp instead, which had an identical definition.
4:56 PM Changeset in ghc [b9fae0c]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update bytestring and terminfo repos bytestring fixes #7556. terminfo fixes #7281.
1:29 PM Changeset in ghc [8b1e30f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 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 …
Note: See TracTimeline for information about the timeline view.