Timeline


and

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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
2:29 PM Changeset in ghc [22932389]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Whitespace only in codeGen/StgCmmPrim.hs
2:11 PM Changeset in ghc [dba4fa5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Fix typos
1:13 PM Status/Oct12 edited by igloo
(diff)
1:04 PM Changeset in ghc [225172e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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 [458ee4f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <marlowsd@…>
Fix bug in stg_ctoi_R1n (could cause GHCi crashes)
10:13 AM Changeset in ghc [ee43ad52]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <marlowsd@…>
turn off cmm optimisation for the debug way
10:13 AM Changeset in ghc [3a6b1bf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
4:15 PM Changeset in ghc [2677e42]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Wibble to recent changes to TcErrors
4:15 PM Changeset in ghc [8cddd70]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <marlowsd@…>
Retainer prof: immutable arrays are not retainers, and fix the docs
11:21 AM Changeset in ghc [984149bf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis 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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Simon Peyton Jones <simonpj@…>
Replace Rank2Types with RankNTypes
9:17 AM Changeset in ghc [c682cab]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
9:08 AM Changeset in ghc [10f8342]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Comments only
12:50 AM Changeset in ghc [a44a5e3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:08 AM Changeset in ghc [8d226e28]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Geoffrey Mainland <gmainlan@…>
Properly mark C-- calls to _assertFail as "never returns".
8:50 PM Changeset in ghc [6a685070]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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.
1:04 PM Changeset in ghc [fad36872]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Geoffrey Mainland <gmainlan@…>
Attach proper jump liveness information to generated C-- code.
12:50 PM Changeset in ghc [3db0254]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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:10 PM Changeset in ghc [abc6031b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <marlowsd@…>
Make DYNAMIC_BY_DEFAULT=NO when GhcUnregisterised
12:06 PM Changeset in ghc [4444dd8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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:02 PM Changeset in ghc [baf9da65]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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)
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis 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]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Ross Paterson <ross@…>
add Traversable laws

Oct 29, 2012:

11:37 PM Ticket #7376 (strict field + type constructor of kind * -> * or higher causes ghc panic) created by wyfrn
Example: data Foo = Foo { strictField :: ! IO [String] } Remove the …
11:25 PM Changeset in ghc [910a642]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Do not treat a constructor in a *pattern* as a *use* of that constructor Occurrences in terms are uses, in patterns they are not. In this way we get unused-constructor warnings from modules like this module M( f, g, T ) where data T = T1 | T2 Bool f x = T2 x g T1 = True g (T2 x) = x Here a T1 value cannot be constructed, so we can warn. The use in a pattern doesn't count. See Note [Patterns are not uses] in RnPat. Interestingly this change exposed three module in GHC itself that had unused constructors, which I duly removed: * ghc/Main.hs * compiler/ghci/ByteCodeAsm * compiler/nativeGen/PPC/RegInfo Their changes are in this patch.
11:19 PM Changeset in ghc [f8c23ff]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Fix bug with reporting deprecated use of flag (Trac #7349)
7:53 PM Changeset in ghc [59564731]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Fix a makefile rule
6:32 PM Changeset in ghc [795a3fd7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
More .gitignore updates
6:26 PM Changeset in ghc [5558bea]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Rearrange .gitignore a little
12:05 PM Ticket #7375 (Building ghc fails because it is looking for an old version of libgmp) created by mimosa
Haskell requires libgmp.so.3 but that is ancient. I'm not sure if this …
12:19 AM Changeset in ghc [0c4ed55]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Move ghc-pkg's generated Version.hs inside the dist directories

Oct 28, 2012:

10:29 PM Changeset in ghc [d24ffd62]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Remove some more unused .gitignore entries
9:22 PM Ticket #7374 (rule not firing) created by igloo
In the code below, the rule appears not to fire. Based on the bytestring …
7:56 PM Ticket #7373 (When building GHC: Failed to load interface for `GHC.Fingerprint') created by igloo
when doing a build with THREADS=1, we are getting things like: […] (we …
7:02 PM Changeset in ghc [1b02de8d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Remove some old .gitignore entries We no longer generate those files
6:45 PM Ticket #7372 (Lint failure in GHC 7.6.1) created by simonpj
José Romildo Malaquias reports that the attached file (requires parsec

Oct 27, 2012:

9:16 PM Changeset in ghc [fe7c8fc]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
fix obvious typos these can go into the release 7.6.2 too, I guess
9:13 PM Changeset in ghc [115ceb4]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Typo
9:11 PM Changeset in ghc [32019d8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix typo in the documentation of CApiFFI Signed-off-by: Gabor Greif <ggreif@gmail.com>
9:00 PM Changeset in ghc [c7ae3509]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Use the right arch name in the Windows installer filename
7:31 PM Changeset in base [9eb9bba]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove GHC.Read.readp It was marked with "XXX Can this be removed?", so let's remove it and see if anything breaks.
7:31 PM Changeset in ghc [9e9c6ebc]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Ian Lynagh <ian@…>
Remove GHC.Read.readp It was marked with "XXX Can this be removed?", so let's remove it and see if anything breaks.
6:30 PM Changeset in base [d073522]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
More type signature improvements from Bas van Dijk No changes, just using nicer type variable names
6:30 PM Changeset in ghc [123ba5ef]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Ian Lynagh <ian@…>
More type signature improvements from Bas van Dijk No changes, just using nicer type variable names
6:13 PM Changeset in base [fff940b]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove commented types in module export lists These comments are rather less useful now that haddock can give docs with the same informatino in the module synopsis. Having to maintain them when making changes to the library is a pain, and when people forget about doing so there is nothing that checks that the comments are right, so mistakes tend to linger. Of the comments that my script detected, 78 of 684 were already incorrect in one way or another, e.g. missing context: Text.Show.showsPrec Comment type: Int -> a -> ShowS Actual type: Show a => Int -> a -> ShowS wrong context: Numeric.readInt Comment type: Integral a => a -> (Char -> Bool) -> (Char -> Int) -> ReadS a Actual type: Num a => a -> (Char -> Bool) -> (Char -> Int) -> ReadS a not following a class change (e.g. Num losing its Eq superclass): Text.Read.Lex.readOctP Comment type: Num a => ReadP a Actual type: (Eq a, Num a) => ReadP a not following the Exceptions change: GHC.Conc.childHandler Comment type: Exception -> IO () Actual type: SomeException -> IO () or just always been wrong: GHC.Stable.deRefStablePtr Comment type: StablePtr a -> a Actual type: StablePtr a -> IO a
6:13 PM Changeset in ghc [fda3002]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Ian Lynagh <ian@…>
Remove commented types in module export lists These comments are rather less useful now that haddock can give docs with the same informatino in the module synopsis. Having to maintain them when making changes to the library is a pain, and when people forget about doing so there is nothing that checks that the comments are right, so mistakes tend to linger. Of the comments that my script detected, 78 of 684 were already incorrect in one way or another, e.g. missing context: Text.Show.showsPrec Comment type: Int -> a -> ShowS Actual type: Show a => Int -> a -> ShowS wrong context: Numeric.readInt Comment type: Integral a => a -> (Char -> Bool) -> (Char -> Int) -> ReadS a Actual type: Num a => a -> (Char -> Bool) -> (Char -> Int) -> ReadS a not following a class change (e.g. Num losing its Eq superclass): Text.Read.Lex.readOctP Comment type: Num a => ReadP a Actual type: (Eq a, Num a) => ReadP a not following the Exceptions change: GHC.Conc.childHandler Comment type: Exception -> IO () Actual type: SomeException -> IO () or just always been wrong: GHC.Stable.deRefStablePtr Comment type: StablePtr a -> a Actual type: StablePtr a -> IO a
5:38 PM Changeset in ghc [2d44ece]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Peyton Jones <simonpj@…>
Test Trac #7336
5:38 PM Changeset in testsuite [7a57e1a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7336
3:17 PM Changeset in base [63f60864]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
alpha-rename the type signatures of foldl, foldl', and scanl to be consistent with foldr and scanr
3:17 PM Changeset in ghc [57f65911]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Ian Lynagh <ian@…>
alpha-rename the type signatures of foldl, foldl', and scanl to be consistent with foldr and scanr
2:57 PM Building/Unregisterised edited by igloo
(diff)
2:30 PM Building/Unregisterised edited by igloo
(diff)
2:07 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:37 PM Changeset in ghc [3a0a3151]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <ian@…>
Fix build on platforms on which we don't have register info
Note: See TracTimeline for information about the timeline view.