Timeline


and

Oct 5, 2012:

6:49 PM Ticket #7301 (Got an internal error that caused GHCi to crash) created by guest
Here's the error message: <interactive>: internal error: evacuate: …
3:38 PM Ticket #7293 (Wrong location reported for inaccessible code with GADTs) closed by simonpj
fixed
3:38 PM Ticket #7294 (-fdefer-type-errors doesn't produce a warning) closed by simonpj
fixed: No, it's fine now. Without -fdefer-type-errors we get an error (test …
3:37 PM Changeset in ghc [6b7ca880]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7294
3:37 PM Changeset in testsuite [f2a617e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7294
3:33 PM Changeset in ghc [e70e497]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7293
3:33 PM Changeset in testsuite [a87f1f08]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7293
3:11 PM Changeset in ghc [aed37ac]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-new by Simon Marlow <marlowsd@…>
Add a ToDo comment
11:14 AM Ticket #7300 (Allow CAFs kept reachable by FFI to be forcibly made unreachable for GC) created by absence
CAFs used by a foreign exported function are kept reachable the entire …
11:04 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:00 AM Changeset in ghc [fac9686]supercompiler by Max Bolingbroke <batterseapower@…>
Add comments only
9:08 AM Ticket #7294 (-fdefer-type-errors doesn't produce a warning) closed by simonpj
duplicate: Yes, I'm afraid #3927 is the offending ticket. Overlapping patterns are …
7:53 AM Changeset in ghc [8fa49be]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint speculator work
1:32 AM Ticket #7299 (threadDelay broken in ghci, Mac OS X) created by tmcdonell
Control.Concurrent.threadDelay fails in ghci on Mac OS X. Behaviour is …
1:09 AM Changeset in ghc [7fdd69fc]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-compat by Ian Lynagh <ian@…>
2228 is broken on x86_64-unknown-linux (technically, broken if dynamic-by-default is enabled)
1:09 AM Changeset in testsuite [77cd378]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
2228 is broken on x86_64-unknown-linux (technically, broken if dynamic-by-default is enabled)
1:08 AM Ticket #7298 (Test 2228 fails with dynamic-by-default) created by igloo
[…]
12:14 AM Changeset in ghc [2432082]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-compat by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
12:14 AM Changeset in testsuite [0b6faf9]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
12:12 AM Changeset in ghc [4a138b7]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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

Oct 4, 2012:

11:49 PM Changeset in ghc [c0ca8ff]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-compat by Ian Lynagh <ian@…>
Driver: Define have_shared_libs correctly
11:49 PM Changeset in testsuite [48714a8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Driver: Define have_shared_libs correctly
11:40 PM Changeset in ghc [6784dddc]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-new by Ian Lynagh <ian@…>
Make adjust_ul handle BCOs We never ran into this before, because replace_osuf was almost always False (i.e. we were almost always using the vanilla way when using bytecode, so adjust_ul wasn't needed). Now that we can have the dynamic way on by default many tests were failing because of it.
9:49 PM Changeset in ghc [319f9ba]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-compat by Ian Lynagh <ian@…>
Don't use the dyn way if we're dynamic by default 'normal' and 'optasm' are using dynamic libs anyway, so no point having another way for it.
9:49 PM Changeset in testsuite [63465d1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Don't use the dyn way if we're dynamic by default 'normal' and 'optasm' are using dynamic libs anyway, so no point having another way for it.
9:13 PM Changeset in ghc [b49ad6b]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-new by Ian Lynagh <ian@…>
Load the right object files in ghci When we have a dynamic ghc, we need to load the dynamic object files
6:29 PM Ticket #7297 (LLVM incorrectly hoisting loads) created by dterei
test 367_letnoescape fails under LLVM as a load of the HpLim register is …
5:12 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:58 PM Changeset in ghc [e11f19c2]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-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:58 PM Changeset in testsuite [732afc6]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:58 PM Changeset in ghc [7cd3b390]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-compat by Simon Peyton Jones <simonpj@…>
I've changed the error reporting so that with -fdefer-type-errors you get *all* type errors as warnings, rather than some being suppressed
4:58 PM Changeset in testsuite [8518ad7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
I've changed the error reporting so that with -fdefer-type-errors you get *all* type errors as warnings, rather than some being suppressed
4:57 PM Changeset in ghc [3bb499d]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-compat by Simon Peyton Jones <simonpj@…>
Error message wibbles now that we do less defaulting when there are insolubles
4:57 PM Changeset in testsuite [b572594]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Error message wibbles now that we do less defaulting when there are insolubles
4:56 PM Changeset in ghc [ed5ebee4]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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
4:55 PM Changeset in ghc [b9fccbc8]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-new by Simon Peyton Jones <simonpj@…>
Do not do type-class defaulting if there are insoluble constraints Type-class defaulting won't help with those insolubles, and it does make arbitrary choices that obfuscate the error messages from the insolubles.
4:54 PM Changeset in ghc [629d1f4]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-new by Simon Peyton Jones <simonpj@…>
Improve erorr location for Given errors Note [Inaccessible code]. Fixes Trac #7293.
4:53 PM Changeset in ghc [b442ad94]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-new by Simon Peyton Jones <simonpj@…>
Do not create extra evidence given/derived variables in the Refl case of rewriteCtFlavor Previously this optimisation only applied in the Wanted case, but it works perfectly well in the others too, and saves redundant evidence bindings.
4:51 PM Changeset in ghc [00cb878]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-new by Simon Peyton Jones <simonpj@…>
Improve debug tracing slighty
4:50 PM Changeset in ghc [eb6c3ee0]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-new by Simon Peyton Jones <simonpj@…>
Improve pretty-printing for holes
4:50 PM Changeset in ghc [56a8c8a]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-new by Simon Peyton Jones <simonpj@…>
Comments only
4:49 PM Changeset in ghc [29eed98b]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7050
4:49 PM Changeset in testsuite [f2bbb8d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7050
4:26 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:30 PM Changeset in ghc [ea23213]supercompiler by Max Bolingbroke <batterseapower@…>
Fix MSG not preserving global-idness
3:30 PM Changeset in ghc [7b68eb7]supercompiler by Max Bolingbroke <batterseapower@…>
Remove some tabs the commit hook is complaining about
3:08 PM Changeset in ghc [cdf4d620]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Adapt to new Cmm syntax
3:08 PM Changeset in integer-gmp [d15b11c]ghc-7.8wip/T8647 by Simon Marlow <marlowsd@…>
Adapt to new Cmm syntax
3:06 PM Changeset in base [1bc8270]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Adapt to NetBSD's struct kevent
3:06 PM Changeset in base [8ff58d3]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
FFI wrapper for kevent()
3:06 PM Changeset in ghc [4aa8bc19]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Adapt to NetBSD's struct kevent
3:06 PM Changeset in ghc [e2fec97]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
FFI wrapper for kevent()
3:00 PM Changeset in ghc [16a8414]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-new by Ian Lynagh <ian@…>
Actually build things the dynamic way Things went back to being statically linked again once I added an explicit -static flag to the vanilla way.
2:04 PM Changeset in ghc [2a55fe42]supercompiler by Max Bolingbroke <batterseapower@…>
I don't know why I started tying back to dumped promises, but it's a bad idea
1:59 PM Changeset in ghc [b895304]supercompiler by Max Bolingbroke <batterseapower@…>
SC rollback doesn't have to fail, and improve split/generalise decision upon rollback
1:58 PM Changeset in ghc [7181cc0]supercompiler by Max Bolingbroke <batterseapower@…>
Revert state in MSG if binderisation fails
1:57 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:50 PM Ticket #7296 (ghc-7 assumes incoherent instances without requiring language ...) created by maeder
the attached examples works with ghc-7 and returns […] (One may wish …
9:15 AM Changeset in ghc [abefa53]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-compat by Ian Lynagh <ian@…>
Make some perf tests always use -static Compiling with -dynamic (perhaps due to -fPIC being enabled?) seems to require significantly more allocation: =====> T1969(normal) 1 of 14 [0, 0, 0] cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T1969.hs +RTS -V0 -tT1969.comp.stats --machine-readable -RTS -dcore-lint >T1969.comp.stderr 2>&1 bytes allocated 669128520 is more than 1% greater than the expected value, 641959976 648379575.76 *** unexpected failure for T1969(normal) =====> T4801(normal) 3 of 14 [0, 1, 0] cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T4801.hs +RTS -V0 -tT4801.comp.stats --machine-readable -RTS >T4801.comp.stderr 2>&1 max_bytes_used 26928312 is more than 15% greater than the expected value, 18500000 21275000.0 peak_megabytes_allocated 66 is more than 20% greater than the expected value, 50 60.0 bytes allocated 522280144 is more than 10% greater than the expected value, 360243576 396267933.6 *** unexpected failure for T4801(normal) =====> T783(normal) 9 of 14 [0, 2, 0] cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T783.hs +RTS -V0 -tT783.comp.stats --machine-readable -RTS >T783.comp.stderr 2>&1 bytes allocated 506284808 is more than 10% greater than the expected value, 436927840 480620624.0 *** unexpected failure for T783(normal)
9:15 AM Changeset in testsuite [d0ca06c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Make some perf tests always use -static Compiling with -dynamic (perhaps due to -fPIC being enabled?) seems to require significantly more allocation: =====> T1969(normal) 1 of 14 [0, 0, 0] cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T1969.hs +RTS -V0 -tT1969.comp.stats --machine-readable -RTS -dcore-lint >T1969.comp.stderr 2>&1 bytes allocated 669128520 is more than 1% greater than the expected value, 641959976 648379575.76 *** unexpected failure for T1969(normal) =====> T4801(normal) 3 of 14 [0, 1, 0] cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T4801.hs +RTS -V0 -tT4801.comp.stats --machine-readable -RTS >T4801.comp.stderr 2>&1 max_bytes_used 26928312 is more than 15% greater than the expected value, 18500000 21275000.0 peak_megabytes_allocated 66 is more than 20% greater than the expected value, 50 60.0 bytes allocated 522280144 is more than 10% greater than the expected value, 360243576 396267933.6 *** unexpected failure for T4801(normal) =====> T783(normal) 9 of 14 [0, 2, 0] cd . && '/home/ian/ghc/git/ghc/inplace/bin/ghc-stage2' -fforce-recomp -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T783.hs +RTS -V0 -tT783.comp.stats --machine-readable -RTS >T783.comp.stderr 2>&1 bytes allocated 506284808 is more than 10% greater than the expected value, 436927840 480620624.0 *** unexpected failure for T783(normal)
9:06 AM Changeset in ghc [26ab06c5]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-compat by Ian Lynagh <ian@…>
Fix a couple of tests when dynlibs-by-default is on
9:06 AM Changeset in testsuite [2826d50]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix a couple of tests when dynlibs-by-default is on
8:58 AM Ticket #7295 (bad code for Double literals) created by jwlato
For this program […] GHC generates the following core: […] which …

Oct 3, 2012:

10:03 PM Changeset in ghc [911bc5ce]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-new by Ian Lynagh <ian@…>
Windows install fix
9:52 PM Changeset in ghc [6aed04f]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-new by Ian Lynagh <igloo@…>
Fix Windows build
7:08 PM Changeset in ghc [d1c8731]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-new by Ian Lynagh <ian@…>
Fix the recompilation check for dynamic libraries I've put mkSOName in HscTypes for now; I'm not sure what the best place for it is.
6:21 PM Changeset in ghc [516259e]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-compat by Ian Lynagh <ian@…>
Fix ghcilink002 and others when dynamic-by-default It was linking base etc, but not the RTS, which was causing "undefined symbol: stg_newByteArrayzh"
6:21 PM Changeset in testsuite [ab3a373]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix ghcilink002 and others when dynamic-by-default It was linking base etc, but not the RTS, which was causing "undefined symbol: stg_newByteArrayzh"
5:02 PM Changeset in ghc [4675647]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-compat by Ian Lynagh <ian@…>
Fix the T5252 tests They could remove each others .o/.hi files when run in parallel.
5:02 PM Changeset in testsuite [cc30b0c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix the T5252 tests They could remove each others .o/.hi files when run in parallel.
4:59 PM Changeset in ghc [30b08711]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-new by Ian Lynagh <ian@…>
Add a "Dynamic by default" field to the ghc --info output
4:58 PM Changeset in ghc [70e78a4]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-compat by Ian Lynagh <ian@…>
Add a -static way, enabled only if dynlibs are used by default
4:58 PM Changeset in testsuite [64529d67]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a -static way, enabled only if dynlibs are used by default
3:10 PM Changeset in ghc [a6b0ab2]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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
3:07 PM Changeset in ghc [1b3f274]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-new by Ian Lynagh <ian@…>
Add a couple more RTS ways There are used by the testsuite when dynamic-by-default is on
1:48 PM WikiStart edited by guest
update versions (diff)
1:32 PM Commentary/Compiler/Demand edited by ilya
(diff)
1:05 PM Ticket #7294 (-fdefer-type-errors doesn't produce a warning) created by Feuerbach
With the attached code I get the expected error […] However, if I …
1:04 PM Ticket #7293 (Wrong location reported for inaccessible code with GADTs) created by goldfire
Consider this code: […] The pattern match on the last line is invalid …
12:12 PM Changeset in ghc [7c0b5182]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-new by Ian Lynagh <ian@…>
The non-dynamic ways now need to explicitly use -static as x86_64/Linux now defaults to -dynamic
11:11 AM Changeset in ghc [898cb09]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-new by Ian Lynagh <ian@…>
Build the dynamic way by default on Linux/amd64 This required various build system changes to get the build to go through. In the inplace shell wrappers, we set LD_LIBRARY_PATH to allow programs to find their libraries. In the future, we might change the inplace tree to be the same shape as an installed tree instead. However, this would mean changing the way we do installation, as currently we use cabal's installation methods to install the libraries, but that only works if the libraries are under libraries/foo/dist-install/build/..., rather than in inplace/lib/...
10:17 AM Changeset in ghc [65e6470c]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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:16 AM Changeset in ghc [7f91d0da]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-compat by Simon Peyton Jones <simonpj@…>
Arrow wibbles
10:16 AM Changeset in testsuite [11cc379]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Arrow wibbles
10:16 AM Changeset in ghc [ba56d20d]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-new by Simon Peyton Jones <simonpj@…>
This big patch re-factors the way in which arrow-syntax is handled All the work was done by Dan Winograd-Cort. The main thing is that arrow comamnds now have their own data type HsCmd (defined in HsExpr). Previously it was punned with the HsExpr type, which was jolly confusing, and made it hard to do anything arrow-specific. To make this work, we now parameterise * MatchGroup * Match * GRHSs, GRHS * StmtLR and friends over the "body", that is the kind of thing they enclose. This "body" parameter can be instantiated to either LHsExpr or LHsCmd respectively. Everything else is really a knock-on effect; there should be no change (yet!) in behaviour. But it should be a sounder basis for fixing bugs.
8:35 AM Changeset in base [219ea0e]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Jose Pedro Magalhaes <jpm@…>
FIX #7263: derive Eq, Show, and Read for GHC.Generics representation types
8:35 AM Changeset in ghc [0978d640]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
FIX #7263: derive Eq, Show, and Read for GHC.Generics representation types
8:03 AM Ticket #7222 (The text "Possible fix: add an instance declaration for ..." is redundant ...) closed by simonpj
fixed: I've done this now. Thanks for the suggestion. Simple is good. Simon
7:56 AM Changeset in ghc [1f8c1c3]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7276
7:56 AM Changeset in testsuite [b88168c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7276
7:55 AM Changeset in ghc [3b980d0e]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-new by Jose Pedro Magalhaes <jpm@…>
Typo
7:52 AM Ticket #7287 (Primops in RULES generate warnings) closed by simonpj
fixed: Good point, fixed.
7:49 AM Changeset in ghc [37c33c5]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-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: tests/polykinds/all.T
7:49 AM Changeset in testsuite [379f69d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//testsuite Conflicts: tests/polykinds/all.T
7:44 AM Changeset in ghc [7d7c728d]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7287
7:44 AM Changeset in testsuite [848b138]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7287
7:42 AM Changeset in ghc [79be61e]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7272
7:42 AM Changeset in testsuite [e00f71a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7272
7:21 AM Changeset in ghc [e19b6fd]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-compat by Simon Peyton Jones <simonpj@…>
T1969 was just failing the residency bound if its .hi file existed
7:21 AM Changeset in testsuite [fbe31206]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
T1969 was just failing the residency bound if its .hi file existed
7:18 AM Changeset in ghc [a3d981f]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-compat by Simon Peyton Jones <simonpj@…>
Wibble to perf range I decreased it yesterday, and now I'm putting it back up again, but not as far as it was. I'm not sure what caused these changes but it doesn't matter because this test checks that the type checker gets out of an infinite loop.
7:18 AM Changeset in testsuite [2fcec18]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to perf range I decreased it yesterday, and now I'm putting it back up again, but not as far as it was. I'm not sure what caused these changes but it doesn't matter because this test checks that the type checker gets out of an infinite loop.
7:15 AM Changeset in ghc [baab1204]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-new by Simon Peyton Jones <simonpj@…>
Fix type error in 2c207b6f (Compare the kinds of type variables)
7:13 AM Changeset in ghc [0b06d68]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-new by Simon Peyton Jones <simonpj@…>
Improve constraint solver depth error slightly
7:05 AM Changeset in ghc [70c1aefe]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-compat by Simon Peyton Jones <simonpj@…>
Fix stdout for T7257
7:05 AM Changeset in testsuite [8b6f360]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fix stdout for T7257
7:05 AM Changeset in ghc [69e406a]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-compat by Simon Peyton Jones <simonpj@…>
We weren't generating a stats file for tests that only had stats_range_fields perf tests I fixed this in a plausible looking way, similar to compiler_stats_range/num fields.
7:05 AM Changeset in testsuite [19d638e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
We weren't generating a stats file for tests that only had stats_range_fields perf tests I fixed this in a plausible looking way, similar to compiler_stats_range/num fields.
3:53 AM Ticket #7292 (Optimization works for Word but not Word32 or Word64) created by zuserm
GHC 7.6.1 fails to properly optimize some code when explicitly specifying …

Oct 2, 2012:

11:02 PM Ticket #7291 (hp2ps should cope with incomplete data) created by nomeata
So that it can be run while the program is generating the profiling data. …
8:36 PM Changeset in ghc [58eaacc9]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-new by Ian Lynagh <ian@…>
Add a flag to tell ghc to use $ORIGIN when linking program dynamically
7:45 PM Ticket #7290 (Minor documentation fix for directory) created by SimonHengel
5:12 PM Changeset in ghc [419af69c]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-new by Simon Peyton Jones <simonpj@…>
Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRule See Trac #7287
5:12 PM Changeset in ghc [a501c950]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-new by Simon Peyton Jones <simonpj@…>
Make sure that we check for type errors strictly in a Template Haskell splice, even if -fdefer-type-errors is on We're going to run this code, so there's no point in deferring type errors. Worse, TcSplice uses unsafeCoerce (for vevy good reasons), so splicing a type into a place where an expression is expected would yield a seg-fault if we plough on regardless. Fixes Trac #7276
5:11 PM Changeset in ghc [2c207b6]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-new by Simon Peyton Jones <simonpj@…>
Compare the kinds of type variables when comparing types This is just a bug that's been around since we introduced polymorphic kinds. The roots are in Type.cmpTypeX, but there was a variant in TcRnDriver.checkBootTyCon, which is where it came up. Fixes Trac #7272
4:36 PM Ticket #7288 (type inference fails with where clause (RankNTypes, TypeFamilies)) closed by simonpj
invalid: Well, I'm afraid this is by design. With TypeFamilies, local let or …
4:14 PM Changeset in ghc [cc9a8c7b]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7278
4:14 PM Changeset in testsuite [f8b2b8f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7278
3:37 PM Ticket #5030 (Slow type checking of type-level computation heavy code.) closed by simonpj
fixed: I think it's as good as it's going to get for now, and it's a bit of a …
3:34 PM Ticket #5591 (Type constructor variables not injective) closed by simonpj
fixed: Fixed at last; see #7205. I added both examples as regression tests. …
3:32 PM Changeset in ghc [3189427]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5591
3:32 PM Changeset in testsuite [3aeae5f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5591
3:29 PM Ticket #7205 (Re-introduce left/right coercion decomposition) closed by simonpj
fixed: Done at last. Simon
3:29 PM Changeset in ghc [c99f305]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7205
3:29 PM Changeset in testsuite [2c83286]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7205
3:24 PM Changeset in ghc [2bf8943]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-compat by Simon Peyton Jones <simonpj@…>
Better perf
3:24 PM Changeset in testsuite [b11f209e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Better perf
3:24 PM Changeset in ghc [05a8c3e]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-compat by Simon Peyton Jones <simonpj@…>
We now have left/right coercions again, so T1999a passes
3:24 PM Changeset in testsuite [a70cdae4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
We now have left/right coercions again, so T1999a passes
3:17 PM Ticket #7248 (NewCodeGen does not create enough SRT labels when using SplitObjs) closed by simonmar
fixed: Great! thanks.
2:21 PM Changeset in ghc [cbf3d4b]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-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables'
2:21 PM Changeset in testsuite [869f516c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables'
2:20 PM Changeset in ghc [791f4918]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-compat by Simon Peyton Jones <simonpj@…>
Two mor error message wibbles
2:20 PM Changeset in testsuite [3771c7b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Two mor error message wibbles
2:20 PM Changeset in ghc [4708d38]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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables'
2:18 PM Changeset in ghc [74d6511]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-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master'
2:18 PM Changeset in ghc [815dcff]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-new by Simon Peyton Jones <simonpj@…>
A few more constraint solver improvements * Get rid of the lookupInInerts stage * Re-introduce the flat-cache for flattening type-family equations See Note [Type family equations] in TcSMonad. My previous clever attempt with organising the work list proved too fragile. There's a (static) flag -fno-flat-cache to switch if off, so you can try with and without * Improve the -ddump-cs-trace output * The usual round of refactoring
11:47 AM Changeset in ghc [5010cf35]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-compat by Simon Marlow <marlowsd@…>
Update max_bytes_used for haddock.Cabal on 64-bits
11:47 AM Changeset in testsuite [875f496]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update max_bytes_used for haddock.Cabal on 64-bits
11:46 AM Changeset in ghc [2d96202a]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-new by Simon Marlow <marlowsd@…>
-fhpc is no longer a static flag (fixes hpc tests)
11:35 AM Ticket #7289 (Mingw FPU init not Windows compatible.) created by Lennart
Mingw initializes the FPU top 80 bit precision instead of MSVC's 53 bits …
8:41 AM Changeset in ghc [fc8f9c1b]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-new by Gabor Greif <ggreif@…>
Fix typo in the documentation of CApiFFI Signed-off-by: Gabor Greif <ggreif@gmail.com>
8:38 AM Ticket #7288 (type inference fails with where clause (RankNTypes, TypeFamilies)) created by agrafix
when using RankNTypes and TypeFamilies with polymorphic functions, …
8:28 AM Changeset in ghc [6b8d013]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-compat by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
8:28 AM Changeset in testsuite [6707283]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
8:20 AM Changeset in ghc [902a863]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-new by Simon Peyton Jones <simonpj@…>
Improve (and simplify) the short-circuiting of Refl coercions The constraint solver sometimes goes to a lot of effort that turns out to be Refl in the end, and avoiding zonking those proofs is a useful optimisation. (Trac #5030)
7:31 AM Changeset in ghc [522a1552]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-new by Simon Peyton Jones <simonpj@…>
Comments, and unused import

Oct 1, 2012:

10:01 PM Changeset in ghc [cb467f0]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-compat by David Terei <davidterei@…>
Add bunch of llvm ways for testing purposes.
10:01 PM Changeset in testsuite [f813e85]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by David Terei <davidterei@…>
Add bunch of llvm ways for testing purposes.
10:00 PM Ticket #7287 (Primops in RULES generate warnings) created by rl
[…] produces the following warning: […]
9:56 PM Ticket #7286 (GHC doesn't optimise away primitive identity conversions) created by rl
Here is a small example: […] GHC produces the following code: […] …
8:36 PM Changeset in ghc [483c7633]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-new by Ian Lynagh <ian@…>
Refactor the shell-wrapper-creation logic
8:36 PM Changeset in ghc [d106284b]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-new by Ian Lynagh <ian@…>
Put libexec binaries in lib/bin/ rather than just lib/ Some binaries are installed in lib/, so if we wanted them to have a shell wrapper then under the old scheme both the binary and the wrapper would be installed under lib/. Now the binary is put under lib/bin/, leaving lib/ for the wrapper.
8:36 PM Changeset in ghc [29f6b87]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-new by Ian Lynagh <ian@…>
Do flag consistency checks at the end of flag parsing This makes it easier to ensure that we get consistent consistency checking, e.g. that -f1 -f2 will do the same checks as -f2 -f1 I think that some of the checks were bogus before, but hopefully all are correct now.
7:59 PM Changeset in ghc [cddbf86]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-new by Ian Lynagh <ian@…>
Allow -static to be used after -dynamic It's still the case that -dynamic -static will leave -fPIC enabled, but it's tricky to avoid that, and we already have similar situations where for example -XRankNTypes -XNoRankNTypes will leave ExplicitForAll enabled.
7:59 PM Changeset in ghc [29ee75a0]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-new by Ian Lynagh <ian@…>
Remove some old, commented out bits
3:00 PM Changeset in ghc [9567422]supercompiler by Max Bolingbroke <batterseapower@…>
Rewrite speculate to be more logical and simpler.. hopefully it doesn't go exponential
11:29 AM Ticket #7285 (mkWeakMVar is non-compositional) created by edsko
In base 4.6 addMVarFinalizer is deprecated in favour of mkWeakMVar of …
10:32 AM Changeset in ghc [e978cd66]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-compat by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
10:32 AM Changeset in testsuite [dc2fcea]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
10:26 AM Changeset in ghc [fd3bd41]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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouchables
10:26 AM Changeset in ghc [316d3edc]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-new by Simon Peyton Jones <simonpj@…>
Tracing in TcUnify
10:24 AM Changeset in ghc [935fa10]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-new by Simon Peyton Jones <simonpj@…>
Comments about silent superclasses
10:22 AM Changeset in ghc [6eed6731]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-compat by Simon Peyton Jones <simonpj@…>
Wibbles
10:22 AM Changeset in testsuite [a0cfb7a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles
10:19 AM Changeset in ghc [b3f2f732]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Modest refactoring (put bumpStepCounter into traceFireTcS, and other simple things)
9:40 AM Changeset in ghc [453e0ce0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Modest refactoring in TcCanonical (and TcSMonad)
9:38 AM Changeset in ghc [7fdcf2c7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Simplify the reOrient function (no change in behaviour)
9:37 AM Changeset in ghc [adb6bcb7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Fix an ASSERT
9:36 AM Changeset in ghc [2b523dc3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Use System Names for evidence variables These variables all have uniformative names like "cobox" or "d". Make them System Names tells the pretty printer to show their uniques even without -dppr-debug. That in turn makes the less-voluminous debug traces *much* more informative.
9:32 AM Changeset in ghc [bd2aef69]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Comment out a particularly verbose trace
9:31 AM Changeset in ghc [c35c5d0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Improve pretty printing for coercions (exp transistivity chains)

Sep 30, 2012:

11:17 PM Ticket #7284 (plusAddr# x 0 isn't optimised away) created by rl
As the title says, there doesn't seem to be an optimisation rule for this. …
11:13 PM Ticket #7283 (Specialise INLINE functions) created by rl
Quick summary: At the moment, INLINE means inline a function if it is …
5:36 PM Ticket #7282 (polykinds error: Found `k' but expected `k') created by HolgerReinhardt
[…] fails with: […] If I change the kind of xs from [k] to [*], …

Sep 29, 2012:

9:52 PM Changeset in base [0d87677]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master'
9:52 PM Changeset in ghc [e801dcc]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <iavor.diatchki@…>
Merge remote-tracking branch 'origin/master'
9:52 PM Changeset in base [792f6df]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Add unary natural numbers to experiment on matching with literals. The idea is that when we want to match on type level nats, we should use `Nat1`, and use the `FromNat1` function to switch between the structured and unstructured representation of numbers. A bit of custom machinery is needed for this to work properly, because to go back (i.e., to solve FromNat1 x ~ 3) GHC needs to know that FromNat1 is an injective function.
9:52 PM Changeset in ghc [02998bd6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <iavor.diatchki@…>
Add unary natural numbers to experiment on matching with literals. The idea is that when we want to match on type level nats, we should use `Nat1`, and use the `FromNat1` function to switch between the structured and unstructured representation of numbers. A bit of custom machinery is needed for this to work properly, because to go back (i.e., to solve FromNat1 x ~ 3) GHC needs to know that FromNat1 is an injective function.
9:50 PM Changeset in ghc [f6983ef]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-new by Ian Lynagh <ian@…>
Change how we handle options required by 'way's We used to add the options when the way was enabled, but this caused problems with the static/dynamic choice, as once the 'dynamic' options had been added it wasn't easy to remove them. We therefore didn't allow -static on the commandline if we'd already seen -static, which kludged around the issue. But apart from being unsatisfactory in the first place, this is a problem if we want to allow -dynamic being on by default, as there wouldn't be any way to turn it off. So now we add C/CPP/linker flags required by the 'way's when flags are requested, rather than during flag parsing.
6:18 PM Ticket #7281 (GHC 7.4.2 build fails on Fedora17) created by PaulJohnson
On Fedora 17 the build fails when attempting to run "configure". The …
2:21 PM Ticket #7274 (hp2ps sometimes creates invalid postscript files) closed by fryguybob
duplicate: This is a duplicate of #5800. I didn't think it was at first, but then …
12:37 PM Changeset in ghc [7fdc2a39]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Add missing case in TcUnify.matchExpectedFunKind This fixes Trac #7278

Sep 28, 2012:

11:00 PM Ticket #7280 (zonkQuantifiedTyVar panic) created by rl
Small program (extracted from the dev version of vector): […] When I …
10:34 PM Ticket #7279 (warning for unused type variables in instance contexts; ...) created by nfrisby
I just spend 90 minutes tracking down what ended up being a typo …
8:16 PM Ticket #7278 (nonsensical kind variable ascription causes panic) created by nfrisby
[…] gives […]
2:55 PM Changeset in ghc [c22af4a5]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-compat by Simon Peyton Jones <simonpj@…>
Tons of error message wibbles
2:55 PM Changeset in testsuite [a9cbd3e]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Tons of error message wibbles
2:55 PM Changeset in ghc [77193177]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-compat by Simon Peyton Jones <simonpj@…>
Make the test output a bit more self-explanatory
2:55 PM Changeset in testsuite [0d9998b]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Make the test output a bit more self-explanatory
2:54 PM Changeset in ghc [ba20cc39]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-compat by Simon Peyton Jones <simonpj@…>
Add TypeHoles to the list of LANGUAGE extensions that GHC knows but Cabal doesn't
2:54 PM Changeset in testsuite [bbea818]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add TypeHoles to the list of LANGUAGE extensions that GHC knows but Cabal doesn't
2:53 PM Changeset in ghc [6e3e64ae]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
2:52 PM Changeset in ghc [9a058b1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Refactor the handling of kind errors * Treat kind-equality constraints as *derived* equalities, with no evidence. That is really what they are at the moment. * Get rid of EvKindCast and friends. * Postpone kind errors properly to the constraint solver (lots of small knock-on effects) I moved SwapFlag to BasicTypes as well
2:27 PM Ticket #7277 (Recompilation check fails for TH unless functions are inlined) created by orenbenkiki
Even though Issue 481 is …
2:26 PM Changeset in ghc [6a9542a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Better ASSERT message
2:25 PM Changeset in ghc [444577a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Comments only
2:25 PM Changeset in ghc [e7279ac]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Fix kind unification in the special rule for ($)
2:25 PM Changeset in ghc [39f0bd0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Comments only
2:25 PM Changeset in ghc [f18c1886]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Wibble to debug print
2:24 PM Changeset in ghc [4e339e0c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Improve pretty printing for coercions
1:03 PM Ticket #7276 (-fdefer-type-errors allows the types of quotations to be coerced, causing ...) created by parcs
-fdefer-type-errors allows the type of a quotation to be coerced into …
12:36 PM Ticket #7275 (Give more detailed information about PINNED data in a heap profile) created by edsko
This is particularly useful when tracking down memory leaks due to …
12:34 PM Ticket #7274 (hp2ps sometimes creates invalid postscript files) created by edsko
The attached .hp file is one example; running the resulting ps file …
9:16 AM Ticket #7273 (Binary size increase in nofib/grep between 7.6.1 and HEAD) created by simonmar
While browsing the nofib results comparing 7.6.1 and HEAD today, I noticed …

Sep 27, 2012:

2:21 PM Changeset in ghc [8b7e0b3f]supercompiler by Max Bolingbroke <batterseapower@…>
Some comments + changes in how often we instance-match
1:06 PM Changeset in ghc [42cb30bd]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
1:06 PM Changeset in ghc [155e9e1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Document that we don't warn about defining deprecated class methods
1:00 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:58 PM Status/SLPJ-Tickets edited by simonpj
(diff)
11:59 AM Ticket #6014 (Crash; message says to report it, here it is.) closed by igloo
worksforme: No response from submitter, so closing.
11:50 AM Ticket #5953 (Program execution fails with runtime error.) closed by igloo
wontfix: I'm afraid there's really not much we can do without a way to reproduce …
7:21 AM Ticket #7272 (PolyKinds and mutually recursive modules) created by dreixel
A.hs […] A.hs-boot […] B.hs […] Leads to: […] The problem …
1:01 AM Changeset in ghc [6e6da3a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Tweak the build system handling of shell wrappers Rather than having a separate foo_INSTALL_SHELL_WRAPPER variable, we just use foo_INSTALL && foo_SHELL_WRAPPER
12:50 AM Changeset in ghc [7724ecb7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove a stray " in the build system

Sep 26, 2012:

11:59 PM Ticket #1884 (Win64 Port) closed by igloo
fixed: Thanks for the reminder; this is indeed now fixed!
11:55 PM Changeset in ghc [aa2d5b5]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove an unused bit from the Lexer bitmap
10:09 PM Changeset in ghc [1175d35]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-compat by Edward Z. Yang <ezyang@…>
Tweak #367 tests to use -fno-omit-yields and expect passes. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
10:09 PM Changeset in testsuite [3dcdae9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Tweak #367 tests to use -fno-omit-yields and expect passes. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
8:46 PM Changeset in ghc [d3128bf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Edward Z. Yang <ezyang@…>
Partially fix #367 by adding HpLim checks to entry with -fno-omit-yields. The current fix is relatively dumb as far as where to add HpLim checks: it will always perform a check unless we know that we're returning from a closure or we are doing a non let-no-escape case analysis. The performance impact on the nofib suite looks like this: Min +5.7% -0.0% -6.5% -6.4% -50.0% Max +6.3% +5.8% +5.0% +5.5% +0.8% Geometric Mean +6.2% +0.1% +0.5% +0.5% -0.8% Overall, the executable bloat is the biggest problem, so we keep the old omit-yields optimization on by default. Remember that if you need an interruptibility guarantee, you need to recompile all of your libraries with -fno-omit-yields. A better fix would involve only inserting the yields necessary to break loops; this is left as future work. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:06 PM Changeset in ghc [2addd844]supercompiler by Max Bolingbroke <batterseapower@…>
Tweak debug output
7:03 PM Changeset in ghc [58d86ee]supercompiler by Max Bolingbroke <batterseapower@…>
Eager value splitting in the new splitter for compatability with thesis (don't think it's actually necessary for correctness though)
7:02 PM Changeset in ghc [46b9179]supercompiler by Max Bolingbroke <batterseapower@…>
Fix stupid typo in MSG that was causing even stupider tiebacks
5:02 PM Changeset in ghc [3431c3c]supercompiler by Max Bolingbroke <batterseapower@…>
Fix some potential loops in supercompilation, make matching succeed more often
4:54 PM Changeset in ghc [2145ffc4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Build old-time with stage2 It's no longer needed in order to build the compiler itself.
11:32 AM Ticket #7182 (Control.Monad.ST module description should reference Data.STRef) closed by simonmar
fixed: Fixed: […]
8:05 AM Changeset in ghc [9c15249e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
fix stage2 compilation
7:25 AM Ticket #7271 (Panic with strictness annotation) closed by simonpj
fixed: I've modified #7210 to get it merget to 7.6

Sep 25, 2012:

10:28 PM Ticket #7271 (Panic with strictness annotation) created by acowley
This code […] results in a ghc: panic~ (the 'impossible' happened) in …
10:17 PM Changeset in process [8d7a7c2]ghc-7.8 by Ian Lynagh <ian@…>
Add .,/ to the list of characters that showCommandForUser allows unquoted
7:24 PM Ticket #7260 (directory-1.1.0.2 fails to build on ghc 7.0.3) closed by sopvop
wontfix: Actually it can't be built on 7.0.3 at all, because fileSystemEncoding …
7:12 PM Changeset in ghc [a0038979]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-compat by Edward Z. Yang <ezyang@…>
Add support for per-test timeout adjustment (timeout_multiplier), and tighten up #367 test. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
7:12 PM Changeset in testsuite [88d9bcb]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Add support for per-test timeout adjustment (timeout_multiplier), and tighten up #367 test. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
3:53 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
3:33 PM Ticket #7270 (Incorrect optimization with Data.ByteString.append) closed by duncan
fixed: Committed to the upstream bytestring repo. So it'll be fixed in the next …
3:13 PM Changeset in ghc [3473e21]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
When -split-objs is on, make one SRT per split, not one per module This is a hopefully temporary measure until the new SRT design is implemeented.
3:13 PM Changeset in ghc [16206a6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Remove some old-codegen cruft
8:56 AM Changeset in ghc [93faddc]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
fix panic message typo
7:45 AM Status/SLPJ-Tickets edited by simonpj
(diff)

Sep 24, 2012:

9:39 PM Changeset in ghc [48b4b88d]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-compat by Edward Z. Yang <ezyang@…>
Failing (by timeout) tests for #367. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:39 PM Changeset in testsuite [fbd0aaa]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Edward Z. Yang <ezyang@…>
Failing (by timeout) tests for #367. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
9:11 PM Ticket #7270 (Incorrect optimization with Data.ByteString.append) created by ocheron
The following program does not give the same result with -O2 and without: …
6:14 PM Commentary/Compiler/StgSynType edited by ezyang
Elaborate a little on let-no-escape based on StgSyn.lhs (diff)
4:46 PM Ticket #7269 (GeneralizedNewtypeDeriving and PolyKinds) created by dreixel
The following code […] fails with this error: […] I believe this …
4:39 PM Ticket #7268 (Explicit type signatures for top level record pattern matches polymorphism ...) created by TristanAllwood
Consider the following module, which declares a record with two fields …
1:07 PM Ticket #7265 (directory 1.2.0.0 build fails on 7.4.2) closed by simonmar
duplicate: dup of #7262
12:51 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
12:50 PM GhcKinds/PolyTypeable edited by dreixel
Update milestones (diff)
11:27 AM Changeset in process [007fb05]ghc-7.8 by Simon Marlow <marlowsd@…>
Documentation for signal exit codes (#7229)
11:11 AM Changeset in process [9547cf4]ghc-7.8 by Simon Marlow <marlowsd@…>
Test for #7229
10:12 AM Changeset in ghc [5cf71826]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Misc tidyup
9:58 AM Changeset in ghc [254f1a6c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
whitespace and panic message fixup
9:58 AM Changeset in ghc [b4829665]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Generate better code for "if (3 <= x) then ..."
9:58 AM Changeset in ghc [3596d5d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
whitespace only
9:13 AM Ticket #7254 (Parallel processing and the -Nn flag) closed by simonmar
wontfix: There are occasionally reasons to want to use a higher -N value than the …
8:51 AM Changeset in ghc [acdebbb]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
no functional changes
8:51 AM Changeset in process [f81f468]ghc-7.8 by Simon Marlow <marlowsd@…>
remove ^Ms
8:50 AM Changeset in process [5403824]ghc-7.8 by Simon Marlow <marlowsd@…>
Use (128+signal) as the exit code when a proc terminates due to a signal (#7229)
8:36 AM Ticket #7267 (linux-ppc64: Segfault during stage2 build) created by erikd
Build segfaults during the command: […] Running under GDB and …
8:22 AM Changeset in ghc [faec924a]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-compat by Simon Marlow <marlowsd@…>
Add a perf test for #7257
8:22 AM Changeset in testsuite [ae076b7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add a perf test for #7257
8:22 AM Changeset in ghc [673b6f50]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
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.
8:22 AM Changeset in ghc [0b79d5cd]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
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
6:02 AM Ticket #7266 (Allow fractional-looking integer literals) created by shachaf
Haskell 2010 (2.5, 6.4.1) specifies that there are integer literals and …

Sep 23, 2012:

9:34 PM Changeset in ghc [7ba13fa]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-compat by Ian Lynagh <ian@…>
Follow GHC change: No deprecated warnings for defining class methods
9:34 PM Changeset in testsuite [2fc7e7c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Follow GHC change: No deprecated warnings for defining class methods
8:46 PM Changeset in ghc [096c29d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Ignore deprecation warnings for bitSize in libs when validating
8:45 PM Changeset in base [701d9ed]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Deprecate bitSize
8:45 PM Changeset in ghc [a9ecd61f]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Deprecate bitSize
8:45 PM Changeset in ghc [ca64cee6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Use finiteBitSize rather than bitSize when it is available
8:29 PM Ticket #7265 (directory 1.2.0.0 build fails on 7.4.2) created by akaspin
Multiple errors: Ambiguous occurrence `try' It could refer to either …
8:09 PM Changeset in ghc [4bda967]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Don't warn about defining deprecated class methods We only warn when the method is used, not when it is defined as part of an instance.
7:01 PM Ticket #7264 (Adding GHC's inferred type signatures to a working program can make it ...) created by guest
[…] Without the commented-out type signature, the program typechecks …
1:52 PM Changeset in ghc [6cf0e21]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in rename/RnSource.lhs
12:30 PM Ticket #7263 (Add derived Show instances to GHC.Generics) created by dag
This would make it easier to learn to use generics by exploration from …
12:28 PM Changeset in base [cddc902]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Add bitSizeMaybe to Bits, and add FiniteBits class
12:28 PM Changeset in ghc [925782e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Add bitSizeMaybe to Bits, and add FiniteBits class
4:06 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:05 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:04 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:01 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
4:01 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
3:55 AM TypeNats/MatchingOnNats edited by diatchki
(diff)
3:30 AM TypeNats/MatchingOnNats created by diatchki
3:02 AM TypeNats edited by diatchki
(diff)

Sep 22, 2012:

8:31 PM Ticket #7262 (directory 1.2 fails to build with base < 4.6) created by sopvop
Old base still has try and catch in Prelude and System.IO.Error which …
11:56 AM Ticket #7251 (ghc: unrecognised flags: -fdph-par) closed by chak
invalid: Sorry, we need to update the documentation. Please use "-package …

Sep 21, 2012:

8:02 PM Ticket #7261 (ghci's :info and :browse break encapsulation) created by Feuerbach
In ghci, :info shows representations of abstract data types. I consider …
6:39 PM Changeset in ghc [118a09e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove a redundant cast
6:38 PM Changeset in ghc [ed6a7e4e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Fix the profiling build
6:08 PM Changeset in ghc [c88fe39]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Convert more RTS macros to functions Object sizes still unchanged.
5:14 PM Changeset in ghc [ef3339cf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Convert more RTS macros to functions No size changes in the non-debug object files
4:04 PM Ticket #7234 (Linker spews useless error message and failes.) closed by colah
invalid: This isn't a GHC bug but an ImplicitCAD one. It's the result of me being …
3:11 PM Changeset in base [55594a7]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Add a big warning to the documentation for Weak (#7250)
3:11 PM Changeset in ghc [39b9f94]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add a big warning to the documentation for Weak (#7250)
1:41 PM Ticket #7247 (Testsuite: Print stdout diff even if stderr diff already fails) closed by simonmar
fixed: Applied, thanks. […]
1:40 PM Ticket #7244 (T6106: Use /bin/sh instead of /bin/bash) closed by simonmar
fixed: Fixed, thanks. […]
1:36 PM Changeset in ghc [3f2bd36]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Fiddling with kind errors
1:19 PM Changeset in ghc [1ebabebc]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-compat by Simon Marlow <marlowsd@…>
test for #7227
1:19 PM Changeset in testsuite [01a0722]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
test for #7227
12:49 PM Changeset in ghc [8909f0c8]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-compat by Simon Marlow <marlowsd@…>
Print stdout diff even if stderr diff alrady fails (#7247)
12:49 PM Changeset in testsuite [df807e6]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Print stdout diff even if stderr diff alrady fails (#7247)
12:46 PM Changeset in ghc [5f01b6d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Fix off-by-one (#7227)
12:46 PM Changeset in ghc [1f5d836]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
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.
12:46 PM Changeset in ghc [016fd74d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
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).
12:46 PM Changeset in ghc [c19f2e3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Include pinned memory in the stats for allocated memory This broke with the changes to the pinned object handling in 67f4ab7e6b7705a9d617c6109a8c5434ede13cae.
12:38 PM Changeset in ghc [b37dc96]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-compat by Simon Marlow <marlowsd@…>
use /bin/sh, not /bin/bash (#7244)
12:38 PM Changeset in testsuite [de338ff]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
use /bin/sh, not /bin/bash (#7244)
12:22 PM Ticket #7260 (directory-1.1.0.2 fails to build on ghc 7.0.3) created by sopvop
It checks for ghc 7.0.3 here, but getFileSystemEncoding only appeared in …
11:19 AM Changeset in ghc [f1557f3b]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-compat by Simon Peyton Jones <simonpj@…>
A ton of error message wibbles Notably * Showing relevant bindings * Not suggesting add instance (Num T); see Trac #7222
11:19 AM Changeset in testsuite [5e861f4]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
A ton of error message wibbles Notably * Showing relevant bindings * Not suggesting add instance (Num T); see Trac #7222
11:14 AM Changeset in ghc [7095121c]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-compat by Simon Peyton Jones <simonpj@…>
Merge with master
11:14 AM Changeset in testsuite [0ec2356]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge with master
10:43 AM Ticket #7255 (Wrong suggestion when deriving Generic on an instantiated type) closed by dreixel
fixed: Fixed. Turns out we even had a test for this already, and somehow were …
10:41 AM Changeset in ghc [f3b2ed5]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-compat by Jose Pedro Magalhaes <jpm@…>
Update test output
10:41 AM Changeset in testsuite [13acd2a]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Update test output
9:40 AM Changeset in ghc [a17da16f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Jose Pedro Magalhaes <jpm@…>
FIX #7255: print tyConTyVars tc, not tc_args
9:18 AM Ticket #7259 (Eta expansion of products in System FC) created by simonpj
This ticket is to capture the ideas in these GHC-users threads: …
8:00 AM Changeset in ghc [a7147dfb]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Jose Pedro Magalhaes <jpm@…>
Add missing dataCast1 method to the Data Bag instance
2:24 AM Building/RunningNoFib edited by AndreasVoellmy
(diff)
2:10 AM Building/RunningNoFib edited by AndreasVoellmy
(diff)

Sep 20, 2012:

10:36 PM Changeset in ghc [18766f76]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-compat by Ian Lynagh <ian@…>
Update perf bounds
10:36 PM Changeset in testsuite [89d12b5]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update perf bounds
10:21 PM Changeset in ghc [9e05651]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Don't put unused constants in platformConstants This makes compiling DynFlags a lot quicker
10:13 PM Changeset in ghc [b81c3d4]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-compat by Ian Lynagh <ian@…>
Follow module removals in base
10:13 PM Changeset in testsuite [f822dd00]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Follow module removals in base
10:11 PM Changeset in base [aa98b3c]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Follow module removal in hDuplicateTo001 test
10:11 PM Changeset in ghc [4f03d110]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Follow module removal in hDuplicateTo001 test
9:21 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
5:56 PM Changeset in base [1923869]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove GHC.Handle It's been deprecated since at least GHC 6.12
5:56 PM Changeset in ghc [520b2dd]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Remove GHC.Handle It's been deprecated since at least GHC 6.12
5:53 PM Changeset in base [00c0ee7]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove GHC.IOBase It's been deprecated since at least GHC 6.12
5:53 PM Changeset in ghc [c89b5a19]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Remove GHC.IOBase It's been deprecated since at least GHC 6.12
5:05 PM Changeset in ghc [b92c76e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:23 PM Changeset in base [6817ddd]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Remove deprecated functions from Data.Data They've been deprecated since at least GHC 6.12
4:23 PM Changeset in ghc [e6b690d5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Remove deprecated functions from Data.Data They've been deprecated since at least GHC 6.12
3:36 PM Changeset in ghc [b00c29d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Fix an outright bug in my "left/right" stuff, and refactor canEqLeafTyVarEq along the same lines as our earlier refactoring of canEqLeafFunEq
3:35 PM Changeset in ghc [23db38b3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Comments only
2:56 PM Changeset in ghc [a910970]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
add a missing entryCode
2:56 PM Changeset in ghc [2e8f08c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
splitAtProcPoints: jump to the right place when tablesNextToCode == False
1:12 PM Changeset in ghc [c90d45f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
fix warnings
1:11 PM Changeset in ghc [096396d9]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
fix warning
1:11 PM Changeset in ghc [7bff9fa8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
refactor flattenCmmAGraph
1:11 PM Changeset in ghc [0b0a41f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Teach the linear register allocator how to allocate more stack if necessary This squashes the "out of spill slots" panic that occasionally happens on x86, by adding instructions to bump and retreat the C stack pointer as necessary. The panic has become more common since the new codegen, because we lump code into larger blocks, and the register allocator isn't very good at reusing stack slots for spilling (see Note [extra spill slots]).
1:00 PM Changeset in ghc [987710c1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
non-tablesNextToCode fix for returns in the new codegen
12:43 PM Changeset in ghc [85a8f79]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove redundant pragmas from RegAlloc.Liveness
12:42 PM Changeset in ghc [33a6df97]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Make addSRM to strict additions I assume that this is what is intended, as it is used with foldl'
12:40 PM Changeset in ghc [616524d8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Fix warnings in RegAlloc.Graph.Stats
12:09 PM Changeset in ghc [a6c06bd]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in nativeGen/RegAlloc/Graph/Stats.hs
11:19 AM Changeset in ghc [3648727]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-compat by Ian Lynagh <ian@…>
Raise T5837 bounds
11:19 AM Changeset in testsuite [bea2ea3]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Raise T5837 bounds
11:14 AM Changeset in ghc [08167ace]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
10:34 AM Changeset in ghc [448ad24]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
We don't actually need a Show instance for the PlatformConstants type and creating one is quite slow
10:04 AM Ticket #7258 (Compiling DynFlags is jolly slow) created by simonpj
Compiling DynFlags really takes a long time these days. Ian thinks …
9:20 AM Ticket #7257 (Regression: pinned memory fragmentation) created by jwlato
In certain cases, ghc-7.6.1 seems to have much worse memory behavior than …
8:42 AM Ticket #7256 (Missing dataCast1 and dataCast2 methods in Data.Data instances) created by dreixel
Having a look at Data instances in module Data.Data, Ptr a and …
8:35 AM Ticket #7255 (Wrong suggestion when deriving Generic on an instantiated type) created by dreixel
The following code […] gives rise to the error […] It should …

Sep 19, 2012:

11:43 PM Changeset in ghc [05a0a64]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Change some "else return ()"s to use when/unless
11:30 PM Changeset in ghc [aa6bc70]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove a couple of unneccesary Platform arguments
10:23 PM Changeset in ghc [54affcef]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Fix litFitsInChar It was always False before
9:37 PM Changeset in ghc [fe582123]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Make some uses of minBound/maxBound use the target Int/Word sizes
9:24 PM Changeset in ghc [6a4d60a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Add the necessary REP_* constants to platformConstants
5:43 PM Ticket #7254 (Parallel processing and the -Nn flag) created by mcandre
When I follow the Parallel Processing with Haskell tutorial …
1:49 PM Changeset in ghc [20670cc6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Make the StgWord/StgHalfWord types more similar Also added a couple of comments.
12:12 PM Ticket #7253 (Top-level bindings in ghci) created by Feuerbach
ghci now supports most of the declarations. However, it doesn't support …

Sep 18, 2012:

11:45 PM Changeset in ghc [f1e37297]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove redundant #includes
11:15 PM Changeset in ghc [62bb618]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Add some LDV_* constants to platformConstants
10:35 PM Changeset in ghc [0176c3f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove a little more CPP
10:22 PM Changeset in ghc [a9b986e2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Make StgWord a portable type too StgWord is a newtyped Word64, as it needed to be something that has a UArray instance.
10:03 PM Ticket #7252 (Impossible error when deriving lower-cased type class (nameModule show{tv ...) closed by guest
duplicate: This is already fixed in GHC 7.6, bug #5961.
8:28 PM Ticket #7252 (Impossible error when deriving lower-cased type class (nameModule show{tv ...) created by sfogarty
I had a student who incorrectly typed 'deriving (show)' instead of …
7:44 PM Changeset in ghc [3a4c64c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Make StgHalfWord a portable type It's now a newtyped Integer. Perhaps a newtyped Word32 would make more sense, though.
6:05 PM Changeset in ghc [8244ec3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:43 PM Changeset in ghc [b44db6f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove some uses of the WORDS_BIGENDIAN CPP symbol
4:40 PM Changeset in ghc [8e7d415]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables
4:39 PM Changeset in ghc [94291904]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Make sure that even insoluble constraints are fully substituted The main change is that canEqFailure does substitution: see Note [Make sure that insolubles are fully rewritten] in TcCanonical. However DV and I also found a way to simplify 'flatten' a bit, by passing a CtFlavour instead of CtEvidence.
4:33 PM Changeset in ghc [09a0670]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Signatures and comments
4:32 PM Changeset in ghc [19dd108]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Be careful about kinds when eta-expanding AppCo See Note [Eta for AppCo] in OptCoercion
4:31 PM Changeset in ghc [1b5c8337]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Undo making Any into a type family, for now Making Any a type family is the right thing to do, but it messes up the proxy kind arguments in TypeLits and Singletons, so I'm backing it out for now. More thought required!
4:30 PM Changeset in ghc [58470fb]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Make a start towards eta-rules and injective families * Make Any into a type family (which it should always have been) This is to support the future introduction of eta rules for product types (see email on ghc-users title "PolyKind issue" early Sept 2012) * Add the *internal* data type support for (a) closed type families [so that you can't give type instance for 'Any'] (b) injective type families [because Any is really injective] This amounts to two boolean flags on the SynFamilyTyCon constructor of TyCon.SynTyConRhs. There is some knock-on effect, but all of a routine nature. It remains to offer source syntax for either closed or injective families.
3:06 PM Ticket #7223 (Unregisterised and/or via-C compilation broken) closed by simonmar
fixed: I think this fixes it: commit 3f2eeeedf8a59efbbf904b57f65e1686f9dd6e8b
2:32 PM Changeset in ghc [98903b96]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Give packHalfWordsCLit a more specific type I'm not sure if there's a reason why the HeapRep constructor takes 2 WordOffs rather than 2 StgHalfWords.
1:54 PM Ticket #7251 (ghc: unrecognised flags: -fdph-par) created by leonardo
Hello, I have tried to compile the program that is given in …
1:51 PM Changeset in ghc [3f2eeee]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Declare SRT labels correctly in the via-C backend
1:51 PM Changeset in ghc [16cc37ff]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
make some debug output conditional on -ddump-cmmz
1:51 PM Changeset in ghc [027a654]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Small parallel GC improvement Overlap the main thread's clearNursery() with the other threads.
1:32 PM ExplicitTypeApplication edited by diatchki
(diff)
12:48 PM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
12:47 PM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
12:21 PM Ticket #7250 (Documentation of System.Mem.Weak should emphasize finalizers may be run ...) created by edsko
The problem is mentioned in addFinalizer, but not in mkWeak; moreover, the …
11:39 AM Ticket #1877 (Change the meaning of -fextended-default-rules) closed by simonmar
fixed: Yes, I think we can.
10:48 AM Changeset in ghc [7f7c9ed]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
In the Template Haskell pretty printer, don't call error There were two cases in which we called error * An InfixE with an operator epxression other than VarE or ConE * A comprehension with empty Stmts, ie CompE [] Crashing doesn't help much. Now the library puts in the pretty printed output a textual signal about what went wrong. This addresses the crash in Trac #7235, although doesn't fix the underlying cause, which remains shrouded in obscurity.
10:04 AM Commentary/Compiler/NewCodeGen edited by simonpj
(diff)
9:59 AM Ticket #7249 (ghc no longer needs to build HS*.o ghci library files) created by juhpetersen
I believe that ghci libraries files (HS*.o) are now redundant (and Cabal …
9:31 AM Changeset in ghc [9d780e2d]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-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
9:31 AM Changeset in testsuite [73bcd7f]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
8:59 AM Changeset in ghc [adf6cdf]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-compat by Simon Peyton Jones <simonpj@…>
Add a test directory for ext-core, and test Trac #7239 We have basically no tests for External Core, which needs love.
8:59 AM Changeset in testsuite [deb6169]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add a test directory for ext-core, and test Trac #7239 We have basically no tests for External Core, which needs love.
8:21 AM Changeset in ghc [261e91e]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7238
8:21 AM Changeset in testsuite [9c6bdcc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7238
8:19 AM Changeset in ghc [1f49b829]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7224 and #7230
8:19 AM Changeset in testsuite [e20ff25]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7224 and #7230
8:14 AM Ticket #7176 (Failure to let kind variable remain uninstantiated when not needed) closed by simonpj
fixed
7:55 AM Changeset in ghc [00922ef]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5252 (again)
7:55 AM Changeset in testsuite [f66a982]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5252 (again)
7:46 AM Changeset in ghc [45cf6f8a]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7237
7:46 AM Changeset in testsuite [05ee370]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7237

Sep 17, 2012:

11:53 PM Changeset in ghc [68fb999]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-compat by Ian Lynagh <ian@…>
Update perf test bounds Some wibbles due to recent changes. Some things got better, some got worse, but nothing drastic.
11:53 PM Changeset in testsuite [5957802]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update perf test bounds Some wibbles due to recent changes. Some things got better, some got worse, but nothing drastic.
10:10 PM Changeset in ghc [2529992e]supercompiler by Max Bolingbroke <batterseapower@…>
Remove small redundancy
9:55 PM Changeset in ghc [d8ed3e4f]supercompiler by Max Bolingbroke <batterseapower@…>
Carefully document loopiness in MSG and fix all examples of overeagerness
8:38 PM Changeset in ghc [96152229]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
8:30 PM Changeset in ghc [92c3f74]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure we make progress in the evaluator for UPDATE2 rule
8:20 PM Changeset in ghc [9224e48]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove some CPP
6:17 PM Changeset in base [140279a]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Fix build; GHC.Constants is now empty We should put things back in it somehow, but for now this keeps the build going through.
6:17 PM Changeset in ghc [86f4eb5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Fix build; GHC.Constants is now empty We should put things back in it somehow, but for now this keeps the build going through.
5:59 PM Changeset in ghc [e76fa69]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge the remainder of HaskellConstants into Constants
5:56 PM Changeset in ghc [998a633]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove unused import
5:22 PM Changeset in ghc [ba8fd08]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Make the call to chooseBoxingStrategy lazy again I made it strict, as an incidental consequence of this patch: commit 5bae803a18b17bdb158a7780e6b6ac3c520e5b39 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Sat Sep 15 23:09:25 2012 +0100 Fix UNPACK with -fomit-interface-pragmas. But it's very important that chooseBoxingStrategy is lazy, else (in bigger programs with lots of recursion in types) GHC can loop. This showed up in Data.Sequence; and I think it was making haddock loop as well. Anyway this patch makes it lazy again.
5:06 PM Changeset in ghc [f21dabc]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove the Target* types from HaskellConstants
4:39 PM Changeset in ghc [10cc4224]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move tARGET_* out of HaskellConstants
2:46 PM Ticket #7248 (NewCodeGen does not create enough SRT labels when using SplitObjs) created by darchon
When building HEAD I get the following error: make -r …
2:10 PM Changeset in ghc [06782895]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Gabor Greif <ggreif@…>
typo
1:58 PM Holes edited by heisenbug
fix a reference (diff)
12:46 PM Changeset in ghc [af7cc995]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Implement 'left' and 'right' coercions This patch finally adds 'left' and 'right' coercions back into GHC. Trac #7205 gives the details. The main change is to add a new constructor to Coercion: data Coercion = ... | NthCo Int Coercion -- OLD, still there | LRCo LeftOrRight Coercion -- NEW data LeftOrRight = CLeft | CRight Plus: * Similar change to TcCoercion * Use LRCo when decomposing AppTys * Coercion optimisation needs to handle left/right The rest is just knock-on effects.
12:46 PM Changeset in ghc [510f439]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Tidy up and simplify simplifyRule, pls adding some other comments
12:46 PM Changeset in ghc [bd6b183]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Tidy up and simplify TcMType.zonkFlats (discussion between DV and SLPJ)
12:45 PM Changeset in ghc [1a6ab64]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Remove cc_ty from CIrredCan and cc_hole_ty from CHoleCan A simple refactoring with no complicated fiddling.
12:45 PM Changeset in ghc [d30b9cf4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Another refactoring of constraints 1. Rejig CtLoc * CtLoc is now *not* parameterised (much simpler) * CtLoc includes the "depth" of the constraint * CtLoc includes the TcLclEnv at the birthplace That gives (a) the SrcSpan, (b) the [ErrCtxt] (c) the [TcIdBinder] * The CtLoc of a constraint is no longer in its CtEvidence * Where we passed 'depth' before, now we pass CtLoc 2. Some significant refactoring in TcErrors * Get rid of cec_extra * Traverse every constraint, so that we can be sure to generate bindings where necessary. (This was really a lurking bug before.) 3. Merge zonking into TcCanonical. This turned out to be almost trivial; just a small change to TcCanonical.flattenTyVar. The nice consequence is that we don't need to zonk a constraint before solving it; instead it gets zonked "on the fly" as it were.
12:39 PM Changeset in ghc [0683258]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Improve the binding location of class methods (I think) I've totally forgotten what this patch is fixing, but it's all about getting the right source location for class methods. It's fairly minor, but annoying that I can't connect it with a Trac ticket
12:36 PM Changeset in ghc [8089391]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Comments about how the untouchables stuff works
12:35 PM Changeset in ghc [5f312c8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Spelling in comments only
12:31 PM Changeset in ghc [8a9a7a8c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Add type "holes", enabled by -XTypeHoles, Trac #5910 This single commit combines a lot of work done by Thijs Alkemade <thijsalkemade@gmail.com>, plus a slew of subsequent refactoring by Simon PJ. The basic idea is * Add a new expression form "_", a hole, standing for a not-yet-written expression * Give a useful error message that (a) gives the type of the hole (b) gives the types of some enclosing value bindings that mention the hole Driven by this goal I did a LOT of refactoring in TcErrors, which in turn allows us to report enclosing value bindings for other errors, not just holes. (Thijs rightly did not attempt this!) The major data type change is a new form of constraint data Ct = ... | CHoleCan { cc_ev :: CtEvidence, cc_hole_ty :: TcTauType, cc_depth :: SubGoalDepth } I'm still in two minds about whether this is the best plan. Another possibility would be to have a predicate type for holes, somthing like class Hole a where holeValue :: a It works the way it is, but there are some annoying special cases for CHoleCan (just grep for "CHoleCan").
12:09 PM Changeset in ghc [b0db930]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/master' into tc-untouchables Conflicts: compiler/typecheck/TcMType.lhs compiler/typecheck/TcSMonad.lhs
11:29 AM Ticket #7247 (Testsuite: Print stdout diff even if stderr diff already fails) created by nomeata
When doing test-driven development I find it handy to see the diff of …
11:05 AM Changeset in ghc [ad0139a]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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:51 AM Commentary/Compiler/Demand edited by ilya
(diff)
10:49 AM Commentary/Compiler/Demand edited by ilya
(diff)
10:43 AM Commentary/Compiler/Demand edited by ilya
(diff)
10:43 AM Commentary/Compiler/Demand/RelevantParts created by ilya
10:23 AM Ticket #7246 (Callstack depends on way (prof, profasm, profthreaded) created by nomeata
Consider the attached test case. The expected output is the that of the …
9:38 AM Changeset in ghc [79ee264a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass DynFlags to the ru_try functions of built-in rules
7:09 AM Changeset in ghc [8c3b9aca]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:02 AM Ticket #7245 (INLINEing top-level patterns causes ghc to emit 'arity missing' traces) created by jwlato
When an INLINE pragma is specified on a pattern, ghc-7.6.1 shows some …
3:20 AM Ticket #7244 (T6106: Use /bin/sh instead of /bin/bash) created by iquiw
testsuite/tests/ghci/scripts/T6106_preproc.sh should use /bin/sh instead …
2:55 AM Ticket #7243 (regression: acceptable foreign result types) created by dmwit
The following short file is rejected: […] The error is: […] …

Sep 16, 2012:

7:55 PM Changeset in ghc [b0f4c44]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move tAG_BITS into platformConstants
6:42 PM Changeset in ghc [7ecefb6b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move more constants to platformConstants
4:45 PM Changeset in ghc [17910899]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move wORD_SIZE into platformConstants
1:03 PM Changeset in ghc [a62b56e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass DynFlags down to llvmWord
12:40 PM Changeset in ghc [7f5af24f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Windows build fix
9:25 AM Ticket #7242 (struct kevent is different on NetBSD) created by iquiw
The following is NetBSD's struct kevent. […] while FreeBSD's one is as …

Sep 15, 2012:

10:12 PM Changeset in ghc [7b8a17a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Print literal integers in External Core.
10:09 PM Changeset in ghc [5bae803a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Fix UNPACK with -fomit-interface-pragmas. We were missing a case, so that you could expose a constructor with UNPACKed fields, but the field tpye was trimmed, and hence can't be expanded. Fixes Trac #5252 (revived)
10:06 PM Changeset in ghc [f33327aa]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Comments and laout only
10:06 PM Changeset in ghc [84bb854]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7237; mixup with empty tuples When converting from Core to STG, we swith pattern matching on on a *nullary* unboxed tuple into matching using a PrimAlt on RealWorld# case e (RealWorld#) of { DEFAULT -> ... } This semms messy to me, but it works. There was a bug in that we were changing to PrimAlt, but not using a DEFAULT AltCon.
7:09 AM Changeset in ghc [cf02909]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Merge remote branch 'origin/master'

Sep 14, 2012:

11:12 PM Changeset in ghc [7d83fdea]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Bind "given" evidence to a variable, always This was being done in xCtFlavor, but not in rewriteCtFlavor, resulting in Trac #7238. See Note [Bind new Givens immediately] in TcSMonad and and Note [Coercion evidence terms] in TcEvidence.
10:10 PM Changeset in ghc [c3f4c6f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move wORD_SIZE_IN_BITS to DynFlags This frees wORD_SIZE up to be moved out of HaskellConstants
9:55 PM Ticket #7241 (GHC-7.6.1 panics on template haskell code) created by akamaus
While experimenting with TH I stumbled upon a repeating compiler panic. …
9:02 PM Ticket #7240 (Stack trace truncated too much with indirect recursion) created by nomeata
This is to write down the improvements suggestions for the stack trace …
8:25 PM Changeset in ghc [6dd23e6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move some more constants into platformConstants
7:20 PM Changeset in ghc [43e09ac7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove more Platform arguments
7:10 PM Changeset in ghc [0692f7ec]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in nativeGen/RegAlloc/Linear/JoinToTargets.hs
7:04 PM Changeset in ghc [71f4b808]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove more Platform arguments
6:53 PM Changeset in ghc [69e5f312]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove a load of Platform arguments from RegM functions
6:39 PM Changeset in ghc [2e3c9255]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Put DynFlags into the RegM monad Also moved the type definition into RegAlloc.Linear.State to de-orphan the Monad instance.
6:28 PM Changeset in ghc [2115585]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in nativeGen/RegAlloc/Linear/State.hs
3:27 PM Changeset in ghc [a22a9c21]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move more constants to platformConstants
2:25 PM Changeset in ghc [b7dd4b5d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
MAX_REAL_LONG_REG is always defined, so no need to test it
2:24 PM Changeset in ghc [f203e63c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move more constants into platformConstants
12:58 PM Changeset in ghc [6f3be2b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge branch 'master' of mac:ghc/git/val32/.
12:57 PM Changeset in ghc [041e832]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Move some more constants fo platformConstants
12:24 PM Changeset in ghc [c38794d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <igloo@…>
More OS X build fixes
11:53 AM Changeset in ghc [291da8a0]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Check for Int constants that are too large in mkDerivedConstants
11:48 AM Changeset in ghc [9b0c4ed]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Start moving other constants from (Haskell)Constants to platformConstants
10:43 AM Changeset in ghc [f4d0e62]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <igloo@…>
Fix build on OS X
10:12 AM Changeset in ghc [f4c327a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
When allocating a new kind variable, do so with newMetaUnique

Sep 13, 2012:

10:31 PM Changeset in ghc [3f39164]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Use intptr_t for offset values in mkDerivedConstants This means that we get e.g. pc_OFFSET_stgEagerBlackholeInfo = -24 rather than pc_OFFSET_stgEagerBlackholeInfo = 18446744073709551592
9:16 PM Changeset in ghc [6e1107b1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove some unused HaskellConstants entries
8:26 PM Changeset in ghc [a7a91cd]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove the --gen-haskell mode of mkDerivedConstants It no longer generates anything
8:22 PM Changeset in ghc [568fdb14]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Use oFFSET_* from platformConstants rather than Constants
7:52 PM Changeset in ghc [3e6a3efb]supercompiler by Max Bolingbroke <batterseapower@…>
Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo)
7:22 PM Changeset in base [48820fa]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Ian Lynagh <ian@…>
Fix a typo; spotted by Mikolaj Konarski
7:22 PM Changeset in ghc [20130c0]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <ian@…>
Fix a typo; spotted by Mikolaj Konarski
6:12 PM Changeset in ghc [4279ab50]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Use sIZEOF_* from platformConstants rather than Constants
5:17 PM Changeset in ghc [07c37771]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Add a couple more mkDerivedConstants modes We now also generate nice wrappers for the platformConstants methods. For now it's all commented out as the definitions conflict with those in Constants.
4:32 PM Changeset in ghc [6154cfa]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
We need to install the platformConstants file
3:10 PM Changeset in ghc [72d3f4b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Make the Windows-specific part of mkDerivedConstants.c conditional It is only generated when mode is Gen_Header; i.e. it's not used in the compiler, only the RTS.
1:14 PM Ticket #7239 (GHC panic: MkExternalCore died: make_lit) created by audunska
Compiling the attached example with -fext-core crashes ghc with the …
11:54 AM Changeset in ghc [f89b73e6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Add more modes to mkDerivedConstants We now generate a platformConstants file that we can read at runtime.
11:43 AM SIMD edited by gmainland
(diff)
9:39 AM Ticket #7211 (Huge space leak on a program that shouldn't leak) closed by bartavelle
invalid: I erased and rebuilt all my packages again, everything works right. Sorry …
3:43 AM Ticket #7238 (class methods with associated equality constraints panic) created by dmwit
The following file causes a panic ("getEqPredTys"): […]
2:50 AM Ticket #7237 (CgCase fails with strict data/functions) created by jwlato
The following code results in a ghc panic when compiled with -O or above: …[…]

Sep 12, 2012:

11:12 PM Changeset in ghc [86054b4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Use conditionals rather than CPP in mkDerivedConstants This means we only need to build one copy of the program, which will make life simpler as I plan to add more variants.
9:57 PM Ticket #7236 (ghc panic) closed by simonpj
duplicate: Dup of #5961, happily fixed in 7.6
3:33 PM Changeset in ghc [5a71292f]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-compat by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
3:33 PM Changeset in testsuite [f9ca062]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Johan Tibell <johan.tibell@…>
Merge branch 'master' of https://github.com/ghc/testsuite
3:32 PM Changeset in ghc [2b7319a6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass DynFlags down to wordWidth
1:27 PM Ticket #7236 (ghc panic) created by danielhanlon
Apologies if this is an inappropriate bug report - I'm new to Haskell and …
11:37 AM Changeset in ghc [44b5f471]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass DynFlags down to gcWord
10:31 AM Changeset in ghc [f611396a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass DynFlags down to bWord I've switched to passing DynFlags rather than Platform, as (a) it's simpler to not have to extract targetPlatform in so many places, and (b) it may be useful to have DynFlags around in future.
10:28 AM Milestone 7.4.3 completed
10:17 AM Ticket #3942 (Strange profiling behaviour in 6.10.4) closed by igloo
invalid: No response from submitter, so closing.
10:10 AM Ticket #5723 (GHCi (7.4.0.20111219) sometimes segfaults when reading .ghci) closed by igloo
invalid: We no longer build OS X installers, so closing.

Sep 11, 2012:

2:10 PM Changeset in ghc [6986eb91]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in codeGen/CgProf.hs
1:18 PM Ticket #7203 (Add scanl') closed by igloo
wontfix: Could you please make a proposal on the libraries list (see …
1:14 PM Ticket #7135 (Data.Bits can still have default implementations for testBit, bit, and ...) closed by igloo
wontfix: I still think the decision was right. If you disagree, please make a new …
12:58 PM Ticket #7154 (making GHC from sources with a locally installed GHC 6.12.1 fails) closed by igloo
worksforme: I'm not quite sure what's happened here. It looks like something might be …
12:48 PM Changeset in ghc [ad779f57]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in cmm/CmmUtils.hs
12:45 PM Changeset in ghc [00e4140]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Whitespace only in cmm/CmmExpr.hs
12:11 PM Ticket #7235 ("panic!" when compiling happstack-server-7.0.4) closed by igloo
duplicate: I suspect that what's happened here is that you've upgraded your …

Sep 10, 2012:

4:23 PM Changeset in ghc [94dbd655]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass Platform down to halfWordMask
4:02 PM Changeset in ghc [26ebd1b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Pass Platform down to halfWordWidth We don't actually use it yet
12:14 PM Changeset in ghc [da5b7ba3]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove some more CPP
12:13 PM Changeset in ghc [77b63e7]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Two fixes to kind unification * Don't unify a kind signature-variable with non-tyvar kind * Don't allow a kind variable to appear in a type (Trac #7224)
11:45 AM Changeset in ghc [c855396]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Remove some CPP
10:29 AM Changeset in ghc [0ee44def]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
9:13 AM Ticket #7235 ("panic!" when compiling happstack-server-7.0.4) created by guest
I wanted to install happstack-server-7.0.4 for a project, then the …

Sep 9, 2012:

9:25 PM Changeset in testsuite [b75dbc7]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixing conflicts after merge with master
5:33 PM Ticket #7234 (Linker spews useless error message and failes.) created by timthelion
This is with ImplicitCAD as installed by way of […] All other …
4:11 PM Ticket #7144 (directory-1.1.1.0 violates the PVP) closed by pcapriotti
fixed: This is fixed now on both the HEAD and the 7.6 branch.
4:03 PM Ticket #7031 (Incorrect documentation for Windows dlls) closed by pcapriotti
fixed: Fixed by: […]
3:58 PM Changeset in ghc [cca9cb1]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-compat by Paolo Capriotti <p.capriotti@…>
Remove unnecessary hs_add_root call (#7031)
3:58 PM Changeset in testsuite [7ad5ea6]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Remove unnecessary hs_add_root call (#7031)
3:58 PM Changeset in ghc [2a000a9]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-compat by Paolo Capriotti <p.capriotti@…>
Fix warning in T4464.
3:58 PM Changeset in ghc [3c4aac06]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-compat by Paolo Capriotti <p.capriotti@…>
Add dynamic version of T4464
3:58 PM Changeset in testsuite [79d5fa0]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix warning in T4464.
3:58 PM Changeset in testsuite [4919c4a]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add dynamic version of T4464
2:37 PM Changeset in ghc [575629fa]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-compat by Paolo Capriotti <p.capriotti@…>
Fix tests after update to bytestring 0.10.1.0.
2:37 PM Changeset in testsuite [67d145cc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Fix tests after update to bytestring 0.10.1.0.
1:40 PM Changeset in ghc [c3b6b3f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Paolo Capriotti <p.capriotti@…>
Update dependency on directory.
1:34 PM Changeset in process [0cae6ea]ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Update version bound for directory
1:29 PM Changeset in testsuite [a9fd026]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept error message.
1:17 PM Changeset in directory [36d41aa]ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Bump version to 1.2.0.0 (#7144)
12:33 PM Changeset in ghc [efb5e36]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix typo in the documentation of -fdefer-type-errors.
10:43 AM Changeset in ghc [b3b611d]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
When using -H with -M<size>, don't exceed the maximum heap size MERGED from commit 4d208aed2f433cd2f46a7df016bad50af2e07e40
10:42 AM Changeset in ghc [642be62d]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Lots of nat -> StgWord changes MERGED from commit bf2d58c2356578e87c1b09de0636a7cf57c71fe7
10:41 AM Changeset in ghc [9f67d9f]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Deprecate lnat, and use StgWord instead lnat was originally "long unsigned int" but we were using it when we wanted a 64-bit type on a 64-bit machine. This broke on Windows x64, where long == int == 32 bits. Using types of unspecified size is bad, but what we really wanted was a type with N bits on an N-bit machine. StgWord is exactly that. lnat was mentioned in some APIs that clients might be using (e.g. StackOverflowHook()), so we leave it defined but with a comment to say that it's deprecated. MERGED from commit 41737f12f99c9ea776f7658b93e5b03ffc8f120b
10:36 AM Changeset in ghc [518f84d]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
some nats should be lnats MERGED from commit abb875d921f3c89416e74513d41f54b5ed69d6bc
9:04 AM Ticket #7233 (Int64 division buggy on a 32-bit installation) created by lerkok
This is with GHC 7.4.1, running on Linux, 32 bits: […] Expected …
8:01 AM Changeset in base [a849482]data-proxydbcsghc-7.8type-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Add missing instances for (<=)
8:01 AM Changeset in ghc [ea9570d]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <iavor.diatchki@…>
Add missing instances for (<=)
6:51 AM Ticket #7232 (make hsc2hs work with -c g++) created by elaforge
Ticket #2897 changed hsc2hs to create a *_utils.c file containing stub …
6:07 AM Changeset in ghc [c32bb5d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Peyton Jones <simonpj@…>
Remember to zonk the skolems of an implication Their kinds may contain kind unification variables! This patch fixes Trac #7230.
3:49 AM Ticket #7231 (GHCi erroneously unloads modules after a failed :reload) created by parcs
---- Say you have three modules: […] […] […] And you run the …
12:11 AM Ticket #6093 (Kind polymorphism fails with recursive type definition using different ...) closed by Ashley Yakeley
fixed: OK, I see the problem. This compiles: […] But this doesn't: […] …

Sep 8, 2012:

5:28 PM Changeset in ghc [7b6f650]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Build fix for GHC 7.0
12:20 PM Ticket #7221 (DataKinds with recursive data and type synonym causing GHC to crash) closed by simonpj
worksforme: I can't reproduce this, with 7.4.1. However DataKinds are not an …
7:44 AM Ticket #7230 (GHC states the same kind mismatched) created by konn
The attached code fails to compile with following rather strange kind …

Sep 7, 2012:

7:24 PM Ticket #7229 (Detecting if a process was killed by a signal is impossible) created by benmachine
Currently there is no good way of detecting if a process was terminated by …
4:28 PM Ticket #7228 (ghc-pkg prints an awful lot of usage information) created by benmachine
If you misspell a command with ghc-pkg, you are rewarded with 112 lines of …
3:25 PM Changeset in ghc [0550bcb]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
comment updates
3:25 PM Changeset in ghc [bf2d58c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Lots of nat -> StgWord changes
2:39 PM Changeset in ghc [06b4e78]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Erik de Castro Lopo <erikd@…>
Handle II16 size value in PowerPC code generator.
2:32 PM Changeset in ghc [a8179622]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Some further tweaks to reduce fragmentation when allocating the nursery
2:32 PM Changeset in ghc [41737f1]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Deprecate lnat, and use StgWord instead lnat was originally "long unsigned int" but we were using it when we wanted a 64-bit type on a 64-bit machine. This broke on Windows x64, where long == int == 32 bits. Using types of unspecified size is bad, but what we really wanted was a type with N bits on an N-bit machine. StgWord is exactly that. lnat was mentioned in some APIs that clients might be using (e.g. StackOverflowHook()), so we leave it defined but with a comment to say that it's deprecated.
1:22 PM Changeset in ghc [8224ee19]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Fix the PPC and SPARC NCGs to handle multiple info tables in a proc
1:22 PM Changeset in ghc [d68865de]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
memInventory(): tweak pretty-printing
1:22 PM Changeset in ghc [4d208aed]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
When using -H with -M<size>, don't exceed the maximum heap size
1:22 PM Changeset in ghc [abb875d9]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
some nats should be lnats
11:51 AM Ticket #7227 (cannot build ghc-7.6.1 because haddock seg-faults) created by maeder
[…] Can I try it somehow without haddock?
10:48 AM Ticket #5405 (Strange closure type crash when using Template Haskell on OS X Lion) closed by simonmar
worksforme: Thanks - this bug has been open for 13 months with no further info and …
12:24 AM Changeset in ghc [ad3141f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix typo in release notes

Sep 6, 2012:

9:56 PM Changeset in ghc [782595e6]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Revert "Update to bytestring 0.10.1.0" This reverts commit bc4e74bb19f7471c79650c1fe5aa74c905280ecd. We shipped with 0.10.0.0
9:54 PM Milestone 7.6.1 completed
The 7.6.1 release is a a new major release. * …
9:53 PM Ticket #7226 (bytestring changes in 7.6 branch) created by igloo
There have been some bytestring changes in the 7.6 branch since the 7.6.1 …
6:24 PM Changeset in ghc [d8b48bab]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Edward Z. Yang <ezyang@…>
Typo fix in deferred type errors docs. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
4:42 PM Ticket #7225 ("ghc -C" failed) created by guest
--- source file --- module Main where main = return () --- command line …
4:24 PM Ticket #7224 (Polymorphic kind annotations on type classes don't always work as expected) created by slindley
Consider the following code for defining Atkey-style parameterised monads: …
2:43 PM Ticket #7210 (Bang in front of type name crashes GHC) closed by pcapriotti
fixed: Thanks for the patch.
2:42 PM Changeset in ghc [547913e1]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-compat by Paolo Capriotti <p.capriotti@…>
Add test for #7210.
2:42 PM Changeset in testsuite [6834460]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test for #7210.
2:41 PM Changeset in ghc [62da65a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Paolo Capriotti <p.capriotti@…>
Fail nicely when encountering an invalid bang annotation (#7210)
1:33 PM Ticket #7215 (miscompilation due to broken interface hash) closed by pcapriotti
fixed: Merged as 1aa031e7013caf59f3297d29e81ed573eb306356.
10:48 AM Changeset in ghc [1aa031e7]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix #7215: we weren't calculating the hashes correctly for sub-binders MERGED from commit 583c87d00d2058b1a073ea1f5d7f4e0d92b7a9a4
10:45 AM Changeset in ghc [633dd55]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Dimitrios.Vytiniotis <dimitris@…>
Moved solving of type families to zonkWC and a few simplifications in TcSimplify. Now unflattening does not happen recursively inside solveWanteds which should be a good performance win.
10:30 AM Changeset in unix [f169f66]ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Fix warnings.
10:28 AM Changeset in testsuite [393394a]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Fix tests after update to bytestring 0.10.1.0.
10:10 AM Ticket #7223 (Unregisterised and/or via-C compilation broken) created by simonmar
The new codegen broke unregisterised and/or via-C compilation. It should …
9:20 AM Changeset in ghc [bc4e74b]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update to bytestring 0.10.1.0
9:14 AM Ticket #7185 (Compiled program crashes) closed by pcapriotti
fixed: Merged as 13a833e51c141165d927325fa0d1bce9ccdab1de.
9:04 AM Ticket #7218 (No type level distinction between BroadcastTChan and TChan) closed by simonmar
fixed: […]
8:55 AM Ticket #6160 (support sub-second resolutions for file timestamps) closed by pcapriotti
fixed: Thank you for the patch. Applied as: […]
8:42 AM Changeset in ghc [d3c01e2]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-compat by Simon Marlow <marlowsd@…>
accept
8:42 AM Changeset in testsuite [ec0da548]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept
8:23 AM Changeset in ghc [b48811c9]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Update release notes.
8:07 AM Ticket #7222 (The text "Possible fix: add an instance declaration for ..." is redundant ...) created by maltem
The current state of affairs: Given a typical type error, for example …
4:01 AM Ticket #7221 (DataKinds with recursive data and type synonym causing GHC to crash) created by gereeter
When working on an answer to a stackoverflow …

Sep 5, 2012:

5:35 PM Ticket #7220 (Confusing error message in type checking related to type family, fundep, ...) created by tsuyoshi
(This is related to, but different from, the message which I posted to …
3:46 PM Changeset in ghc [583c87d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
Fix #7215: we weren't calculating the hashes correctly for sub-binders
3:18 PM Changeset in ghc [018db07b]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-compat by Simon Marlow <marlowsd@…>
add a test for #7215
3:18 PM Changeset in testsuite [416ebfc]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add a test for #7215
2:32 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
2:30 PM Ticket #7219 (Reinstate constant propagation in some form) created by simonmar
The new codegen doesn't have a constant propagation pass. This used to be …
12:53 PM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
12:25 PM Changeset in ghc [9b48d74a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Set RELEASE back to NO
10:59 AM Ticket #7218 (No type level distinction between BroadcastTChan and TChan) created by timthelion
There is no type level distinction between BroadcastTChan(added in STM …
9:15 AM Ticket #7212 (GHCi segmentation fault) closed by simonmar
wontfix: This problem is caused by (we think) having an XCode that is too old. See …
8:53 AM Changeset in ghc [ccf44d8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
A further fix for -split-objs with the new codegen
8:53 AM Changeset in ghc [c655913]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/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-new by Simon Marlow <marlowsd@…>
remove $(GhcStage1DefaultNewCodegen) etc.
8:44 AM Commentary/Compiler/NewCodeGen edited by simonmar
remove old irrelevant stuff (diff)
8:40 AM Commentary/Compiler/NewCodeGen/Cleanup created by simonmar
8:27 AM Ticket #7217 (Unification of type variables in constraints) closed by sjoerd_visscher
wontfix: On second thought, it is perfect as it is.
Note: See TracTimeline for information about the timeline view.