Timeline


and

Oct 14, 2012:

6:00 PM Ticket #7329 (ghc-7.6.1 win64: internal error: R_X86_6 4_PC32: High bits are set in ...) created by dagit
While updating cabal-dev to build against ghc-7.6 and cabal 1.16, I got …
5:43 PM Ticket #7089 (-fwarn-unused-do-bind with type families) closed by igloo
worksforme: As we have no way to reproduce this, I'm closing it. Please reopen (or …
5:32 PM Ticket #7076 (Crash with eager blackholing) closed by igloo
fixed: Optimistically closing; please re-open if you still have problems with GHC …
4:58 PM Changeset in ghc [b601aae9]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@…>
Tweak the 2228 config
4:58 PM Changeset in testsuite [3a31d1a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Tweak the 2228 config
4:19 PM Changeset in ghc [8af2d940]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@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
4:16 PM Changeset in ghc [8f4cb4dc]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@…>
Default to dynamic-by-default on OSX/64
4:15 PM Changeset in ghc [0af4562b]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 some dependencies
4:11 PM Ticket #7005 (GHC 7.4.2 crashes with a panic when using type families and data kinds ...) closed by igloo
fixed: No precise reproduction instructions, probably fixed, and no response from …
3:12 PM Changeset in ghc [7da6555]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 copy/paste-o
2:54 PM Changeset in ghc [70a76bf]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@…>
Use Cabal to build ghctags
2:54 PM Changeset in ghc [bbd9139]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@…>
Use Cabal to build hpc-bin
2:31 PM Changeset in ghc [02717421]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@…>
Get dynamic-by-default mostly working on OS X
1:20 PM Ticket #7328 (Seemingly inappropriate "expecting one more argument" error in polykinded ...) created by illissius
Triggered by the following code: […] GHC writes: […] It seems to …
12:40 AM Changeset in ghc [8c24ab9]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@…>
Double a couple of $s for consistency
12:35 AM Changeset in ghc [b3dacbd]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@…>
Don't set dynlib install names when building When building things to run in the build tree, we want the install name to be the location in the build tree. Bindists may be installed somewhere other than the configured install location, so we weren't even necessarily setting it to the right value.
12:31 AM Changeset in ghc [a7c70e96]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@…>
Move the RPATH computation into the build rules It doesn't really belong in package-data.mk
12:21 AM Changeset in ghc [817e1d58]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 TRANSITIVE_DEPS variables to package-data.mk files
12:08 AM Changeset in ghc [3c45e5a0]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 installing when dynlibs-by-default

Oct 13, 2012:

9:44 PM Changeset in ghc [5f3c1055]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 Erik de Castro Lopo <erikd@…>
rts: Ignore signal before deleting timer. Fixes #7303. Was getting an ocassional hang or segfault when building GHC in a Qemu user space emulation of ARM. Turned out that the ITIMER_SIGNAL was being delivered *after* the call to timer_delete(). Setting the signal to SIG_IGN before deleting the timer solves the problem.
6:16 PM Changeset in ghc [ab466bbe]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@…>
The asm tests pass on Linux, but not OS X
6:16 PM Changeset in testsuite [89e571e5]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
The asm tests pass on Linux, but not OS X
5:43 PM Ticket #7324 (GHC 7.6.1 ships with a buggy Cabal) closed by tibbe
fixed: Thanks for the report! This will be worked around in the next …
5:38 PM Ticket #7327 (Inconsistent behavior for relative paths in runProcess) created by snoyberg
This was initially reported as a bug in cabal: …
4:41 PM Ticket #7249 (ghc no longer needs to build HS*.o ghci library files) closed by igloo
fixed: Replying to simonmar: > Ian - it looks like we can skip …
4:37 PM Changeset in ghc [eca96a2]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@…>
print035(ghci) fails when ghci is dynamic
4:37 PM Changeset in testsuite [e5ba875]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
print035(ghci) fails when ghci is dynamic
4:36 PM Ticket #7326 (print035(ghci) fails when ghci is dynamic) created by igloo
print035(ghci) fails when ghci is dynamic: […]
3:52 PM Changeset in ghc [22df9533]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 test for GHCi lib building
3:18 PM Changeset in ghc [be497c2]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@…>
Keep the list of DLLs that we dlopen Unfortunately, dlsym finds the first symbol loaded, while when we reload a compiled module in GHCi it's the last symbol that we want. Therefore we remember the list of loaded DLLs ourselves and go through them in order.
3:12 PM Changeset in ghc [d4aca879]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 test for reloading a module in GHCi
3:12 PM Changeset in testsuite [c681a30]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for reloading a module in GHCi
3:02 PM Changeset in ghc [76410f7f]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 typo
2:43 PM Changeset in ghc [6afab227]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 memcpy when -fPIC is on We get a reference to memcpy@plt rather than memcpy
2:43 PM Changeset in testsuite [e4de0a1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Fix memcpy when -fPIC is on We get a reference to memcpy@plt rather than memcpy
1:47 PM Changeset in ghc [bdd4042c]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
1:47 PM Changeset in testsuite [c81cd7a]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
1:45 PM Changeset in ghc [56a2003]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
1:42 PM Changeset in ghc [83f5c6c]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@…>
When dynamic-by-default, don't use the GHCi linker We instead link objects into a temporary DLL and dlopen that
11:31 AM Ticket #7325 (threadDelay mistreats minBound and maxBound in some configurations) created by joeyadams
threadDelay currently treats minBound and maxBound incorrectly in some …
3:36 AM Ticket #7324 (GHC 7.6.1 ships with a buggy Cabal) created by td123
Using ghc 7.6.1 $ rm -rf ~/.cabal # To force a new default config being …

Oct 12, 2012:

9:44 PM Changeset in ghc [91e7d5b2]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@…>
ghcilink004 fails when ghci is dynamic (it tries to load a .a file)
9:44 PM Changeset in testsuite [a73a72c]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
ghcilink004 fails when ghci is dynamic (it tries to load a .a file)
9:43 PM Changeset in ghc [8933b4e3]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@…>
ghcilink001 is expected to fail when ghci is dynamic dynamic ghci can't load .a files
9:43 PM Changeset in testsuite [c0a6d0e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
ghcilink001 is expected to fail when ghci is dynamic dynamic ghci can't load .a files
9:42 PM Changeset in ghc [18760482]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 ghcpkg01 output
9:42 PM Changeset in testsuite [ec1dc06]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Update ghcpkg01 output
7:49 PM Ticket #7071 (Refactoring arrows) closed by igloo
fixed: I believe this was fixed by: commit …
7:43 PM Ticket #6144 (Preprocessor line control suppressed by comments) closed by igloo
duplicate: Thanks for the report. This is a duplicate of #314.
5:08 PM Changeset in ghc [4780cbc1]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@…>
Add a type signature needed when using GADTs
4:56 PM Ticket #7323 (decoding GADTs gives internal error: stg_ap_v_ret) created by heisenbug
May be related to #4987, but this time I have a reproducible case. So far …
3:34 PM Changeset in ghc [b7fba608]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 #7312
3:34 PM Changeset in testsuite [43f5127]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7312
3:32 PM Changeset in ghc [ab47200]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 #7321
3:32 PM Changeset in testsuite [739f06d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7321
3:30 PM Changeset in ghc [5c43947]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@…>
Don't build the HS*.o files when DYNAMIC_BY_DEFAULT We don't use them (we use the .so/.dll instead), so no point generating them.
1:11 PM Ticket #5913 (Type class dictionary call loops at runtime) closed by simonpj
fixed: Fixed by the silent-superclass patch. […]
1:08 PM Changeset in ghc [b4166fd]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 #5913
1:08 PM Changeset in testsuite [fed779e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5913
1:02 PM Ticket #5751 (code works in 7.0 but hangs in 7.2/7.4 due to changes in type checker ...) closed by simonpj
fixed: Yes, it's fixed. I've added a regression test. Simon
12:59 PM Changeset in ghc [25dc2004]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
12:59 PM Changeset in ghc [ab57afe]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 #5751
12:59 PM Changeset in testsuite [9ad3ea3e]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5751
12:41 PM Changeset in ghc [75183ed]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 output
12:41 PM Changeset in testsuite [760016f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Better output
12:41 PM Changeset in ghc [251d843]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@…>
GHC now treats ((->) t1 t2) just like (t1 -> t2), so we need to obfuscate this test a bit
12:41 PM Changeset in testsuite [27417c8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
GHC now treats ((->) t1 t2) just like (t1 -> t2), so we need to obfuscate this test a bit
10:36 AM Ticket #7112 (No inlining in the presence of non-instantiated phantom type) closed by igloo
wontfix: If this isn't important enough to spend time on, then let's just close the …
10:18 AM Ticket #7322 (The 'impossible happened' compiling with -fext-core) closed by michalt
duplicate: This seems to be a duplicate of #7239, so I'm closing.
9:46 AM Ticket #7322 (The 'impossible happened' compiling with -fext-core) created by ydewit
This is what happened: […]
7:42 AM Changeset in ghc [b7fbf3a1]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 obvious typos these can go into the release 7.6.2 too, I guess
7:19 AM Changeset in ghc [b285ae1]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 error in tidying the type variables of a TyCon when building an interface file
7:19 AM Changeset in ghc [beb2f74]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@…>
Be lazier when typechecking data type contexts (Trac #7321) We should be lazy when type-checking the equality-contraint part of a data constructor's type, to make the knot-tying work out right. The fact that it's always worked before is a fluke: no one else wrote a GADT whose type index mentions itself data T a wher MkT :: T (T Int)
7:19 AM Changeset in ghc [9991890]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@…>
Ensure we produce a FunTy for functions (Trac #7312) The issue here was with a function type written prefix (->) a b where we were not generating a FunTy, which blew the invariant that function types are always FunTys. We can't look at the TyCon directly because it may be knot-tied, so we look at the name instead.
7:12 AM Ticket #7321 (Compiler hangs when reading interface file) created by simonpj
Jeroen Weijers reports: I have two files Data.hs and Class.hs (Class
6:43 AM Ticket #7320 (GHC crashes when building on 32-bit Linux in a Linode) created by benl
Trying to build haskell-src-exts crashes in a 32-bit Linux Linode …

Oct 11, 2012:

11:35 PM Ticket #7242 (struct kevent is different on NetBSD) closed by igloo
fixed: Merged as 69446b156881056b09bfd2008114eaaf7257ae5a, …
11:34 PM Ticket #7239 (GHC panic: MkExternalCore died: make_lit) closed by igloo
fixed: Merged as 8a767d8be37e6ab437dfcb92bfe543e9f4901c99
11:32 PM Ticket #7250 (Documentation of System.Mem.Weak should emphasize finalizers may be run ...) closed by igloo
fixed: Merged as 77f2692573ade4a89f999ca585081a73edaf7b53
11:31 PM Ticket #7278 (nonsensical kind variable ascription causes panic) closed by igloo
fixed: Merged as a38bcd7abf18d11c4f9db6135665b0894db843bc
11:31 PM Ticket #7238 (class methods with associated equality constraints panic) closed by igloo
fixed: Merged as cd980830b4ffdb4fe5b68f8dc1d83acc4ab03a5b
11:30 PM Ticket #7224 (Polymorphic kind annotations on type classes don't always work as expected) closed by igloo
fixed: Merged as c4aa0165bb8eb4b65d8c1299fdff279e1f97bbb4
11:29 PM Ticket #7237 (CgCase fails with strict data/functions) closed by igloo
fixed: Merged as b1f3b61a9efa5d19bc36f4f7bd1e28395350e1a4
11:28 PM Ticket #7210 (Bang in front of type name crashes GHC) closed by igloo
Merged as ab37826bdee6896274a8810160b625f9b0b8f9ab
11:27 PM Ticket #7227 (cannot build ghc-7.6.1 because haddock seg-faults) closed by igloo
fixed: Merged as 4ea2263f584c4de94ff213d2288d6df78eb6e262
11:26 PM Ticket #7230 (GHC states the same kind mismatched) closed by igloo
fixed: Merged as 1b6815c6ff197667af49c89edd2cf43af5276aa9
11:26 PM Ticket #7050 (stage 1 compiler crashes when the "quickest" build flavour is chosen) closed by igloo
fixed: Merged
10:51 PM Changeset in ghc [a38bcd7a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Add missing case in TcUnify.matchExpectedFunKind This fixes Trac #7278
10:49 PM Changeset in base [875e6b7]ghc-7.6 by Ian Lynagh <ian@…>
Adapt to NetBSD's struct kevent
10:49 PM Changeset in base [69446b1]ghc-7.6 by Ian Lynagh <ian@…>
FFI wrapper for kevent()
10:48 PM Changeset in ghc [8a767d8b]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Print literal integers in External Core.
10:48 PM Changeset in ghc [cd980830]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
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:48 PM Changeset in ghc [b1f3b61a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
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.
10:47 PM Changeset in ghc [1b6815c6]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Remember to zonk the skolems of an implication Their kinds may contain kind unification variables! This patch fixes Trac #7230.
10:46 PM Changeset in ghc [c4aa016]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
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)
10:46 PM Changeset in ghc [ab37826]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fail nicely when encountering an invalid bang annotation (#7210)
10:44 PM Changeset in base [77f2692]ghc-7.6 by Ian Lynagh <ian@…>
Add a big warning to the documentation for Weak (#7250)
10:42 PM Changeset in ghc [4ea2263f]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Fix off-by-one (#7227)
10:35 PM Changeset in ghc [d8929b8]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Merge #7050 fix Based on commit ba8fd081ba9b222dd5f93604d7deeaca372e4511 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon Sep 17 18:22:10 2012 +0100 Make the call to chooseBoxingStrategy lazy again
10:05 PM Ticket #6119 (complain when ghc-pkg doesn't find any matching packages in a given ...) closed by igloo
fixed: Fixed, thanks
8:31 PM Changeset in ghc [55478b1e]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@…>
ghc-pkg: Print something when no packages are found; fixes #6119 We used to say $ ghc-pkg list blargle /usr/local/lib/ghc-7.4.1/package.conf.d which may imply that blargle was found in /usr/local/lib/ghc-7.4.1/package.conf.d
7:57 PM Changeset in ghc [671ec1c9]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 test for #6117
7:57 PM Changeset in testsuite [66f65ac]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #6117
7:46 PM Ticket #6161 (Program with missing instance accepted by compiler, program <<loops>>) closed by igloo
fixed: We now get a type error: […]
7:45 PM Changeset in ghc [22281f1e]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 test for T6161
7:45 PM Changeset in testsuite [83c16e4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for T6161
7:14 PM Ticket #7194 (Typechecker allows a skolem to escapt) closed by igloo
fixed: This now gives a type error: […]
7:13 PM Changeset in ghc [6226c19f]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 expected output for T7194
7:13 PM Changeset in testsuite [43e19d5b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add expected output for T7194
6:37 PM Ticket #7232 (make hsc2hs work with -c g++) closed by igloo
wontfix: We can't refer to FILE, unfortunately: […]
5:23 PM Changeset in ghc [e9b1256]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@…>
Whitespace only in types/FamInstEnv.lhs
5:06 PM Changeset in ghc [74ae9bb]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 an "Outputable (InstInfo a)" instance
4:52 PM Ticket #7136 (fix for os x package builder script) closed by igloo
fixed: Now that we no longer use it, I've removed the script instead
3:37 PM Changeset in ghc [a49580f]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@…>
Whitespace only in typecheck/TcDeriv.lhs
3:30 PM Changeset in ghc [bc6a2cca]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@…>
Whitespace only in typecheck/TcGenDeriv.lhs
3:25 PM Changeset in ghc [b921de7]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 build on Windows gcc couldn't find ghc_boot_platform.h. I'm not sure why it worked on Linux.
2:34 PM Changeset in ghc [fe0efaa]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 fake-happy; it's no longer useful
2:34 PM Changeset in ghc [2f40085]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 cvs-build; it's no longer used
2:33 PM Changeset in ghc [e84dc37]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 the distrib/prep-bin-* scripts They are no longer used
2:31 PM Changeset in ghc [87e8c55e]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 distrib/Mac*; fixes #7136 We no longer produce installers fo OS X; we leave that to the Haskell Platform team.
2:24 PM Status/Oct12 edited by igloo
(diff)
2:22 PM Status/Oct12 edited by igloo
(diff)
2:22 PM Status/Oct12 edited by igloo
(diff)
2:18 PM Status/Oct12 edited by igloo
(diff)
2:11 PM Changeset in ghc [3674eaf9]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 outputdir's for the dph-nbody tests
2:11 PM Changeset in testsuite [1b96499]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add outputdir's for the dph-nbody tests
1:55 PM Ticket #7319 (+RTS -xc sometimes results in segfault) created by edsko
I have so far been unable to reproduce this in a small example, but in my …
1:35 PM Blog: New directions for Template Haskell comment added by JonasDuregard
Why do we need to extend the type environment in typecheck? If it is …
1:34 PM Changeset in ghc [a2870ad1]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@…>
Run all the 'alone' tests at the end of the testsuite run This is more efficient than having to wait for all threads to finish before each 'alone' test.
1:34 PM Changeset in testsuite [40b039b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Run all the 'alone' tests at the end of the testsuite run This is more efficient than having to wait for all threads to finish before each 'alone' test.
12:20 PM Changeset in ghc [5f4d6511]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@…>
Let the dph tests run in parallel With the exception of nbody dph-nbody-copy-opt nbody dph-nbody-vseg-opt quickhull dph-quickhull-copy-opt quickhull dph-quickhull-vseg-opt words dph-words-copy-opt words dph-words-vseg-opt which are marked as 'high_memory_usage'
12:20 PM Changeset in testsuite [2488049]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Let the dph tests run in parallel With the exception of nbody dph-nbody-copy-opt nbody dph-nbody-vseg-opt quickhull dph-quickhull-copy-opt quickhull dph-quickhull-vseg-opt words dph-words-copy-opt words dph-words-vseg-opt which are marked as 'high_memory_usage'
11:51 AM Changeset in ghc [4fb3f11a]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@…>
Copy the flag lists before altering them They are mutable values, so altering them affects other tests too
11:51 AM Changeset in testsuite [8f3da69f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Copy the flag lists before altering them They are mutable values, so altering them affects other tests too
11:15 AM Changeset in ghc [378363ce]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 'high_memory_usage' as an alias for 'alone'
11:15 AM Changeset in testsuite [22cd987]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add 'high_memory_usage' as an alias for 'alone'

Oct 10, 2012:

11:21 PM Changeset in ghc [2d6836c2]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 an outputdir test option This makes it possible to share source files between tests, without having the .o/.hi files overlap
11:21 PM Changeset in testsuite [ca851be]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add an outputdir test option This makes it possible to share source files between tests, without having the .o/.hi files overlap
9:06 PM Ticket #7318 (CONLIKE pragma documentation bug) created by acowley
The documentation …
5:19 PM Changeset in ghc [9246f17a]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@…>
Allow dph-classes-vseg-fast to run in parallel
5:19 PM Changeset in testsuite [d7eee67]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Allow dph-classes-vseg-fast to run in parallel
4:59 PM Changeset in ghc [b0d25291]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@…>
Whitespace only in dph/diophantine
4:59 PM Changeset in testsuite [a009949]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Whitespace only in dph/diophantine
2:54 PM Changeset in ghc [5041a26]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@…>
Move the primop bits into the compiler/stage<n>/build directories We shouldn't be generating files in the source directories
2:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:57 PM TemplateHaskellRichKinds edited by simonpj
(diff)
1:56 PM TemplateHaskell edited by simonpj
(diff)
1:56 PM TemplateHaskell/RichKinds created by simonpj
1:54 PM TemplateHaskell edited by simonpj
(diff)
1:53 PM TemplateHaskell created by simonpj
1:50 PM TemplateHaskell/UsingHaskellSrcExts created by simonpj
12:38 PM Ticket #7195 (Add edit warning to Parser.y.pp) closed by igloo
fixed: Thanks for the report. I've put the generated file elsewhere, so this …
12:36 PM Ticket #7262 (directory 1.2 fails to build with base < 4.6) closed by igloo
fixed: Thanks for the patch; I've applied it and uploaded 1.2.0.1 to Hackage.
12:05 PM Changeset in directory [ef17afe]ghc-7.6 by Ian Lynagh <ian@…>
Bump version to 1.2.0.1
12:03 PM Changeset in directory [2170d15]ghc-7.6 by Ian Lynagh <ian@…>
Fix build for base < 4.6 Build on 7.0.3 and up. Maybe lower.
1:12 AM Changeset in ghc [80fcdd6]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 the generated Parser.y under compiler/stage<n>/build; fixes #7195
12:56 AM Ticket #7317 (Segmentation fault in RTS' STM code on git master) created by bgamari
On ghc 7.7 (ef786b6cbc5f67a673bf8c10be5311317c1e7b88, running on x86_64, …

Oct 9, 2012:

11:40 PM Ticket #7003 ('impossible' compile time error, when using `runStream'.) closed by igloo
invalid: No response from submitter, so closing
11:07 PM Changeset in directory [ae17042]ghc-7.8 by Ian Lynagh <ian@…>
Fix build for base < 4.6 Build on 7.0.3 and up. Maybe lower.
10:42 PM Changeset in ghc [70c64164]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 -fexcess-precision a fully-dynamic flag It used to be part-dynamic, part-static.
10:28 PM Changeset in ghc [e731cb13]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 -f(no-)pre-inlining a dynamic flag
9:27 PM Changeset in ghc [a327c140]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@…>
Whitespace only in simplCore/SimplMonad.lhs
9:24 PM Changeset in ghc [d131d66]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@…>
Whitespace only in simplCore/SimplUtils.lhs
9:15 PM Changeset in ghc [577f50f]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@…>
Whitespace only in simplCore/SimplEnv.lhs
7:33 PM Ticket #7316 (GHC segfaults on ARM) created by laney
Sorry for the lack of detail. I thought I'd file this upstream. We've been …
7:22 PM Changeset in ghc [cecf7b5]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@…>
Use -shared for the prof ways I'm not sure whether it makes more sense to make this change, or to change the build system to build -prof -dynamic libraries. But at least this change suffices to make the two match, so the tests don't all fail due to missing libraries.
7:22 PM Changeset in testsuite [1bad058]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Use -shared for the prof ways I'm not sure whether it makes more sense to make this change, or to change the build system to build -prof -dynamic libraries. But at least this change suffices to make the two match, so the tests don't all fail due to missing libraries.
6:34 PM Ticket #7315 (Link error while compiling executables) closed by igloo
fixed: Ah, your GHC defaults to using dynamic libraries, but the cabal you have …
6:24 PM Ticket #7315 (Link error while compiling executables) created by bgamari
On GHC master (ef786b6cbc5f67a673bf8c10be5311317c1e7b88) attempting to …
5:39 PM Changeset in ghc [6a48bdd3]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint possible new speculator implementation that goes to some trouble to be idempotent
5:30 PM Changeset in ghc [30e7b73]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 -fsimple-list-literals a dynamic flag
4:31 PM Changeset in ghc [1255ff1c]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 -fmax-worker-args a dynamic flag
4:18 PM Ticket #6083 (GeneralizedNewtypeDeriving: "deriving ALL") closed by igloo
wontfix: Thanks for the suggestion. However, the interaction of this with orphan …
4:13 PM Ticket #6074 (Instance inference failure with GADTs) closed by igloo
wontfix: OK, I don't see this ticket going anywhere then, so closing.
4:01 PM Ticket #5233 (Support specifying the assembly that should be generated) closed by simonmar
fixed: Committed, thanks: […]
3:36 PM Changeset in ghc [5ec6ea3]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@…>
Make it possible to test the generated assembly This test framework feature is inspired by a similar feature in LLVM. The programmer writes a bit of Cmm #include "Cmm.h" // Large memcpy's should lower to calls. callMemcpy { W_ dst, src; prim %memcpy(dst "ptr", src "ptr", 1024, 4) []; } and asserts what the generated assembly should look like, modulo register naming. callMemcpy: movq ; Move arguments into place movq movl movl call memcpy Patch edited and updated by Simon Marlow, and I also added a test for unrolling memcpy and a simple constant-propagation test.
3:36 PM Changeset in testsuite [a351a67a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Make it possible to test the generated assembly This test framework feature is inspired by a similar feature in LLVM. The programmer writes a bit of Cmm #include "Cmm.h" // Large memcpy's should lower to calls. callMemcpy { W_ dst, src; prim %memcpy(dst "ptr", src "ptr", 1024, 4) []; } and asserts what the generated assembly should look like, modulo register naming. callMemcpy: movq ; Move arguments into place movq movl movl call memcpy Patch edited and updated by Simon Marlow, and I also added a test for unrolling memcpy and a simple constant-propagation test.
2:59 PM Changeset in ghc [f89ce06]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 the -dsuppress-* flags dynamic
11:33 AM Changeset in ghc [ef786b6c]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
11:32 AM Changeset in ghc [879aae1]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@…>
-fliberate-case-threshold is already a dynamic flag
11:32 AM Changeset in ghc [0a768bcb]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 the opt_UF_* static flags dynamic I also removed the default values from the "Discounts and thresholds" note: most of them were no longer up-to-date. Along the way I added FloatSuffix to the argument parser, analogous to IntSuffix.
10:14 AM Ticket #7314 (GHCi 64-bit OS X segfaults on interaction with C-libraries) created by darchon
I'm experiencing spurious behaviour (segfaults sometimes) using GHCi when …
10:13 AM Changeset in ghc [cc2a4d57]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@…>
profiling fixes
9:55 AM Changeset in ghc [70765e86]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@…>
Fix comment patch submitted by marcotmarcot@gmail.com
7:48 AM Ticket #7313 (Impossible happened : CLabel.toInfoLbl stg_newMVarzh) created by erikd
Compiling ghc git HEAD (2a534087e4606fbc0648429c3599bffb7e9c010a) on …
3:43 AM Ticket #7312 (panic! applytTypeToArgs with non-infix function type constructor) created by jwlato
[…] Compiling this with ghc-7.6.1 results in […]

Oct 8, 2012:

11:09 PM Changeset in ghc [9c6223dd]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 unnecessary warning suppression
11:07 PM Changeset in ghc [c3939fdb]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 the -ferror-spans flag dynamic
10:37 PM Changeset in ghc [2a534087]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 Roman Leshchinskiy <rl@…>
Merge ../ghc
10:36 PM Changeset in ghc [5cff4fb]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 Roman Leshchinskiy <rl@…>
Fix copyArray# bug in new code generator
10:35 PM Changeset in ghc [14064836]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 Roman Leshchinskiy <rl@…>
Fix copyArray# bug in old code generator
9:07 PM Ticket #7304 (arm-linux: Missing field in record construction ...) closed by igloo
fixed: This should be fixed now; please re-open if you still have problems.
8:55 PM Changeset in ghc [f7cd14f]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 the DynFlags in a global variable for tracing; fixes #7304 This is an ugly kludge to make a DynFlags value available for the 'trace' functions. It may not be the value we really ought to use, but it'll be good enough for the pretty-printer to use. Ideally we'd pass the real DynFlags down to all the trace calls, but this will do for now at least.
8:18 PM Ticket #7311 (-odir option changes .o and .hi names of main source file to Main.hi/o) created by slyfox
One-liner illustrating problem: […] The output is: […] In the …
6:53 PM Ticket #7310 (Compiler nontermination on UNPACK pragmas) created by nwf
Feeding GHC 7.6.1 (from git) ill-advised UNPACK pragmas like […] …
2:09 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:01 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:55 PM Ticket #7309 (The Ix instance for (,) leaks space in range) created by nomeata
(at least if you take leak to mean unexpected space behaviour). This was …
1:32 PM Ticket #7308 (Better code for top-level indirections) created by simonpj
GHC generates lots of top-level indirections looking like this: […] …
1:16 PM Ticket #7307 (Share top-level code for strings) created by simonpj
A string constant in GHC turns into […] This is a top-level thunk, and …
12:26 PM Ticket #7305 (T5975a is broken on Windows) created by simonmar
[…] I've spent a bit of time looking at this, but I'm lost in a maze …
10:40 AM Building/GettingTheSources edited by simonmar
(diff)
10:09 AM Commentary/Compiler/NewCodeGen/Cleanup edited by simonmar
(diff)
9:54 AM Ticket #7213 (Test codeGen/should_compile/massive_array failing on 32-bits) closed by simonmar
fixed: The test now passes on x86. […]
9:46 AM Changeset in ghc [5f48b24b]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@…>
Need to use high-level cmm here (fixes test on x86)
9:46 AM Changeset in testsuite [f9c214a]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Need to use high-level cmm here (fixes test on x86)
9:44 AM Changeset in ghc [7c96e85e]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@…>
massive_array now passes on x86 (#7213)
9:44 AM Changeset in testsuite [ed13937]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
massive_array now passes on x86 (#7213)
9:40 AM Changeset in ghc [07d4a4b1]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 32-bit stats for T7257
9:40 AM Changeset in testsuite [432a117]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
update 32-bit stats for T7257
9:09 AM Changeset in ghc [3fbc247]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 32-bit compiler perf stats
9:09 AM Changeset in testsuite [418933b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update 32-bit compiler perf stats
8:52 AM Changeset in ghc [06e0c3a]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 64-bit values
8:52 AM Changeset in testsuite [dc9c5b1]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
update 64-bit values
8:46 AM Changeset in ghc [829b1797]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 to new Cmm syntax
8:46 AM Changeset in testsuite [de2c3fe]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update to new Cmm syntax
8:46 AM Changeset in ghc [00a672e]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 to new Cmm syntax
8:46 AM Changeset in testsuite [97d1bbd]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update to new Cmm syntax
8:43 AM Changeset in ghc [a94144b]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@…>
untab
8:42 AM Changeset in ghc [33b50769]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@…>
Commit missing stderr file
8:42 AM Changeset in testsuite [48aef6b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Commit missing stderr file
8:06 AM Changeset in ghc [620d885]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@…>
expand tabs
8:06 AM Changeset in ghc [6e95114e]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@…>
fix a warning
8:06 AM Changeset in ghc [e1846d7f]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@…>
Fix a dependency bug in the build system I've been meaning to track this one down for a long time. Occasionally a build will fail with an error about a .so library being truncated; the reason was that we weren't tracking the dependencies of the GHC stage2 .so library correctly.
8:04 AM Changeset in ghc [a7c0387]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@…>
Produce new-style Cmm from the Cmm parser The main change here is that the Cmm parser now allows high-level cmm code with argument-passing and function calls. For example: foo ( gcptr a, bits32 b ) { if (b > 0) { // we can make tail calls passing arguments: jump stg_ap_0_fast(a); } return (x,y); } More details on the new cmm syntax are in Note [Syntax of .cmm files] in CmmParse.y. The old syntax is still more-or-less supported for those occasional code fragments that really need to explicitly manipulate the stack. However there are a couple of differences: it is now obligatory to give a list of live GlobalRegs on every jump, e.g. jump %ENTRY_CODE(Sp(0)) [R1]; Again, more details in Note [Syntax of .cmm files]. I have rewritten most of the .cmm files in the RTS into the new syntax, except for AutoApply.cmm which is generated by the genapply program: this file could be generated in the new syntax instead and would probably be better off for it, but I ran out of enthusiasm. Some other changes in this batch: - The PrimOp calling convention is gone, primops now use the ordinary NativeNodeCall convention. This means that primops and "foreign import prim" code must be written in high-level cmm, but they can now take more than 10 arguments. - CmmSink now does constant-folding (should fix #7219) - .cmm files now go through the cmmPipeline, and as a result we generate better code in many cases. All the object files generated for the RTS .cmm files are now smaller. Performance should be better too, but I haven't measured it yet. - RET_DYN frames are removed from the RTS, lots of code goes away - we now have some more canned GC points to cover unboxed-tuples with 2-4 pointers, which will reduce code size a little.
7:39 AM Ticket #7280 (zonkQuantifiedTyVar panic) closed by simonpj
fixed: Thanks for the report. It turns out to be a bug in the branch only so …
7:36 AM Changeset in ghc [b379f27]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 #7280
7:36 AM Changeset in testsuite [87425b27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7280
7:33 AM Changeset in ghc [439ddf91]ghc-7.6th-new-7.6 by Simon Peyton Jones <simonpj@…>
Fix Trac #7280 by zonking the final_quant_candidates in simplifyInfer This fix is only needed on the branch; HEAD already works differently (and correctly).
7:05 AM Ticket #7304 (arm-linux: Missing field in record construction ...) created by erikd
Compiling git HEAD for arm-linux, the build fails in DPH with: […]
6:26 AM Ticket #7303 (RTS : Race condition with usage of timer_delete) created by erikd
Using Qemu (CPU emulator) to build GHC for Arm, the build ocassionally …
1:42 AM Ticket #7302 (perf-disruptor2-multicast: internal error: evacuate: strange closure type ...) created by aristidb
When running the benchmarks for data-ringbuffer …

Oct 7, 2012:

5:14 PM Ticket #6053 (packages in GHC should have different versions from hackage if the ...) closed by igloo
invalid: Currently we don't generally bump package versions in the repositories …
4:59 PM Ticket #7301 (Got an internal error that caused GHCi to crash) closed by igloo
worksforme: If this isn't repeatable then there's not much we can do, I'm afraid. If …
4:38 PM Ticket #6028 (warning for cyclic unimplemented defaults) closed by igloo
wontfix: It's not quite that simple. The default implementations are: […] so …

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
Note: See TracTimeline for information about the timeline view.