Timeline


and

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