Timeline


and

Nov 4, 2012:

5:38 PM Ticket #7394 (SafeHaskell permits OPTIONS_GHC pragmas) created by dag
This can be used to launch arbitrary processes at compile-time, and …
5:17 PM Ticket #7319 (+RTS -xc sometimes results in segfault) closed by pcapriotti
fixed: Merged as acaf240f56cf91c3828f25da1d18a91326499818.
5:16 PM Ticket #5991 (regression: huge number of wakeups in xmonad) closed by pcapriotti
fixed: Merged as f9077d98b9e58b0eca518c8ae370b0f5c4df8800, …
5:15 PM Ticket #7257 (Regression: pinned memory fragmentation) closed by pcapriotti
fixed: Merged as 1596107f9cfc877cef4485f035417723cf1e9d97, …
5:12 PM Ticket #7233 (Int64 division buggy on a 32-bit installation) closed by pcapriotti
fixed: Merged as a191908df094a9243ea3fe1de2fdb43a1d715de5.
3:15 PM Ticket #7393 (GHC cannot solve functional dependency) created by Khudyakov
GHC fails to compile following program: […] with following error …

Nov 3, 2012:

10:32 PM Ticket #7392 ("the impossible happened" when compiling Types.Substitutions) created by martindemello
Ran into this when trying to compile elm from git: […] Failed to …
7:44 PM Ticket #7391 ("The 'impossible' happened" trying to derive Binary for a data instance) created by ydewit
I was trying to automatically derive Binary for a data instance (data …
6:24 AM Ticket #7390 (Setup.hs: internal error: stg_ap_v_ret (MacOS)) created by guest
I was trying to build some haskell. Here's what happened: […] In …
12:07 AM Ticket #7381 (Build failure with BuildFlavour = prof) closed by igloo
fixed: Fixed.

Nov 2, 2012:

11:37 PM Changeset in ghc [34a23d32]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Follow changes in dependency generation
11:37 PM Changeset in testsuite [9a5acacb]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Follow changes in dependency generation
10:54 PM Changeset in ghc [ba38f995]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Avoid putting uniqs in specconstr rules; part of #4012 There's no need to have the uniq in the rule, but its presence can cause spurious ABI changes.
10:38 PM Changeset in ghc [ede3bd92]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in basicTypes/Id.lhs
10:29 PM Changeset in ghc [bc4580c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in specialise/SpecConstr.lhs
10:15 PM Changeset in ghc [f2b953f]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove an -fno-cse flag There are no longer any GLOBAL_VARs in main/DriverMkDepend.hs.
10:15 PM Changeset in ghc [af072fc3]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Change how dependency generation works; fixes #7381 We now do the initial dependency generation for the vanilla way regardless of what way flags and hisuf/osuf flags are given. This makes it easier to generate the right dependency info in the end.
7:54 PM WorkingConventions/Repositories edited by igloo
(diff)
7:49 PM Ticket #7389 (can't link postgresql-libpq on windows) created by eflister
i follow the instructions here: …
7:47 PM WorkingConventions/Repositories edited by igloo
(diff)
7:39 PM WorkingConventions/Repositories edited by igloo
(diff)
7:36 PM WorkingConventions/Repositories edited by igloo
(diff)
5:56 PM WorkingConventions/Repositories edited by igloo
(diff)
5:56 PM WorkingConventions/Repositories edited by igloo
(diff)
3:43 PM WorkingConventions/Repositories edited by igloo
(diff)
3:26 PM Changeset in ghc [7c4157a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in basicTypes/Name.lhs
3:26 PM Changeset in ghc [f4161297]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't use a unique in the stable name of a foreign export These names end up in the ABI, and hence part of the ABI hash. We don't want uniques in them so that we don't get spurious ABI hash changes.
3:26 PM Changeset in ghc [0a7c4efe]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in typecheck/TcRnTypes.lhs
3:26 PM Changeset in ghc [fb31191a]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactoring: Make a HasModule class for getModule
3:26 PM Changeset in ghc [d868491]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused function fmapM_maybe
3:26 PM Changeset in ghc [095b9bf4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Don't put uniqs in ghc wrapper function names; part of #4012 The wrapper functions can end up in interface files, and thus are part of the ABI hash. But uniqs easily change for no good reason when recompiling, which can lead to an ABI hash needlessly changing.
12:20 PM Changeset in ghc [aba7b11e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for CAPI wrapper functions
12:20 PM Changeset in testsuite [4a118b7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for CAPI wrapper functions
12:19 PM Changeset in ghc [eb1c829b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Don't enable the "static" way if we don't have vanilla libraries
12:19 PM Changeset in testsuite [64c5faf]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Don't enable the "static" way if we don't have vanilla libraries
12:14 PM Ticket #7388 (CAPI doesn't work with ghci) created by igloo
[…]
11:22 AM Ticket #7387 (threaded2 failures in HEAD) created by simonmar
I've been trying to track down the cause of some failures in HEAD: […] …
3:12 AM Ticket #7386 (Panic "tcTyVarDetails" in GHCi when :forcing a data family instance) created by goldfire
I loaded the following code into GHCi: […] Then. I run these commands …
3:07 AM Ticket #7385 (Promotion of datatypes without -XDataKinds) closed by goldfire
worksforme: It turns out my GHCi session had -XDataKinds enabled. Sorry for the …
3:03 AM Ticket #7385 (Promotion of datatypes without -XDataKinds) created by goldfire
The following code, without any extensions, compiles: […] It would …
2:41 AM Ticket #7384 (Panic "ctEvTerm" when using functional dependencies and PolyKinds) created by goldfire
The following code causes a panic: […] The panic reads: […] The …
1:37 AM Status/SLPJ-Tickets edited by simonpj
(diff)

Nov 1, 2012:

11:32 PM WorkingConventions/Repositories edited by igloo
(diff)
11:11 PM WorkingConventions/Repositories created by igloo
8:38 PM Ticket #7383 (implement proper type promotion in compilation of C calls) created by igloo
[…] A useful test for this is cgrun071. If we get it wrong then it …
7:36 PM Ticket #7382 (Evaluating GHCi expressions is slow following the dynamic-by-default ...) created by parcs
In GHC 7.7.20121101 it takes at least half a second for any GHCi …
5:35 PM Changeset in ghc [26edd7d]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
5:22 PM Changeset in ghc [08b7320]supercompiler by Max Bolingbroke <batterseapower@…>
Complete Deeds threading in Split2
3:19 PM Changeset in ghc [acaf240]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
fprintCCS_stderr: untag the exception (#7319) MERGED from commit 467e1a623d405440021e92572638be22f0cf5dda
3:19 PM Changeset in ghc [809e693]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Revert "Disable the timer signal while blocked in select() (#5991)" This reverts commit dd24d6bc37879c6b32a3d5ac4ee765e59e13501c. This attempt to fix the problem was misguided: the program might be stuck in a foreign call rather than awaitEvent(), and then the timer signal will never get disabled. The only way to turn off the timer signal in this case is in the timer interrupt handler itself. MERGED from commit 673b6f50eca6f53cfb13b00e587c403c716baba1
3:18 PM Changeset in ghc [f9077d98]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Another overhaul of the recent_activity / idle GC handling (#5991) Improvements: - we now turn off the timer signal in the non-threaded RTS after idleGCDelay. This should make the xmonad users on #5991 happy. - we now turn off the timer signal after idleGCDelay even if the idle GC is disabled with +RTS -I0. - we now do *not* turn off the timer when profiling. - more comments to explain the meaning of the various ACTIVITY_* values MERGED from commit 0b79d5cd4687dacf7efd430df7fba9d9a5a5ce32
2:43 PM Ticket #7381 (Build failure with BuildFlavour = prof) created by goldfire
On a fresh checkout of HEAD, with BuildFlavour = prof in my …
2:42 PM Changeset in ghc [6fd14e4]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Include pinned memory in the stats for allocated memory This broke with the changes to the pinned object handling in 67f4ab7e6b7705a9d617c6109a8c5434ede13cae. MERGED from commit c19f2e320a575a66d31c83d846ce3cc954c4ab3b
2:41 PM Changeset in ghc [a737b1ef]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Allow allocNursery() to allocate single blocks (#7257) Forcing large allocations here can creates serious fragmentation in some cases, and since the large allocations are only a small optimisation we should allow the nursery to hoover up small blocks before allocating large chunks. MERGED from commit 1f5d83648dfda39d999eb8a9e8192339b3eea540
2:41 PM Changeset in ghc [33de4fb]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Some further tweaks to reduce fragmentation when allocating the nursery MERGED from commit a8179622f84bbd52e127a9596d2d4a918ca64e0c
2:41 PM Changeset in ghc [f99f369]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Use perl interpreter in the PATH.
2:41 PM Changeset in ghc [1596107f]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Cache the result of countOccupied(gen->large_objects) as gen->n_large_words (#7257) The program in #7257 was spending 90% of its time counting the live data in gen->large_objects. We already avoid doing this for small objects, but in this example the old generation was full of large objects (actually pinned ByteStrings). MERGED from commit 016fd74d6517512b62b36ff12cdccf2e723a0fb3
2:41 PM Changeset in ghc [33e16f4]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Reduce fragmentation when using +RTS -H (with or without a size) MERGED from commit a68df77ede928e6c7790dacb5925625792a904d3
2:38 PM Changeset in base [a191908]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Fix #7233: avoid overflow in divInt64# MERGED from commit 4137f8c1259e02dc1992c9d6771f45f495e7cef4
2:37 PM Changeset in testsuite [0e35f15]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Adjust limits for haddock perf tests.
2:34 PM Changeset in testsuite [e416052]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Require /bin/sh instead of bash in T6106.
2:32 PM Changeset in ghc [d163845]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
2:29 PM Changeset in ghc [22932389]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix popcnt calls We don't want to narrow the argument size before making the foreign call: Word8 still gets passed as a Word-sized argument
2:12 PM Changeset in ghc [7706bee0]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in codeGen/StgCmmPrim.hs
2:11 PM Changeset in ghc [dba4fa5]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix typos
1:13 PM Status/Oct12 edited by igloo
(diff)
1:04 PM Changeset in ghc [225172e]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix bug in stg_enter_checkbh This was causing crashes in stm050(ghci), throwto001(ghci), and possibly more.
12:59 PM Changeset in ghc [8703bbc]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
The shape of StgTVar should not depend on THREADED_RTS By shear luck I think this didn't lead to any actual runtime crashes, but it did cause some problems for debugging.
10:50 AM Status/Oct12 edited by simonmar
(diff)
10:47 AM Status/Oct12 edited by simonmar
(diff)
10:13 AM Changeset in ghc [458ee4fe]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add -fghci-hist-size=N to set the number of previous steps stored by :trace
10:13 AM Changeset in ghc [d28a7223]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
A couple of W_s should be P_s (not an actual bug, I think)
10:13 AM Changeset in ghc [26e576c0]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix bug in stg_ctoi_R1n (could cause GHCi crashes)
10:13 AM Changeset in ghc [ee43ad52]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
turn off cmm optimisation for the debug way
10:13 AM Changeset in ghc [3a6b1bf]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Turn on -O2 for the RTS by default Optimisation now makes a difference when compiling .cmm code, because it enables the optimisation passes in CmmPipeline. Recently validate has not been optimising the .cmm code because it uses SRC_HC_OPTS=-O0, which explains why I couldn't reproduce #7366 in validate (the bug miscompiled rts/PrimOps.cmm).
10:13 AM Changeset in ghc [2073e3ec]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't clearNurseries() in parallel with -debug It makes sanity-checking fail.
9:42 AM GettingStarted edited by trommler
Removed spam. (diff)
9:37 AM Ticket #7380 (Panic: mkNoTick: Breakpoint loading modules with -O2 via API) created by JeanPhilippeMoresmau
I load a trivial module via the API. I get a panic: GHCBugs.exe: …
9:09 AM GettingStarted edited by jwoods
(diff)
8:54 AM Status/Oct12 edited by dreixel
(diff)
8:54 AM Status/Oct12 edited by dreixel
(diff)
1:29 AM Changeset in ghc [d7ca7af2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in nativeGen/NCGMonad.hs

Oct 31, 2012:

5:32 PM Status/Oct12 edited by diatchki
(diff)
5:13 PM Ticket #7220 (Confusing error message in type checking related to type family, fundep, ...) closed by simonpj
fixed: "I cannot think of any reason why it should relate the type (forall b. (C …
5:04 PM Changeset in ghc [897415c0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:04 PM Changeset in testsuite [c5b08f2]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:04 PM Changeset in ghc [19cb2c69]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Teat Trac #7220
5:04 PM Changeset in testsuite [487d3a1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Teat Trac #7220
5:03 PM Changeset in ghc [232f1a2]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Add notes about type-family overlap in GHCi (see Trac #7102)
4:24 PM Changeset in ghc [3c48b06]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
4:24 PM Changeset in testsuite [8dbf893]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
4:17 PM Changeset in ghc [cb9e4492]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Fix error output
4:17 PM Changeset in testsuite [1f90713]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix error output
4:16 PM Changeset in ghc [9d22874]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:16 PM Changeset in testsuite [fb35960]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:15 PM Changeset in ghc [33d0f49]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
4:15 PM Changeset in ghc [2677e42]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to recent changes to TcErrors
4:15 PM Changeset in ghc [8cddd70]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Modify T5130 so that it passes Really it should always have failed!
4:15 PM Changeset in testsuite [7598acd]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Modify T5130 so that it passes Really it should always have failed!
4:02 PM Ticket #7379 (rangeTest test fails on Windows) created by igloo
The CWchar type on Win32 is unsigned: […] This causes the rangeTest
3:37 PM Changeset in ghc [c085b2d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <igloo@…>
Fix ghcpkg03, ghcpkg05 (we need to normalise the dynlib names)
3:37 PM Changeset in testsuite [67fe61a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix ghcpkg03, ghcpkg05 (we need to normalise the dynlib names)
3:12 PM Changeset in unix [2ab2b49]ghc-7.8 by Ian Lynagh <ian@…>
Export CatchInfo,CatchInfoOnce constructors of Handler This fixes warnings following commit 910a642294eb3547d0cbb3d5735ad81b964f137b Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon Oct 29 23:25:25 2012 +0000 Do not treat a constructor in a *pattern* as a *use* of that constructor I'm not sure if this is the right thing to do: In commit 1c4608e3b8737dbb9204f850af4d680ccea7d8ec Author: Simon Marlow <marlowsd@gmail.com> Date: Thu Feb 19 10:05:32 2009 +0000 Rewrite of signal-handling. the commit message says: The new implementation has the capability to define signal handlers that have access to the siginfo of the signal (#592), but this functionality is not exposed in this patch. but this at least gets validate builds working again, and we can change it if necessary as part of #2451
2:35 PM Status/Oct12 edited by goldfire
(diff)
1:33 PM Ticket #7378 (Identical alts/bad divInt# code) created by daniel.is.fischer
[http://stackoverflow.com/questions/13139875/removing-case-with-duplicate-b
11:25 AM Changeset in ghc [8900089]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint deeds in splitter
11:24 AM Changeset in ghc [6d30d1c]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a small but critcal error in MSG
11:21 AM Changeset in ghc [ab5008d4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Retainer prof: immutable arrays are not retainers, and fix the docs
11:21 AM Changeset in ghc [984149bf]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix C macro bug that was causing some stack checks to erroneously succeed
10:38 AM Status/Oct12 edited by dreixel
(diff)
10:28 AM Status/Oct12 edited by simonpj
(diff)
10:26 AM Status/Oct12 edited by simonpj
(diff)
9:57 AM Ticket #7377 (Type equality unification shortcoming) closed by simonpj
fixed: This was originally by design, but we changed our minds back again! I …
9:55 AM Ticket #6069 (Rank 2 Polymorphism Compile Error) closed by simonpj
fixed: Now all three fail, as they should, and fail in the same way: […]
9:54 AM Changeset in ghc [9de0eb95]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #6069
9:54 AM Changeset in testsuite [7185a1f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6069
9:49 AM Changeset in ghc [2098689]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7264
9:49 AM Changeset in testsuite [a457a9d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7264
9:47 AM Ticket #7264 (Adding GHC's inferred type signatures to a working program can make it ...) closed by simonpj
fixed: Now GHC does not instantiate mmap at a polymorphic type, and we get this …
9:39 AM Ticket #7336 (Defined but not used is not detected for data types with instances) closed by simonpj
fixed: Good point. Here's a fix: […] The fix does not treat "deriving" …
9:22 AM Changeset in ghc [87de298]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
9:22 AM Changeset in testsuite [53034d7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite
9:20 AM Changeset in base [b500ee8]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//packages/base
9:20 AM Changeset in ghc [7fa00730] by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//packages/base
9:20 AM Changeset in base [e7df49e]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Peyton Jones <simonpj@…>
Replace Rank2Types with RankNTypes
9:20 AM Changeset in ghc [f5dee983] by Simon Peyton Jones <simonpj@…>
Replace Rank2Types with RankNTypes
9:17 AM Changeset in ghc [c682cab]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Add error output (accidently omitted before)
9:17 AM Changeset in testsuite [3fb0df4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add error output (accidently omitted before)
9:16 AM Changeset in ghc [309c7e60]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Extend tc194 slightly
9:16 AM Changeset in testsuite [5a5a1a4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Extend tc194 slightly
9:15 AM Changeset in ghc [fcb4fe57]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error messages
9:15 AM Changeset in testsuite [6b5c60fa]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error messages
9:12 AM Changeset in ghc [f28972a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Improved performance bounds on 32-bit win
9:12 AM Changeset in testsuite [cc131a6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improved performance bounds on 32-bit win
9:11 AM Changeset in ghc [2f6b815]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Use 'error "uk"' rather than 'undefined' 'error' hsa a magical type with openTypeKind, whereas undefined doesn't
9:11 AM Changeset in testsuite [521472f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Use 'error "uk"' rather than 'undefined' 'error' hsa a magical type with openTypeKind, whereas undefined doesn't
9:09 AM Changeset in ghc [7e255c5c]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:08 AM Changeset in ghc [10f8342]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Do not instantiate unification variables with polytypes Without -XImpredicativeTypes, the typing rules say that a function should be instantiated only at a *monotype*. In implementation terms, that means that a unification variable should not unify with a type involving foralls. But we were not enforcing that rule, and that gave rise to some confusing error messages, such as Trac #7264, #6069 This patch adds the test for foralls. There are consequences * I put the test in occurCheckExpand, since that is where we see if a type can unify with a given unification variable. So occurCheckExpand has to get DynFlags, so it can test for -XImpredicativeTypes * We want this to work foo :: (forall a. a -> a) -> Int foo = error "foo" But that means instantiating error at a polytype! But error is special already because you can instantiate it at an unboxed type like Int#. So I extended the specialness to allow type variables of openTypeKind to unify with polytypes, regardless of -XImpredicativeTypes. Conveniently, this works in TcUnify.matchExpectedFunTys, which generates unification variable for the function arguments, which can be polymorphic. * GHC has a special typing rule for ($) (see Note [Typing rule for ($)] in TcExpr). It unifies the argument and result with a unification variable to exclude unboxed types -- but that means I now need a kind of unificatdion variable that *can* unify with a polytype. So for this sole case I added PolyTv to the data type TcType.MetaInfo. I suspect we'll find mor uses for this, and the changes are tiny, but it still feel a bit of a hack. Well the special rule for ($) is a hack! There were some consequential changes in error reporting (TcErrors).
8:54 AM Changeset in ghc [4baebfae]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
12:50 AM Changeset in ghc [a44a5e3]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Clean some old files that we no longer generate Avoids problems for people with old files in their tree
12:25 AM Changeset in ghc [8623be0]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:08 AM Changeset in ghc [8d226e28]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Improve touchy It's now simpler, and it fails if something fails rather than just printing an error message and continuing.

Oct 30, 2012:

11:53 PM Changeset in ghc [8c7dc718]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Change how touchy sets the file time Also added a large comment about why we need it
11:35 PM Ticket #7377 (Type equality unification shortcoming) created by acowley
The following program demonstrates cases where the equality f a ~ g b is …
11:17 PM Status/Oct12 edited by gmainland
(diff)
8:50 PM Changeset in ghc [5ee08ddf]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Attach global register liveness info to Cmm procedures. All Cmm procedures now include the set of global registers that are live on procedure entry, i.e., the global registers used to pass arguments to the procedure. Only global registers that are use to pass arguments are included in this list.
8:50 PM Changeset in ghc [e2f6bbd]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Draw STG F and D registers from the same pool of available SSE registers on x86-64. On x86-64 F and D registers are both drawn from SSE registers, so there is no reason not to draw them from the same pool of available SSE registers. This means that whereas previously a function could only receive two Double arguments in registers even if it did not have any Float arguments, now it can receive up to 6 arguments that are any mix of Float and Double in registers. This patch breaks the LLVM back end. The next patch will fix this breakage.
8:50 PM Changeset in ghc [dcf88e66]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Generate correct LLVM for the new register allocation scheme. We now have accurate global register liveness information attached to all Cmm procedures and jumps. With this patch, the LLVM back end uses this information to pass only the live floating point (F and D) registers on tail calls. This makes the LLVM back end compatible with the new register allocation strategy. Ideally the GHC LLVM calling convention would put all registers that are always live first in the parameter sequence. Unfortunately the specification is written so that on x86-64 SpLim (always live) is passed after the R registers. Therefore we must always pass *something* in the R registers, so we pass the LLVM value undef.
8:50 PM Changeset in ghc [a50cd57]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Get ride of the -fregs-liveness flag. With the new register allocation scheme, the LLVM back end must always use liveness information.
8:50 PM Changeset in ghc [82ede426]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Properly mark C-- calls to _assertFail as "never returns".
8:50 PM Changeset in ghc [6a685070]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Generalize register sets and liveness calculations. We would like to calculate register liveness for global registers as well as local registers, so this patch generalizes the existing infrastructure to set the stage.
4:55 PM Changeset in ghc [8e5fe67]cardinality by Ilya Sergey <Ilya.Sergey@…>
cleanup
4:39 PM Changeset in ghc [aa2ef7c7]cardinality by Ilya Sergey <Ilya.Sergey@…>
Merge branch 'new-demand-to-merge' into cardinality Conflicts: compiler/stranal/DmdAnal.lhs
1:04 PM Changeset in ghc [fad36872]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite Conflicts: mk/test.mk
1:04 PM Changeset in testsuite [eed0564]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite Conflicts: mk/test.mk
12:50 PM Changeset in ghc [8e816844]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Cmm jumps always have live register information. Jumps now always have live register information attached, so drop Maybes.
12:50 PM Changeset in ghc [f9265dd3]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Attach proper jump liveness information to generated C-- code.
12:50 PM Changeset in ghc [3db0254]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Geoffrey Mainland <gmainlan@…>
Save and restore registers across calls to unlockClosure. We may not assume that registers are saved across calls to unlockClosure because it could call a C function on some platforms.
12:30 PM Changeset in ghc [37f59ef]cardinalitynew-demand-to-merge by Ilya Sergey <Ilya.Sergey@…>
cleanup
12:21 PM Changeset in ghc [09c49d31]cardinalitynew-demand-to-merge by Ilya Sergey <Ilya.Sergey@…>
cleanup
12:21 PM Changeset in ghc [a56d356c]cardinalitynew-demand-to-merge by Ilya Sergey <Ilya.Sergey@…>
cleanup
12:10 PM Changeset in ghc [f288a5b]cardinalitynew-demand-to-merge by Ilya Sergey <Ilya.Sergey@…>
Merge branch 'master' into new-demand-to-merge
12:10 PM Changeset in ghc [abc6031b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
fix HAVE_VANILLA when we have both static profiling and vanilla libs
12:10 PM Changeset in ghc [a7e40468]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept
12:10 PM Changeset in testsuite [03a016b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
fix HAVE_VANILLA when we have both static profiling and vanilla libs
12:10 PM Changeset in testsuite [46a856a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept
12:09 PM Changeset in ghc [04219cf]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
add test for #7319
12:09 PM Changeset in testsuite [23ad5a9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #7319
12:06 PM Changeset in ghc [092c0bd4]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Make DYNAMIC_BY_DEFAULT=NO when GhcUnregisterised
12:06 PM Changeset in ghc [4444dd8]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
INFO_TABLE_RET should generate a CmmRetInfoLabel, not a CmmInfoLabel Fixes this, when building unregisterised: rts/dist/build/AutoApply.hc:87:1: error: ‘stg_ap_v_entry’ undeclared (first use in this function)
12:06 PM Changeset in ghc [26284ea]cardinalitynew-demand-to-merge by Ilya Sergey <Ilya.Sergey@…>
Merge branch 'master' into new-demand-to-merge Conflicts: compiler/basicTypes/MkId.lhs compiler/coreSyn/CorePrep.lhs compiler/main/DynFlags.hs compiler/main/TidyPgm.lhs compiler/simplCore/SimplCore.lhs compiler/simplCore/SimplUtils.lhs compiler/stranal/DmdAnal.lhs
12:02 PM Changeset in ghc [baf9da65]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
make it optional to have DynamicByDefault, to support older GHCs It's often useful to be able to say 'make TEST_HC=ghc' to check that a test really fails with a different GHC.
12:02 PM Changeset in testsuite [65ab228]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
make it optional to have DynamicByDefault, to support older GHCs It's often useful to be able to say 'make TEST_HC=ghc' to check that a test really fails with a different GHC.
6:38 AM Status/Oct12 edited by chak
(diff)
6:30 AM Changeset in ghc [191250b4]type-nats by Iavor S. Diatchki <diatchki@…>
Fix up to build with renamed promoting functions.
4:44 AM Ticket #7376 (strict field + type constructor of kind * -> * or higher causes ghc panic) closed by guest
duplicate: Thanks for the report, it's a duplicate of #7210.
2:39 AM Changeset in ghc [7d7410f5]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Fix the have-we-got-vanilla-libraries test It thought that the profiling libraries were vanilla
2:39 AM Changeset in testsuite [90033bb]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix the have-we-got-vanilla-libraries test It thought that the profiling libraries were vanilla
2:36 AM Changeset in ghc [11aa737]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/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix dependency generation when GhcLibWays = dyn p This is a kludge. A proper fix probably involves improving the "ghc -M" flags to handle this sort of case better.
1:22 AM Changeset in base [78960877]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ross Paterson <ross@…>
add Traversable laws
1:22 AM Changeset in ghc [0ec659d] by Ross Paterson <ross@…>
add Traversable laws
Note: See TracTimeline for information about the timeline view.