Timeline


and

Dec 1, 2012:

11:22 PM Changeset in ghc [0cb35b55]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Mac OS X 10.6 needed for pthread_threadid_np(), fixes #7356 Based on a patch from Thorkil Naur.
10:37 PM Changeset in ghc [1a3c0d3]overlapping-tyfams by Richard Eisenberg <eir@…>
Used a GADT to control appropriate use of functions on singleton axioms. The list of branches in CoAxioms and in FamInsts is now a BranchList b, where the type index b is either Branched or Unbranched. A handful of functions work only on singleton (unbranched) axioms, and with this change, the type checker verifies that we are calling these functions appropriately.
10:34 PM Changeset in unix [76dad7a]ghc-7.8 by Ian Lynagh <ian@…>
Fix putenv; trac #7342 We were freeing the string, but the string becomes part of the environment.
10:28 PM Changeset in base [b6b5fcb]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Add newFilePath to System.Posix.Internals Needed for #7342
10:28 PM Changeset in ghc [954ef66]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add newFilePath to System.Posix.Internals Needed for #7342
10:15 PM Ticket #7314 (GHCi 64-bit OS X segfaults on interaction with C-libraries) closed by darchon
worksforme: I've installed GHC 7.6.1 and can no longer duplicate the described …
10:00 PM Ticket #7469 (GHC does not report name clashes in export lists) created by Feuerbach
[…] There is a name clash here which GHC does not report.
9:20 PM Changeset in ghc [0ff5f40b]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master' into type-nats Conflicts: compiler/types/Type.lhs
8:21 PM Ticket #7467 (the impossible happened?) closed by monoidal
duplicate: Thank you for the report; it is a duplicate of the bug #5961 and already …
8:19 PM Ticket #7468 (incorect waiting for packets on UDP connections.) created by ET
Preconditions: Have an UDP server. Transform the socket into a handle. …
7:28 PM Ticket #7467 (the impossible happened?) created by guest
I've added this line to a .hs file: data Shape = Circle Float Float Float …
6:29 PM Changeset in ghc [61f770f6]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
isTauTy should be True for LitTy (see Trac #7459)
6:25 PM Changeset in ghc [b5ce9de]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove dead code predTreePredType
5:06 PM Changeset in ghc [fe1fce87]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
4:59 PM Changeset in ghc [959d5a9f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Added the docs/core-spec README
4:06 PM Changeset in ghc [81b7e587]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Added GHC formalism to the GHC source tree. As per a request from Simon PJ, I wrote up a formalism of the core language in GHC, System FC. The writeup lives in docs/core-spec. I also added comments to a number of files dealing with the core language reminding authors to update the formalism when updating the code. In the next commit will be a README file in docs/core-spec with more details of how to do this.
4:38 AM Ticket #7466 ([PATCH] integer-gmp silently ignores --with-gmp-* whenever it finds ...) created by PHO
integer-gmp's ./configure should not ignore …

Nov 30, 2012:

11:28 PM Changeset in ghc [0e789317]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix safePkg01
11:28 PM Changeset in testsuite [f639a1b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix safePkg01
10:45 PM Changeset in unix [e12ccd7]ghc-7.8 by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with) and remove code to support older versions
10:30 PM Changeset in ghc [ca327c20]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with)
9:44 PM Changeset in process [d10b168]ghc-7.8 by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with) and remove code to support older versions
8:46 PM Changeset in directory [2fcd701]ghc-7.8 by Ian Lynagh <ian@…>
Remove code for old, unsupported versions of GHC
8:44 PM Changeset in directory [d817739]ghc-7.8 by Ian Lynagh <ian@…>
Bump base lower version to 4.5 (the version GHC 7.4.1 came with)
7:36 PM Ticket #7465 (./configure --with--ffi-libraries: ld cannot find libffi in a non-standard ...) created by trommler
This ticket is to continue work on comment 19 to ticket #5743. The issue …
6:51 PM Changeset in ghc [cfb96960]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
6:50 PM Changeset in ghc [4ef1bd4e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update submodules
6:41 PM Changeset in ghc [16c2961]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Make some tests independent of the version number of the array package
6:41 PM Changeset in testsuite [b593173]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make some tests independent of the version number of the array package
5:56 PM Changeset in unix [3db0f40]ghc-7.8 by Ian Lynagh <ian@…>
Update dependencies
5:56 PM Changeset in directory [92fb0dc]ghc-7.8 by Ian Lynagh <ian@…>
Update dependencies
5:55 PM Changeset in ghc [d2ff25f8]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Update dependencies
5:26 PM Repositories edited by simonpj
(diff)
5:23 PM WorkingConventions/Repositories edited by simonpj
(diff)
4:47 PM Changeset in ghc [2332b4b]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Richard Eisenberg <eir@…>
Remove case from coreLintExpr dealing with types, as it is not used.
4:40 PM Changeset in unix [d487b8d]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc [67bb9e6]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in process [10836cc]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc [a81e2cf4]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc [b14ec9c]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in integer-gmp [a8c9be6]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc [1998210]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc-prim [c2ed4a8]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in directory [31c1bad]ghc-7.8 by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in base [476925f]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:40 PM Changeset in ghc [cfa1da94]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Bump version number following new policy We now keep the HEAD version numbers as values which would be suitable for immediate release.
4:00 PM Changeset in unix [0514089]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in ghc [7498923]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in process [bc5f18f]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in ghc [f389e29]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in ghc [5e20e4e]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
4:00 PM Changeset in integer-gmp [664478b]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in ghc [415a26af]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in ghc-prim [b71a72c]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in directory [ce0fa58]ghc-7.8 by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in base [d9092ea]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:59 PM Changeset in ghc [1cce3225]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add comment to .cabal file saying what GHC 7.6.1 shipped with
3:48 PM WorkingConventions/Repositories edited by igloo
(diff)
2:29 PM Ticket #7333 (python2) closed by igloo
fixed: I don't have python2 here on Debian. I've applied the part of the patch …
2:27 PM Ticket #7162 (RULES that never fire (automatically)) closed by igloo
fixed: Applied thanks - and thanks for the test too!
2:26 PM Ticket #5743 (Configurably use system-provided libffi) closed by igloo
fixed: I've applied the patch, thanks. I think we only use rts_LD_OPTS when …
2:22 PM Changeset in ghc [d53e222]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typo
2:18 PM Ticket #7228 (ghc-pkg prints an awful lot of usage information) closed by igloo
fixed: Applied: […] Thanks!
2:16 PM Ticket #7256 (Missing dataCast1 and dataCast2 methods in Data.Data instances) closed by igloo
fixed: Ah, great. I've applied it. Thanks!
2:13 PM Changeset in ghc [e305fc7]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Detab
2:05 PM Changeset in base [bab6235]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
2:05 PM Changeset in ghc [a532c91f]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//packages/base
2:03 PM Changeset in ghc [7009f58]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:56 PM Changeset in base [8a7f4a1]data-proxydbcsghc-7.8type-reasoning by Gabor Greif <ggreif@…>
typo
1:56 PM Changeset in ghc [00ea200]wip/T9016wip/ampwip/coveritywip/orf by Gabor Greif <ggreif@…>
typo
1:18 PM Changeset in base [151c2fc]data-proxydbcsghc-7.8type-reasoning by Ian Lynagh <ian@…>
Add dataCast* definitions to Ptr/Array Data instances; fixes #7256 Patch from dreixel.
1:18 PM Changeset in ghc [5142bc2c]wip/T9016wip/ampwip/coveritywip/orf by Ian Lynagh <ian@…>
Add dataCast* definitions to Ptr/Array Data instances; fixes #7256 Patch from dreixel.
1:17 PM Changeset in ghc [7ee5bedc]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Link in-tree libffi to rts. Fixes trac #5743.
1:05 PM Changeset in ghc [97e1ee6a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Use python2 if it exists. Based on a patch from michalt. Fixes #7333.
1:05 PM Changeset in testsuite [e7a338e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Use python2 if it exists. Based on a patch from michalt. Fixes #7333.
12:07 PM Changeset in ghc [0bb2274f]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused PYTHON in build system
11:54 AM Changeset in ghc [2c6939a]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make ghc-pkg print less on error.
11:52 AM Changeset in ghc [c7a5730]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Test for #7162: RULES that never fire automatically
11:52 AM Changeset in testsuite [44229bb3]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Test for #7162: RULES that never fire automatically
11:51 AM Changeset in ghc [779f10fd]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Extend parser to allow specification of RULES that never fire. #7162
11:41 AM Ticket #3080 (Show more instances with :info) closed by simonmar
duplicate: closing as duplicate of #5998, which has more info and discussion.
9:43 AM Ticket #7464 (git tag for base-4.6.0.0 missing) created by SimonHengel
I assume this is the same as ghc-7.6.1-release. But it would be …
4:24 AM Ticket #7463 ([PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also ...) created by PHO
GHC used to put *_stub.c into stubdir along with *_stub.h but now …
4:04 AM Changeset in ghc [e94c634b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
4:04 AM Changeset in testsuite [eb7ef21]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
3:34 AM Ticket #7462 (New nofib benchmark for unpacked arrays and floating point arithmetic) created by tibbe
The attached patch adds a new imaginary nofib benchmark that tests …
3:29 AM Changeset in nofib [14bccff]ghc-7.8shake by Johan Tibell <johan.tibell@…>
Add new imaginary nofib benchmark kahan The benchmark implements the Kahan summation algorithm and tests unboxed arrays and floating point arithmetic in tight loops.
1:59 AM Changeset in ghc [495ef783]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
1:45 AM Changeset in ghc [e9f38cb]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove accidentally-commited testing aid
1:42 AM Ticket #5743 (Configurably use system-provided libffi) closed by igloo
fixed: In #4496 I said: […] I can't see any sign of libffi in mingw64 either. …
1:42 AM Building/Using edited by igloo
(diff)
1:31 AM Changeset in ghc [c793cc3]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
libffi build system tweaks
1:21 AM Changeset in ghc [2ec32a8e]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Iavor S. Diatchki <diatchki@…>
Add ":info!" to GHCi. This shows all instances without filtering first. The default behavior of :info is to show only those instances of for a type, where all relevant type constructor names are in scope. This keeps down the number of instances shown to the user. In some cases, it is nice to be able to see all instances for a type. This patch implements this with the :info! command.
12:49 AM Ticket #7461 (Error messages about "do" statements contain false information) created by EyalLotem
When GHC complains about a type-error in a "do" block, it says, for …

Nov 29, 2012:

10:22 PM Changeset in ghc [3005e909]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add configure option to use system provided libffi; fixes #5743 Based on patch from Peter Trommler: From 293495d40f62e691520331a41c6d85d82e120169 Mon Sep 17 00:00:00 2001 From: Peter Trommler <ptrommler@acm.org> Date: Sun, 21 Oct 2012 18:47:01 +0200 Subject: [PATCH] Add configure option to use system provided libffi This fixes track # 5743 and #4496.
9:32 PM Changeset in ghc [bd9e0299]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove a use of printf It looks like it would fail anyway, as it 'show'ed its argument before passing it on to printf.
9:25 PM Changeset in ghc [c2f9b74]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Small refactoring
9:16 PM Changeset in ghc [10edb426]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in compiler/ghci/LibFFI.hsc
8:58 PM Ticket #4496 (add a configure build option to use system libffi for Linux) closed by igloo
duplicate: Closing in favour of #5743
8:52 PM Ticket #7460 (Double literals generated bad core) created by tibbe
The following code results in core containing expression like …
7:16 PM Ticket #2132 (Optimise nested comparisons) closed by igloo
wontfix: If the idea is to implement it as a plugin separate from GHC, then I think …
6:28 PM Ticket #7287 (Primops in RULES generate warnings) closed by igloo
Merged as aa7732c503a5ebc7af5d6bc08a07dd76b878ef8c.
6:27 PM Ticket #7410 (Type error says that tuple components have kind (* -> *)) closed by igloo
fixed: Merged as c9c8b4059aeb2e20ddb4000194dbd44db0c3559d
6:27 PM Ticket #7451 (Constraint and * should not be distinct in FC) closed by igloo
fixed: Merged as 19760a20bdbc16c9e5b42fa87ed46451bafd29fb
6:26 PM Ticket #7347 (Existential data constructors should not be promoted) closed by igloo
fixed: Merged as 4b380f192d1b3f7455e7c2bb9bf3ebe6c6b5e7ca and …
6:24 PM Ticket #7272 (PolyKinds and mutually recursive modules) closed by igloo
fixed: Merged as ed6b56407275d15a8c0b9aede8f90e3f5e0f7281
6:23 PM Ticket #7433 (Promoted constructors accepted without flag) closed by igloo
fixed: Merged as 3a6675f57c77b4606c7480c3f3d160bb302634a2
5:14 PM Ticket #7446 (GHC -O0 goes into a loop) closed by EyalLotem
duplicate: It is a duplicate indeed.
5:02 PM Changeset in ghc [c9c8b40]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Improve kind inference for tuple types Trac #7410 pointed out a terrible error message, which is much improved by this patch. Conflicts: compiler/typecheck/TcHsType.lhs
5:01 PM Changeset in ghc [19760a2]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Make Constraint and * look identical in Core (System FC) Fixes Trac #7451. See Note [Kind Constraint and kind *] in Kind.lhs. Conflicts: compiler/types/Kind.lhs compiler/types/Type.lhs
4:57 PM Changeset in ghc [3a6675f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Reject promoted constructors when -XDataKinds is not enabled (FIX #7433)
4:57 PM Ticket #7341 (Kind inference does not propagate annotations on associated types) closed by igloo
fixed: Doesn't merge cleanly, so not merging
4:56 PM Changeset in ghc [29bbb9f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
An accidentally-omitted part of commit 8019bc2c, about promoting data constructors
4:56 PM Changeset in ghc [4b380f1]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Only promote *non-existential* data constructors I don't konw how this was left out before; Trac #7347. In fixing this I did the usual round of refactoring. In particular, I cached the fact that a DataCon can be promoted in the DataCon itself (the dcPromoted field).
4:52 PM Ticket #7328 (Seemingly inappropriate "expecting one more argument" error in polykinded ...) closed by igloo
fixed: Several conflicts, so not merging.
4:48 PM Ticket #7294 (-fdefer-type-errors doesn't produce a warning) closed by igloo
Not worth merging, I think
4:42 PM Changeset in ghc [ed6b564]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Compare the kinds of type variables when comparing types commit 2c207b6f60ba5d271f400747256e4a32ca8f7e63 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Oct 2 18:11:08 2012 +0100 Compare the kinds of type variables when comparing types This is just a bug that's been around since we introduced polymorphic kinds. The roots are in Type.cmpTypeX, but there was a variant in TcRnDriver.checkBootTyCon, which is where it came up. Fixes Trac #7272
4:12 PM Changeset in ghc [aa7732c5]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRule commit 419af69c1bea2cecce7b4bf58162cbfac81526f2 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Oct 2 17:39:46 2012 +0100 Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRule See Trac #7287
4:00 PM Ticket #7312 (panic! applytTypeToArgs with non-infix function type constructor) closed by igloo
fixed: Merged as 4b295b6ca35e780ba758fc0d02bc789579aeb0fb. Seems to work fine.
3:56 PM Ticket #7276 (-fdefer-type-errors allows the types of quotations to be coerced, causing ...) closed by igloo
fixed: Merged as 50837615c7e1d1d6b703e99ee7fd8fcf0bfee30c and …
3:42 PM Ticket #7438 (Tc panic when type declaration is missing) closed by igloo
fixed: Merged as 8d8743ae50a4c23c5c221b7a47fd9b69c3bce028
3:40 PM Ticket #7444 (Update documentation regarding derivability of Generic1) closed by igloo
fixed: Merged as 066fb9edecb3f293dbab36b87317100722a3c57c
3:39 PM Ticket #7349 (-fth is deprecated without warning) closed by igloo
fixed: merged as e3667551d764232faff0e5280a1de3c1349e7c4c
3:36 PM Ticket #7348 (base-4.6 does not export `catch` from Prelude while Control.Exception ...) closed by igloo
fixed: Merged as ea7f7ef8621dc7fd19ecb3a5e565d10568e36135
3:35 PM Ticket #7459 (deriving Generic does not work with TypeLits) created by maxtaldykin
[…] Trying to derive Generics instance for simple datatype with Symbol …
3:35 PM Ticket #7226 (bytestring changes in 7.6 branch) closed by igloo
fixed: We've rolled back
3:34 PM Ticket #7270 (Incorrect optimization with Data.ByteString.append) closed by igloo
fixed: Merged
3:33 PM Ticket #7386 (Panic "tcTyVarDetails" in GHCi when :forcing a data family instance) closed by igloo
fixed: Merged as c41ca7980664c73cfbd27b0d9f9c081ecf7dc25c
3:30 PM Ticket #7338 (Duplicate type signature not reported) closed by igloo
fixed: Merged as 55a7aa89e2886232c8581d0978d8db162fbd7c79
3:29 PM Ticket #7321 (Compiler hangs when reading interface file) closed by igloo
fixed: Merged as e7be164fcd44821af9ffd9b8ec0ff2a0529fa6aa
3:28 PM Ticket #7318 (CONLIKE pragma documentation bug) closed by igloo
fixed: Merged as 003eb67f3380cd764d1bd6f94413eb0f062626b3
3:27 PM Ticket #5407 (ghc-7.2.1 build failed on sparc solaris with non-GNU linker) closed by igloo
fixed: Merged as 09894b0af6569ebb19ddaa16dd1bc564b46d7959.
3:27 PM Ticket #7303 (RTS : Race condition with usage of timer_delete) closed by igloo
fixed: Merged as 162b87dfc610efa54ce3276e9a1e90b9dcb141a7
3:27 PM Changeset in ghc [50837615]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Make sure that we check for type errors strictly in a Template Haskell splice, even if -fdefer-type-errors is on We're going to run this code, so there's no point in deferring type errors. Worse, TcSplice uses unsafeCoerce (for vevy good reasons), so splicing a type into a place where an expression is expected would yield a seg-fault if we plough on regardless. Fixes Trac #7276
3:26 PM Ticket #7231 (GHCi erroneously unloads modules after a failed :reload) closed by igloo
Merged as 772e6d20bcac691bcfe8528829d6ed100fd701bb
3:09 PM Changeset in testsuite [c96a151]ghc-7.6 by Ian Lynagh <ian@…>
GHC now treats ((->) t1 t2) just like (t1 -> t2), so we need to obfuscate this test a bit
3:08 PM Changeset in testsuite [adfd272]ghc-7.6 by Ian Lynagh <ian@…>
Better duplicate signature warnings
3:07 PM Changeset in testsuite [0de1a7e]ghc-7.6 by Ian Lynagh <ian@…>
Error message change for duplicate type signatures
2:59 PM Changeset in testsuite [4cb1d51]ghc-7.6 by Ian Lynagh <ian@…>
MERGED: Fix safeHaskell/check/pkg01 tests commit 79475db4096823cbfdf7be1605d5602604479c91 Author: Ian Lynagh <ian@well-typed.com> Date: Sat Nov 17 03:16:29 2012 +0000 Fix safeHaskell/check/pkg01 tests They depended on the precise version of bytestring. Also made them able to be run in parallel.
2:31 PM Changeset in testsuite [b3797ce]ghc-7.6 by Ian Lynagh <ian@…>
Fix a couple of tests when dynlibs-by-default is on
2:27 PM Changeset in ghc [77ef6ca0]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Erik de Castro Lopo <erikd@…>
Replace all uses of ghcError with throwGhcException and purge ghcError.
2:19 PM Changeset in testsuite [925ce48]ghc-7.6 by Ian Lynagh <ian@…>
Fix Check09 test; it depended on the exact version number of bytestring
2:18 PM Changeset in testsuite [9dfc003]ghc-7.6 by Ian Lynagh <ian@…>
Fix some tests They were depending on the exact bytestring version
1:49 PM Changeset in base [066fb9e]ghc-7.6 by Ian Lynagh <ian@…>
Update haddock now that we can derive Generic1 (FIX #7444)
1:48 PM Changeset in ghc [8d8743ae]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Use the right environment for tidying the types of a data constructor Fixes Trac #7438
1:45 PM Changeset in ghc [c41ca79]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix the instantiation of data constructors in the GHCi debugger This bug caused Trac #7386, because in the (rather tricky) "type inference" (aka run time type reconstruction) done by the GHCi debugger, we were failing to instantiate a data type family correctly. When that code was written we didn't *have* data families. I wrote Note [Constructor arg types] to explain the new scheme.
1:44 PM Ticket #7384 (Panic "ctEvTerm" when using functional dependencies and PolyKinds) closed by igloo
fixed: Didn't apply cleanly, so not merging.
1:43 PM Ticket #7351 (showRichTokenStream has an off-by one error on starting col) closed by igloo
fixed: I think we're better off not merging this: if we do, then any workarounds …
1:41 PM Changeset in ghc [e366755]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix bug with reporting deprecated use of flag (Trac #7349)
1:41 PM Changeset in base [ea7f7ef8]ghc-7.6 by Ian Lynagh <ian@…>
Remove out-of-date docs about Prelude.catch; fixes #7348
1:40 PM Changeset in ghc [55a7aa8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Improve reporting of duplicate signatures Fixes Trac #7338
1:39 PM Changeset in ghc [e7be164]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Be lazier when typechecking data type contexts (Trac #7321) We should be lazy when type-checking the equality-contraint part of a data constructor's type, to make the knot-tying work out right. The fact that it's always worked before is a fluke: no one else wrote a GADT whose type index mentions itself data T a wher MkT :: T (T Int)
1:39 PM Changeset in ghc [003eb67]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix doc typo; fixes #7318
1:39 PM Changeset in ghc [4b295b6c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Ensure we produce a FunTy for functions (Trac #7312) The issue here was with a function type written prefix (->) a b where we were not generating a FunTy, which blew the invariant that function types are always FunTys. We can't look at the TyCon directly because it may be knot-tied, so we look at the name instead.
1:39 PM Changeset in ghc [162b87d]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
rts: Ignore signal before deleting timer. Fixes #7303. Was getting an ocassional hang or segfault when building GHC in a Qemu user space emulation of ARM. Turned out that the ITIMER_SIGNAL was being delivered *after* the call to timer_delete(). Setting the signal to SIG_IGN before deleting the timer solves the problem.
1:37 PM Changeset in ghc [da26f6c]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Wrap a bracket quotation in a coercion that makes it have the right type This is the right fix to Trac #7276 (part 2), which makes the interaction with -fdefer-type-errors and TH work properly.
1:35 PM Changeset in ghc [772e6d20]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix #7231: don't unload stable modules when there is an error later
1:33 PM Changeset in ghc [09894b0a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
MERGED: Fix building on Sparc/Solaris with non-GNU linker; fixes #5407 commit 9ef4d48e296d4b96492a839f9ee569f8f90c617b Author: Ian Lynagh <ian@well-typed.com> Date: Fri Nov 23 16:54:15 2012 +0000 Fix building on Sparc/Solaris with non-GNU linker; fixes #5407 Patch from maeder.

Nov 28, 2012:

7:29 PM Ticket #7458 (ghc panic) created by timsears
As ghc requested I am reporting this... All I can say right now is that I …
4:47 PM Changeset in testsuite [c885df6]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
4:46 PM Changeset in ghc [82e928a]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams Conflicts: compiler/typecheck/TcForeign.lhs
4:14 PM Ticket #7457 (printf's * doesn't like negative numbers) created by elaforge
Text.Printf.printf has a bug where it doesn't like negative numbers for * …
3:48 PM Ticket #7456 (GHC API displays linker messages to stdout instead of via log_action) created by MikolajKonarski
At least in the LinkInMemory? mode, GHC API displays linker messages, such …
3:33 PM Ticket #7455 (ghc panic on show) closed by monoidal
duplicate: This is a duplicate of the bug #5961. It is already fixed in GHC 7.6.
3:29 PM Ticket #7455 (ghc panic on show) created by fegu
--- ghccrash.hs main = do putStrLn "Minimal compiler bug example" data …
2:21 PM Changeset in ghc [021ca7b]overlapping-tyfams by Richard Eisenberg <eir@…>
Removed tabs from RnSource and FamInstEnv
8:43 AM Ticket #7453 (unsafe coerce without extensions) closed by simonpj
wontfix: Well this is embarrassing. It looks as if there's been a missing (or …
6:30 AM DynamicByDefault/Windows edited by ganesh
more commentary about SxS DLLs (diff)
2:40 AM Changeset in ghc [31e246d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7453
2:40 AM Changeset in testsuite [ddd1c8b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7453

Nov 27, 2012:

10:55 PM DynamicByDefault/Windows edited by ganesh
add link to privatePath stuff (diff)
10:46 PM Changeset in ghc [644475c3]overlapping-tyfams by Richard Eisenberg <eir@…>
Continued polishing of overlapping type family instances. This commit includes the following: - Implementation of core linting new branched coercions - Addition of a function tcApartTys which checks if two type lists are known to be apart, now and forever more. Two types are apart when they don't unify and neither is headed by a type family. - Incorporation of the apartness check in looking up an instance, so that a type family application is considered to potentially unify with anything later on. - Removal of the co_ax_arity field, which was never usefully used
10:25 PM DynamicByDefault/Windows edited by ganesh
Mention that assemblies = side-by-side (diff)
8:12 PM Ticket #7454 (Missing warning about redundant import of classes/types whose members are ...) created by EyalLotem
If one module exports a class C(..) with a method m, and another module …
2:35 PM DynamicByDefault edited by igloo
(diff)
2:33 PM DynamicByDefault edited by igloo
(diff)
2:22 PM DynamicByDefault edited by igloo
(diff)
2:15 PM DynamicByDefault/Windows edited by igloo
(diff)
2:10 PM DynamicByDefault/Windows edited by igloo
(diff)
2:09 PM DynamicByDefault/Windows edited by igloo
(diff)
2:00 PM DynamicByDefault/Windows edited by igloo
(diff)
1:35 PM DynamicByDefault/Windows edited by igloo
(diff)
1:29 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:26 PM GhcKinds edited by dreixel
(diff)
1:25 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:14 PM DynamicByDefault/Windows created by igloo
11:03 AM Ticket #7231 (GHCi erroneously unloads modules after a failed :reload) closed by simonmar
fixed
10:19 AM Changeset in ghc [5689e2d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
test for #7231
10:19 AM Changeset in testsuite [7326c95]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
test for #7231
10:19 AM Changeset in ghc [086d7c5]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix #7231: don't unload stable modules when there is an error later
3:16 AM Ticket #7453 (unsafe coerce without extensions) created by guest
The following program implements an unsafe coerce and works on versions of …

Nov 26, 2012:

3:50 PM Building/RunningNoFib edited by danielv
Fixed piping commands (diff)
3:05 PM Changeset in ghc [3a82618]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
typos in note
2:01 PM Ticket #7404 (Inconsistent treatment of overlap between type and kind variables in type ...) closed by simonpj
fixed: See also #6021.
1:58 PM Ticket #7408 (Do not warn on unused newtype constructors when used with FFI) closed by simonpj
fixed
1:57 PM Changeset in ghc [93c49b4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7408
1:57 PM Changeset in testsuite [e057afa]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7408
1:55 PM Changeset in ghc [97842af]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7404
1:55 PM Changeset in testsuite [7c49ca4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7404
1:45 PM Ticket #7452 ([GNU gold] ld: error: cannot find [...]/Types__1.o) created by mrothe
/usr/bin/ld is gold linker and I am trying to compile GHC 7.6.1 using …
1:30 PM Repositories edited by simonpj
(diff)
1:15 PM Ticket #7450 (Regression in optimisation time of functions with many patterns (6.12 to ...) closed by igloo
duplicate: Thanks for the report. This looks like a duplicate of #7258.
12:24 PM Changeset in ghc [b289026]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_compile/all.T
12:24 PM Changeset in testsuite [2fca6b9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite Conflicts: tests/typecheck/should_compile/all.T
12:23 PM Changeset in ghc [8a27909]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7451
12:23 PM Changeset in testsuite [9a35237]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7451
12:21 PM Changeset in ghc [4228699d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Accept error message improvement
12:21 PM Changeset in testsuite [c9d90c9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error message improvement
12:18 PM Changeset in ghc [6960556]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:18 PM Changeset in ghc [661c1c11]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve error message when a variable is used both as kind and type variable Fixes Trac #7404
12:07 PM Changeset in ghc [1135c84]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve kind inference for tuple types Trac #7410 pointed out a terrible error message, which is much improved by this patch.
12:05 PM Changeset in ghc [c8f4f509]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Accurately report usage of newtype data constructors in FFI declarations See Note [Newtype constructor usage in foreign declarations] in TcForeign. It's quite non-trivial to say which newtype constructor are used in foreign import/export declarations, and I had to do a bit of refactoring to achieve it. (Say hello to the X5 bus from Oxford to Cambridge.) It's a bit tiresome, with some more plumbing, but not hard. Trac #7048 triggered this change.
11:56 AM Changeset in ghc [c2430f0]atomicsbetter-ho-cardinalitycardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergeoverlapping-tyfamssimdtc-arrowsth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make Constraint and * look identical in Core (System FC) Fixes Trac #7451. See Note [Kind Constraint and kind *] in Kind.lhs.
11:55 AM Ticket #6117 (Cyclic Type Class Hierarchy Produces <<loop>>) closed by simonpj
fixed: I've opened a new ticket #7451 for this, since the new topic is nothing to …
11:53 AM Ticket #7451 (Constraint and * should not be distinct in FC) created by simonpj
With GHC 7.7 this program […] produces a Core Lint error: […] The …
11:15 AM Ticket #7450 (Regression in optimisation time of functions with many patterns (6.12 to ...) created by iustin
In our project, we build (via TH) some not-trivial data structures, …
9:24 AM Ticket #7428 (GHC compile times are seriously non-linear in program size) closed by nudded
invalid: Since after more analysis this doesn't seem to be related to the …
Note: See TracTimeline for information about the timeline view.