Timeline


and

Apr 30, 2012:

11:59 PM Changeset in base [2c55639]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix openFile003 for Win64
11:59 PM Changeset in ghc [77193449]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Ian Lynagh <igloo@…>
Fix openFile003 for Win64
11:58 PM Changeset in ghc [b4d34d4c]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@…>
Allow OS-specific test outputs in the driver
11:58 PM Changeset in testsuite [496ef43]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Allow OS-specific test outputs in the driver
11:58 PM Changeset in ghc [27c08af]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@…>
Simplify the stdout-* filename generation in the driver
11:58 PM Changeset in testsuite [e25ac76]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Simplify the stdout-* filename generation in the driver
11:25 PM Changeset in ghc [3457c6b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix maintenance of n_blocks in the RTS It was causing assertion failures of ASSERT(countBlocks(nursery->blocks) == nursery->n_blocks) at ghc-stage2: internal error: ASSERTION FAILED: file rts/sm/Sanity.c, line 878
9:47 PM Changeset in ghc [e89ef70]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
More Win32 build fixes
7:37 PM Changeset in ghc [117c4a8]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fixes for x86/Linux
7:15 PM Changeset in ghc [8a25d8af]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix the stage1 ghc hschooks.c The stage0 compiler might have a different idea as to what type lnat corresponds to, so cast the value to the type we want.
6:02 PM Ticket #6065 (Suggested type signature causes a type error (even though it appears ...) created by tvynr
The attached file, MWE.hs, contains an experiment attempting a rudimentary …
5:59 PM Changeset in ghc [0042c47]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix build of rts/Linker.c on Win32
5:07 PM Changeset in ghc [73f28aae]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@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
5:07 PM Changeset in testsuite [456fa5d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
5:04 PM Changeset in ghc [2c4cac3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 darcs.haskell.org:/srv/darcs//ghc
5:03 PM Ticket #6064 (InstanceD declaration does not allow for explicit TyVarBndrs) created by goldfire
The definition of InstanceD does not allow for explicitly-kinded …
4:36 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:05 PM Ticket #6063 (GHC's build-time ld-flag checks are problematic) created by parcs
If the linker that GHC was built against happened to recognize the …
3:57 PM Changeset in ghc [05b55c6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Get GHCi working on Win64
3:43 PM Changeset in ghc [2822e00]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Document eta expansion under GHC bugs and infelicities
3:36 PM Ticket #6054 (Couldn't match kind `BOX' against `*' when using SOURCE import) closed by simonpj
fixed: Thanks for identifying this!
3:35 PM Changeset in ghc [b71f703]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 #6054
3:35 PM Changeset in testsuite [9850651f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6054
3:21 PM Ticket #6055 (panic: ctFlavId: derived constraint cannot have id) closed by simonpj
fixed
3:20 PM Changeset in ghc [081ee177]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Egregious typo (fixes Trac #6055)
3:14 PM Changeset in ghc [0021043]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 #6055
3:14 PM Changeset in testsuite [a7035aa]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6055
3:04 PM Changeset in ghc [79d1d3d]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@…>
Bump peak-megabytes-alllocated for T4801 It depends too much on when GC takes place, and bounces around by 10% on this particular test.
3:04 PM Changeset in testsuite [87f6d67]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Bump peak-megabytes-alllocated for T4801 It depends too much on when GC takes place, and bounces around by 10% on this particular test.
2:39 PM Ticket #6062 (TH treats non-functions in function position inconsistently) created by heisenbug
I start GHCi like this: […] My aim is to use TH to rewrite certain …
12:43 PM Changeset in ghc [dceecca]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
12:40 PM Changeset in ghc [20e6d9d0]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
More explicit pretty-printing of promoted TyCons with -dppr-debug
12:40 PM Changeset in ghc [e57c866]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Make the interface-file deserialisation work right for promoted types (Trac #6054) GHC currently uses the slightly-dodgy plan that when we proote a TyCon to be a Kind constructor we leave it with the same Name. That means that to make sense of a IfaceType we need to know wheter it is really an IfaceType or an IfaceKind, because in the latter an occurrence of (say) Maybe will be the *promoted* Maybe. See Note [Checking IfaceTypes vs IfaceKinds] in TcIface
10:22 AM Ticket #6061 (threadDelay broken on Windows) created by simonmar
There seems to be new breakage in threadDelay on Windows. I noticed …
8:43 AM Ticket #6041 (Program hangs when run under Ubuntu Precise) closed by simonmar
worksforme: I looked into it a bit, and the binary seems to contain a top-level CAF of …
4:34 AM Ticket #6060 (the 'impossible' happened) created by lerkok
[…]

Apr 29, 2012:

2:42 PM Ticket #6059 (FFI: segfault when jumping to code buffer (under certain conditions)) created by guest
I updated my developing machine from Ubuntu 10.04 LTS to Ubuntu 12.04 LTS …
2:26 PM Ticket #6058 (trac: can't register a new user) created by guest
==== How to Reproduce ==== While doing a GET operation on /register, …
10:30 AM Ticket #6057 (hGetBufNonBlocking blocks the underlying handle on Windows) created by cetinsert
In a cross-platform transport-layer proxy software I am developing, I have …

Apr 28, 2012:

1:45 PM Ticket #6056 (INLINABLE pragma prevents worker-wrapper to happen.) created by milan
When working on containers I found out that a method returning a pair …

Apr 27, 2012:

8:28 PM Changeset in ghc [7befd215]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/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 Iavor S. Diatchki <diatchki@…>
Merge remote-tracking branch 'origin/master' into pretty-build
8:24 PM Changeset in ghc [d209588]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/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 Iavor S. Diatchki <diatchki@…>
A build-system tweak for more readable build output. This change reduces the (default) verbosity of the build system. This makes it easier to spot warnings in the output and, also, it makes it easier to estimate how far along are we in the build process by just glancing at the output. To get the traditional fully verbose output, set V=1, like this: make V=1
7:11 PM Changeset in ghc [d642f5c]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@…>
Testsuite driver tweak for Windows This handles the case where we redirect stdout/stderr to a file, but the command fails quickly and the file is not actually created.
7:11 PM Changeset in testsuite [cdcdfab]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Testsuite driver tweak for Windows This handles the case where we redirect stdout/stderr to a file, but the command fails quickly and the file is not actually created.
5:07 PM Changeset in ghc [7533607]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Revert "Add -faggressive-primops" This reverts commit 745ec959ff647c3a455767d20f6f37e9a0cc65aa. Sigh. Seg fault
5:07 PM Changeset in ghc [a2ae0d77]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Revert "Refactoring in CoreUtils/CoreArity" This reverts commit e3f8557c2aca04cf64eec6a1aacde6e01c0944ff. Sigh. Seg fault.
5:06 PM Changeset in ghc [4a088f8]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Revert "Make more primops cheaper" This reverts commit a365a58eade7cb2c961af8e60c20b7d78b1b7484. Sigh. Seg fault. Major sigh.
4:50 PM Ticket #5929 (Exciting arity warning when compiling with optimizations) closed by simonpj
fixed
4:46 PM Changeset in ghc [d55ff2f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
4:45 PM Changeset in ghc [a365a58e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Make more primops cheaper This puts back the earlier behaviour (pre "aggressive-primop" patch) whereby most primpos were considered cheap. In the aggressive-primop patch we made them ones with bigger "code_size" seem not-cheap, but this slows down fft2 a lot. So I've reverted to the earlier behaviour. +++ b/compiler/prelude/PrimOp.lhs @@ -450,6 +450,8 @@ primOpIsCheap op -- This is vital; see Note [PrimOp can_fail and has_side_effects] && not (primOpOutOfLine op) - -- && primOpCodeSize op <= primOpCodeSizeDefault +-- Omitting; it makes fft2 run a lot slower by preventing +-- eta expansion in an inner loop, with a primop cosDouble#
4:42 PM Changeset in ghc [95fb4b1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Comment out a pprTrace unless DEBUG is on (fix Trac #5929)
4:35 PM Changeset in ghc [77b05fa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
3:50 PM Changeset in ghc [5826a77a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Pretty printing and debug improvements
3:34 PM Holes edited by spl
Proposal section revised (diff)
3:29 PM Changeset in ghc [22028c1a]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
3:29 PM Changeset in testsuite [09cdf1d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
3:28 PM Changeset in ghc [bbeaec2d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
3:28 PM Changeset in ghc [e3f8557]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Refactoring in CoreUtils/CoreArity In the previous commit about "aggressive primops" I wanted a new function CoreUtils.exprCertainlyTerminates. In doing this I ended up with a significant refactoring in CoreUtils. The new structure has quite a lot of nice sharing: exprIsCheap = exprIsCheap' isHNFApp exprIsExpandable = exprIsCheap' isConLikeApp exprIsHNF = exprIsHNFlike isHNFApp exprIsConLike = exprIsHNFlike isConLikeApp exprCertainlyTerminates = exprIsHNFlike isTerminatingApp This patch also does some renaming CheapAppFun --> FunAppAnalyser isCheapApp --> isHNFApp isExpandableApp --> isConLikeApp
3:25 PM Changeset in ghc [745ec959]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 -faggressive-primops I'm experimenting with making GHC a bit more aggressive about a) dropping case expressions if the result is unused Simplify.rebuildCase, CaseElim equation b) floating case expressions inwards FloatIn.fiExpr, AnnCase In both cases the new behaviour is gotten with a static (debug) flag -faggressive-primops. The extra "aggression" is to allow discarding and floating in for side-effecting operations. See the new, extensive Note [PrimOp can_fail and has_side_effects] and Note [Aggressive PrimOps] in PrimoOp. When discarding a case with unused binders, in the lifted-type case it's definitely ok if the scrutinee terminates; previously we were checking exprOkForSpeculation, which is significantly worse. There's a related change to CoreUtils/CoreArity, but I'll put that in the next commit.
3:20 PM Changeset in ghc [5519566f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Debug printing only
3:19 PM Changeset in ghc [c049d30]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Small refactoring in kind generalisation of type declarations
3:19 PM Changeset in ghc [4ffc4c7]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
White space and debug printint
2:29 PM Holes edited by spl
Remove now-unused section (diff)
2:28 PM Holes edited by spl
Implicit parameters (diff)
2:26 PM Ticket #6055 (panic: ctFlavId: derived constraint cannot have id) created by Lemming
When trying to check, whether GHC-7.5 still suffers from #5970 I found …
2:14 PM Changeset in ghc [26d690a3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 darcs.haskell.org:/srv/darcs//ghc
2:08 PM Ticket #6054 (Couldn't match kind `BOX' against `*' when using SOURCE import) created by atnnn
When this module has a (useless) SOURCE import, using its typeclass gives …
2:07 PM Ticket #5879 (mkWeak# has a very dangerous type) closed by simonmar
fixed
2:06 PM Ticket #5914 (armhf build fails in Ubuntu (7.4.1)) closed by simonmar
fixed: Optimistically closing the ticket, please re-open if there's still a …
2:02 PM Holes edited by spl
Deliberate type errors (diff)
1:44 PM Holes edited by spl
Deferring type errors (diff)
1:29 PM Holes edited by spl
Introduction (diff)
12:51 PM Holes edited by spl
Minor clarification (diff)
12:30 PM Changeset in ghc [05f46d00]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 #6007
12:30 PM Changeset in testsuite [41ecea2f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #6007
12:30 PM Changeset in ghc [73b97bdf]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 #6006
12:30 PM Changeset in testsuite [8dfa8fe]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #6006
12:28 PM Ticket #6052 (type-level - PAP object entered) closed by Lemming
fixed: Now the error has gone. Maybe since I have managed to force cabal-install …
12:20 PM Changeset in ghc [4ca28182]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
hs_init(): cope with argc and/or argv being NULL (#6006)
12:11 PM Changeset in ghc [f18db3b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 darcs.haskell.org:/srv/darcs//ghc
12:07 PM Changeset in ghc [b6e28266]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Catch illegal imports earlier (#6007)
11:23 AM Changeset in ghc [1ed0193c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 a new primop mkWeakNoFinalizer (#5879)
11:17 AM Changeset in base [d859812]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
use mkWeakNoFinalizer# (#5879)
11:17 AM Changeset in ghc [d5a3d79]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Simon Marlow <marlowsd@…>
use mkWeakNoFinalizer# (#5879)
11:15 AM Ticket #6053 (packages in GHC should have different versions from hackage if the ...) created by Lemming
I try to compile a package with many dependencies using GHC-7.5.20120426 …
10:48 AM Changeset in ghc [9aa3a7b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix build on OS X
10:36 AM Ticket #6052 (type-level - PAP object entered) created by Lemming
When compiling type-level-0.2.4 with GHC-7.5.20120426 I get: […]
10:19 AM Holes edited by simonpj
(diff)
10:19 AM Holes edited by simonpj
(diff)
10:15 AM Commentary edited by simonpj
(diff)
10:13 AM Changeset in ghc [3144f856]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 support for ARM hard-float ABI (fixes #5914) This patch enhances Platform's ArchARM to include ARM ABI value. It also tweaks configure machinery to detect hard-float ABI and to set it wherever needed. Finally when hard-float ABI is in use, pass appropriate compiler option to the LLVM's llc. Fixes #5914.
8:53 AM Ticket #4817 (Missing new flags description in the user guide) closed by pcapriotti
fixed: Merged as 07d78daff97129d634ffdef6a92c7d649c3557cd.
8:52 AM Ticket #6050 (Documentation for option -Wall and warning -fwarn-unrecognised-pragmas) closed by pcapriotti
fixed: The documentation for -fwarn-unrecognised-pragmas correctly reports that …
8:49 AM Changeset in ghc [07d78da]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Doc: updated list of warnings not enabled by -Wall (#4817) MERGED from commit 18c2a2f71e38fad5e677b8f448f6135e5a691868
8:48 AM Changeset in ghc [dd20b2f3]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Flags documentation: -fwarn-unrecognized-pragmas is enabled by -Wall (#6050) MERGED from commit 44098b3dab032a83cc869855de67377f41d82384
8:46 AM Changeset in ghc [18c2a2f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 Paolo Capriotti <p.capriotti@…>
Doc: updated list of warnings not enabled by -Wall (#4817)
8:40 AM Changeset in ghc [44098b3d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 Paolo Capriotti <p.capriotti@…>
Flags documentation: -fwarn-unrecognized-pragmas is enabled by -Wall (#6050)
7:23 AM Changeset in ghc [a6a3bf4]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 arising from using coreBindsStats
7:23 AM Changeset in testsuite [7b404cc]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error messages arising from using coreBindsStats
6:32 AM Ticket #6051 (Parsing type constraints in GHC 7.4.1) closed by michalt
duplicate: Thanks for reporting! Seems to be same problem as in #5951, which is …
6:18 AM Ticket #6051 (Parsing type constraints in GHC 7.4.1) created by leepike
This appears to be a parsing bug, or at least a bad error message, for a …
12:30 AM Changeset in ghc [35e90394]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 win:c:/ghc/git/cygwin/.
12:28 AM Changeset in ghc [31f16fab]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Win32 build fix
12:27 AM Changeset in ghc [5a3fdc0]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix build on Win32, and handle the FMT_* #defines in a slightly nicer way
12:18 AM Ticket #6050 (Documentation for option -Wall and warning -fwarn-unrecognised-pragmas) created by asr
The documentation for option -Wall says that the warning …

Apr 26, 2012:

11:25 PM Changeset in ghc [d7b57949]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Simplify format specifiers It turns out that we can use %zu and %llu on Win32, provided we include PosixSource everywhere we want to use them.
10:04 PM Changeset in ghc [0ff6dbc]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Win32 build fix
8:49 PM Changeset in ghc [80a9f2f5]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Document the -fwarn-unsupported-calling-conventions flag
8:04 PM Changeset in ghc [42760bd9]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
OS X build fixes OS X doesn't understand 'gnu_printf', so we need to onyl use it conditionally.
7:46 PM Changeset in ghc [0377f8f1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix build on OSX: Use the 'z' format specifier modifier when possible On Win32 it's not recognised, so we unfortunately can't use it unconditionally.
7:35 PM Ticket #6049 (Kind variable generalization error in GADTs) created by goldfire
The following code fails to compile with 7.5.20120426: […] The …
7:24 PM Changeset in ghc [b1eee04d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Build fixes
6:45 PM Changeset in ghc [b643fe08]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 darcs.haskell.org:/srv/darcs//ghc
6:40 PM Changeset in ghc [9f611ccc]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 win:c:/m64/reg8
6:28 PM Changeset in ghc [3d8dd486]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Add SRC_[CH]C_WARNING_OPTS This allows you to say things like SRC_HC_WARNING_OPTS += -fno-warn-unsupported-calling-conventions in mk/validate.mk. Unfortunately, we can't just use SRC_HC_OPTS, as that gets put before the more specific options (e.g. ghc-options in a .cabal file), many of which include -Wall. So now we have: ghc $(SRC_HC_OPTS) ... options from .cabal etc ... $(SRC_HC_WARNING_OPTS)
5:39 PM Changeset in ghc [dd96644c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Win64 build fix
5:06 PM Changeset in ghc [5f894374]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Use coreBindsStats more than coreBindsSize
5:05 PM Changeset in ghc [6866b87b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Tiny refactor
4:04 PM Ticket #6027 (Allow changing fixity of new type operators) closed by pcapriotti
fixed: The implementation of dataTcOccs in the above commit is slightly …
4:00 PM Changeset in ghc [32b2573]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 Paolo Capriotti <p.capriotti@…>
Add tests for #6027.
4:00 PM Changeset in testsuite [404c29f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add tests for #6027.
4:00 PM Changeset in ghc [5bfd893]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 Paolo Capriotti <p.capriotti@…>
Fix lookup of fixity signatures for type operators (#6027) Extend name lookup for fixity declaration to the TcClsName namespace for all reader names, instead of only those in DataName.
3:52 PM Changeset in ghc [1dbe6d59]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Fix warnings on Win64 Mostly this meant getting pointer<->int conversions to use the right sizes. lnat is now size_t, rather than unsigned long, as that seems a better match for how it's used.
3:47 PM Ticket #5321 (Very slow constraint solving for type families) closed by simonpj
fixed: Changes are now in HEAD (I forget the exact commit) and regression tests …
3:46 PM Ticket #5837 (Context reduction stack overflow can take very long) closed by simonpj
fixed: Performance regression test added.
3:45 PM Changeset in ghc [3ad4e94]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 #5837
3:45 PM Changeset in testsuite [2c717dc]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5837
3:39 PM Changeset in ghc [524043d]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 bounds for T1969 on x86_64-linux
3:39 PM Changeset in ghc [2a05a99]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 bug in stats checking
3:39 PM Changeset in ghc [02dd86da]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@…>
Update some perf bounds that have improved
3:39 PM Changeset in testsuite [4d4af4f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
fix bounds for T1969 on x86_64-linux
3:39 PM Changeset in testsuite [6caa1ab]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
fix bug in stats checking
3:39 PM Changeset in testsuite [836e5b8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update some perf bounds that have improved
3:03 PM Ticket #6048 (Exponential inlining code blowup) created by simonpj
(Transferring a new thread from #5539 to a new ticket, since it's really a …
1:45 PM Changeset in ghc [66a44d6c]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 #5884
1:45 PM Changeset in testsuite [f9d8b88]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5884
1:43 PM Ticket #5884 (GHC panics while trying to derive a Generic instance for Complex a) closed by simonpj
fixed: Fixed by […] The problem was that in tc_mkRepTy you were using …
1:39 PM Changeset in ghc [9e3171c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Make the RHS of a generic FamInst use the same type variables as the LHS!
1:27 PM Ticket #5920 (stack overflow in strict function depending on return type) closed by pcapriotti
Merged as adc47ae71c17d734af4b97acb9a7ac761505adf0.
1:18 PM Commentary/Compiler/StgSynType edited by guest
(diff)
12:52 PM Changeset in ghc [1565cf7]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 #6005 (second bug)
12:52 PM Changeset in testsuite [f171467]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6005 (second bug)
12:51 PM Changeset in ghc [0646c34]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
12:51 PM Ticket #6005 (Template Haskell disallows use of promoted data constructor in same splice) closed by simonpj
fixed: This turns out to be unrelated to data kinds etc. Instead it is simply to …
12:47 PM Changeset in ghc [d50cb3e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 generate derived instances in TH brackets See Note [Deriving inside TH brackets] in TcInstDcls Fixes Trac #6005 (again)
12:47 PM Changeset in ghc [d9d35d8c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Remove spurious debug print
12:31 PM Changeset in ghc [adc47ae7]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix worker/wrapper for CPR functions A long-standing and egregious bug in the worker/wrapper code meant that some functions with the CPR property weren't getting a CPR w/w. And that had the effect of making a tail-recursive function not tail recursive. As well as increasing allocation. Fixes Trac #5920, and #5997. Nofib results (highlights): Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- boyer2 -0.1% -15.3% 0.01 0.01 +0.0% mandel2 -0.0% -8.1% 0.01 0.01 +0.0% para -0.1% -11.8% -7.9% -7.8% +0.0% -------------------------------------------------------------------------------- Min -0.1% -15.3% -7.9% -7.8% -33.3% Max +0.0% +0.2% +6.3% +6.3% +3.7% Geometric Mean -0.0% -0.4% +0.1% +0.1% -0.5% Looks like a clear win. And I have not even recompiled the libraries, so it'll probably be a bit better in the ed. MERGED from commit b8ff4448d899f783fc112f3774aab626979a4f22
12:28 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:00 PM Changeset in ghc [48845462]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Allow case expressions with a single alternative to be floated in. This change generalizes support for floating in case expressions. Previously, case expression with an unlifted scrutinee and a single DEFAULT alternative were floated in. In particular, this allowed array index operations to be floated in. We also want to float in SIMD unpack primops, which return an unboxed tuple of scalars, thus the generalization.
11:44 AM Ticket #6044 (Regression error: Kind variables don't work inside of kind constructors in ...) closed by simonpj
fixed: Turns out to be the same trivial bug as #6020. Fixed by […]
11:43 AM Ticket #6020 ("Couldn't match kind" with free type variables and PolyKinds) closed by simonpj
fixed: Urgh. A one-character typo! Fixed by […] I added a new regression …
11:34 AM Changeset in ghc [68c082b1]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@…>
Follow changes in pretty printing
11:34 AM Changeset in testsuite [9a1f33e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Follow changes in pretty printing
8:29 AM Changeset in ghc [000d4517]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Improve debug print a bit
8:29 AM Changeset in ghc [4cc8826]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 a one-character typo (kv1 should be kv2!) Fixes Trac #6020, #6044
8:28 AM Changeset in ghc [eb32f34]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 #6020 again, and #6044
8:28 AM Changeset in testsuite [2119f6c8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6020 again, and #6044
8:13 AM Ticket #6047 (GHC retains unnecessary binding) created by simonmar
milan posted this example on #6042, I'm making a separate ticket for it. …
5:38 AM Ticket #6046 (inconsistent type error messages between ghc and ghci) closed by dreixel
invalid: The syb.cabal file (see …
4:49 AM Ticket #6046 (inconsistent type error messages between ghc and ghci) created by carter
When building syb 0.3.6 with todays head / 7.5 I get different type error …
1:48 AM Ticket #6045 (GHC 6.10.4 panic when compiling she-0.6) created by nobody
GHC says I should report, found no existing ticket (tho I regularly fail …

Apr 25, 2012:

9:34 PM Changeset in base [aa93a51]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Geoffrey Mainland <mainland@…>
Don't include sys/timeb.h on FreeBSD. sys/timeb.h is deprecated on FreeBSD meaning validation fails quite early without this patch.
9:34 PM Changeset in ghc [e119fe8d]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Geoffrey Mainland <mainland@…>
Don't include sys/timeb.h on FreeBSD. sys/timeb.h is deprecated on FreeBSD meaning validation fails quite early without this patch.
6:20 PM Ticket #6044 (Regression error: Kind variables don't work inside of kind constructors in ...) created by goldfire
Many thanks for the quick bug fixes around kind variables recently. With …
3:32 PM GhcKinds edited by simonpj
(diff)
3:29 PM Commentary edited by simonpj
(diff)
3:28 PM Commentary edited by simonpj
(diff)
3:27 PM Commentary edited by simonpj
(diff)
2:57 PM Ticket #6021 (panic with scoped kind variables) closed by simonpj
fixed: Thank you. Fixed. […]
2:34 PM Changeset in ghc [3b52891]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
2:33 PM Changeset in ghc [fa48f52]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 #6021
2:33 PM Changeset in testsuite [7d8a6f66]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6021
2:32 PM Changeset in ghc [109f8bf]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@…>
Adjust seldom-run tests for flag changes
2:32 PM Changeset in testsuite [ccf3216]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Adjust seldom-run tests for flag changes
2:28 PM Changeset in ghc [ebd7226a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 typo
1:07 PM Changeset in base [71c2c09]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
DEPRECATE Foreign.Marshal.Error.void (use Control.Monad.void instead)
1:07 PM Changeset in ghc [99490045]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis by Simon Marlow <marlowsd@…>
DEPRECATE Foreign.Marshal.Error.void (use Control.Monad.void instead)
1:04 PM Changeset in ghc [84d79a2a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
distclean was removing ghc-pwd/dist, should be ghc-pwd/dist-boot This has been causing bloat in the src dist for ages. Noticed while looking at #6009, but I don't think this is the bug (./configure always removes ghc-pwd/dist-boot before building ghc-pwd)
1:04 PM Changeset in ghc [7679603b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 -XNoImplicitPrelude work properly in GHCi
12:58 PM Ticket #6036 (Kind generalization fails in data family instance GADT) closed by simonpj
fixed
12:58 PM Ticket #6035 (Kind-indexed type family failure with polymorphic kinds) closed by simonpj
fixed
12:57 PM Ticket #6005 (Template Haskell disallows use of promoted data constructor in same splice) closed by simonpj
fixed: Thanks for pointing me to this. Fixed.
12:57 PM Ticket #6039 (Ill-sorted kinds crash GHC) closed by simonpj
fixed: Better message […]
12:56 PM Ticket #5867 (Include use site of deprecated identifiers in deprecation warnings) closed by simonpj
fixed: I think you are right, and I've implemented the change. Thanks. Simon
12:06 PM Changeset in ghc [579c91b]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 #6005
12:06 PM Changeset in testsuite [c9f5b15]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6005
12:04 PM Changeset in ghc [07b041b]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
12:04 PM Changeset in testsuite [2419f5f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
12:04 PM Changeset in ghc [2ceaa81]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 deprecation errors
12:04 PM Changeset in testsuite [75edaf0]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to deprecation errors
12:02 PM Changeset in ghc [279a594f]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 Conflicts: tests/deriving/should_compile/T6031.hs tests/deriving/should_compile/T6031a.hs tests/deriving/should_compile/all.T tests/polykinds/T6020.hs tests/polykinds/all.T
12:02 PM Changeset in testsuite [3f6b1ce]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: tests/deriving/should_compile/T6031.hs tests/deriving/should_compile/T6031a.hs tests/deriving/should_compile/all.T tests/polykinds/T6020.hs tests/polykinds/all.T
11:56 AM Changeset in ghc [2316a90]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
More fixes to kind polymorphism, fixes Trac #6035, #6036 * Significant refactoring in tcFamPats and tcConDecl * It seems that we have to allow KindVars (not just TcKindVars during kind unification. See Note [Unifying kind variables] in TcUnify. * Be consistent about zonkQuantifiedTyVars * Split the TcType->TcType zonker (in TcMType) from the TcType->Type zonker (in TcHsSyn) The clever parameterisation was doing my head in, and it's only a small function * Remove some dead code (tcTyVarBndrsGen)
11:55 AM Changeset in ghc [2a119043]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 looking up of Exact RdrNames, fixes Trac #6005 See Note [Splicing Exact names] in RnEnv.
11:48 AM Changeset in ghc [4005255]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
11:48 AM Changeset in ghc [c9bb4fa4]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@…>
Wibble for changed pretty-printing of CoAxioms
11:48 AM Changeset in testsuite [ce3d7c4]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble for changed pretty-printing of CoAxioms
11:46 AM Changeset in ghc [a475fa4]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@…>
Trac #6022 is broken at the moment
11:46 AM Changeset in testsuite [0463a5d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Trac #6022 is broken at the moment
10:37 AM Ticket #6043 (ARM build fails) created by kgardas
Since the half of February 2012, GHC HEAD builds fails on ARM with …
10:16 AM Changeset in ghc [61e9a6cc]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 Gabriele Keller <keller@…>
removed superfluous flag for vectScalarFun
9:47 AM Changeset in unix [389820b]ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
use Control.Monad.void instead of Foreign.void (which is now deprecated)
9:27 AM Ticket #6042 (GHC is bloated) created by simonmar
I noticed today that our binary dists are getting bigger: […] I …
8:51 AM Changeset in ghc [0f8151a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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
8:51 AM Changeset in ghc [6fd34a4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Improve pretty-printing
8:37 AM Changeset in ghc [a40ee020]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Better error messages during sort checking of kind signatures Fixes Trac #6039, where we have a bogus kind signature data T (a :: j k) = MkT
8:36 AM Changeset in ghc [33ff498]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 comment (to keep Haddock happy)
7:57 AM Changeset in ghc [0ad0d56]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 #5867
7:57 AM Changeset in testsuite [6a120e7]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5867
7:25 AM Changeset in ghc [7aa8104]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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 remote-tracking branch 'origin/master'
7:21 AM Changeset in ghc [bcff115]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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@…>
Report deprecations at occurrence sites, not once per module Fixes Trac #5867, and is generally nicer
1:12 AM Ticket #6041 (Program hangs when run under Ubuntu Precise) created by dsf
This code hangs when running under Ubuntu Precise. However, it works in a …
Note: See TracTimeline for information about the timeline view.