Timeline


and

Jun 15, 2013:

8:54 PM Changeset in ghc [b097dc9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix ghci crash when the user code closes stdin Now that we share stdin with the program, we have to check for handle-closed as well as EOF, as the program might have closed stdin.
7:50 PM Ticket #693 (dynamic locking) closed by igloo
fixed: Thanks; I've pushed a similar patch which also optimises the C users of …
6:07 PM Changeset in ghc [75947bb6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimise lockClosure when n_capabilities == 1; fixes #693 Based on a patch from Yuras Shumovich.
4:43 PM Ticket #7847 (Maintain per-generation lists of weak pointers) closed by igloo
fixed: All applied, thanks
4:28 PM Changeset in ghc [4895155]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:28 PM Changeset in testsuite [4d2a20b]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update fptr01 An implementation change in the garbage collector, which was introduced to fix #7847, happens to change the output of fptr01.
4:23 PM Ticket #7933 (JavaScript Cmm backend) closed by bosu
wontfix: Thank you all for the comments! I fully agree that the patch is better to …
4:08 PM Changeset in ghc [9a8c20d0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace and braces only
3:41 PM Changeset in ghc [4ca86427]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add braces for clarity
3:41 PM Changeset in ghc [fe652a8b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Maintain per-generation lists of weak pointers (#7847)
3:38 PM Changeset in base [9afb928]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:38 PM Changeset in ghc [5257404]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Update GHC.ForeignPtr to use addCFinalizerToWeak#
3:36 PM Changeset in ghc [6770663]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Check for a weak pointer being dead before we do any allocation for it
3:23 PM Changeset in ghc [d61c623e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Allow multiple C finalizers to be attached to a Weak# The commit replaces mkWeakForeignEnv# with addCFinalizerToWeak#. This new primop mutates an existing Weak# object and adds a new C finalizer to it. This change removes an invariant in MarkWeak.c, namely that the relative order of Weak# objects in the list needs to be preserved across GC. This makes it easier to split the list into per-generation structures. The patch also removes a race condition between two threads calling finalizeWeak# on the same WEAK object at that same time.
2:27 PM Changeset in base [452008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix a comment
2:27 PM Changeset in ghc [9dc3418]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix a comment
12:52 PM Ticket #7427 (Proposal: Add setEnv/unsetEnv to System.Environment) closed by igloo
fixed: The base split is now scheduled or post-7.8-branch, and as the amount of …
12:51 PM Ticket #7923 (Optimization for takeMVar/putMVar when MVar left empty) closed by igloo
fixed: Applied, thanks!
12:23 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Those 3 files are no longer created/used. The tests should clean up after …
12:19 PM Changeset in ghc [5d9e686]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Optimization for takeMVar/putMVar when MVar left empty; fixes #7923 We only need to apply the write barrier to an MVar when it acquires a reference to live data; when the MVar is left empty in the case of a takeMVar/putMVar, we can save a memory reference. Patch from Edward Z. Yang.
11:46 AM Changeset in base [60d5d2e]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
11:46 AM Changeset in ghc [3be61012]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Add setEnv/unsetEnv to System.Environment; fixes #7427 Patch from Simon Hengel.
3:36 AM Ticket #7985 (Allow openFile on unknown file type) created by singpolyma
There should be an "unknown" file type, to allow for special file types to …
1:04 AM Ticket #7984 (hsc2hs --cross-compile does not handle negative #enum) created by singpolyma
[…] Output with hsc2hs or even hsc2hs --cross-safe : […] Output …
12:49 AM Ticket #7983 (Bug in hsc2hs --cross-safe) created by singpolyma
The following test succeeds with hsc2hs --cross-safe but fails with hsc2hs …

Jun 14, 2013:

9:02 PM Changeset in ghc [9e4348e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in rts/storage/SMPClosureOps.h
7:31 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) closed by igloo
fixed: Thanks, I've added cleaning for the extra files.
7:03 PM Changeset in ghc [da80f8e9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
7:03 PM Changeset in testsuite [8ae14cc]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix some testsuite cleaning; part of #7941
5:58 PM Changeset in base [16f71d6]data-proxyghc-7.8 by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
5:58 PM Changeset in ghc [7fef22a]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Edward Z. Yang <ezyang@…>
Clarification what 'atomic' means here. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:33 PM Changeset in ghc [725a16b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint while compiling. Need Simon's input on design.
2:49 PM Changeset in ghc [3343182]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to try compiling.
1:40 PM Changeset in ghc [5483b14]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Cleaning fixes, and other build system tweaks; part of #7941
12:40 PM PrimBool edited by jstolarek
(diff)

Jun 13, 2013:

10:15 PM Changeset in unix [e712803]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
10:15 PM Changeset in directory [571f32b]ghc-7.8 by Ian Lynagh <ian@…>
Test cleaning fixes
8:21 PM Ticket #7843 (GHC should be able to list all possible command line options) closed by igloo
fixed: Applied, thanks!
8:20 PM Ticket #7948 (hp2ps --help typo) closed by igloo
fixed: Applied, thanks!
7:49 PM Changeset in ghc [a532f40f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Typo in hp2ps help output As spotted by Julian Gilbey and reported at http://bugs.debian.org/710305
7:49 PM Changeset in ghc [2280f96]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
--show-options lists all flags. Add user documentation for #7843
3:35 PM Changeset in ghc [f2a178b]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working on typechecker.
3:03 PM Ticket #7982 (ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families) created by goldfire
[…] […] This was tested on a checkout from 22 May.

Jun 12, 2013:

9:13 PM Ticket #7981 (Lack of packages from category theory at Platform) closed by monoidal
invalid: This tracker is for problems specific to GHC. To suggest a package for …
8:45 PM Ticket #7981 (Lack of packages from category theory at Platform) created by wvv
There are lack of basics packages from category theory at Platform. Some …
6:25 PM Ticket #7980 (runghc dies silently when given large numbers of arguments. Compiled code ...) created by totherme
I'm using ghc 7.6.2 on Ubuntu 13.04. To reproduce, put the following line …
1:31 PM Changeset in ghc [db9b6310]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Avoid generating empty llvm.used definitions. LLVM 3.3rc3 complains when the llvm.used global is an empty array, so don't define llvm.used at all when it would be empty.
11:05 AM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) closed by simonpj
fixed: Thank you for reporting this. It exposed one real bug, and one …
11:03 AM Changeset in ghc [133b500]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in testsuite [79c6532]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Mark cgrun072 as expect_broken( 7902 ) Something is wrong with byte-swapping!
11:03 AM Changeset in ghc [bab5720]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7967
11:03 AM Changeset in testsuite [6432ecf]atomicsdata-kind-syntaxoverlapping-tyfamstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7967
10:41 AM Ticket #7885 (LLVM build broken) closed by gmainland
fixed
10:12 AM PrimBool edited by jstolarek
(diff)
10:11 AM PrimBool edited by jstolarek
(diff)
8:52 AM Changeset in ghc [92b2e4ea]th-new by Geoffrey Mainland <mainland@…>
Add syntactic support for typed expression brackets and splices. Right now the syntax for typed expression brackets and splices maps to conventional brackets and splices, i.e., they are not typed.
8:52 AM Changeset in ghc [6356813]th-new by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:52 AM Changeset in ghc [18934998]th-new by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:52 AM Changeset in ghc [147bb859]th-new by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:52 AM Changeset in ghc [97d316b8]th-new by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:52 AM Changeset in ghc [30a19ba3]th-new by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:52 AM Changeset in ghc [51ca37f9]th-new by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:52 AM Changeset in ghc [85813f6]th-new by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:52 AM Changeset in ghc [fe521cc]th-new by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:52 AM Changeset in ghc [a9abb46]th-new by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:52 AM Changeset in ghc [03e0ea63]th-new by Geoffrey Mainland <mainland@…>
Add full support for declaration splices. Since declaration splices are now untyped, they can be used anywhere a declaration is valid, including in declaration brackets.
8:52 AM Changeset in ghc [1301b10]th-new by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:52 AM Changeset in ghc [a167aa5e]th-new by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:52 AM Changeset in ghc [753ebe2a]th-new by Geoffrey Mainland <mainland@…>
Change the types of typed brackets and splices. The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
8:52 AM Changeset in ghc [418a3340]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:52 AM Changeset in ghc [6f4cba0f]th-new by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:52 AM Changeset in ghc [627f982]th-new by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:52 AM Changeset in ghc [af607888]th-new by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
8:51 AM Changeset in testsuite [1746d9e]th-new by Geoffrey Mainland <mainland@…>
Fix test wibble.
8:51 AM Changeset in testsuite [da3c7f9]th-new by Geoffrey Mainland <mainland@…>
Peculiarly, we now pass this test on ghci.
8:51 AM Changeset in testsuite [c2135a9]th-new by Geoffrey Mainland <mainland@…>
Adjust tests for new Template Haskell. From the new Template Haskell proposal at http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal A declaration group is the chunk of declarations created by a top-level declaration splice, plus those following it, down to but not including the next top-level declaration splice. Then the type environment seen by reify includes all the declaration up to the end of the immediately preceding declaration block, but no more. This change adds '$(return [])' where necessary to allow following declarations to see (module-local) top-level definitions.
8:51 AM Changeset in testsuite [27c8361]th-new by Geoffrey Mainland <mainland@…>
Fix test wibbles for new Template Haskell. Because splices are now run in the renamer, we do not get the same error context as we would when running in the type checker. In most cases we get less context, and in some cases I have added additional context. Error messages should at least tell the user that an error occurred in a splice; dropping context beyond that point is not judged a great loss. Note that we may now report only one error when multiple errors were reported before because splices are now run in the renamer.
8:51 AM Changeset in testsuite [3a07227]th-new by Geoffrey Mainland <mainland@…>
Update tests now that declaration splices are legal everywhere.
8:51 AM Changeset in testsuite [59e8e8b]th-new by Geoffrey Mainland <mainland@…>
Update test to reflect fix for #1201. splices are run in the renamer, so they only get run once.
8:43 AM Changeset in ghc [289be61]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code
8:43 AM Changeset in ghc [355d57a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove trace that sometimes causes a loop
8:43 AM Changeset in ghc [262cab0f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the constraint simplifier (Trac #7967) Richard's bug report showed up a couple of subtleties in the constraint solver * We can strengthen the kind invariants on CTyEqCan and CFunEqCan See Note [Kind orientation for CTyEqCan] and Note [Kind orientation for CFunEqCan] in TcRnTypes There are some changes to reOrient and checkKind in TcCanonical to support these stronger invarants. * In TcSimplify we must make sure that we re-simplify if defaultTyVar does anything. See Note [Must simplify after defaulting] in TcSimplify. The usual round of refactoring follows!
6:23 AM Ticket #7979 (./configure script does not properly detect missing header files) created by jstolarek
I was trying to compile GHC on a fresh installation of Debian Wheezy and I …
2:22 AM Building/GettingTheSources edited by domtheo
(diff)
2:19 AM Building/Hacking edited by domtheo
(diff)

Jun 11, 2013:

10:32 PM Changeset in base [2f8c5bf]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in base [07f8524]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:32 PM Changeset in ghc [72901d41]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Revert "expose new Word operation to swap endianness for Word{16,32,64}" This reverts commit 3ef0f91d4e9a3649581557ec4ba663db4306d7d5.
10:32 PM Changeset in ghc [089c686b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
One more GHC.Err import eliminated (This one only shows up on Windows.)
10:30 PM Changeset in ghc [4aa7fc89]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment out function; consequence of reverting a553f18
10:30 PM Changeset in ghc [91979ed]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Revert "Add support for byte endian swapping for Word 16/32/64." This reverts commit 1c5b0511a89488f5280523569d45ee61c0d09ffa.
9:39 PM Changeset in ghc [2f9278d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typo in comment
9:37 PM Changeset in base [a123775]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Fix some typos
9:37 PM Changeset in ghc [b9138a8]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Gabor Greif <ggreif@…>
Fix some typos
9:27 PM Changeset in ghc [57fa4375]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
punctuation in comment
9:22 PM Ticket #7978 (Profiling broken) created by gmainland
The cardinality analysis patch broke profiling. This can be seen in the …
6:57 PM Building/Architecture/Idiom/StandardTargets edited by nfrisby
(diff)
6:53 PM Building/Using edited by nfrisby
just updated a broken link (diff)
6:01 PM Changeset in testsuite [9069fb7]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fix test case to reflect banning nonlinear standalone instances." This reverts commit 50bfe9ae6b68270120a93c420618eabfcaa817af.
5:59 PM Changeset in ghc [0f22bc8e]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit 41365aeba8020d31391784bc1b9887007e78c306.
5:56 PM Changeset in ghc [780d4b9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource" This reverts commit 33582704caaf2ba4cd6f06360ff2834667d2ce6d.
5:56 PM Changeset in ghc [508d2351]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. Working in FamInst on newFamInst." This reverts commit 9b8dc727296fc72942d2b32efe853adf795ba9ad.
5:56 PM Changeset in ghc [6c91510b]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. About to compile." This reverts commit adc506253558332086699c43e8de929e5e041cbd.
5:56 PM Changeset in ghc [c26be08]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint during compilation." This reverts commit 0276b4966bd1ec50c7236cdc9d480873f0c33b2b.
5:55 PM Changeset in ghc [5e740d8]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint." This reverts commit 09a8a7fd96b44b20d168fbb167cdee20006ebb32.
5:55 PM Changeset in ghc [55fa3d6]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint. The sources compile, but the libraries don't yet." This reverts commit 0d0c71eab258d03c5ab47f7323c392014565e2b7.
5:44 PM Changeset in ghc [8e0e3a3]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Fixed interface loading bug, and a few other little changes." This reverts commit e8fbb019e83aedfe334d8f2ce638d0637ab15752.
5:44 PM Changeset in ghc [0763ebd]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Code compiles. Now, on to the testsuite. Also, documentation updated." This reverts commit d82a62855de5d8cc75d67fd181b47386d9f90f58.
2:50 PM Ticket #7977 (Optimization: Shift dropped list heads by coeffecient to prevent thunk ...) created by schyler
Consider the following snippet(s) equivalent to ([a..b] !! n), the source …
2:16 PM Building/GettingTheSources edited by stefan
Removed spam (diff)
1:54 PM Changeset in ghc [716c2ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:49 PM Changeset in ghc [2333148]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
1:49 PM Changeset in testsuite [c33fc66]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error message in recomp006
9:04 AM Ticket #7976 (Failure building master (perf) on i686-pc-linux-gnu) created by nickie
It seems that the nightly builds on x86 for the master branch fail since …
8:50 AM Ticket #7272 (PolyKinds and mutually recursive modules) closed by simonpj
fixed: Maybe now I have finally done it :-)
8:49 AM Changeset in ghc [6ecfa98]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Actually make the change described in 'Fix egregious typo in cmpTypeX' I reverted it to try something else and forgot to put it back! Fixes Trac #7272 (again!).
7:27 AM Ticket #7975 ("impossible" failure while type checking) closed by simonpj
duplicate: Thanks. I'm guessing this is a dup of #7927, #7920, #7905, etc. Works in …
4:29 AM Ticket #7975 ("impossible" failure while type checking) created by jonnadal
$ cat failure.hs […] $ ghc failure.hs […]
2:34 AM SafeHaskell edited by domtheo
(diff)
2:33 AM SafeHaskell edited by domtheo
(diff)

Jun 10, 2013:

6:53 PM SafeHaskell edited by dkasak
Remove spam. (diff)
5:31 PM Ticket #7974 (Panic on a context with additional variable) closed by simonpj
fixed: Thank you! A palpable bug squashed. Simon
5:30 PM Changeset in ghc [5bd297cb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:30 PM Changeset in testsuite [342c481e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7974
5:28 PM Changeset in ghc [fc927b3d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Trace statements only
5:28 PM Changeset in ghc [1cbfddb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make sure we quantify over the context in data constructors This was exposed by Trac #7974. A stupid bug!
5:27 PM Changeset in ghc [0239d783]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix egregious typo in cmpTypeX Reported in Trac #7272. "tv1" should be "tv2"! However, things weren't as simple as they sound, because treating (x:Open) as different from (x:*) gave rise to new failures; see Note [Comparison with OpenTypeKind] in Type. My hacky solution is to treat OpenKind as equal to * and #, at least in Core etc. Hence the faff in Type.cmpTc. I do not like this. But it seems like another messy consequence of including sub-kinding. Sigh.
10:52 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by simonpj
fixed: Great point. Exposed a subtle bug, which I have now fixed. Thank you! …
10:05 AM Changeset in ghc [436f896]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:05 AM Changeset in testsuite [cf46e11]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7973
10:04 AM Changeset in ghc [8c846f71]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix substitution but in liftCoSubst (Trac #7973) Iavor uncovered this subtle omission in liftCoSubst. The problem and its solution are desribed in Note [Substituting kinds in liftCoSubst]
4:30 AM Building/GettingTheSources edited by domtheo
(diff)
4:26 AM SafeHaskell edited by domtheo
(diff)
4:23 AM ViewPatterns edited by domtheo
(diff)
12:27 AM Ticket #7974 (Panic on a context with additional variable) created by monoidal
File: […] Result with HEAD: […] I got it by attempting to …

Jun 9, 2013:

9:40 PM Ticket #7964 (GADTs in Haskell98 style) closed by goldfire
invalid: Sounds like this is resolved then. I'll close the ticket. If I've missed …
7:49 PM Changeset in ghc [31b2706]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't create mk/stamp-h I don't think we are using it for anything any more.
7:14 PM Changeset in ghc [4c497724]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Rarrange the distclean list; part of #7941
6:24 PM Changeset in ghc [96eca81]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change how we check that we have a suitable 'make' We now check in the same way that the testsuite does.
5:56 PM Changeset in ghc [22690c99]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove ghc.spec It doesn't look like it would work now, and doesn't really belong in the GHC tree anyway.
2:52 PM Changeset in ghc [68ba223]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix a comment
1:48 PM Changeset in ghc [f7c8c3d4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only
1:30 PM Commentary/Rts/Storage/GC/RememberedSets edited by igloo
(diff)
12:24 PM Ticket #7902 (Add support for byte endianness swapping exposed as a primops) closed by igloo
fixed: Applied, thanks!
12:18 PM Changeset in ghc [63889324]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
11:53 AM Changeset in ghc [cb5a00c7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix cgrun072
11:53 AM Changeset in testsuite [4122100]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix cgrun072
11:41 AM Changeset in ghc [86ca77e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix warnings
11:12 AM Changeset in ghc [c5d5e3a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:12 AM Changeset in testsuite [95996c1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
add test for the new bswap primops Patch from Vincent Hanquez.
11:10 AM Changeset in ghc [1c5b051]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add support for byte endian swapping for Word 16/32/64. * Exposes bSwap{,16,32,64}# primops * Add a new machops MO_BSwap * Use a Stg implementation (hs_bswap{16,32,64}) for other implementation in NCG. * Generate bswap in X86 NCG for 32 and 64 bits, and for 16 bits, bswap+shr instead of using xchg. * Generate llvm.bswap intrinsics in llvm codegen. Patch from Vincent Hanquez.
11:06 AM Changeset in ghc [da7db199]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:06 AM Changeset in ghc-prim [585bdc6]ghc-7.8 by Ian Lynagh <ian@…>
add other architecture for bswap in a form of Stg functions. Patch from Vincent Hanquez
11:01 AM Changeset in base [3ef0f91]data-proxyghc-7.8 by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
11:01 AM Changeset in ghc [5ae2385]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
expose new Word operation to swap endianness for Word{16,32,64} Patch from Vincent Hanquez.
1:30 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) closed by diatchki
duplicate: This is the same as #7973.
1:28 AM Ticket #7973 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
1:27 AM Ticket #7972 (Simplifier introduces unbound kind variables (caught by -dcore-lint)) created by diatchki
I encountered a problem in GHC (happens with 7.6.3 and HEAD), where …
12:11 AM Changeset in ghc [16dc39eb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Austin Seipp <aseipp@…>
Outline 7.8.1 release notes. Signed-off-by: Austin Seipp <aseipp@pobox.com>

Jun 8, 2013:

8:35 PM Changeset in base [86c5358]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:35 PM Changeset in ghc [f177fdb9]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Use atomicModifyIORef' rather than atomicModifyIORef I don't know of any particular problems that this fixes, but as far as I know it's not wrong, and it should be safer.
8:28 PM Ticket #7653 (incorrect handling of StackOverflow exception in the event manager) closed by igloo
fixed: Fixed by […]
8:10 PM Changeset in base [9450515]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:10 PM Changeset in ghc [c7ef98d]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Replace all atomicModifyIORef calls in GHC.Event.TimerManager with atomicModifyIORef' calls. I'm not sure if it was causing any problems, but I don't think there's any reason they couldn't be strict, and it's safer this way.
8:09 PM Changeset in base [13ac46d]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add a test for #7653
8:09 PM Changeset in ghc [bbf6c02]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Add a test for #7653
7:43 PM Changeset in ghc [98265b39]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:43 PM Changeset in testsuite [ea99af5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update expected perf results Reason for changes unknown.
7:35 PM Changeset in base [e843e73]data-proxyghc-7.8 by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
7:35 PM Changeset in ghc [2d5eccdf]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653.
5:54 PM Changeset in base [1f81187]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
5:54 PM Changeset in ghc [55a5f05d]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Remove uses of RecordWildCards in GHC.Event.TimerManager
4:06 PM Changeset in base [ddbe37f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
4:06 PM Changeset in ghc [68288cf9]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Change a use of atomicModifyIORef to atomicModifyIORef' Resulting core is unchanged.
3:22 PM Ticket #7971 (doesDirectoryExist description differs from its behavior) created by dsf
The documentation for doesDirectoryExist should read: The operation …
2:36 PM Ticket #7718 (ios patch no 8: adjustor pools) closed by igloo
fixed: OK, thanks Stephen. I've applied a slightly simplified version of the …
2:22 PM Changeset in ghc [972c044d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
use libffi for iOS adjustors; fixes #7718 Based on a patch from Stephen Blackheath.
1:55 AM Ticket #7970 (Thread GC frees roots before thread actually finishes) created by joeyadams
In the following program, an IORef is garbage collected after a …

Jun 7, 2013:

9:41 PM Ticket #7739 (Testsuite failures for HPC way tests on Windows) closed by igloo
fixed: The tix and exe.tix files are now cleaned in pretest_cleanup, so I …
9:37 PM Changeset in ghc [0d860381]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Improve the version numbers generated by the build system If we can't find a better date to use, then use today's date.
5:16 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:26 PM Commentary/Compiler/TypeType edited by simonpj
(diff)
1:47 PM Ticket #7969 (-ddump-minimal-imports should preserve imports required to implement ...) created by dsf
If a module contains a "deriving instance Show Foo" declaration, the …
11:31 AM Commentary/Compiler/TypeType edited by erikd
un-wiki ByteArray?# (diff)
11:26 AM Ticket #7968 (fft2 benchmark sometimes fails (nofib)) created by jstolarek
I noticed that sometimes fft2 program in nofib benchmark suite returns …
10:40 AM Changeset in base [d4d008b]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:40 AM Changeset in ghc [374fcdd0]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Add an import to fix build ordering
10:12 AM Commentary/Compiler/TypeType edited by erikd
Update Type representation to refect GHC 7.7.20130606 (diff)
10:01 AM Commentary/Compiler/TypeType edited by erikd
fix typoes (diff)
8:03 AM Ticket #7894 (Crash on :i M.->) closed by simonpj
fixed: The panic in OccName.isDataOcc looked like this: […] I see no good …
8:00 AM Changeset in ghc [b52a0a2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7894
8:00 AM Changeset in testsuite [2449037]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7894
6:19 AM ViewPatterns edited by guest
removed spam (diff)

Jun 6, 2013:

9:13 PM Ticket #7967 (With dependent types, error reported in seemingly unrelated function) created by goldfire
In doing some routine dependently typed hackery, I wrote the following: …
7:29 PM Changeset in ghc [a28731b3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Edward Z. Yang <ezyang@…>
Add --show-options to list all flags (Fixes #7843)
7:13 PM Building/RunningTests/Running edited by dterei
Make a little more concise (diff)
7:06 PM Changeset in ghc [09de957]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update readme to markdown and expand.
7:06 PM Changeset in testsuite [a3828255]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update readme to markdown and expand.
7:05 PM Changeset in ghc [cc1b579]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in testsuite [bc45165]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Allow fast from top level makefile.
7:05 PM Changeset in ghc [6599d469]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by David Terei <davidterei@…>
Update gitignore.
7:05 PM Changeset in testsuite [dcb92f7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Update gitignore.
5:31 PM Changeset in base [5bd176f]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix import warnings
5:31 PM Changeset in ghc [4c6faba]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix import warnings
4:55 PM Changeset in ghc [cfe92a8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove old representation of CSEnv; part of #5996
3:23 PM Changeset in ghc [c0e4eefe]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in compiler/simplCore/CSE.lhs
1:38 PM Changeset in base [b801f5f]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in base [6d1b0d6c]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in base [2227e5e]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in base [a97ebe3]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in base [9b7c1b1]data-proxyghc-7.8 by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:38 PM Changeset in ghc [8d87b5bf]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Re-jig SOURCE imports * Do not have have an hs-boot file for Data.Typeable * Instead make all the loops go through GHC.Err (just a couple of magic functions) GHC.Exception (some non-exceptional functions) The main idea is a) don't involve classes in the hs-boot world b) loop through error cases where performance doesn't matter c) be careful not to SOURCE import things that are bottom, unless MkCore knows about them in eRROR_IDS, so that we see their strictness
1:38 PM Changeset in ghc [a8ede1e9]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Revert accidental change
1:38 PM Changeset in ghc [b3afa0a]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Make GHC.Err depend on GHC.Integer GHC relies internally on GCh.Integer.Type.mkInteger from integer-gmp, but the dependency isn't visible to the build system, so we need to add it here.
1:38 PM Changeset in ghc [ad6696e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
Comments
1:38 PM Changeset in ghc [404327a9]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Peyton Jones <simonpj@…>
GHC.Err is no longer a boot module; no GHC/Err.lhs-boot
1:32 PM Changeset in ghc [70ceb7b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:32 PM Changeset in testsuite [2d01b47]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Simplifier trace wibbles for cardinality analysis
1:29 PM Changeset in ghc [9616743]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Take proper account of over-saturated functions in CoreUnfold
1:29 PM Changeset in ghc [7f2a10f4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Better computeDiscount for ValAppCtxt
1:29 PM Changeset in ghc [821b077]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Traces and comments only
1:29 PM Changeset in ghc [3e7e5ba8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use checkRecTc to improve demand analysis slightly We now look inside one layer of recursive types, thanks to checkRecTc. It does mean we need an additional environment field, ae_rec_tc. I also commented out the apparently over-conservative test at coercions. I'm not 100% sure I'm right here, but I can't see why the simpler code will go wrong, so I'm going to suck it and see.
1:29 PM Changeset in ghc [66733860]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Transfer strictness on trivial right-hand sides See Note [Trivial right-hand sides]
1:29 PM Changeset in ghc [4669c9e6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add important missing case for bothCPR If either side diverges, both do!
1:29 PM Changeset in ghc [b2ba8ae]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make the simplifier propagate strictness through casts E.g. (f e1 |> g) e2 If f is strict in two aguments, we want to see that in e2 Hence ArgSpec in SimplUtils
1:29 PM Changeset in ghc [6265312]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles (merg-os) to ticky-ticky
1:29 PM Changeset in ghc [a1a67b5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add TyCon.checkRecTc, and use in in typeArity This just formalises an abstraction we've been using anyway, namely to expand "recursive" TyCons until we see them twice. We weren't doing this in typeArity, and that inconsistency was leading to a subsequent ASSERT failure, when compiling Stream.hs, which has a newtype like this newtype Stream m a b = Stream (m (Either b (a, Stream m a b)))
1:29 PM Changeset in ghc [9b817e5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove bogus-looking check, which was causing Trac #7894
1:29 PM Changeset in ghc [99d4e5b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Implement cardinality analysis This major patch implements the cardinality analysis described in our paper "Higher order cardinality analysis". It is joint work with Ilya Sergey and Dimitrios Vytiniotis. The basic is augment the absence-analysis part of the demand analyser so that it can tell when something is used never at most once some other way The "at most once" information is used a) to enable transformations, and in particular to identify one-shot lambdas b) to allow updates on thunks to be omitted. There are two new flags, mainly there so you can do performance comparisons: -fkill-absence stops GHC doing absence analysis at all -fkill-one-shot stops GHC spotting one-shot lambdas and single-entry thunks The big changes are: * The Demand type is substantially refactored. In particular the UseDmd is factored as follows data UseDmd = UCall Count UseDmd | UProd [MaybeUsed] | UHead | Used data MaybeUsed = Abs | Use Count UseDmd data Count = One | Many Notice that UCall recurses straight to UseDmd, whereas UProd goes via MaybeUsed. The "Count" embodies the "at most once" or "many" idea. * The demand analyser itself was refactored a lot * The previously ad-hoc stuff in the occurrence analyser for foldr and build goes away entirely. Before if we had build (\cn -> ...x... ) then the "\cn" was hackily made one-shot (by spotting 'build' as special. That's essential to allow x to be inlined. Now the occurrence analyser propagates info gotten from 'build's stricness signature (so build isn't special); and that strictness sig is in turn derived entirely automatically. Much nicer! * The ticky stuff is improved to count single-entry thunks separately. One shortcoming is that there is no DEBUG way to spot if an allegedly-single-entry thunk is acually entered more than once. It would not be hard to generate a bit of code to check for this, and it would be reassuring. But it's fiddly and I have not done it. Despite all this fuss, the performance numbers are rather under-whelming. See the paper for more discussion. nucleic2 -0.8% -10.9% 0.10 0.10 +0.0% sphere -0.7% -1.5% 0.08 0.08 +0.0% -------------------------------------------------------------------------------- Min -4.7% -10.9% -9.3% -9.3% -50.0% Max -0.4% +0.5% +2.2% +2.3% +7.4% Geometric Mean -0.8% -0.2% -1.3% -1.3% -1.8% I don't quite know how much credence to place in the runtime changes, but movement seems generally in the right direction.
1:29 PM Changeset in ghc [507c897]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments about the Name Cache
1:29 PM Changeset in ghc [da4ff65]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments and white space only
12:47 PM Ticket #7959 (Panic on deriving nullary typeclass) closed by simonpj
fixed
12:45 PM Changeset in ghc [9e7d0dcb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:45 PM Changeset in testsuite [d61cc89]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:41 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Thanks; they should all be added now.
12:39 PM Changeset in ghc [e36f28b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:39 PM Changeset in testsuite [d8296b1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add missing files from #7702's test
12:25 PM Ticket #7966 ('make distclean' does not work in nofib) created by jstolarek
I noticed that make distclean and make maintainer-clean don't work for …
7:40 AM GhcKinds/PolyTypeable edited by dreixel
(diff)
7:25 AM Ticket #7965 (The 'impossible' happened!) closed by simonpj
duplicate: Thanks. Yes, it's GHC's most often-reported bug (just search the Trac), …
1:35 AM Ticket #7965 (The 'impossible' happened!) created by adit
I'm working on a haskell package (code here: …

Jun 5, 2013:

9:18 PM Ticket #7964 (GADTs in Haskell98 style) created by wvv
it would be nice if it is possible to write GADTs in Haskell98 style, like …
7:32 PM Ticket #7963 (-ddump-minimal-imports should preserve "hiding" imports) created by dsf
An input file like […] compiled with -ddump-minimal-imports produces …
5:17 PM Changeset in ghc [99da484e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7959
5:17 PM Changeset in testsuite [c746681e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7959
5:16 PM Changeset in ghc [967f7469]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix panic on deriving a nullary typeclass (#7959)
5:04 PM Changeset in ghc [ac785e6c]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
4:54 PM Changeset in ghc [4770877]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Imrove Lint to check unfoldings
4:47 PM Changeset in ghc [fc60a54]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [bd321fc]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [fafaa28]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:36 PM Changeset in ghc [7f0de92]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
12:35 PM Changeset in ghc [fb3bbcf]th-new-7.6 by Geoffrey Mainland <mainland@…>
Untabify
3:31 AM Ticket #7962 ("ghc -e <invalid expression>" should return non-zero exit status) created by timmaxw
When GHC is run in expression-evaluation mode (i.e. with the "-e" flag) …
2:37 AM Ticket #7961 (Remove restrictions on promoting GADT's) created by danharaj
(Also allow the promotion of data types whose kind is not (* -> ... -> *)) …

Jun 4, 2013:

10:19 PM KindSystem edited by goldfire
(diff)
10:18 PM KindSystem edited by goldfire
(diff)
8:28 PM Ticket #7509 (Changing the second prompt. :{ modules| No setting available to change.) closed by igloo
fixed: All applied, thanks!
8:27 PM Changeset in ghc [2642fe6a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update docs for "set prompt2"
8:13 PM Ticket #7702 (Memory Leak in CoreM (CoreWriter)) closed by igloo
fixed: Applied, thanks!
7:52 PM Changeset in ghc [d43d63f5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix thunk leak in CoreM's CoreWriter
7:52 PM Changeset in ghc [557fa200]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Remove some cruft
7:52 PM Changeset in testsuite [1ad2fda]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Remove some cruft
7:51 PM Changeset in ghc [753ab0b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Performance test for Trac #7702
7:51 PM Changeset in testsuite [3dfc05e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Performance test for Trac #7702
7:31 PM Changeset in ghc [cef115f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only
7:31 PM Changeset in ghc [9ac83e95]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Reformat help message for `:show` to fit into 80 cols again.
7:30 PM Changeset in ghc [22e5b884]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Formatting only: fix alignment.
7:30 PM Changeset in ghc [bc44435]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add the ability to customize the continuation prompt. - Remove unused property `def_prompt`.
6:40 PM Ticket #7859 (runghc should give an error when the path to ghc is invalid) closed by igloo
fixed: We now get: […]
6:13 PM Changeset in ghc [65b35319]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7859
6:13 PM Changeset in testsuite [c6e9f29]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7859
11:41 AM Ticket #7960 (Compiling profiling CCS registration .c file takes far too long) created by duncan
When compiling executables for profiling, ghc generates a .c file …

Jun 3, 2013:

6:28 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
6:27 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:54 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
3:37 PM ExplicitTypeApplication edited by Hamidhasan
(diff)
2:51 PM Ticket #7959 (Panic on deriving nullary typeclass) created by monoidal
[…] Both data A deriving C and deriving instance C cause panic. …
12:20 PM Changeset in ghc [9a2f8ccc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [a7403029]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [f39ca29]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:20 PM Changeset in ghc [f05cbb1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Untabify
12:15 PM Changeset in process [2cdacc6]ghc-7.8 by Geoffrey Mainland <mainland@…>
Fix warning about unused result. This error was breaking validate on Linux for me.
11:57 AM Ticket #7958 ('Cannot continue after interface file error' during compilation) created by jstolarek
I'm trying to compile …
8:20 AM Ticket #7957 (-ddump-minimal-imports should honour -outputdir) created by hvr
When enabling the -ddump-minimal-imports feature for emitting …
2:49 AM Ticket #7956 (ghci segfaults with -vN command-line options) created by mvanier
Invoking ghci with the -vN options (-v0, -v1, -v2, -v3) segfaults.

Jun 2, 2013:

9:18 PM Changeset in process [2b87e24]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 on Windows
9:13 PM Changeset in process [0c4f7b1]ghc-7.8 by Ian Lynagh <ian@…>
Add Windows output for process004 and process010
8:19 PM Changeset in process [206fd81]ghc-7.8 by Ian Lynagh <ian@…>
Fix build on Windows
8:10 PM Changeset in process [a079a25]ghc-7.8 by Ian Lynagh <ian@…>
Fix process004 following the error improvements
7:57 PM Changeset in process [6cdeb1e]ghc-7.8 by Ian Lynagh <ian@…>
Fix process010 on OS X true and false aren't in /bin on OS X. Now we don't hardcode the path.
7:01 PM Changeset in process [06bb9851]ghc-7.8 by Ian Lynagh <ian@…>
Add a test for better exceptions when ewxecuting programs
6:47 PM Changeset in process [df810a5]ghc-7.8 by Ian Lynagh <ian@…>
Give more meaningful error message when trying to run programs On non-Windows, the child thread now comunicates any errors back to the parent thread via pipes.
5:34 PM Ticket #7955 (CApiFFI doesn't produce wrappers for #defined values in GHCi) created by merijn
When using the FFI's capi calling convention to get access to #defined …
5:29 PM Ticket #7954 (Strictness analysis regression) created by chad.scherrer
The sum function from the Prelude relies on GHC's strictness analysis. …
5:00 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
5:00 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) closed by monoidal
duplicate: See #7949
3:07 PM Changeset in process [c018c63]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:36 PM Changeset in process [f45bb7b]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
2:09 PM Changeset in process [5933e48]ghc-7.8 by Ian Lynagh <ian@…>
Add some braces for clarity
2:08 PM Changeset in process [95e17b4]ghc-7.8 by Ian Lynagh <ian@…>
Whitespace only
12:25 PM Changeset in ghc [8c4d1eac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix a comment Make expands things even in comments
11:47 AM Changeset in base [5fe76f3]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:47 AM Changeset in ghc [f3c261bc]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Remove some unnecessary SOURCE imports
11:43 AM Changeset in base [4b0addb]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Remove an import loop
11:43 AM Changeset in ghc [889b5bb]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Remove an import loop

Jun 1, 2013:

6:16 PM Changeset in ghc [f83994e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a comment

May 31, 2013:

10:57 PM Ticket #7715 (threadDelay causes segfault on Mac if compiled by 32bit GHC) closed by kazu-yamamoto
duplicate: This ticket was moved to: #7953
6:01 PM Changeset in base [d901b4c]data-proxyghc-7.8 by Austin Seipp <aseipp@…>
Add tests for kind-polymorphic Control.Category Signed-off-by: Austin Seipp <aseipp@pobox.com>
6:01 PM Changeset in ghc [de1ae80b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Austin Seipp <aseipp@…>
Add tests for kind-polymorphic Control.Category Signed-off-by: Austin Seipp <aseipp@pobox.com>
4:22 PM Changeset in ghc [da345e4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Use the symmetric version of the newtype coercion.
3:12 PM Changeset in ghc [fc9229df]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Build statically when using LLVM. The LLVM back end does not yet work when building dynamically.
2:25 PM Ticket #7953 (Segfault on x86 with -O2) created by igloo
First reported by Kazu Yamamoto in …
10:51 AM TemplateHaskell/Typed edited by gmainland
(diff)
2:58 AM Changeset in base [14bd3c1a]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Redo and cleanup the change replacing `unsafe*` with `toSing`
2:58 AM Changeset in ghc [dac845cb]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Redo and cleanup the change replacing `unsafe*` with `toSing`
1:25 AM Changeset in base [a9a9ce6]data-proxyghc-7.8 by Ross Paterson <ross@…>
add Foldable and Traversable instances for Either a and (,) a Agreed in January 2011, but not implemented: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/15196 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/17686 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19594
1:25 AM Changeset in ghc [cb2f2d4]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ross Paterson <ross@…>
add Foldable and Traversable instances for Either a and (,) a Agreed in January 2011, but not implemented: http://thread.gmane.org/gmane.comp.lang.haskell.libraries/15196 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/17686 http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19594

May 30, 2013:

11:41 PM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) closed by igloo
fixed: Applied, thanks!
11:41 PM Ticket #7945 (Fix build on platform which does not support shared libraries.) closed by igloo
fixed: Applied, thanks!
11:08 PM Changeset in base [216d590]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Revert "Add code to convert from representation types, to existentially quantified singletons." This reverts commit f7fb908ad963f7180c30b55fba57a858b0391de4. It causes a valdiate failure: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: f_aqM (x_aqF `cast` (GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> :: GHC.TypeLits.SingI k_aKs n_aKt ~# GHC.TypeLits.Sing k_aKs n_aKt)) From-type of Cast differs from type of enclosed expression From-type: GHC.TypeLits.SingI k_aKs n_aKt Type of enclosed expr: GHC.TypeLits.Sing k_aHe n_aHf Actual enclosed expr: x_aqF Coercion used in cast: GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> *** Offending Program *** [...]
11:08 PM Changeset in ghc [3730af0]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Revert "Add code to convert from representation types, to existentially quantified singletons." This reverts commit f7fb908ad963f7180c30b55fba57a858b0391de4. It causes a valdiate failure: *** Core Lint errors : in result of Simplifier *** <no location info>: Warning: In the expression: f_aqM (x_aqF `cast` (GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> :: GHC.TypeLits.SingI k_aKs n_aKt ~# GHC.TypeLits.Sing k_aKs n_aKt)) From-type of Cast differs from type of enclosed expression From-type: GHC.TypeLits.SingI k_aKs n_aKt Type of enclosed expr: GHC.TypeLits.Sing k_aHe n_aHf Actual enclosed expr: x_aqF Coercion used in cast: GHC.TypeLits.NTCo:SingI[0] <k_aKs> <n_aKt> *** Offending Program *** [...]
10:07 PM Changeset in ghc [8e51a7ab]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
add arm-unknown-linux to platforms which do not support shared libs This patch disables shared libs support on arm-unknown-linux platform. It unbreaks ghc-stage2 on this platform after recent Ian's changes in dynamic/shared libs domain. The reason why ghc-stage2 fails when linked with shared libs is still unknown so this is just a workaround at the moment, but it at least recovers previous "correct" behavior of ghc-stage2 on ARM/Linux
10:07 PM Changeset in ghc [192a8f9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
set DYNAMIC_GHC_PROGRAMS to NO if platform does not support shared libs
9:03 PM Changeset in ghc [d0ecba6]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix a trailing case in making FamInstTyCon, where the invariant didn't hold, leading to subsequent chaos. Happily an ASSERT caught it.
9:03 PM Changeset in ghc [3d81b68]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Define chkAppend, and use it Somtimes we need (xs ++ ys) in situations where ys is almost always empty. Utils.chkAppend checks for that case first.
8:26 PM NewAxioms edited by goldfire
(diff)
8:25 PM NewAxioms/ClosedTypeFamilies edited by goldfire
(diff)
8:25 PM NewAxioms/ClosedTypeFamilies created by goldfire
8:13 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
7:40 PM Changeset in ghc [7849266c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:38 PM Changeset in ghc [26c7d94]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Run ghc-pkg check during validate Should help to track down cache-out-of-date problems
6:18 PM Changeset in ghc [896d0f1a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
When verbose, give more information about cache status
4:20 PM Changeset in ghc [ac330cb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Add a primitive for coercing values into dictionaries in a special case. The details of this are described in Note [magicSingIId magic] in basicTypes/MkId.lhs
3:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:38 PM NewAxioms/Nonlinearity edited by sweirich
(diff)
3:37 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:34 PM NewAxioms/Nonlinearity edited by sweirich
(diff)
3:18 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:15 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
3:12 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:51 PM Ticket #7786 (strange errors when deducing constraints) closed by simonpj
fixed
2:48 PM Changeset in base [898fd6c]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
2:48 PM Changeset in ghc [822ce01e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
2:22 PM Changeset in ghc [bc5bf1b3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove an out-of-date comment
2:20 PM Ticket #7931 (Deriving Read of an empty datatype crashes) closed by simonpj
fixed: OK done. Do you want to look at #7401? Simon
2:19 PM Changeset in ghc [5b08752]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix test for Trac #7931
2:19 PM Changeset in testsuite [f35851f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix test for Trac #7931
2:18 PM Changeset in ghc [71178ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Remove CatPairs test. It's causing a failure. It should probably go in the tests for base anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:18 PM Changeset in testsuite [286314f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Remove CatPairs test. It's causing a failure. It should probably go in the tests for base anyway. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2:12 PM Changeset in ghc [30059bd8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Read for empty data types (again; Trac #7931)
2:03 PM Changeset in ghc [9051d7fc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test DerivingNewType now passes (c.f. Trac #4185)
2:03 PM Changeset in testsuite [245e5c4d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test DerivingNewType now passes (c.f. Trac #4185)
1:43 PM Ticket #7797 (re-enable the defun RULE from a SPECIALISE instance pragma) closed by simonpj
fixed: Finally done! I hope this will improve some old regressions. Simon
1:30 PM Ticket #7785 (Module-local function not specialized with ConstraintKinds) closed by simonpj
fixed: Thanks for pointing this out. I've fixed it now. Simon
1:29 PM Changeset in ghc [967f6852]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make test for T7903 a bit harder!
1:29 PM Changeset in ghc [56f4215e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7785
1:29 PM Changeset in testsuite [029a95a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make test for T7903 a bit harder!
1:29 PM Changeset in testsuite [8854b27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7785
1:29 PM Changeset in ghc [2e7d1fd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7809
1:29 PM Changeset in testsuite [0d3fcf2f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7809
1:28 PM Changeset in ghc [4112b1f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Whoops. :( Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:28 PM Changeset in testsuite [e0481fc]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Whoops. :( Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:26 PM Changeset in ghc [4316bc3f]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Austin Seipp <aseipp@…>
Add test for polykinded Control.Category. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:26 PM Changeset in testsuite [ae9f9737]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Austin Seipp <aseipp@…>
Add test for polykinded Control.Category. Signed-off-by: Austin Seipp <aseipp@pobox.com>
1:21 PM Ticket #4185 (Deriving higher-arity instances for newtype family instances fails) closed by simonpj
fixed: Sorry it has taken so long, but finally done! Simon
1:20 PM Ticket #7903 (Failure to find class instance specified with extra parentheses) closed by simonpj
fixed: OK I think I've done it. This is a very unsavoury part of the compiler. …
1:17 PM Ticket #7809 (Silly error message suggesting LiberalTypeSynonyms) closed by simonpj
fixed
1:16 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:15 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:09 PM TemplateHaskell/Typed edited by gmainland
(diff)
1:07 PM Changeset in ghc [0a5065a8]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibble to error message
1:07 PM Changeset in ghc [182e34b4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #4185
1:07 PM Changeset in testsuite [d9f7af8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to error message
1:07 PM Changeset in testsuite [c4ea06f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #4185
1:06 PM Changeset in ghc [827cc50]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Eta-reduce data/newtype family instance axioms (Trac #4185) This long-overdue fix arranges to eta-reduce the axiom for a data/newtype instance in the same way that we have longq eta-reduced the axiom for a newtype. See Note [Eta reduction for data family axioms] in TcInstDcls and Note [Deriving, type families, and partial applications] in TcDeriv.
1:03 PM Changeset in ghc [8d49ef1]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use new TcHsType.zonkSigType to establish Type invariants Finally (I hope) fixes Trac #7903. See Note [Zonking inside the knot] in TcHsSyn
1:03 PM Changeset in ghc [936001c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve validity check to give better error message Fixes Trac #7809
1:03 PM Changeset in ghc [5949ff2d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refine 'type_determines_value' in Specialise. Fix Trac #7785. See Note [Type determines value] in Specialise.
12:48 PM Changeset in base [b1fc627]data-proxyghc-7.8 by Austin Seipp <aseipp@…>
Enable PolyKinds for Control.Category. This change will allow us to make various new things instances of Category, such as promoted tuples. Original discussion from libraries@haskell.org: http://www.haskell.org/pipermail/libraries/2012-August/018268.html Fell off the radar. No complaints in the 2 week period since being brought up again: http://www.haskell.org/pipermail/libraries/2013-May/019845.html Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:48 PM Changeset in ghc [95853c70]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Austin Seipp <aseipp@…>
Enable PolyKinds for Control.Category. This change will allow us to make various new things instances of Category, such as promoted tuples. Original discussion from libraries@haskell.org: http://www.haskell.org/pipermail/libraries/2012-August/018268.html Fell off the radar. No complaints in the 2 week period since being brought up again: http://www.haskell.org/pipermail/libraries/2013-May/019845.html Patch from Edward Kmett (essentially.) Authored-by: Edward Kmett <ekmett@gmail.com> Signed-off-by: Austin Seipp <aseipp@pobox.com>
12:28 PM Changeset in nofib [4445d7b]ghc-7.8 by Ian Lynagh <ian@…>
Default to 'ghc' rather than '$(HC)' for BOOT_HC It's likely that $(HC) won't have all the packages installed that we need to compile nofib-analyse. Whatever ghc is in the path is a better bet.
11:09 AM Changeset in ghc [762b7775]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Re-increase the (erratic) max-bytes-used bound for T3294
11:09 AM Changeset in testsuite [7456a2b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Re-increase the (erratic) max-bytes-used bound for T3294
11:09 AM Changeset in ghc [4039397]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7797
11:09 AM Changeset in testsuite [442cc21]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7797
11:08 AM Changeset in ghc [1ed04090]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make 'SPECIALISE instance' work again This is a long-standing regression (Trac #7797), which meant that in particular the Eq [Char] instance does not get specialised. (The *methods* do, but the dictionary itself doesn't.) So when you call a function f :: Eq a => blah on a string type (ie a=[Char]), 7.6 passes a dictionary of un-specialised methods. This only matters when calling an overloaded function from a specialised context, but that does matter in some programs. I remember (though I cannot find the details) that Nick Frisby discovered this to be the source of some pretty solid performanc regresisons. Anyway it works now. The key change is that a DFunUnfolding now takes a form that is both simpler than before (the DFunArg type is eliminated) and more general: data Unfolding = ... | DFunUnfolding { -- The Unfolding of a DFunId -- See Note [DFun unfoldings] -- df = /\a1..am. \d1..dn. MkD t1 .. tk -- (op1 a1..am d1..dn) -- (op2 a1..am d1..dn) df_bndrs :: [Var], -- The bound variables [a1..m],[d1..dn] df_con :: DataCon, -- The dictionary data constructor (never a newtype datacon) df_args :: [CoreExpr] -- Args of the data con: types, superclasses and methods, } -- in positional order That in turn allowed me to re-enable the DFunUnfolding specialisation in DsBinds. Lots of details here in TcInstDcls: Note [SPECIALISE instance pragmas] I also did some refactoring, in particular to pass the InScopeSet to exprIsConApp_maybe (which in turn means it has to go to a RuleFun). NB: Interface file format has changed!

May 29, 2013:

9:24 PM Ticket #7952 (Can cost-centre annotations be included in -ddump-simpl?) created by nr
I'm trying to diagnose an allocation problem. I'm using both explicit …
8:19 PM Records/OverloadedRecordFields/Plan created by adamgundry
6:28 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:28 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:27 PM Ticket #7949 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
5:41 PM Ticket #7948 (hp2ps --help typo) created by nomeata
Says       -c  colour ouput instead of       -c  colour output Patch …
3:02 PM Ticket #7947 (Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified ...) created by a.ulrich
The bug is triggered by the following minimal example. Types A.A and B.B …
2:38 PM NewAxioms edited by goldfire
(diff)
2:38 PM NewAxioms edited by goldfire
(diff)
2:36 PM NewAxioms/TypeSpaces created by goldfire
2:31 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
2:28 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
2:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:02 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:00 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:58 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:57 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:49 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:47 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:40 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:23 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
1:12 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:59 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
12:44 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:43 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:42 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
11:42 AM NewAxioms/Nonlinearity created by goldfire
11:28 AM NewAxioms edited by goldfire
(diff)
8:53 AM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) created by kgardas
This patch disables shared libs support on arm-unknown-linux platform. It …
8:49 AM Ticket #7945 (Fix build on platform which does not support shared libraries.) created by kgardas
The problem with current HEAD is that DYNAMIC_GHC_PROGRAMS = YES even if …
8:13 AM Changeset in testsuite [34a7f7b]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'overlapping-tyfams' of ssh://github.com/goldfirere/testsuite into overlapping-tyfams
8:12 AM Changeset in testsuite [50bfe9a]overlapping-tyfams by Richard Eisenberg <eir@…>
Fix test case to reflect banning nonlinear standalone instances.
4:49 AM Ticket #7944 (GHC goes into an apparently infinite loop at -O2) created by bos
I ran across a peculiar case this evening: a benchmark that I can't …

May 28, 2013:

8:34 PM Changeset in nofib [a0d10e4]ghc-7.8 by Ian Lynagh <ian@…>
Don't use -package array everywhere Only use it in benchmarks that use arrays
8:12 PM Changeset in nofib [d2711be]ghc-7.8 by Ian Lynagh <ian@…>
Fix booting again
7:52 PM Changeset in nofib [99351bc]ghc-7.8 by Ian Lynagh <ian@…>
We don't have to override WERROR now that we don't use the GHC build system
7:48 PM Changeset in nofib [730aa6b]ghc-7.8 by Ian Lynagh <ian@…>
Get the value of SplitObjs from the compiler we're using
7:36 PM Changeset in nofib [6e02493]ghc-7.8 by Ian Lynagh <ian@…>
Make the nofib build system independent of the GHC build system
7:31 PM Changeset in nofib [6d9c6d2]ghc-7.8 by Ian Lynagh <ian@…>
Build system: Remove unused DLL_PEN
7:28 PM Changeset in nofib [4a98a31]ghc-7.8 by Ian Lynagh <ian@…>
Remove doc-building support from the build system We don't build any docs in nofib
7:16 PM Changeset in nofib [0d78412]ghc-7.8 by Ian Lynagh <ian@…>
Remove build system code for multiple ways support It looks like it wasn't working anyway.
4:58 PM Changeset in nofib [59add55]ghc-7.8 by Ian Lynagh <ian@…>
Tweak the Makefiles
2:46 PM Changeset in nofib [70672f1]ghc-7.8 by Ian Lynagh <ian@…>
Change how we find a GHC to test We now do something similar to what the testsuite does.
2:27 PM Changeset in ghc [d82a628]overlapping-tyfams by Richard Eisenberg <eir@…>
Code compiles. Now, on to the testsuite. Also, documentation updated.
1:36 PM Changeset in nofib [cb6100f]ghc-7.8 by Ian Lynagh <ian@…>
Update a comment
1:34 PM Changeset in nofib [fbf1841]ghc-7.8 by Ian Lynagh <ian@…>
Remove some unused variables
1:08 PM Changeset in nofib [8b39ff5]ghc-7.8 by Ian Lynagh <ian@…>
Remove USE_NEW_MKDEPEND_FLAGS It was always YES anyway
1:04 PM Ticket #7943 (Malformed record leads to panic) closed by simonpj
fixed: Good point, thank you Simon
1:03 PM Changeset in ghc [3a596be]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7943
1:03 PM Changeset in testsuite [d401d27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7943
12:57 PM Changeset in nofib [301adc7]ghc-7.8 by Ian Lynagh <ian@…>
Remove references to MKDEPENDC It no longer exists
12:14 PM Changeset in ghc [cfb9bee7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Check for illegal syntax in types (fixes Trac #7943)
11:13 AM Changeset in ghc [e8fbb01]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed interface loading bug, and a few other little changes.
10:17 AM DefaultSuperclassInstances edited by simonpj
(diff)
10:14 AM DefaultSuperclassInstances edited by simonpj
(diff)
10:07 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:53 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:41 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:05 AM Changeset in testsuite [2858b49]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
9:04 AM Changeset in ghc [95633a69]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
8:50 AM Ticket #7937 (Misleading "Precedence parsing error" when using an undefined operator) closed by simonpj
fixed: Good point. The previous fix (in #2993) avoided a bogus error when the …
8:48 AM Ticket #7931 (Deriving Read of an empty datatype crashes) closed by simonpj
fixed: Good point, thanks. Simon
8:47 AM Ticket #7939 (RHS of associated type not kind-checked) closed by simonpj
fixed: I think the main error was fixed by my improvements to kind …
8:25 AM Changeset in ghc [b94e98a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Print kinds of non-* tyvar binders in pprTyThing This makes the output of :info more useful
8:25 AM Changeset in ghc [efc8ad15]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Give 'unboundName' a very low binding precedence This fixes Trac #7937
8:25 AM Changeset in ghc [cf7e2fa]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Accept derived Read on an empty data type (Trac #7931)
8:25 AM Changeset in ghc [3d0d8d0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do not do an ambiguity check on the type in a GHCi ":kind" command Otherwise we get errors for polykinded type families; type family F a :: * Then :k F would give an ambiguity check trying to unify (F k1) with (F k2), which is all a bit stupid. I found this when investigating Trac #7939
8:20 AM Changeset in ghc [02e0df0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7937
8:20 AM Changeset in testsuite [083397f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7937
7:59 AM Changeset in ghc [0d0c71e]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. The sources compile, but the libraries don't yet.

May 27, 2013:

11:22 PM Ticket #7943 (Malformed record leads to panic) created by scvalex
The following code makes GHC panic (note the extra String after B): …
9:45 PM Changeset in base [eb5cb1d]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
9:45 PM Changeset in ghc [083a45e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
9:44 PM Changeset in base [f7fb908]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Add code to convert from representation types, to existentially quantified singletons. The basic idea is like this: data SomeSing where SomeSing :: SingI n => Proxy n -> SomeSing toSing :: Integer -> Maybe SomeSing -- Maybe, so that we rejetc -ve numbers The actual implementation is a bit more complicated because `SomeSing` is actually parameterized by a kind, so we really have something akin `SomeSing k`. Also, `toSing` is a bit more general because, depending on the kind, the representation is different. For example, we also support: toSing :: String -> Maybe (SomeSing (KindParam :: KindIs Symbol)) This change relies on the primitive added to the compiler, which converts `Sing` values into `SingI` dictionaries. A nice benefit of this change is that, as far as I can see, we don't need `unsafeSinNat` and friends, so I removed them.
9:44 PM Changeset in ghc [02b9a24]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Iavor S. Diatchki <diatchki@…>
Add code to convert from representation types, to existentially quantified singletons. The basic idea is like this: data SomeSing where SomeSing :: SingI n => Proxy n -> SomeSing toSing :: Integer -> Maybe SomeSing -- Maybe, so that we rejetc -ve numbers The actual implementation is a bit more complicated because `SomeSing` is actually parameterized by a kind, so we really have something akin `SomeSing k`. Also, `toSing` is a bit more general because, depending on the kind, the representation is different. For example, we also support: toSing :: String -> Maybe (SomeSing (KindParam :: KindIs Symbol)) This change relies on the primitive added to the compiler, which converts `Sing` values into `SingI` dictionaries. A nice benefit of this change is that, as far as I can see, we don't need `unsafeSinNat` and friends, so I removed them.
9:04 PM Changeset in ghc [09a8a7fd]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint.
8:37 PM Changeset in ghc [4af50af]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
8:33 PM Changeset in ghc [0276b49]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint during compilation.
8:16 PM Changeset in ghc [adc50625]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to compile.
7:13 PM Ticket #7942 (aarch64 support in ghc) created by jcapik
Hello. Please, introduce the aarch64 support in ghc. The latest LLVM …
6:35 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) created by jstolarek
Running make maintainer-clean in the build tree doesn't remove all build …
4:33 PM Changeset in ghc [28207fb]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Explicit kinds in :info command ===> testsuite wibbles
4:33 PM Changeset in testsuite [3152092]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Explicit kinds in :info command ===> testsuite wibbles
4:32 PM Changeset in ghc [302b38b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7931
4:32 PM Changeset in testsuite [1ed0be8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7931
4:32 PM Changeset in ghc [d90640e7]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7939
4:32 PM Changeset in testsuite [254605d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7939
4:18 PM Ticket #7940 (Building GHC 7.7.20130526 (perf) for Windows x86_64 fails with Cmm lint ...) created by awson
Building GHC 7.7.20130526 for Windows x86_64 fails with the following …
3:20 PM Changeset in ghc [9b8dc72]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working in FamInst on newFamInst.
9:45 AM Ticket #7939 (RHS of associated type not kind-checked) created by goldfire
The following code compiles without complaint: […] We can see here …
9:41 AM Ticket #7938 (Unbound kind variable can appear in RHS of associated type) created by goldfire
Consider the following code: […] The kind variable k2 appears …
8:34 AM Changeset in ghc [3358270]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource
4:47 AM Ticket #7904 (GHC calls the cc1 of a gcc thats not the first in PATH) closed by carter
invalid: after much much digging, looks like its a cabal side problem
1:13 AM Ticket #7937 (Misleading "Precedence parsing error" when using an undefined operator) created by ktvoelker
I was using QuickCheck? and wrote something like this: a > 0 ==> a == b …

May 26, 2013:

8:38 PM Ticket #7936 (newStdGen leaks memory when result is not used) created by ryantrinkle
When newStdGen is invoked repeatedly without making any use of the …
8:32 PM Ticket #7729 (GHC panics. Invalid core) closed by simonpj
fixed: OK, thanks for checking! Simon
7:00 PM Ticket #7935 (Syntactic sugar for comonads) created by wvv
It could be useful to have this as extension. More details: …
5:53 PM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) closed by igloo
invalid: Aha, thanks for your diagnosis work. However, it looks like the problem …

May 25, 2013:

10:42 PM Changeset in ghc [2ea79ab]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Revert "Fix -dynamic-too on Windows" This reverts commit 5734f7afcc2b9acf857f8e0f745185bf01b91148. It didn't fully fix -dynamic-too on Windows
10:42 PM Changeset in ghc [20d8e8c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't try to use -dynamic-too on Windows It doesn't work
10:37 PM Ticket #7934 (usleep hangs, no threads) created by gelisam
import System.Posix.Unistd main = flip mapM_ [0..] $ \i -> do …
6:17 PM Changeset in ghc [6f36790b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add an echo target to the build system
1:15 PM Ticket #7933 (JavaScript Cmm backend) created by bosu
I'd like to RFC on the attached patch implementing JavaScript Cmm backend …
10:27 AM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) closed by igloo
worksforme: If you pass GHC the -v flag, then you can see what commands it's running, …
10:20 AM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) closed by igloo
wontfix: I think you're saying that Cabal doesn't tell GHC to use the cc-options
10:12 AM Ticket #7932 (haskell-src-exts should depend on happy) closed by igloo
invalid: Thanks for the report, but this is not a bug in GHC, so I'm closing this …
4:09 AM Ticket #7932 (haskell-src-exts should depend on happy) created by JasonGross
cabal-dev install haskell-src-exts-1.13.5 fails with a missing happy: $ …

May 24, 2013:

10:58 PM Changeset in ghc [41365ae]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource.lhs to add renaming of type space specifier.
10:33 PM Changeset in testsuite [198b2b8]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
10:33 PM Changeset in testsuite [50f37e9]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge commit '80cac9' into overlapping-tyfams
10:33 PM Changeset in testsuite [75b94f9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert ""Merged" master in advanced of implementing the new "Good"" This reverts commit 5ce0666058f1010cf94b14dde7f2985e10a3eb64.
10:25 PM Changeset in ghc [3e7a6815]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
10:20 PM Changeset in ghc [835b26f]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge commit '8366792' into overlapping-tyfams
10:17 PM Changeset in ghc [68db35e9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert ""Merged" master, in advance of implementing the new "Good"" This reverts commit 8d890e0e2af839a8a8dc3b360727cffe76372830.
10:17 PM Changeset in ghc [a405f3f1]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit de517abfc031fa3cb116af0bb63af98f3972f621.
5:05 PM Ticket #7931 (Deriving Read of an empty datatype crashes) created by monoidal
Standalone deriving Read of an empty datatype crashes: […] […] …
4:26 PM Ticket #7930 (Nested STM Invariants are lost) created by fryguybob
Invariants from a successful nested transaction should be merged with the …
4:01 PM Changeset in ghc [de517abf]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource.lhs to add renaming of type space specifier.
1:19 PM Changeset in testsuite [5ce0666]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master in advanced of implementing the new "Good"
1:15 PM Changeset in ghc [8d890e0]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master, in advance of implementing the new "Good"
10:13 AM Changeset in ghc [dcafadf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improve test T7916
10:13 AM Changeset in testsuite [1a3766b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improve test T7916
9:48 AM Changeset in ghc [d8dd3cf9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix crash with large objects (#7919) See comments for details.
8:04 AM Ticket #7927 (Error in 'lift' line causes the 'impossible' to happen) closed by simonpj
duplicate: Yes I think it's a dup of some combination of #7920, #7905, #7696, #7513. …
4:34 AM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) created by carter
This is a bug report version of a related ticket. As I discuss in …
1:00 AM Ticket #7928 (GHC fails to terminate while compiling with optimization level 2) created by Ptharien's Flame
When I try to compile random-fu-0.2.4.0 from Hackage, using the command: …

May 23, 2013:

11:13 PM Ticket #7927 (Error in 'lift' line causes the 'impossible' to happen) created by MitchellSalad
[…] This code caused the following output from GHC: […] The line …
8:27 PM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) closed by igloo
wontfix: I'm a little confused by some of the details in the history of this …
5:14 PM Changeset in ghc [ca78233]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
If the upcall thread is killed, RTS Schedule loop raises exception. Sanitized comments.

May 22, 2013:

10:42 PM Ticket #7926 (eventfd: unsupported operation when doing anything) created by guest
I'm using Debian jessie; sources.list is thus: {{{deb …
9:10 PM Ticket #7925 (ghc 7.4.2 builds with errors on Red Had Enterprise Linux 6) created by nr
GHC 7.4.2 builds on RHEL 6, but with three test failures. None of these …
7:48 PM Ticket #7924 (throwIO gets subsumed by a later imprecise exception) closed by simonpj
worksforme: It works for me with 7.4.2, oddly. Compiling with -O I get the "Boom" …
7:42 PM Changeset in ghc [c1d4cd7e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7924
7:42 PM Changeset in testsuite [6b30a32]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7924
5:10 PM Ticket #7916 (PolyKinds without type signatures) closed by simonpj
fixed: This patch is important too: […]
4:45 PM Changeset in ghc [78618d4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7916
4:45 PM Changeset in testsuite [91d5c4d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7916
4:44 PM Changeset in ghc [09b025e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to yesterday's "Simplify kind generalisation" patch In particular, in mkExport we must quantify over the kind variables mentioned in the kinds of the free type variables
4:44 PM Changeset in ghc [b80fcce]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment typo
1:40 PM Ticket #7924 (throwIO gets subsumed by a later imprecise exception) created by dmwit
The code below exits with exception "Boom" when compiled with no options …
1:07 PM Ticket #7913 (Argument order not preserved by nubBy) closed by igloo
duplicate: This is a duplicate of #2528, which also has some explanation of why …
12:19 AM Changeset in base [165f490]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
12:19 AM Changeset in ghc [8abb62b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base

May 21, 2013:

3:21 PM PrimBool edited by jstolarek
(diff)
3:05 PM Ticket #5863 (Deriving Typeable for data families) closed by dreixel
fixed: Fixed. The error now is: […] As apparently there is already a test …
2:12 PM Changeset in ghc [c311c2a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Update output for T2604
2:12 PM Changeset in testsuite [a4d191e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Update output for T2604
2:12 PM Changeset in ghc [fca24919]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Add test for T5863 As apparently there is already a test named T5863, I named this one T5863a.
2:12 PM Changeset in testsuite [48e8390]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add test for T5863 As apparently there is already a test named T5863, I named this one T5863a.
2:11 PM Changeset in ghc [9918965]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Test deriving Typeable for promoted data constructors with AutoDeriveTypeable
2:11 PM Changeset in testsuite [e5c5252]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Test deriving Typeable for promoted data constructors with AutoDeriveTypeable
2:11 PM Changeset in ghc [6806906]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Fix #5863
2:11 PM Changeset in ghc [6cc5bd79]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Jose Pedro Magalhaes <jpm@…>
Make AutoDeriveTypeable derive Typeable instances for promoted data constructors
12:52 PM Ticket #7914 (base library's MD5 symbols clash with others) closed by simonmar
fixed: Fixed: commit 749730c1617641ef0fba03f2703f99fa5c24f3d4 […]
12:42 PM Ticket #7909 (GHC doesn't respect -optl and -optc in a couple of places) closed by simonmar
fixed
12:40 PM Ticket #7907 (patch to make comment about stgclosure struct more accurate) closed by simonmar
fixed: Replying to igloo: > Why aren't we just defining StgClosure
12:38 PM Changeset in ghc [22574cf]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix comment (#7907)
12:38 PM Changeset in ghc [1d3fa86]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a problem caused by very large objects (#7919) As far as I can tell the bug should be harmless, apart from the failing assertion. Since the ticket reported crashes, there might be problems elsewhere that aren't triggered by this test case.
12:38 PM Changeset in ghc [1e2b378]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Handle -opt<blah> options more consistently (#7909) Now these are always added by the run<blah> functions in SysTools, so we never miss any out. Several cleanups resulted.
11:32 AM Changeset in ghc [61b57b26]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
We no longer quantify over an entirely-unused existential type variable
11:32 AM Changeset in ghc [47aebf9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add stderr output
11:32 AM Changeset in testsuite [081af6e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
We no longer quantify over an entirely-unused existential type variable
11:32 AM Changeset in testsuite [7dfb38d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add stderr output
11:32 AM Changeset in ghc [ea5bdfd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improved error message
11:32 AM Changeset in testsuite [65ac291]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improved error message
11:30 AM Changeset in ghc [ce89bde]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify kind generalisation, and fix Trac #7916 A buglet that exposed an opportunity for some welcome refactoring and simplification. Main changes * TcMType.zonkQuantifiedTyVars is replaced by quantifyTyVars, which does a bit more zonking (so that its clients do not need to) * TcHsType.kindGeneralise becomes a bit simpler, and hands off to quantifyTyVars * A bit of simplification of the hacky code in TcTyClsDcls.tcConDecl, where we figure out how to generalise the data constructor's type * Improve the error message from badExistential when a constructor has an existential type, by printing the offending type * Some consequential simplification in simplifyInfer.
10:13 AM PrimBool edited by jstolarek
(diff)
9:34 AM Changeset in base [749730c]data-proxyghc-7.8 by Simon Marlow <marlowsd@…>
Add an __hsbase_ prefix to the MD5 symbols (#7914)
9:34 AM Changeset in ghc [f47ea8e]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Simon Marlow <marlowsd@…>
Add an __hsbase_ prefix to the MD5 symbols (#7914)
2:19 AM Changeset in unix [c862e71]ghc-7.8 by Ian Lynagh <ian@…>
Move AC_SUBST([EXTRA_LIBS]) later in configure.ac I don't think that it matters, but putting it after all the places that alter EXTRA_LIBS is a little nicer.
2:17 AM Ticket #7921 (DSO linking bug in unix package) closed by igloo
worksforme: The unix package has a check for whether sem_close requires pthread

May 20, 2013:

11:46 PM Commentary/Rts/STM edited by fryguybob
Added commentary on STM (diff)
10:46 PM Ticket #7923 (Optimization for takeMVar/putMVar when MVar left empty) created by ezyang
Right now, we always add an MVar to the mutable list when we …
10:08 PM Changeset in base [91c2811]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Another build ordering fix
10:08 PM Changeset in ghc [d77b3a0]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Another build ordering fix
9:29 PM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) created by carter
currently when GHC is used as the compilation driver for C code, it will …
5:05 PM Changeset in ghc [7c4c48cf]type-nats by Iavor S. Diatchki <diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats
4:06 PM Changeset in ghc [5734f7af]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix -dynamic-too on Windows If we're building the dynamic way too, then hasCafRefs needs to check whether the dynamic way would use a dynamic name.
1:11 PM Ticket #7921 (DSO linking bug in unix package) created by SimonHengel
unix depends on libpthread, but it's not listed under …
1:05 PM Changeset in ghc [1227600]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Need to work around #7799 on all i386 platforms, not just Darwin
3:52 AM Debugging/InstallingPackagesInplace edited by domtheo
(diff)
12:27 AM Building/Troubleshooting edited by kazu-yamamoto
(diff)

May 19, 2013:

8:13 PM Ticket #7879 (validate in build tree fails due to problem copying haddock resources to ...) closed by igloo
fixed: Looks fine; I've applied the patch. Thanks again!
8:11 PM Ticket #7592 (Building the latest master branch on FreeBSD 9.1 fails) closed by igloo
fixed: I've added a link to the troubleshooting wiki page in the error message.
7:57 PM Building/Troubleshooting edited by igloo
(diff)
7:44 PM Changeset in ghc [83a9f4f4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refer to the wiki page in the "Make has restarted itself n times" error Fixes #7592.
5:42 PM Ticket #7834 (dyn way and INTEGER_LIBRARY=integer-simple) closed by igloo
fixed: Thanks for the report. Now fixed.
5:41 PM Ticket #7799 (Assembly error while building GHC 7.7) closed by igloo
fixed: Hmm, thanks Thorkil; very curious. I can't reproduce it here, but the …
4:54 PM Changeset in ghc [06bc377]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
More build fixes
4:48 PM Changeset in base [d6b6a0a]data-proxyghc-7.8 by Ian Lynagh <ian@…>
More build ordering fixes
4:48 PM Changeset in ghc [99058995]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
More build ordering fixes
4:47 PM Changeset in ghc [6acfc456]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
We can't use Integer literals when compiling the integer-* package, either
4:45 PM Changeset in ghc [52719ad0]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix build If we use "smallInteger 0#" in the definitions, then that turns into an Integer literal, but the compiler can't handle Integer literals while compiling the integer package (as it can't look up the mkInteger Id yet).
3:44 PM Changeset in base [dc2b8f7]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix build order when building with integer-simple The problem hasn't shown up with integer-gmp, but I can't see why it couldn't happen in that case too.
3:44 PM Changeset in ghc [aba043a0]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Fix build order when building with integer-simple The problem hasn't shown up with integer-gmp, but I can't see why it couldn't happen in that case too.
3:38 PM Changeset in ghc [bf6854b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix build problem: Error: junk `.get_pc_thunk.bx' after expression; trac #7799 Affects i386 only. Some gcc's generate code containing __i686, and then define that symbol to 1, which causes compilation to fail. We undef the symbol to work around it.
3:19 PM Changeset in ghc [fdd552e0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix a build problem with integer-simple We were trying to look up the mkInteger Id before we'd compiled the Integer modules. I'm not sure why this never showed up with integer-gmp; possibly we just always got lucky with the build order.
2:49 PM Changeset in ghc [f7e33ca]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add some extra debugging info
2:41 PM Changeset in ghc [e20dfbcd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Expose __word_encode{Float,Double}; fixes integer-simple build
2:39 PM Changeset in ghc [a4cc7b11]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused __2Int_encodeDouble
12:38 PM Changeset in ghc [26eee8d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for 2 trailing commas in the module export list
12:38 PM Changeset in testsuite [ae22bd3]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for 2 trailing commas in the module export list
12:36 PM Changeset in ghc [891857a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix parsing export lists We were accepting module ExportCommaComma (id, reverse,,) where where only 1 trailing comma should be permitted.

May 18, 2013:

11:47 PM Ticket #7920 (type-checker panic (kindFunResult)) closed by monoidal
duplicate: Thanks for the report. The bug is fixed in HEAD: […] The issue is …
10:30 PM Ticket #7920 (type-checker panic (kindFunResult)) created by roland
[…]
8:53 PM Changeset in ghc [a44978b9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update a comment; spotted by Carter Schonwald
11:46 AM Changeset in ghc [b519e00]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't try to make windows-installer It was removed in 9e4e2c24d1895ae81c92e4432b91026505827c96.

May 17, 2013:

8:31 PM Ticket #7919 (Heap corruption (segfault) from large 'let' expression) created by duncan
The attached test program reliably triggers an assertion in the storage …
3:50 PM Changeset in ghc [a08759d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Move the genSym stuff from rts into compiler It's no longer used by Data.Unique, so there's no need to have it in rts any more.
2:24 PM Ticket #7918 (SrcSpan's associated with expanded quasi-quotes are inconsistent) created by edsko
Consider […] In the expansion of [qq|a|] the source span for True
1:38 PM Changeset in ghc [8c6794ab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:38 PM Changeset in testsuite [89153a4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:35 PM Changeset in ghc [5888f61]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Make test cleaning a little more consistent
1:35 PM Changeset in testsuite [7f2eec6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make test cleaning a little more consistent
12:07 PM Ticket #7917 (update documentation of InstalledPackageInfo) created by Lemming
When writing a binding to a foreign package that does not support …
2:53 AM ViewPatterns edited by domtheo
(diff)
2:20 AM WorkingConventions edited by butoijoh
(diff)
2:19 AM Building/Porting edited by butoijoh
(diff)

May 16, 2013:

8:15 PM Changeset in ghc [c6a05a7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make dynamic GHC no Windows installable too We need different paths in the wrapper, as teh installed tree is a different shape to the build tree.
8:15 PM Changeset in ghc [8ed0bda]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't link base/rts/... into C wrapper programs
5:30 PM Ticket #7916 (PolyKinds without type signatures) created by monoidal
Consider […] I would expect GHC to infer the same type for g as for …
4:19 PM Ticket #7915 (Documentation uses deprecated record GADT syntax) closed by simonpj
fixed: Thank you! I've pushed it. Simon
4:19 PM Changeset in ghc [9fc2778c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Documentation: use new syntax for record GADTs (#7915)
4:12 PM TemplateHaskell/BlogPostChanges edited by simonpj
(diff)
4:12 PM Blog: New directions for Template Haskell edited by simonpj
4:10 PM TemplateHaskell edited by simonpj
(diff)
4:09 PM TemplateHaskell/BlogPostChanges created by simonpj
4:06 PM TemplateHaskell/Conversions edited by simonpj
(diff)
4:06 PM Commentary edited by simonpj
(diff)
4:05 PM TemplateHaskell edited by simonpj
(diff)
4:04 PM TemplateHaskell/Conversions edited by simonpj
Name changed from Commentary/Compiler/TemplateHaskell? to … (diff)
4:03 PM TemplateHaskell/Typed edited by simonpj
Name changed from Commentary/Compiler/TemplateHaskell/Typed? to … (diff)
4:03 PM TemplateHaskell edited by simonpj
(diff)
2:02 PM Debugging/InstallingPackagesInplace edited by monoidal
revert spam (diff)
2:00 PM WorkingConventions edited by monoidal
revert spam (diff)
2:00 PM Building/Porting edited by monoidal
revert spam (diff)
1:52 PM Ticket #7915 (Documentation uses deprecated record GADT syntax) created by monoidal
Trivial patch attached.
1:35 PM Changeset in testsuite [68acef7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Geoffrey Mainland <mainland@…>
Remove junk binary files that should not have been checked in.
11:14 AM Ticket #7268 (Explicit type signatures for top level record pattern matches polymorphism ...) closed by simonpj
fixed: I'm glad it's helpful. Thanks for pointing out the bug in the regression …
11:13 AM Changeset in ghc [cb5ed257]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Make the test actually test the bug! (Thanks to Martijn for correcting this oversight.)
11:13 AM Changeset in testsuite [2b1fefe]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make the test actually test the bug! (Thanks to Martijn for correcting this oversight.)
6:56 AM ViewPatterns edited by wagle
revert spam, again (diff)
3:22 AM Ticket #7914 (base library's MD5 symbols clash with others) created by bos
We have a large C++ application into which we are linking the GHC runtime. …
Note: See TracTimeline for information about the timeline view.