Timeline


and

Jul 2, 2012:

5:56 PM Ticket #7043 (32-bit GHC ceiling of negative float SEGFAULT: 11) created by DrGodCarl
When taking the ceiling of a negative float (like -0.8) with GHCi …
3:26 PM Ticket #7038 (hidir/odir flags mixup modules) closed by simonmar
invalid: This is the intended behaviour; see …
3:22 PM Changeset in ghc [c426022]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 Marlow <marlowsd@…>
add test for #7037
3:22 PM Changeset in testsuite [a2f270c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #7037
3:15 PM Changeset in ghc [0d19922a]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
don't crash if argv[0] == NULL (#7037)
2:51 PM Ticket #7036 (StableNames in presence of class constraints / monadic functions) closed by simonmar
wontfix: I don't think there's anything concrete we can do here - as Simon says, …
2:48 PM Building/Troubleshooting edited by simonmar
(diff)
2:43 PM Building/Troubleshooting edited by simonmar
(diff)
2:33 PM Ticket #7042 (large exponents cannot be compiled) closed by pcapriotti
duplicate: Duplicate of #5692.
2:04 PM Changeset in ghc [62164cf]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
-package P was loading all versions of P in GHCi (#7030) -package P means "the latest version of P" if multiple versions are installed. It was working as advertised, but we were eagerly *linking* all versions of P, which might cause an error if the package has some C code, because we can't link multiple instances of the same symbol.
1:52 PM Changeset in ghc [330769c]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add a Note, copying text from #2437
1:31 PM Changeset in ghc [a09817c]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only, before eliminating Indirect
1:24 PM Ticket #7027 (Lots of unnecessary recompilation) closed by simonmar
fixed: In fact, I'm going to close this ticket as fixed in 7.4.2, since both the …
1:17 PM Ticket #7025 (-msse should be forwarded to the C compiler) closed by simonmar
wontfix: The right thing is to put -msse in the cc-options field of your …
12:56 PM Changeset in ghc [f0ac082]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
improve the --help docs a bit (#7008)
12:06 PM Ticket #6168 (Assembler error message in GHC 7.2.2) closed by simonmar
fixed: I'm afraid we're not planning another release of the 7.2 branch, and I …
11:54 AM Changeset in base [4226bae]data-proxydbcsghc-7.6ghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Fix parsing of RealFloat with huge exponents (#7034). Ensure numberToRangedRational returns Nothing immediately if the exponent is outside Int range, so that we avoid an integer overflow later.
11:54 AM Changeset in ghc [ec77f50]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Fix parsing of RealFloat with huge exponents (#7034). Ensure numberToRangedRational returns Nothing immediately if the exponent is outside Int range, so that we avoid an integer overflow later.
11:37 AM Ticket #7042 (large exponents cannot be compiled) created by maeder
[…] cannot be compiled (memory will be exhausted)
11:35 AM Ticket #7041 (GHC.Real.gcdInt is no longer optimized.) created by int-e
This is a regression since ghc-7.2, related to #5767. GHC.Real
11:08 AM Ticket #3897 (reading a large String as Double takes too long) closed by pcapriotti
fixed: This is indeed fixed both in 7.4 and HEAD.
10:52 AM Changeset in unix [ba7961f]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Add a WARNING for sleep, and expand documentation. sleep doesn't really work on GHC because it is always immediately interrupted by SIGVTALRM used in the RTS. I explained the problem in a comment and added a WARNING pragma. usleep and nanosleep have a similar problem, but, since they have better precision, they can be restarted, so they are not as unusable as sleep.
4:03 AM Changeset in ghc [c7ff122]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Remove the unique from CoAxiomRule. There are two reasons for this: * The unique was not used for anything, * It was incorrect for the infinite families of definitional axioms (e.g., 2 + 3 = 5 and 2 + 4 = 6 both got the same unique)
3:46 AM Changeset in ghc [271cbce]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Refactoring: move reasoning into TcTypeNats, leaving only the rules in TcTypeNatRules.

Jul 1, 2012:

4:48 PM Holes edited by holzensp
(diff)
3:25 PM Ticket #7040 (linker failures with foreign global data) created by luite
On OS X with X86_64 the attached example crashes (not reliably, might take …
2:00 PM Ticket #7039 (Panic due 'instance Foo a => Bar a => Baz a' style declarations) created by ksf
[…] results in […] It doesn't matter whether foo is declared in …
7:47 AM Ticket #6110 (Data.Vector.Unboxed performance regression of 7.4.1 relative to 7.0.4) closed by mdgabriel
fixed: @pcapriotti and @igloo: I built the head of GHC with the changeset …
4:56 AM Changeset in ghc [ee407c93]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Remove the big enumeration of axioms. XXX: Still need to work out the details of representing axiom-rules in the interface files.

Jun 30, 2012:

10:58 PM Changeset in ghc [8fe65d3a]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
Checkpoint: one step givens, using new rule representation.
4:47 PM Ticket #7038 (hidir/odir flags mixup modules) created by br1
When using hidir and odir ghc flags, "ghc -- make" creates Main.hs and …
6:55 AM Ticket #7037 (setProgName() crashes when argv[0] == NULL) created by shachaf
C89 allows argc to be 0, in which case argv[0] is NULL. …
12:32 AM Changeset in ghc [f0a23c0]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 <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
12:32 AM Changeset in testsuite [7e39845e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
12:30 AM Changeset in ghc [f89d4fbd]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

Jun 29, 2012:

11:58 PM Changeset in ghc [d0d96bc0]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 <igloo@…>
Remove Data.HashTable from GoodImport03 It'll be removed soon anyway
11:58 PM Changeset in testsuite [6168fcf]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Remove Data.HashTable from GoodImport03 It'll be removed soon anyway
11:57 PM Changeset in ghc [3195d47]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 <igloo@…>
Fix ds055 (redundant import of Data.HashTable removed)
11:57 PM Changeset in testsuite [c60712e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix ds055 (redundant import of Data.HashTable removed)
11:45 PM Changeset in ghc [39d766e]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Copy Data.HashTable's hashString into our Util module Data.HashTable is now deprecated and will soon be removed, but deSugar/Coverage.lhs uses hashString.
10:06 PM Changeset in base [7695a8b]data-proxydbcsghc-7.6ghc-7.8type-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Deprecate the Data.HashTable module
10:06 PM Changeset in ghc [54c62c0]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <igloo@…>
Deprecate the Data.HashTable module
8:54 PM Changeset in ghc [18e62c55]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Build fix
6:54 PM Changeset in ghc [4c8f4f7]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 Paolo Capriotti <p.capriotti@…>
Adapt tests to change in a parser error message.
6:54 PM Changeset in testsuite [6fdf2fe]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Adapt tests to change in a parser error message.
6:26 PM Changeset in ghc [a63970d]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Build fixes
5:51 PM Changeset in ghc [b2e89367]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Parse error: suggest brackets and indentation. I have observed that whenever GHC tells me that I have possibly incorrect indentation, the real problem is often that I forgot to close some sort of bracket.
4:59 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:47 PM Changeset in ghc [6c29fad6]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Don't build the ghc DLL on Windows; works around trac #5987 We also don't build DLLs for the dph-lifted-* packages as they depend on ghc.
11:02 AM Changeset in ghc [5ddc841]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
On Windows, detect if DLLs have too many symbols; trac #5987 The test isn't very pretty; it involves trawling through the objdump -p output. I couldn't find an easier way, unfortuantely.

Jun 28, 2012:

9:24 PM Commentary/Libraries/Integer edited by simonpj
(diff)
9:23 PM Ticket #4421 (Compilation performance regression) closed by igloo
fixed: The regression is mostly fixed, and compiler performance is just something …
5:12 PM Changeset in ghc [8542e25]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 <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
5:12 PM Changeset in testsuite [55d86b0]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
5:04 PM Changeset in ghc [478b36fa]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 <igloo@…>
Add a test for #4138 (currently failing)
5:04 PM Changeset in testsuite [c2a262d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add a test for #4138 (currently failing)
3:14 PM Ticket #7036 (StableNames in presence of class constraints / monadic functions) created by ifigueroap
Hi, I'm trying to implement a notion of function equality using the …
12:12 PM Ticket #7035 (`deriving instance Generic (HsExpr Id)` raises panic) created by Daniel Schuessler
Input file: […] Result: […] Regards, Daniel
12:02 PM Ticket #7034 (reading a large double results in zero with ghc-7.4.2) created by maeder
[…] This was probably introduced by the fix for #5688. Note that …
10:40 AM Changeset in ghc [4ae30755]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 Paolo Capriotti <p.capriotti@…>
Update some limits for x86 perf tests.
10:40 AM Changeset in testsuite [b3a7787]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Update some limits for x86 perf tests.
10:18 AM Ticket #7029 (Add System.Environment.getExecutablePath) closed by pcapriotti
fixed: Thanks. Tested on Windows and merged: […]
7:51 AM Status/SLPJ-Tickets edited by simonpj
(diff)
3:09 AM Ticket #7033 (stale .tix files can cause programs built with -fhpc to segfault) created by jwlato
In some circumstances, programs built with -fhpc will segfault when old …
3:07 AM Ticket #7032 (sleep fails for compiled program) created by carl
For the following program, runghc or ghci produces a list of numbers with …
1:38 AM Ticket #6111 (Simple loop performance regression of 7.4.1 relative to 7.0.4) closed by igloo
fixed: Fixed, and test added.

Jun 27, 2012:

10:17 PM Commentary/Libraries/Integer edited by igloo
(diff)
10:04 PM Commentary/Libraries/Integer edited by igloo
(diff)
8:53 PM Changeset in ghc [aa490c9]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 <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
8:53 PM Changeset in testsuite [683e58c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
8:51 PM Changeset in ghc [30b5ba9b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
8:49 PM Changeset in ghc [c7a8941]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add some more Integer rules; fixes #6111
8:49 PM Changeset in ghc [71bb780]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 <igloo@…>
Add IntegerConversionRules Includes a test for the problem in #6111.
8:49 PM Changeset in testsuite [a648c9f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add IntegerConversionRules Includes a test for the problem in #6111.
5:59 PM Changeset in ghc [f190e2d]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Add missing imports.
5:59 PM Changeset in integer-gmp [2bb79b6]ghc-7.6ghc-7.8wip/T8647 by Paolo Capriotti <p.capriotti@…>
Add missing imports.
5:56 PM Changeset in base [ca72c8e]data-proxydbcsghc-7.6ghc-7.8type-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Add System.Environment.getExecutablePath (#7029) Patch by Johan Tibell <johan.tibell@gmail.com>
5:56 PM Changeset in ghc [0a76803d]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Paolo Capriotti <p.capriotti@…>
Add System.Environment.getExecutablePath (#7029) Patch by Johan Tibell <johan.tibell@gmail.com>
5:47 PM Changeset in ghc [e277797]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 Paolo Capriotti <p.capriotti@…>
Add test case for #5900
5:47 PM Changeset in testsuite [3c25de8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test case for #5900
5:30 PM Changeset in ghc [1c595c00]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 Paolo Capriotti <p.capriotti@…>
Fix cleanup for some tests.
5:30 PM Changeset in testsuite [17a6f20]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix cleanup for some tests.
4:11 PM Ticket #7031 (Incorrect documentation for Windows dlls) created by NeilMitchell
The documentation for creating Windows dlls …
2:16 PM GhcKinds edited by simonpj
(diff)
2:15 PM GhcKinds/KindsWithoutData edited by simonpj
Name changed from KindsWithoutData to GhcKinds/KindsWithoutData (diff)
1:44 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:44 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:43 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
1:16 PM GhcKinds/KindsWithoutData edited by dreixel
(diff)
11:30 AM Changeset in ghc [02a343c8]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 Manuel M T Chakravarty <chak@…>
Add stderr for tests now (correctly) failing due to silent superclass args
11:30 AM Changeset in testsuite [370d156]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Add stderr for tests now (correctly) failing due to silent superclass args
10:39 AM Changeset in ghc [f75f240b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix PA dfun construction with silent superclass args
7:36 AM Changeset in ghc [87d3f54]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 Manuel M T Chakravarty <chak@…>
Adapt to the re-introduction of silent superclass parameters
7:36 AM Changeset in testsuite [af423fed]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Adapt to the re-introduction of silent superclass parameters
5:00 AM Changeset in ghc [acfeb2b]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Add silent superclass parameters to the vectoriser
4:58 AM Changeset in ghc [aa1e097]atomicsbetter-ho-cardinalitycardinalitycoerciblecross-compiler-alienlessdata-kind-syntaxdecision-procedureghc-7.6ghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftnew-demand-to-mergenewcgoverlapping-tyfamssimdtc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-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/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Add silent superclass parameters (again) Silent superclass parameters solve the problem that the superclasses of a dicionary construction can easily turn out to be (wrongly) bottom. The problem and solution are described in Note [Silent superclass arguments] in TcInstDcls I first implemented this fix (with Dimitrios) in Dec 2010, but removed it again in Jun 2011 becuase we thought it wasn't necessary any more. (The reason we thought it wasn't necessary is that we'd stopped generating derived superclass constraints for *wanteds*. But we were wrong; that didn't solve the superclass-loop problem.) So we have to re-implement it. It's not hard. Main features: * The IdDetails for a DFunId says how many silent arguments it has * A DFunUnfolding describes which dictionary args are just parameters (DFunLamArg) and which are a function to apply to the parameters (DFunPolyArg). This adds the DFunArg type to CoreSyn * Consequential changes to IfaceSyn. (Binary hi file format changes slightly.) * TcInstDcls changes to generate the right dfuns * CoreSubst.exprIsConApp_maybe handles the new DFunUnfolding The thing taht is *not* done yet is to alter the vectoriser to pass the relevant extra argument when building a PA dictionary.
4:54 AM Changeset in ghc [733ed8e]type-nats by Iavor S. Diatchki <iavor.diatchki@…>
A few more functions using the new rule data structure.
1:36 AM Ticket #7030 (GHCi tries to load the text package twice, leading to linking failure) created by tibbe
For some reason GHC tries to load the text package twice: […] …
Note: See TracTimeline for information about the timeline view.