Timeline


and

Jun 1, 2012:

11:29 PM Changeset in ghc [8f5679ca]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix the dynlib build on Windows I have no idea why this worked when Word was in base, but doesn't after it moved to ghc-prim.
1:51 PM Changeset in ghc [f2e22d67]ghc-7.4 by Ian Lynagh <igloo@…>
Set RELEASE to YES, and version to 7.4.2
1:31 PM Changeset in ghc [a671471d]ghc-7.4 by Ian Lynagh <igloo@…>
Update ANNOUNCE for 7.4.1
8:37 AM Ticket #6137 (Different behaviour between a GADT and a data family with regards to kind ...) created by dreixel
We have discussed this before, but I don't remember if this was classified …
6:42 AM Repositories edited by bravit
(diff)
5:36 AM NewAxioms/DiscussionPage edited by AntC
(diff)

May 31, 2012:

9:57 PM LightweightConcurrency edited by kc
(diff)
9:43 PM LightweightConcurrency edited by kc
(diff)
9:33 PM LightweightConcurrency edited by kc
(diff)
9:32 PM LightweightConcurrency edited by kc
(diff)
9:31 PM LightweightConcurrency edited by kc
(diff)
6:08 PM LightweightConcurrency edited by kc
(diff)
6:01 PM LightweightConcurrency edited by kc
(diff)
5:56 PM LightweightConcurrency edited by kc
(diff)
5:55 PM LightweightConcurrency edited by kc
(diff)
2:35 PM Ticket #6136 (gettimeofday should not be used to schedule timeouts) closed by pcapriotti
duplicate: Thanks for the report. We already switched to monotonic timers in HEAD. …
1:13 PM Ticket #6136 (gettimeofday should not be used to schedule timeouts) created by DanielWaterworth
From what I can tell, …
7:22 AM Ticket #6135 (Unboxed Booleans) created by benl
Right now the only way to compare two integers is with primops that …

May 30, 2012:

7:25 PM LightweightConcurrency edited by kc
(diff)
3:38 PM LightweightConcurrency edited by kc
(diff)
3:26 PM LightweightConcurrency edited by kc
(diff)
3:26 PM LightweightConcurrency edited by kc
(diff)
3:04 PM Changeset in ghc [80c3d5ad]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Improve the size-change detection heuristics in the compare tool
12:21 PM NewAxioms/DiscussionPage edited by AntC
(diff)
11:57 AM Changeset in ghc [46949a12]ghc-7.4 by Ian Lynagh <igloo@…>
MERGE: Be less aggressive about the result discount Merge of: commit 4fa3f16ddb9fa8e5d59bde5354918a39e0430a74 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon May 28 17:33:42 2012 +0100 Be less aggressive about the result discount This patch fixes Trac #6099 by reducing the result discount in CoreUnfold.conSize. See Note [Constructor size and result discount] in CoreUnfold. The existing version is definitely too aggressive. Simon M found it an "unambiguous win" but it is definitely what led to the bloat. In a function with a lot of case branches, all returning a constructor, the discount could grow arbitrarily large. I also had to increase the -funfolding-creation-threshold from 450 to 750, otherwise some functions that should inline simply never get an unfolding. (The massive result discount was allow the unfolding to appear before.) The nofib results are these, picking a handful of outliers to show. Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- fulsom -0.5% -1.6% -2.8% -2.6% +31.1% maillist -0.2% -0.0% 0.09 0.09 -3.7% mandel -0.4% +6.6% 0.12 0.12 +0.0% nucleic2 -0.2% +18.5% 0.11 0.11 +0.0% parstof -0.4% +4.0% 0.00 0.00 +0.0% -------------------------------------------------------------------------------- Min -0.9% -1.6% -19.7% -19.7% -3.7% Max +0.3% +18.5% +2.7% +2.7% +31.1% Geometric Mean -0.3% +0.4% -3.0% -3.0% +0.2% Turns out that nucleic2 has a function Main.$wabsolute_pos = \ (ww_s4oj :: Types.Tfo) (ww1_s4oo :: Types.FloatT) (ww2_s4op :: Types.FloatT) (ww3_s4oq :: Types.FloatT) -> case ww_s4oj of _ { Types.Tfo a_a1sS b_a1sT c_a1sU d_a1sV e_a1sW f_a1sX g_a1sY h_a1sZ i_a1t0 tx_a1t1 ty_a1t2 tz_a1t3 -> (# case ww1_s4oo of _ { GHC.Types.F# x_a2sO -> case a_a1sS of _ { GHC.Types.F# y_a2sS -> case ww2_s4op of _ { GHC.Types.F# x1_X2y9 -> case d_a1sV of _ { GHC.Types.F# y1_X2yh -> case ww3_s4oq of _ { GHC.Types.F# x2_X2yj -> case g_a1sY of _ { GHC.Types.F# y2_X2yr -> case tx_a1t1 of _ { GHC.Types.F# y3_X2yn -> GHC.Types.F# (GHC.Prim.plusFloat# (GHC.Prim.plusFloat# (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# x_a2sO y_a2sS) (GHC.Prim.timesFloat# x1_X2y9 y1_X2yh)) (GHC.Prim.timesFloat# x2_X2yj y2_X2yr)) y3_X2yn) } } }}}}}, <similar>, <similar> ) This is pretty big, but inlining it does get rid of that F# allocation. But we'll also get rid of it with deep CPR: Trac #2289. For now we just accept the change.
10:45 AM NewAxioms/DiscussionPage created by AntC
Added [AntC]
9:45 AM NewAxioms edited by AntC
Add hook to Discussion Page [AntC] (diff)

May 29, 2012:

11:28 PM Ticket #6134 (Incorrect ambiguity error with functional dependencies) created by diatchki
GHC reject a program as ambiguous when it is not. Consider the following …
8:37 PM Changeset in ghc [6d0df457]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some commented out code
7:48 PM Changeset in ghc [8b4d9705]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix whitespace in main/TidyPgm.lhs
7:48 PM Changeset in ghc [1bf927a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix whitespace in coreSyn/CorePrep.lhs
5:17 PM Ticket #5816 (static linking silently fails in ghc) closed by igloo
worksforme: No response from submitter, so closing.
5:00 PM Changeset in ghc [9ee6844e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
hsSyn/HsTypes.lhs is already tab-free, so remove the warning kludge
4:58 PM Changeset in ghc [6c7b1e52]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
cmm/MkGraph.hs is already tab-free, so remove the warning kludge
4:48 PM Changeset in ghc [6bb5e4c6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove a couple of old wrapper functions
12:31 PM Changeset in ghc [f7b74fe]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some disabled code
12:30 PM Changeset in ghc [e2b6e45e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove some more stdout/stderr uses
12:21 PM Changeset in ghc [93abcfa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove more uses of stdout and stderr
12:09 PM Ticket #6133 (bad error message when incorrect format package db is supplied) created by gfxmonk
I built a standalone package using cabal, and then ran: […] When I …
12:05 PM Ticket #6132 (Can't use both shebang line and #ifdef declarations in the same file.) created by gfxmonk
I have an (admittedly awkward) script which can be compiled or …
7:52 AM Ticket #6131 (-fprof-auto adds cost centers to INLINE functions) created by akio
According to the Section 5.2 of User's Guide, -fprof-auto should add cost …
12:55 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
12:46 AM Changeset in ghc [78252479]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Replace printDump with a new Severity We now use log_action with severity SevDump, rather than calling printDump. This means that what happens to dumped info is now under the control of the GHC API user, rather than always going to stdout.
12:34 AM Ticket #6130 (Weak pointer to MVar is finalized, even though MVar is still accessible) created by jmillikin
I'm seeing a problem mixing MVar and Weak: even though the MVar is still …

May 28, 2012:

10:26 PM Changeset in ghc [cd700473]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove an unused import
10:25 PM Changeset in ghc [6c8cb171]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove printOutput; it's not used.
10:23 PM Changeset in ghc [4c0f04c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Rmove printErrs It's no longer used
10:23 PM Changeset in ghc [8ea3ea2a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Use log_action rather than printErrs in TcRnMonad We used to write directly to stderr, which couldn't be overridden.
10:16 PM Changeset in ghc [b9fd59a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove printSDoc; it's now unused
10:14 PM Changeset in ghc [c38602f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Make traceBinIFaceReading use log_action It was printing directly to stdout
10:09 PM Changeset in ghc [a7b1d21]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add defaultLogActionHPrintDoc to DynFlags We now use this function rather than Outputable.{printSDoc,printErrs}. Outputable is arguably a better home for the function, but putting it in DynFlags should dissuade people from using it inappropriately (in particular, nothing other than the default hooks should have stdout or stderr hardcoded). Not exporting it at all would also be an option, but exporting it with an ungainly name will make it slightly easier for people who want to send output to other Handles for some reason.
6:09 PM Changeset in ghc [3d072013]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
6:09 PM Changeset in testsuite [fa99d27]atomicsdata-kind-syntaxghc-7.6overlapping-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
4:39 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:34 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:33 PM Changeset in ghc [4fa3f16]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Be less aggressive about the result discount This patch fixes Trac #6099 by reducing the result discount in CoreUnfold.conSize. See Note [Constructor size and result discount] in CoreUnfold. The existing version is definitely too aggressive. Simon M found it an "unambiguous win" but it is definitely what led to the bloat. In a function with a lot of case branches, all returning a constructor, the discount could grow arbitrarily large. I also had to increase the -funfolding-creation-threshold from 450 to 750, otherwise some functions that should inline simply never get an unfolding. (The massive result discount was allow the unfolding to appear before.) The nofib results are these, picking a handful of outliers to show. Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- fulsom -0.5% -1.6% -2.8% -2.6% +31.1% maillist -0.2% -0.0% 0.09 0.09 -3.7% mandel -0.4% +6.6% 0.12 0.12 +0.0% nucleic2 -0.2% +18.5% 0.11 0.11 +0.0% parstof -0.4% +4.0% 0.00 0.00 +0.0% -------------------------------------------------------------------------------- Min -0.9% -1.6% -19.7% -19.7% -3.7% Max +0.3% +18.5% +2.7% +2.7% +31.1% Geometric Mean -0.3% +0.4% -3.0% -3.0% +0.2% Turns out that nucleic2 has a function Main.$wabsolute_pos = \ (ww_s4oj :: Types.Tfo) (ww1_s4oo :: Types.FloatT) (ww2_s4op :: Types.FloatT) (ww3_s4oq :: Types.FloatT) -> case ww_s4oj of _ { Types.Tfo a_a1sS b_a1sT c_a1sU d_a1sV e_a1sW f_a1sX g_a1sY h_a1sZ i_a1t0 tx_a1t1 ty_a1t2 tz_a1t3 -> (# case ww1_s4oo of _ { GHC.Types.F# x_a2sO -> case a_a1sS of _ { GHC.Types.F# y_a2sS -> case ww2_s4op of _ { GHC.Types.F# x1_X2y9 -> case d_a1sV of _ { GHC.Types.F# y1_X2yh -> case ww3_s4oq of _ { GHC.Types.F# x2_X2yj -> case g_a1sY of _ { GHC.Types.F# y2_X2yr -> case tx_a1t1 of _ { GHC.Types.F# y3_X2yn -> GHC.Types.F# (GHC.Prim.plusFloat# (GHC.Prim.plusFloat# (GHC.Prim.plusFloat# (GHC.Prim.timesFloat# x_a2sO y_a2sS) (GHC.Prim.timesFloat# x1_X2y9 y1_X2yh)) (GHC.Prim.timesFloat# x2_X2yj y2_X2yr)) y3_X2yn) } } }}}}}, <similar>, <similar> ) This is pretty big, but inlining it does get rid of that F# allocation. But we'll also get rid of it with deep CPR: Trac #2289. For now we just accept the change.
12:31 PM Ticket #6129 (Failure when using promoted data family instances, again) created by dreixel
The following code should fail (since we don't promote data families), but …
9:55 AM Changeset in ghc [8c705e99]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add a setByteArray# primop Essentially, this is a wrapper around memset
9:54 AM Changeset in ghc [64e32f5]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 <igloo@…>
Add a test for setByteArray
9:54 AM Changeset in testsuite [536f090]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add a test for setByteArray
6:59 AM Ticket #6128 (ghc 7.4.2 does not work with LDAP-0.6.6) created by magicloud
Sample code as below. When I ghci/runhaskell/ghc (compile) it with ghc …
3:34 AM Changeset in base [f849706]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Remove 'ipDef', we just insert the newtype coercion manually. This gives a much better error message.

May 27, 2012:

11:53 PM Changeset in base [351ee7d]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Remove parameter from `ipDef`
4:38 PM Changeset in ghc [e5191c9]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Accept -package-conf so cabal-install works Really we ought to support all the old flags, but warn that they are deprecated.
2:38 PM Changeset in base [5fd5497]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Update documentation of intersectBy Mention which list is the source of the elements in the resulting list.
2:38 PM Changeset in ghc [5a3489f]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Update documentation of intersectBy Mention which list is the source of the elements in the resulting list.
2:04 PM Changeset in ghc [75706a45]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 <igloo@…>
Go back to using 'const' in capi_value
2:04 PM Changeset in testsuite [9124b61]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Go back to using 'const' in capi_value
1:44 PM Ticket #6127 (Build for MIPS N32 host fails due to references to 64-bit support code) created by mtjm
Linking gives these errors: […] The patch changes the code to not use …
12:02 PM Changeset in ghc [6582871e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Test USE_MINIINTERPRETER rather than GhcUnregisterised
11:56 AM Changeset in base [d75c116]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix typo in documentation of GHC.Exts.groupWith
11:56 AM Changeset in ghc [93ac54f]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix typo in documentation of GHC.Exts.groupWith
10:08 AM Ticket #6126 (Fix risk of dead-lock in documentation of Control.Concurrent) created by basvandijk
The …

May 26, 2012:

11:57 PM Changeset in base [632c5be]imp-param-class by Iavor S. Diatchki <iavor.diatchki@…>
Change the `IP` class to avoid the ambiguity of the method. We use a phantom type to link an implicit parameter name to its value. This is nice because now `?x` in the source code is simply syntactic sugar for `ipUse (IPName :: "x")`, and we type check it in exactly that way. `ipDef` is used when we process implicit parameter bindings---it's only there to add the newtype constructor.
6:04 PM Changeset in ghc [c87371b1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Specify the libdir to use when building libffi Fixes the build on platforms that default to using a directory called lib64. Reported by Gabriel Dos Reis.
5:50 PM Changeset in ghc [278bc1d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Updates for haskeline-0.7's new MonadException API.
3:38 PM Changeset in base [61409f0]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use expect_broken rather than expect_fail in testsuite driver
3:38 PM Changeset in ghc [0eacc7f0]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Use expect_broken rather than expect_fail in testsuite driver
10:47 AM Changeset in ghc [d0d0c36]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix problems with getMonotonicNSec on OS X We were incorrectly multiplying by 1e9, which (a) meant we were getting values that were far too large, and (b) meant that when we casted from double to StgWord64 the result was 0, as the value was out of range. We now do all the work as StgWord64.
9:28 AM Ticket #6125 (GHCi crash) created by guest
I received the following message about a crash while running ghci. I'm …

May 25, 2012:

8:08 PM Changeset in ghc [0d3c52d]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
8:08 PM Changeset in testsuite [bd2ca97e]atomicsdata-kind-syntaxghc-7.6overlapping-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
10:53 AM Ticket #6123 (occurs check should not apply to type families) closed by simonpj
fixed
10:47 AM Changeset in ghc [535ad9d]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 #6123, and improve an error message in T2627b
10:47 AM Changeset in testsuite [4e07a12]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6123, and improve an error message in T2627b
10:45 AM Changeset in ghc [05289c2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Improve occurs-check error reporting (fix Trac #6123) We were wrongly reporting (a ~ F a) as an occurs-check error when F is a type function.
9:33 AM Changeset in ghc [20ff5054]supercompiler by Max Bolingbroke <batterseapower@…>
Start to try to make type generalisation work. SC will currently crash a lot because I'm working out the termination issues
9:32 AM Changeset in ghc [8e6ef76]supercompiler by Max Bolingbroke <batterseapower@…>
Always allow type/coercion instantiation in MSG as experiment
9:17 AM Status/SLPJ-Tickets edited by simonpj
(diff)
4:09 AM Ticket #6124 (Spurious non-exhaustive warning with GADT and newtypes) created by joeyadams
This may be related to #3927 or similar, but here's another case where the …
4:07 AM Ticket #6123 (occurs check should not apply to type families) created by dmwit
This code: […] gives this error: […] whereas I think it should be …

May 24, 2012:

11:59 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
10:36 PM LightweightConcurrency edited by kc
(diff)
10:36 PM LightweightConcurrency edited by kc
(diff)
10:35 PM LightweightConcurrency edited by kc
(diff)
9:32 PM Changeset in base [5126528]imp-param-class by Iavor S. Diatchki <diatchki@…>
Add a class to be used for implementing implicit parameters.
2:47 PM LightweightConcurrency edited by kc
(diff)
1:09 PM Ticket #6118 (Kind variable falls out of scope in instance declaration) closed by simonpj
fixed: OK I've fixed the bug. But I did have to add -XUndecidableInstances to …
1:07 PM Ticket #6120 (GHC 7.4 improperly parses DEPRECATED pragma as ambiguous (regression)) closed by simonpj
fixed: Thanks for pointing this out. Now fixed.
1:04 PM Changeset in ghc [77066aca]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 #6120
1:04 PM Changeset in testsuite [fd30482]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6120
11:29 AM Changeset in ghc [b7892a1e]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 in debug output
11:29 AM Changeset in testsuite [d3c5450]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles in debug output
11:29 AM Changeset in ghc [2c363f48]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@…>
Extend test for Trac #2713 (cf Trac #6120)
11:29 AM Changeset in testsuite [5ea2c02]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Extend test for Trac #2713 (cf Trac #6120)
11:28 AM Changeset in ghc [bc188bbd]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Tidy up the treatment of signatures (incl fixity) This fixes Trac #6120. I've added comments to explain. Turns out there was another lurking bug, also fixed, and tested in (an extended version of) th/T2713.
11:27 AM Changeset in ghc [0d9c2e8c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix an assertion failure in the stage2 compiler Rather an unsavory fix, but will go away when we do the major TH reorganisation from my blog post.
11:26 AM Changeset in ghc [aa487406]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles from 'Fix scoping of kind variables in instance declarations' This earlier commit 6a8b4290 * Fix scoping of kind variables in instance declarations make became a bit more rigourous about ensuring that the kind-variable field of LHsTyVarBndrs was properly filled after renaming. This patch fixed DsMeta to follow suit.
11:22 AM Changeset in ghc [677a3ab]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
11:22 AM Changeset in testsuite [81f799c]atomicsdata-kind-syntaxghc-7.6overlapping-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
11:21 AM Changeset in ghc [13e4927e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
8:45 AM Status/SLPJ-Tickets edited by simonpj
(diff)
12:56 AM Ticket #6045 (GHC 6.10.4 panic when compiling she-0.6) closed by igloo
fixed: Thanks michalt; I'll close this as fixed, then.

May 23, 2012:

11:00 PM LightweightConcurrency edited by kc
(diff)
5:38 PM LightweightConcurrency edited by kc
(diff)
3:29 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
3:28 PM GhcKinds/PolyTypeable edited by dreixel
(diff)
2:08 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
2:05 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
2:01 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
1:58 PM Commentary/GSoCMultipleInstances edited by kosmikus
(diff)
1:54 PM LightweightConcurrency edited by kc
(diff)
1:51 PM LightweightConcurrency edited by kc
(diff)
12:14 PM Changeset in ghc [ac371fe]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
accept output
12:14 PM Changeset in testsuite [a95c63d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept output
11:34 AM Changeset in ghc [0a0087a]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 test for #6105
11:34 AM Changeset in testsuite [6ed0586]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #6105
11:34 AM Changeset in ghc [634fb8d3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
escape(): don't forget the final '\0' Hopefully should fix random "bad heap profile" failures in the nightly builds.
9:29 AM Ticket #6122 (INLINE pragma not obeyed) created by augustss
GHC seems to decide that it knows better than I when I put INLINE on a …
9:22 AM Ticket #6121 (Very poor constant folding) created by augustss
GHC seems to lack constant folding for encodeFloat/decodeFloat. For many …
7:47 AM Commentary edited by simonpj
(diff)
7:46 AM Commentary edited by simonpj
(diff)
7:45 AM Commentary edited by simonpj
(diff)
7:45 AM Commentary edited by simonpj
(diff)
5:37 AM LightweightConcurrency edited by kc
(diff)
5:36 AM LightweightConcurrency edited by kc
(diff)
5:27 AM LightweightConcurrency edited by kc
(diff)
4:32 AM LightweightConcurrency edited by kc
(diff)
4:31 AM LightweightConcurrency edited by kc
(diff)
4:16 AM LightweightConcurrency edited by kc
(diff)
4:13 AM LightweightConcurrency edited by kc
(diff)
3:37 AM Ticket #6120 (GHC 7.4 improperly parses DEPRECATED pragma as ambiguous (regression)) created by jmillikin
According to …
2:59 AM LightweightConcurrency edited by kc
(diff)
2:46 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
12:57 AM LightweightConcurrency edited by kc
(diff)
12:55 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
12:55 AM LightweightConcurrency edited by kc
(diff)
12:54 AM LightweightConcurrency edited by kc
(diff)
12:07 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)

May 22, 2012:

11:19 PM LightweightConcurrency edited by kc
(diff)
11:11 PM LightweightConcurrency edited by kc
(diff)
11:09 PM LightweightConcurrency edited by kc
(diff)
11:05 PM LightweightConcurrency edited by kc
(diff)
10:46 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
10:24 PM LightweightConcurrency edited by kc
(diff)
10:23 PM LightweightConcurrency edited by kc
(diff)
10:22 PM LightweightConcurrency edited by kc
(diff)
10:21 PM LightweightConcurrency edited by kc
(diff)
10:13 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
10:11 PM LightweightConcurrency edited by kc
(diff)
10:11 PM LightweightConcurrency edited by kc
(diff)
10:07 PM LightweightConcurrency edited by kc
(diff)
10:06 PM LightweightConcurrency edited by kc
(diff)
10:06 PM LightweightConcurrency edited by kc
(diff)
10:05 PM LightweightConcurrency edited by kc
(diff)
9:16 PM LightweightConcurrency edited by kc
(diff)
9:15 PM LightweightConcurrency edited by kc
(diff)
9:08 PM LightweightConcurrency edited by kc
(diff)
9:05 PM LightweightConcurrency edited by kc
(diff)
8:47 PM LightweightConcurrency edited by kc
(diff)
7:27 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
7:23 PM LightweightConcurrency edited by kc
(diff)
7:19 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
7:16 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
6:32 PM LightweightConcurrency edited by kc
(diff)
4:41 PM Changeset in ghc [ffe4372]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 <igloo@…>
Fix a testsuite driver failure on cygwin
4:41 PM Changeset in testsuite [72d0a46]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix a testsuite driver failure on cygwin
2:41 PM Changeset in ghc [a48be46]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Abstract out a Ppr Inline instance
2:18 PM Changeset in ghc [2118d80]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 #6118
2:18 PM Changeset in testsuite [b7ada1c5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6118
2:15 PM Changeset in ghc [44febbc]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:14 PM Changeset in ghc [1050b33]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
2:14 PM Changeset in ghc [6a8b4290]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix scoping of kind variables in instance declarations Fixes Trac #6118
1:46 PM Changeset in ghc [22b51da]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix build
1:01 PM Changeset in ghc [285a5e2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix warning
12:46 PM Changeset in ghc [6994ed9d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix path to ar on Windows
12:29 PM Ticket #6116 (ctrl-c doesn't always work when entering text in ghci) closed by simonmar
fixed
11:42 AM Changeset in ghc [4b523bc1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Don't remove the thread from interruptTargetThread on ^C (#6116)
11:42 AM Changeset in ghc [d82da293]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Read the source file timestamp *before* preprocessing (#6106)
11:42 AM Changeset in ghc [b640ba9c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Accept the old -package-conf flags for backwards compatibility
11:42 AM Changeset in ghc [c95342c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
checkStability: respect -fforce-recomp (#6105)
11:17 AM Changeset in ghc [1c2954c]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 test for #6106
11:17 AM Changeset in ghc [ee2f63d4]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@…>
dead code: guess_compiler_flags()
11:17 AM Changeset in ghc [856e916]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@…>
Go back to using -no-user-package-conf for a while So that we can still use the testsuite with older compilers. We should really test the GHC version, but I don't want to add another $(shell). Maybe modifying ghcconfig.hs would be better.
11:17 AM Changeset in testsuite [204fb76]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
add test for #6106
11:17 AM Changeset in testsuite [28415e1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
dead code: guess_compiler_flags()
11:17 AM Changeset in testsuite [3804864]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Go back to using -no-user-package-conf for a while So that we can still use the testsuite with older compilers. We should really test the GHC version, but I don't want to add another $(shell). Maybe modifying ghcconfig.hs would be better.
3:50 AM Ticket #6119 (complain when ghc-pkg doesn't find any matching packages in a given ...) created by dmwit
Currently, ghc-pkg list will print something like the following when no …
1:50 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
1:41 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)

May 21, 2012:

11:28 PM Changeset in ghc [f906b91]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Follow the move of the Word type to ghc-prim
11:27 PM Changeset in ghc [9a6b8e4]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 <igloo@…>
Accept output for mc22 I'm not entirely sure why it changed, but I think it's OK.
11:27 PM Changeset in testsuite [a7acfb5f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept output for mc22 I'm not entirely sure why it changed, but I think it's OK.
11:25 PM Ticket #6118 (Kind variable falls out of scope in instance declaration) created by goldfire
Consider the following code: […] The instance for Maybe fails …
11:22 PM Changeset in ghc [3e512f2]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 <igloo@…>
Follow the move of Word from base to ghc-prim
11:22 PM Changeset in testsuite [93d8357]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Follow the move of Word from base to ghc-prim
10:20 PM Changeset in ghc [312bd1c6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:20 PM Changeset in ghc-prim [5291677]ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:20 PM Changeset in base [dc521b8]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:20 PM Changeset in ghc [fda6ab9]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Move the Word type from base to ghc-prim
10:12 PM LightweightConcurrency edited by kc
(diff)
8:39 PM LightweightConcurrency edited by kc
(diff)
8:38 PM LightweightConcurrency edited by kc
(diff)
7:41 PM Changeset in base [efb2439]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use Word literals directly, rather than converting Int literals
7:41 PM Changeset in ghc [c06e2a4]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Use Word literals directly, rather than converting Int literals
7:29 PM Changeset in base [91b37f0]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some more specialise-Int code
7:29 PM Changeset in ghc [5fdb0b5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Remove some more specialise-Int code
7:16 PM Changeset in base [d277e19]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some commented out code Commented out since 2005, so doesn't seem worth maintaining it
7:16 PM Changeset in ghc [c2f6f892]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Remove some commented out code Commented out since 2005, so doesn't seem worth maintaining it
7:00 PM Changeset in base [14fd361]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Remove some unnecessary Int specialised values We no longer need zeroInt and friends
7:00 PM Changeset in ghc [6fcc554b]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Remove some unnecessary Int specialised values We no longer need zeroInt and friends
5:53 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
5:52 PM Commentary/GSoCMultipleInstances edited by phischu
(diff)
5:49 PM Commentary/GSoCMultipleInstances created by phischu
5:02 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:56 PM LightweightConcurrency edited by kc
(diff)
4:53 PM LightweightConcurrency edited by kc
(diff)
4:46 PM LightweightConcurrency edited by kc
(diff)
4:30 PM LightweightConcurrency edited by kc
(diff)
1:21 PM Ticket #5958 (Follow mtl upstream) closed by pcapriotti
fixed: GHC's repository for hoopl is now the master.
8:25 AM Ticket #6112 (ghc-pkg ignores --global-conf if --package-conf is set) closed by pcapriotti
invalid: This is the correct (and documented) behavior. When any *-conf option is …

May 20, 2012:

11:35 PM LightweightConcurrency edited by kc
(diff)
11:33 PM LightweightConcurrency edited by kc
(diff)
11:33 PM LightweightConcurrency edited by kc
(diff)
11:20 PM LightweightConcurrency edited by kc
(diff)
11:09 PM LightweightConcurrency edited by kc
(diff)
10:45 PM LightweightConcurrency edited by kc
(diff)
10:41 PM LightweightConcurrency edited by kc
(diff)
8:50 PM Changeset in ghc [c5fcd22]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix ar detection
8:28 PM Changeset in ghc [e8121501]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix dblatex and xml* tool detection on Windows We now normalise their paths, so that native Windows paths rather than cygwin paths. This means that we are able to execute them from Cabal or python. I've also abstracted out the normalisation code into an m4 function.
6:55 PM Changeset in base [3581ef2]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Change a few FFI imports to use CAPI On Win64, ssize_t is 64 bit, but functions like read return 32 bit ints. The CAPI wrapper means the C compiler takes care of doing all the necessary casting. Technically we should instead be making the types of the FFI imports different on different platforms, but I think this will work out simpler overall. Before this fix, when the functions failed with -1, we thought they were returning with 4294967295, and so didn't throw an exception. This lead to a segfault in echo001(ghci).
6:55 PM Changeset in ghc [cf14ed6]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Change a few FFI imports to use CAPI On Win64, ssize_t is 64 bit, but functions like read return 32 bit ints. The CAPI wrapper means the C compiler takes care of doing all the necessary casting. Technically we should instead be making the types of the FFI imports different on different platforms, but I think this will work out simpler overall. Before this fix, when the functions failed with -1, we thought they were returning with 4294967295, and so didn't throw an exception. This lead to a segfault in echo001(ghci).
3:26 PM LightweightConcurrency edited by kc
(diff)
3:17 PM LightweightConcurrency edited by kc
(diff)
7:34 AM Ticket #6115 (ghc panic in long list of literals) closed by michalt
duplicate: Thanks for reporting. I think this is already fixed and should be in GHC …
12:31 AM Ticket #6117 (Cyclic Type Class Hierarchy Produces <<loop>>) created by jun0
If there is a cyclic class hierarchy like […] then uses of B's methods …

May 19, 2012:

11:46 PM Ticket #6116 (ctrl-c doesn't always work when entering text in ghci) created by judahj
With ghci-7.5.20120519 (on Mac and probably also Linux): type some text, …
10:12 PM Ticket #6115 (ghc panic in long list of literals) created by nr
GHC panicked: […]
3:03 PM Records edited by guest
copyediting (diff)
12:43 PM Changeset in ghc [113ae477]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Full validates now install transformers rather than mtl
12:41 PM Changeset in ghc [64f085a1]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 <igloo@…>
Fix tests to run without mtl
12:41 PM Changeset in testsuite [0407c6b]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix tests to run without mtl
11:55 AM Changeset in ghc [0f4925b6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Use transformers directly, rather than using mtl This means we no longer need mtl in a GHC tree.
7:37 AM Ticket #6114 (ghc: panic! occurred with use of isInstance, newName and a type splice) created by davidmiani
Compiling the below code: […] Results in the following error: …
4:43 AM Ticket #6113 (Profiling with -p not written if killed with SIGTERM) created by Veinor
Just like it says in the title; -p profiling seems to only get written if …
3:21 AM LightweightConcurrency edited by kc
(diff)
3:20 AM LightweightConcurrency edited by kc
(diff)
3:19 AM LightweightConcurrency edited by kc
(diff)
2:58 AM LightweightConcurrency edited by kc
(diff)
2:56 AM LightweightConcurrency edited by kc
(diff)
2:50 AM LightweightConcurrency edited by kc
(diff)
2:49 AM LightweightConcurrency edited by kc
(diff)
2:19 AM LightweightConcurrency edited by kc
(diff)
12:39 AM Ticket #6112 (ghc-pkg ignores --global-conf if --package-conf is set) created by luite
I'm working on ghcjs, which uses ghc-pkg with custom database locations. …

May 18, 2012:

10:59 PM LightweightConcurrency edited by kc
(diff)
10:42 PM LightweightConcurrency edited by kc
(diff)
10:34 PM LightweightConcurrency edited by kc
(diff)
10:33 PM LightweightConcurrency edited by kc
(diff)
9:57 PM LightweightConcurrency edited by kc
(diff)
8:56 PM LightweightConcurrency edited by kc
(diff)
8:46 PM LightweightConcurrency edited by kc
(diff)
8:45 PM LightweightConcurrency edited by kc
(diff)
8:44 PM LightweightConcurrency edited by kc
(diff)
8:17 PM LightweightConcurrency edited by kc
(diff)
6:12 PM Ticket #6109 (Linux-ppc : #error Unknown mingw32 arch) closed by igloo
fixed: Applied, thanks!
5:25 PM Changeset in ghc [293475b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove a couple of unnecessary lines of CPP
5:24 PM Changeset in ghc [d0e2364b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix #6109 : error Unknown mingw32 arch.
5:11 PM LightweightConcurrency edited by kc
(diff)
5:06 PM LightweightConcurrency edited by kc
(diff)
5:03 PM LightweightConcurrency edited by kc
(diff)
4:55 PM Changeset in ghc [2b214ea]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of win:c:/m64/reg13/.
4:48 PM LightweightConcurrency edited by kc
(diff)
4:45 PM Commentary edited by simonpj
(diff)
4:04 PM Ticket #6111 (Simple loop performance regression of 7.4.1 relative to 7.0.4) created by mdgabriel
== Problem == Severe simple loop performance regression in 7.4.1 relative …
3:56 PM LightweightConcurrency edited by kc
(diff)
3:56 PM LightweightConcurrency edited by kc
(diff)
3:53 PM Ticket #6110 (Data.Vector.Unboxed performance regression of 7.4.1 relative to 7.0.4) created by mdgabriel
== Problem == Severe Data.Vector.Unboxed performance regression in 7.4.1 …
3:47 PM LightweightConcurrency edited by kc
(diff)
3:42 PM LightweightConcurrency edited by kc
(diff)
3:03 PM Commentary/CabalDependencyHell edited by phischu
(diff)
2:10 PM Commentary/CabalDependencyHell created by phischu
12:02 PM Ticket #6109 (Linux-ppc : #error Unknown mingw32 arch) created by erikd
Building on Linux-Powerpc fails with the above error. […] In the …
11:32 AM Changeset in ghc [c2870706]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
More Win64 adjustor fixes
9:19 AM Ticket #5854 (TH: INLINABLE pragma support (patch)) closed by simonpj
fixed: Mikhail, I'm sorry this has taken so long, but I've now committed your …
9:17 AM Ticket #5612 (Better support for kinds in Template Haskell) closed by simonpj
fixed: Many thanks to lunaris and Richard Eisenberg. I've just pushed patches to …
9:11 AM Changeset in ghc [b70dd33]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@…>
THis test does not actually use HsExplicitListTy
9:11 AM Changeset in testsuite [89f0eac]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
THis test does not actually use HsExplicitListTy
9:10 AM Changeset in ghc [a5ce7e4]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@…>
Accommodate INLINALBE pragmas in TH
9:10 AM Changeset in testsuite [029d54c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accommodate INLINALBE pragmas in TH
9:10 AM Changeset in ghc [86904405]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to lunaris's patch for promoted kinds
9:10 AM Changeset in ghc [b6bf6ab]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow INLINABLE pragmas in TH Thanks to mikhail.vorozhtsov for doing the work
9:06 AM Changeset in ghc [58898eb]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Change TH syntax to allow promoted kinds and kind polymorphism The big change here is that Kind is no longer a distinct type, it's just a type synonym for Type. This reflects exactly what happens in the HsSyn world, and avoids a great deal of duplication between types and kinds. But it is a breaking for (the few) TH users who were using the constructors for Kind. Thanks to lunaris and Richard Eisenberg for doing the work.
9:03 AM Changeset in ghc [27e4036]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Add INLINABLE pragmas in Template Haskell Thanks to mikhail.vorozhtsov for doing the work
8:52 AM Repositories edited by simonpj
(diff)
7:12 AM Changeset in ghc [3539136]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@…>
Applied lunaris's patch to allow promoted types and rich kinds in Template Haskell
7:12 AM Changeset in testsuite [d359853]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Applied lunaris's patch to allow promoted types and rich kinds in Template Haskell
7:09 AM Changeset in ghc [0fe0c58]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Applied lunaris's patch to allow promoted types and rich kinds in Template Haskell
7:07 AM Changeset in ghc [284a60f]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 red-black tree test from github (with permission)
7:07 AM Changeset in testsuite [f742372]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add red-black tree test from github (with permission)
1:16 AM Changeset in ghc [230576f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix the stub C files we generate on Win64
1:16 AM Changeset in ghc [68a9da4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix the way the adjustor puts things on the stack on Win64
1:04 AM LightweightConcurrency edited by kc
(diff)
1:03 AM LightweightConcurrency edited by kc
(diff)

May 17, 2012:

11:39 PM LightweightConcurrency edited by kc
(diff)
11:37 PM LightweightConcurrency edited by kc
(diff)
11:37 PM LightweightConcurrency edited by kc
(diff)
11:36 PM LightweightConcurrency edited by kc
(diff)
11:11 PM LightweightConcurrency edited by kc
(diff)
10:50 PM Changeset in ghc [f286841]supercompiler by Max Bolingbroke <batterseapower@…>
Some horrible-looking changes to select most-specific instance (preferring exact matches) and remember non-exact matches in the memo table
10:41 PM LightweightConcurrency edited by kc
(diff)
10:40 PM LightweightConcurrency edited by kc
(diff)
10:38 PM LightweightConcurrency edited by kc
(diff)
10:33 PM LightweightConcurrency edited by kc
(diff)
10:08 PM Repositories edited by pcapriotti
mention push urls for validated repositories, change darcs example from … (diff)
10:03 PM Changeset in ghc [89e319c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix freeHaskellFunctionPtr on Win64
8:00 PM LightweightConcurrency edited by kc
(diff)
6:23 PM Ticket #6108 (Haddock's prune option is not regarded for DEPRECATED things) created by SimonHengel
I introduced this regression when I extended Haddock, so that it adds …
1:54 PM Ticket #6102 (Subclass Specialization in Rewrite Rules) closed by simonpj
invalid: Oh silly me. Of course ClassInstance is not an instance of ClassTwo. …
11:15 AM Ticket #6107 (GHCi runtime linker cannot link with duplicate common symbols) created by exFalso
GHCi's runtime linker reports duplicate common symbols as fatal error. …
10:42 AM Ticket #6106 (GHCi does not always detect when modules become stale during compilation) created by SimonHengel
Here is a conceived example that illustrates the issue. File Foo.hs
10:02 AM Ticket #6105 (GHCi does no respect -fforce-recomp) created by SimonHengel
To my delightful surprise ghc --make respects -fforce-recomp, …
9:43 AM Ticket #6104 (Regression: space leak in HEAD vs. 7.4) created by simonmar
I often keep an eye on compiler performance by compiling Cabal. Yesterday …
8:43 AM Holes edited by spl
Expected type (diff)
8:35 AM Holes edited by spl
Respond to SLPJ (diff)
8:24 AM Ticket #6103 (Interrupted program cannot produce biographical heap profile) created by konn
If I interrupt program running with "+RTS -p -hb" option, the program …
8:00 AM Holes edited by simonpj
(diff)
7:18 AM Ticket #6015 ("No instance" when using PolyKinds/DataKinds/FunDeps/Undecidable) closed by simonpj
fixed: I believe this patch fixes the bug. Thanks for reporting it with a nice …
7:17 AM Ticket #6068 (Panic in GHCi when using functional dependencies and promoted kinds) closed by simonpj
fixed: I believe this patch fixes the bug. Thanks for reporting it with a nice …
7:16 AM Ticket #6097 (tc078(hpc,optasm,profasm) are failing with core lint errors) closed by simonpj
fixed
7:15 AM Ticket #6096 (tc126(optasm) is failing with a core lint error) closed by simonpj
fixed
2:28 AM Ticket #6102 (Subclass Specialization in Rewrite Rules) created by SamAnklesaria
Rewrite rules can define a specialized version of a method for some …
1:01 AM Changeset in ghc [b002f1b0]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
12:22 AM Ticket #6101 (Show instance for integer-simple is not lazy enough) created by tommd
I run out of memory, after 31 GB, when trying to show an Integer (using …

May 16, 2012:

9:00 PM LightweightConcurrency edited by kc
(diff)
3:14 PM Changeset in ghc [2eefbf2]supercompiler by Max Bolingbroke <batterseapower@…>
Rethink how generalisation is written so we can rollback when MSGing
2:53 PM Changeset in ghc [6683995]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Set the context_switch flag in yield# yieldThread hasn't been working for a while: unless we set the context_switch flag to indicate that the current time slice is over, the RTS scheduler just runs the same thread again. Spotted by Andreas Voellmy (thanks!).
2:31 PM Changeset in base [28670dd]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Don't use stdcall on Win64: It isn't supported; ccall is used instead
2:31 PM Changeset in ghc [5176c1f]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Don't use stdcall on Win64: It isn't supported; ccall is used instead
2:14 PM Changeset in ghc [5e4bab8c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Don't use stdcall on Win64: It isn't supported; ccall is used instead
1:33 PM Holes edited by spl
Update ambiguity section (diff)
12:59 PM Ticket #6100 (mistake in class inheritance system) closed by kosmikus
invalid: No, GHC is correct. […] Note that both arguments have to have the …
12:35 PM Holes edited by spl
Respond to SLPJ on ambiguously typed holes (diff)
12:27 PM Holes edited by spl
Respond to SLPJ on runtime error (diff)
12:08 PM Ticket #6100 (mistake in class inheritance system) created by guest
class can't use function of parents class. Code: class A a where …
11:52 AM Changeset in ghc [06ac4cf]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Fix typo in 7.4.2 release notes.
11:27 AM Changeset in ghc [6494a64a]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Update 7.4.2 release notes.
10:15 AM Changeset in ghc [5a502c75]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
10:15 AM Changeset in testsuite [691249a]atomicsdata-kind-syntaxghc-7.6overlapping-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
10:15 AM Changeset in ghc [accd944]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 #6015 and #6068
10:15 AM Changeset in testsuite [e1fde8a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6015 and #6068
10:14 AM Changeset in ghc [7fe110aa]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:13 AM Changeset in ghc [969f8b7]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Be careful to instantiate kind variables when dealing with functional dependencies There were really two bugs a) When the fundep fires we must apply the matching substitution to the kinds of the remaining type vars (This happens in FunDeps.checkClsFD, when we create meta_tvs) b) When instantiating the un-matched type variables we must instantiate their kinds properly (This happens in TcSMonad.instFlexiTcS) This fixes #6068 and #6015 (second reported bug).
9:50 AM Changeset in ghc [ebcad76]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
When comparing Case expressions, take account of empty alternatives After the recent change that allows empty case alternatives, we were accidentally saying that these two were equal: Case x _ Int [] Case x _ Bool [] Usually if the alternatives are equal so is the result type -- but not if the alternatives are empty! There are two places to fix: CoreUtils.eqExpr TrieMap with CoreExpr key Fixes #6096, #6097
3:51 AM LightweightConcurrency edited by kc
(diff)
12:59 AM LightweightConcurrency edited by kc
(diff)
12:46 AM LightweightConcurrency edited by kc
(diff)
12:43 AM LightweightConcurrency edited by kc
(diff)

May 15, 2012:

10:28 PM LightweightConcurrency edited by kc
(diff)
9:19 PM Changeset in ghc [ada75a8]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 Max Bolingbroke <batterseapower@…>
Testsuite update for unboxed tuples in arguments We are careful to test slow calls and RtClosureInspect, as well as standard fast calls
9:19 PM Changeset in testsuite [3a8c2a1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Max Bolingbroke <batterseapower@…>
Testsuite update for unboxed tuples in arguments We are careful to test slow calls and RtClosureInspect, as well as standard fast calls
8:52 PM LightweightConcurrency edited by kc
(diff)
8:32 PM Changeset in ghc [09987de4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Support code generation for unboxed-tuple function arguments This is done by a 'unarisation' pre-pass at the STG level which translates away all (live) binders binding something of unboxed tuple type. This has the following knock-on effects: * The subkind hierarchy is vastly simplified (no UbxTupleKind or ArgKind) * Various relaxed type checks in typechecker, 'foreign import prim' etc * All case binders may be live at the Core level
8:29 PM LightweightConcurrency edited by kc
(diff)
8:02 PM Ticket #6099 (filepath library a lot bigger in 7.4.2 RC 1) created by igloo
filepath is a lot bigger in 7.4.2 RC 1 than in 7.4.1, e.g.: […] This …
5:18 PM Changeset in ghc [5ccb43f]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
4:13 PM Ticket #6098 (debugger does not know the correct type for a newtype field) created by phercek
This bug is in 7.4.1. I think it was also in 7.0.3. It is also in the …
4:10 PM Changeset in ghc [11e13be]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 <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
4:10 PM Changeset in testsuite [d04cf51]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
3:44 PM Changeset in ghc [3a6f1aa6]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 <igloo@…>
4321 is broken again
3:44 PM Changeset in testsuite [73d8279]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
4321 is broken again
3:42 PM Changeset in ghc [33923115]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 <igloo@…>
tc078(hpc,optasm,profasm) are broken (#6097)
3:42 PM Changeset in testsuite [7abaaef]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
tc078(hpc,optasm,profasm) are broken (#6097)
3:41 PM Ticket #6097 (tc078(hpc,optasm,profasm) are failing with core lint errors) created by igloo
tc078(hpc,optasm,profasm) are failing with core lint errors. Here's the …
3:37 PM Changeset in ghc [14f7be16]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 <igloo@…>
tc126(optasm) is broken (#6096)
3:37 PM Changeset in testsuite [7697e0f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
tc126(optasm) is broken (#6096)
3:35 PM Ticket #6096 (tc126(optasm) is failing with a core lint error) created by igloo
tc126(optasm) is failing with a core lint error. The code: […] The …
2:54 PM Changeset in ghc [577e98f]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 <igloo@…>
Add -fobject-code to the numeric *2 tests Fixes the ghci way
2:54 PM Changeset in testsuite [7841535]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add -fobject-code to the numeric *2 tests Fixes the ghci way
2:50 PM Changeset in ghc [8b5836a]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 <igloo@…>
Use -fobject-code for tests that use UnboxedTuples They were claiming to be broken because of #1257, but that is closed as wontfix.
2:50 PM Changeset in testsuite [29d3a0e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Use -fobject-code for tests that use UnboxedTuples They were claiming to be broken because of #1257, but that is closed as wontfix.
2:14 PM Changeset in ghc [c08df442]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Remove the unused Type field from StgLam
2:14 PM Changeset in ghc [7950f46]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Remove StgTypeArg since it was never used and is probably broken anyway
11:26 AM Ticket #6090 (hsc2hs doesn't consider values not fitting in an unsigned long integral ...) closed by pcapriotti
fixed: Pushed as fc8a91274534f8f94ec5480ad7504b9fb94b6b6d.
9:40 AM Repositories edited by pcapriotti
(diff)
9:40 AM Ticket #2947 (infix precedence of backtick functions defined in ghci is not reported by ...) closed by pcapriotti
fixed
9:39 AM Ticket #5977 (Allow ignoring global package db) closed by pcapriotti
fixed
9:32 AM Changeset in ghc [921530b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Follow changes in Cabal.
9:31 AM ExplicitTypeApplication edited by dreixel
(diff)
9:29 AM ExplicitTypeApplication edited by dreixel
New story for explicit kinds (diff)
8:29 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:23 AM Ticket #6095 (GHC 7.0.3 panic when compiling mwc-random) closed by simonmar
worksforme: Thanks for the report. I tried it here and it worked. Lacking a way to …
8:19 AM Ticket #6094 (runInteractiveProcess not using new PATH) closed by simonmar
invalid: I don't think it should use the new PATH, since the search for the …
8:05 AM Changeset in ghc [215c8265]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Add a fixity environment to InteractiveContext (#2947)
7:29 AM Changeset in ghc [24d70da]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Rename package-conf flags to package-db.
7:29 AM Changeset in testsuite [85dddc1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Rename package-conf flags to package-db.
7:24 AM Changeset in ghc [ba409e30]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Simplify the behavior of package db flags. Previously, the `-no-user-package` and `-no-global-package` flags affected the "initial" stack only, while `user-package` and `global-packages` appended to the end of the stack. This commit changes the behavior of those flags, so that they are always applied to the stack as a whole. The effect of the GHC_PACKAGE_PATH environment variable has also been changed: terminating it with a separator now adds the default package dbs (user and global) instead of the initial stack.
7:24 AM Changeset in ghc [2fe1546]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Update documentation of the package db flags.
7:22 AM Changeset in ghc [ca2debb2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Rename package-conf flags to package-db. Rename package database flags in both GHC and ghc-pkg so that they are consistent with Cabal nomenclature. Add a version check to the build system so that the correct set of package db flags are used when the bootstrapping GHC has version < 7.5.
7:18 AM Changeset in ghc [6a831be4]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Add flags to manipulate package db stack (#5977) Introduce new flags to allow any package database stack to be set up. The `-no-user-package-conf` and `-no-global-package-conf` flags remove the corresponding package db from the initial stack, while `-user-package-conf` and `-global-package-conf` push it back on top of the stack.

May 14, 2012:

11:16 PM Changeset in ghc [c250f93b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Tweak the lexer: In particular, improve notFollowedBy and friends We were hitting a problem when reading the LANGUAGE/OPTIONS pragmas from GHC.TypeLits, where the buffer ended "{-". The rules for the start-comment lexeme check that "{-" is not followed by "#", but the test returned False when there was no next character. Therefore we were lexing this as as an open-curly lexeme (only consuming the "{", and not reaching the end of the buffer), which meant the options parser think that it had reached the end of the options. Now we correctly lex as "{-".
1:59 PM Ticket #1161 (Clean up the library testing story) closed by pcapriotti
fixed: All tests have been moved to the appropriate repositories. The only thing …
1:53 PM Ticket #6091 (Fixity in :info for backticks operators) closed by pcapriotti
fixed
1:50 PM Changeset in ghc [37a28207]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Add test for #6091.
1:50 PM Changeset in testsuite [712cfd7]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Add test for #6091.
1:39 PM Changeset in ghc [6406cd2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Use pprInfixName in pprInfo (#6091) Surround a name in backticks when printing an infix declaration in GHCi.
1:08 PM Ticket #6064 (InstanceD declaration does not allow for explicit TyVarBndrs) closed by simonpj
invalid: OK #6081 is fixed, so I'll close this ticket. Reopen if needed.
1:07 PM Ticket #6015 ("No instance" when using PolyKinds/DataKinds/FunDeps/Undecidable) closed by simonpj
fixed
1:06 PM Ticket #6081 (Kind variables not allowed in class instance declarations) closed by simonpj
fixed: I've added a regression test now.
1:05 PM Changeset in ghc [6c3045b9]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix the the pure unifier so that it unifies kinds When unifying two type variables we must unify their kinds. The pure *matcher* was doing so, but the pure *unifier* was not. This patch fixes Trac #6015, where an instance lookup was failing when it should have succeeded. I removed a bunch of code aimed at support sub-kinding. It's tricky, ad-hoc, and I don't think its necessary any more. Anything we can do to simplify the sub-kinding story is welcome!
12:54 PM Changeset in ghc [d93dc41]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 #6015
12:54 PM Changeset in testsuite [c62cd61]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6015
12:50 PM Changeset in ghc [6729fa6]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 #6081
12:50 PM Changeset in testsuite [fda8743]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6081
11:49 AM Ticket #6095 (GHC 7.0.3 panic when compiling mwc-random) created by hesselink
Our Jenkins server showed a GHC (7.0.3) panic during the building of …
9:39 AM Blog: New directions for Template Haskell edited by simonpj

May 13, 2012:

4:37 AM Ticket #6094 (runInteractiveProcess not using new PATH) created by GregWeber
run the below program with something like: rm -r foo; ghc env.hs && ./env …
3:16 AM Ticket #6093 (Kind polymorphism fails with recursive type definition using different ...) created by Ashley Yakeley
[…] results in […]

May 12, 2012:

6:31 PM Changeset in base [0ffe2a1]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Iavor S. Diatchki <iavor.diatchki@…>
Update to support singleton types with custom implementations. Now 'Sing' is a data family, and users may provide data instances to implement singletons of new kinds.
6:31 PM Changeset in ghc [e88cf256]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <iavor.diatchki@…>
Update to support singleton types with custom implementations. Now 'Sing' is a data family, and users may provide data instances to implement singletons of new kinds.

May 11, 2012:

10:51 PM TypeNats/SingletonsAndExistentials edited by heisenbug
(diff)
10:34 PM Changeset in base [aa17dc9]data-proxydbcsghc-7.6ghc-7.8imp-param-classtype-reasoningwindows-iocp by Iavor S. Diatchki <diatchki@…>
Modify 'SingRep' to support arbitrary singleton types.
10:34 PM Changeset in ghc [a75c1be]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Iavor S. Diatchki <diatchki@…>
Modify 'SingRep' to support arbitrary singleton types.
10:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:03 PM Status/SLPJ-Tickets edited by simonpj
(diff)
10:01 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:59 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:56 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:55 PM Ticket #6092 (Liberate case not happening) created by simonpj
Simon M writes: Johan Tibell and I were looking at the code GHC produces …
9:18 PM Changeset in ghc [50b41cf]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 #5737
9:18 PM Changeset in testsuite [d6d2efb]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5737
9:17 PM Ticket #5737 (Template Haskell can't derive Read, Show, Eq instances) closed by simonpj
fixed: Fixed by the same thing as (the second patch in) #6005.
9:08 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:50 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:49 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:48 PM Ticket #6091 (Fixity in :info for backticks operators) created by guest
The standard way to define infixity for backtick operators is […] …
8:46 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:45 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:41 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:41 PM Status/SLPJ-Tickets edited by simonpj
(diff)
8:33 PM Status/SLPJ-Tickets edited by simonpj
(diff)
5:45 PM Ticket #6090 (hsc2hs doesn't consider values not fitting in an unsigned long integral ...) created by mtjm
The specific problem occurs when libraries/unix is being built, …
5:14 PM Changeset in ghc [3970d9a]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 needed -XPolyKinds
5:14 PM Changeset in testsuite [ec73de5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Add needed -XPolyKinds
5:03 PM Changeset in ghc [09addd3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
5:02 PM Changeset in ghc [9806a0a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Delete dead code mkIParamTyCon
5:02 PM Changeset in ghc [fc8959ac]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Refactor LHsTyVarBndrs to fix Trac #6081 This is really a small change, but it touches a lot of files quite significantly. The real goal is to put the implicitly-bound kind variables of a data/class decl in the right place, namely on the LHsTyVarBndrs type, which now looks like data LHsTyVarBndrs name = HsQTvs { hsq_kvs :: [Name] , hsq_tvs :: [LHsTyVarBndr name] } This little change made the type checker neater in a number of ways, but it was fiddly to push through the changes.
2:08 PM Ticket #6089 (Allow declaration splices inside declaration brackets) created by igloo
I would like to be able to write code like: […] but GHC says: […] …
10:30 AM WikiStart edited by simonmar
(diff)
10:27 AM WikiStart edited by simonmar
(diff)
10:26 AM Status edited by simonmar
(diff)
10:25 AM Status/May12 edited by simonmar
(diff)
9:27 AM Changeset in ghc [d0f3a8ba]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Handle cases with no alternatives in GHCi Fixes cgrun045(ghci) amongst others
8:35 AM Changeset in ghc [5cc3d3b]supercompiler by Max Bolingbroke <batterseapower@…>
Fix horrendous bug with new insertVarRenaming
8:30 AM Changeset in ghc [67c7e032]supercompiler by Max Bolingbroke <batterseapower@…>
Only zap IdInfo for *Id*s
7:42 AM Changeset in ghc [69a6dcf0]supercompiler by Max Bolingbroke <batterseapower@…>
Support for LitTy in Match/MSG
7:42 AM Changeset in ghc [eb61876]supercompiler by Max Bolingbroke <batterseapower@…>
Suppress warnings when renaming an out term
7:42 AM Changeset in ghc [a4c1c7b]supercompiler by Max Bolingbroke <batterseapower@…>
Comments only
7:42 AM Changeset in ghc [1d7e6b5]supercompiler by Max Bolingbroke <batterseapower@…>
Fix bug in expandTypeSynonyms that could rarely cause problems
7:42 AM Changeset in ghc [699f2732]supercompiler by Max Bolingbroke <batterseapower@…>
Remove duplicate export of mkCvSubst
7:42 AM Changeset in ghc [02ca2e11]supercompiler by Max Bolingbroke <batterseapower@…>
Correct calculation of match renaming via inversion
7:42 AM Changeset in ghc [62cec5c]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure kinds are not generalised, and only types of the correct kind
7:42 AM Changeset in ghc [ffbcbda]supercompiler by Max Bolingbroke <batterseapower@…>
Whitespace only
7:42 AM Changeset in ghc [84819acd]supercompiler by Max Bolingbroke <batterseapower@…>
Save some code in MSG by failing lookup of any lambdaBound
7:42 AM Changeset in ghc [94c7d82]supercompiler by Max Bolingbroke <batterseapower@…>
Use new insertVarRenaming when constructing renaming in MSG
7:42 AM Changeset in ghc [94903de4]supercompiler by Max Bolingbroke <batterseapower@…>
Add FIXME about rigid occurrence info
7:42 AM Changeset in ghc [b393485]supercompiler by Max Bolingbroke <batterseapower@…>
Some small renamings in Renaming.hs
7:42 AM Changeset in ghc [8d23383]supercompiler by Max Bolingbroke <batterseapower@…>
My MSG common-binder knot was too knotty
7:42 AM Changeset in ghc [bd4c506]supercompiler by Max Bolingbroke <batterseapower@…>
Fix the instantiation check in msgMatch
7:42 AM Changeset in ghc [23f26fc]supercompiler by Max Bolingbroke <batterseapower@…>
Slight cleanup is msgMatch (remove redudant var-kind tests)
7:42 AM Changeset in ghc [ec93b389]supercompiler by Max Bolingbroke <batterseapower@…>
Remove spurious trace
7:42 AM Changeset in ghc [f4cc350]supercompiler by Max Bolingbroke <batterseapower@…>
Correct the types of generalised term binders
7:42 AM Changeset in ghc [d0da1626]supercompiler by Max Bolingbroke <batterseapower@…>
Fix some long-standing binder-FV issues, especially in evaluator FVs
7:42 AM Changeset in ghc [a509ad4]supercompiler by Max Bolingbroke <batterseapower@…>
Small tweak to MSG utility function
7:42 AM Changeset in ghc [e8b2ca32]supercompiler by Max Bolingbroke <batterseapower@…>
Carefully do inverted-rename on types in invertRenaming
7:42 AM Changeset in ghc [8229fa6d]supercompiler by Max Bolingbroke <batterseapower@…>
Add a FIXME about the effects on termination of instance-MSGing
7:42 AM Changeset in ghc [5725453]supercompiler by Max Bolingbroke <batterseapower@…>
Check for kindvar/tyvar mismatch in MSG
7:42 AM Changeset in ghc [75adf92]supercompiler by Max Bolingbroke <batterseapower@…>
Make corresponding TyVar/KindVar changes to Match
7:42 AM Changeset in ghc [6325e202]supercompiler by Max Bolingbroke <batterseapower@…>
Small comments and things
7:42 AM Changeset in ghc [8e4b2ae]supercompiler by Max Bolingbroke <batterseapower@…>
Babysteps towards a better MSG where outgoing occurrences have correct info
7:42 AM Changeset in ghc [c897385]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a number of egrarious errors in matching and MSG+MSG-matching
12:17 AM Ticket #6088 (GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints) created by Lemming
I have the following module that uses generalized newtype deriving: […] …

May 10, 2012:

5:15 PM Holes edited by spl
Minor typo (diff)
4:15 PM Changeset in ghc [4674a23]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Max Bolingbroke <batterseapower@…>
Fix bug in expandTypeSynonyms that could rarely cause problems
3:55 PM Changeset in nofib [9812ada]supercompiler by Max Bolingbroke <batterseapower@…>
Change how default supercompliation options are setup
3:55 PM Changeset in nofib [b65222f]supercompiler by Max Bolingbroke <batterseapower@…>
Playing with Bernouilli
3:55 PM Changeset in nofib [d77043e]supercompiler by Max Bolingbroke <batterseapower@…>
Ignore common OS junk
3:55 PM Changeset in nofib [5d0863d]supercompiler by Max Bolingbroke <batterseapower@…>
First draft of supercompilation nofib tests
3:44 PM Changeset in base [19f01f9]supercompiler by Max Bolingbroke <batterseapower@…>
Mark some List modules SUPERINLINABLE
3:27 PM Holes edited by spl
Revise description of variations in response to SLPJ (diff)
3:14 PM Changeset in ghc [007e710]supercompiler by Max Bolingbroke <batterseapower@…>
Tweak dead type defaulting
3:14 PM Changeset in ghc [e7cd0ba]supercompiler by Max Bolingbroke <batterseapower@…>
Tweaks to MSG, especially WRT handling of let-bound heapbindings
3:14 PM Changeset in ghc [d9eac575]supercompiler by Max Bolingbroke <batterseapower@…>
Fix major brainfart in msgVarBndr
3:14 PM Changeset in ghc [f20b2f7b]supercompiler by Max Bolingbroke <batterseapower@…>
FIXME only
3:14 PM Changeset in ghc [0b86b7a8]supercompiler by Max Bolingbroke <batterseapower@…>
Some FIXMEs about common-heap-vars optimisation in presence of MSG
3:14 PM Changeset in ghc [25a4e4b]supercompiler by Max Bolingbroke <batterseapower@…>
Further musing about the common-heap-vars hack for MSG
3:14 PM Changeset in ghc [f79e0c5]supercompiler by Max Bolingbroke <batterseapower@…>
Preserve the common-heap-vars invariant in MSG, exploit it more from Process3 (just use InScopeSet)
3:14 PM Changeset in ghc [596159a]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:14 PM Changeset in ghc [80a4201f]supercompiler by Max Bolingbroke <batterseapower@…>
Use MSG to implement matching in Process3 (experimentally)
3:14 PM Changeset in ghc [8b3355f3]supercompiler by Max Bolingbroke <batterseapower@…>
Comments and commoning-up of InstanceMatching
3:14 PM Changeset in ghc [ebe007c]supercompiler by Max Bolingbroke <batterseapower@…>
Restrict assertion
3:14 PM Changeset in ghc [1685b29]supercompiler by Max Bolingbroke <batterseapower@…>
Deal with non-matching heap binders by forcing generalisation
3:14 PM Changeset in ghc [a1355a8c]supercompiler by Max Bolingbroke <batterseapower@…>
Slight cleanup in applyAbsVars: loop with an InScopeSet instead of VarSet
3:14 PM Changeset in ghc [de1964e]supercompiler by Max Bolingbroke <batterseapower@…>
Add the missing PendingTerm handling to MSG
3:14 PM Changeset in ghc [13c4e4d]supercompiler by Max Bolingbroke <batterseapower@…>
Add some FIXMEs
3:14 PM Changeset in ghc [2b41c3d]supercompiler by Max Bolingbroke <batterseapower@…>
A marvellous method for allowing MSG to try to avoid generalisation for (x,e) pairs
3:14 PM Changeset in ghc [95fd4a1]supercompiler by Max Bolingbroke <batterseapower@…>
Add FIXME reminding me to remove PrimOp
3:14 PM Changeset in ghc [8b96ed2]supercompiler by Max Bolingbroke <batterseapower@…>
Tweak comment only
3:14 PM Changeset in ghc [5ea5aa66]supercompiler by Max Bolingbroke <batterseapower@…>
Extensive notes on match loops due to term-term matching
3:14 PM Changeset in ghc [e736d605]supercompiler by Max Bolingbroke <batterseapower@…>
Allow duplication of cheap stuff (not just values) when preparing term unfoldings
3:14 PM Changeset in ghc [094d50e]supercompiler by Max Bolingbroke <batterseapower@…>
Add comment about Indirect
3:14 PM Changeset in ghc [4b7623b]supercompiler by Max Bolingbroke <batterseapower@…>
Brackets only
3:14 PM Changeset in ghc [50e7af2e]supercompiler by Max Bolingbroke <batterseapower@…>
Unfailing term MSGing
3:14 PM Changeset in ghc [9df6981]supercompiler by Max Bolingbroke <batterseapower@…>
Experiment: allow common heap binders to clash with left/right heap binders
3:14 PM Changeset in ghc [0a1f003]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a number of potential shadowing bugs in MSG, improve choice of Uniques at the same time
3:14 PM Changeset in ghc [021e35b]supercompiler by Max Bolingbroke <batterseapower@…>
Mark lambda contexts and be selective about what MSG floats from them
3:14 PM Changeset in ghc [170cee5]supercompiler by Max Bolingbroke <batterseapower@…>
Preliminary thoughts about renaming via MSG, invertRenaming
3:14 PM Changeset in ghc [245bdd8]supercompiler by Max Bolingbroke <batterseapower@…>
Incorporate the 'common heap vars' optimisation into MSG
3:14 PM Changeset in ghc [07e29c30]supercompiler by Max Bolingbroke <batterseapower@…>
Add additional check to the common-heap-vars match optimisation
3:14 PM Changeset in ghc [46840285]supercompiler by Max Bolingbroke <batterseapower@…>
Comments about binder MSG only
3:14 PM Changeset in ghc [ead945cd]supercompiler by Max Bolingbroke <batterseapower@…>
Fix stupid variable shadowing bug
3:14 PM Changeset in ghc [91565646]supercompiler by Max Bolingbroke <batterseapower@…>
Remove near-useless trace
3:14 PM Changeset in ghc [355a9c9]supercompiler by Max Bolingbroke <batterseapower@…>
MSGing *changes* FVs, so it is invalid to just traverse the Anned constructor. Doh.
3:14 PM Changeset in ghc [6b68150]supercompiler by Max Bolingbroke <batterseapower@…>
Space only
3:14 PM Changeset in ghc [7e111d4]supercompiler by Max Bolingbroke <batterseapower@…>
MSG type instantiations
3:14 PM Changeset in ghc [81555a5b]supercompiler by Max Bolingbroke <batterseapower@…>
Make type MSG unfailing
3:14 PM Changeset in ghc [7454df3]supercompiler by Max Bolingbroke <batterseapower@…>
Unfailingly MSG coercions
3:14 PM Changeset in ghc [1721b87c]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:14 PM Changeset in ghc [541667e0]supercompiler by Max Bolingbroke <batterseapower@…>
Had the same bugs in matching recursive lets as I did in the MSGer
3:14 PM Changeset in ghc [97d2022]supercompiler by Max Bolingbroke <batterseapower@…>
Tidy some traces, imports
3:14 PM Changeset in ghc [e3cc6d6]supercompiler by Max Bolingbroke <batterseapower@…>
Addendum to previous free vars fix: the InScopeSet also has to include the added FVs
3:14 PM Changeset in ghc [e524ff3]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure we add renamings to both sides when MSGing lambda bound heap bindings
3:14 PM Changeset in ghc [40663c3]supercompiler by Max Bolingbroke <batterseapower@…>
Tidy error message
3:14 PM Changeset in ghc [37d1c06]supercompiler by Max Bolingbroke <batterseapower@…>
Better setting of generalisation flags in MSG
3:14 PM Changeset in ghc [56c89c40]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure we can copy in lambdaBound bindigns for update frames in MSG
3:14 PM Changeset in ghc [8be1741]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:14 PM Changeset in ghc [fab4a36]supercompiler by Max Bolingbroke <batterseapower@…>
Tweak computation of MSG stack generalisation flag
3:14 PM Changeset in ghc [f3a333a2]supercompiler by Max Bolingbroke <batterseapower@…>
Remove MonadFix instance for MSG
3:14 PM Changeset in ghc [95869662]supercompiler by Max Bolingbroke <batterseapower@…>
Add option for history tree
3:14 PM Changeset in ghc [e8691a0]supercompiler by Max Bolingbroke <batterseapower@…>
Fix the rollback check, which appeared to be totally broken
3:14 PM Changeset in ghc [3a164c5]supercompiler by Max Bolingbroke <batterseapower@…>
Current best guess at incorporating MSG
3:14 PM Changeset in ghc [56e6ca55]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint changes to error reporting
3:14 PM Changeset in ghc [ab79ca3]supercompiler by Max Bolingbroke <batterseapower@…>
Pick up free variables of FV unfoldings correctly when constructing heap
3:14 PM Changeset in ghc [daf45f1]supercompiler by Max Bolingbroke <batterseapower@…>
Correctly deal with recursive binding when MSGing, report better errors upon failure
3:14 PM Changeset in ghc [996d4144]supercompiler by Max Bolingbroke <batterseapower@…>
More debug traces
3:09 PM Changeset in ghc [5aa31d1]supercompiler by Max Bolingbroke <batterseapower@…>
Disable rules when simplifying stable unfolding to work around GHC.List non-termination
3:09 PM Changeset in ghc [db8fd4dc]supercompiler by Max Bolingbroke <batterseapower@…>
Messing with the heuristics
3:09 PM Changeset in ghc [bc6a8832]supercompiler by Max Bolingbroke <batterseapower@…>
Generalise residualisation code
3:09 PM Changeset in ghc [6f53c83c]supercompiler by Max Bolingbroke <batterseapower@…>
More feedback from ghcHeuristics
3:09 PM Changeset in ghc [5c99f5b]supercompiler by Max Bolingbroke <batterseapower@…>
Start computing unfoldings for GHC's heuristics at the occurrence sites (more reliable)
3:09 PM Changeset in ghc [a7cf8d9d]supercompiler by Max Bolingbroke <batterseapower@…>
Start paying attention to loop-breaker-ness again
3:09 PM Changeset in ghc [7be7c81]supercompiler by Max Bolingbroke <batterseapower@…>
Garbage collect in evaluator to detect used-once
3:09 PM Changeset in ghc [511ec132]supercompiler by Max Bolingbroke <batterseapower@…>
Add ability to set default inline pragmas for the whole module (can be overriden by specific ones)
3:09 PM Changeset in ghc [ec2f7fc]supercompiler by Max Bolingbroke <batterseapower@…>
Collect reasons as to why unfoldings couldn't be used, experimentally allow non-loopbreaker inlinings
3:09 PM Changeset in ghc [6c499e6]supercompiler by Max Bolingbroke <batterseapower@…>
Collect tags from AltCons as well because of positive information propagation
3:09 PM Changeset in ghc [d437772]supercompiler by Max Bolingbroke <batterseapower@…>
Check shouldExposeUnfolding in the evaluator too
3:09 PM Changeset in ghc [98ac9396]supercompiler by Max Bolingbroke <batterseapower@…>
Tag primops specially, skip wrappers for saturated occurrences
3:09 PM Changeset in ghc [859677f]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:09 PM Changeset in ghc [fdc77e4]supercompiler by Max Bolingbroke <batterseapower@…>
Push normalisation in (in the evaluator) in preparation for speculative inlining experiment
3:09 PM Changeset in ghc [5e91a454]supercompiler by Max Bolingbroke <batterseapower@…>
Grow some primitive inlining heuristics in the evaluator
3:09 PM Changeset in ghc [52e6777]supercompiler by Max Bolingbroke <batterseapower@…>
A whole mess of inlining heuristics
3:09 PM Changeset in ghc [2d199e5c]supercompiler by Max Bolingbroke <batterseapower@…>
Fix possible out-of-scope error in CoreBinds to CoreTerm translation
3:09 PM Changeset in ghc [3506e622]supercompiler by Max Bolingbroke <batterseapower@…>
Fix possible kinding error associated with defaulting dead type variables
3:09 PM Changeset in ghc [92cbcf2]supercompiler by Max Bolingbroke <batterseapower@…>
Rejig AbsVar handling so that dead TyVars get substituted in even at immediate tieback sites
3:09 PM Changeset in ghc [4f6c5f5]supercompiler by Max Bolingbroke <batterseapower@…>
Fix intensely stupid bug in binding partitioning
3:09 PM Changeset in ghc [15031a34]supercompiler by Max Bolingbroke <batterseapower@…>
Fix shadowing bug in DFunUnfoldings that showed up as a lint failure
3:09 PM Changeset in ghc [8cf2d73]supercompiler by Max Bolingbroke <batterseapower@…>
Use localiseId when manufacturing Id for positive information This prevents us creating some local bindings with external names, which messes up later simplifier runs
3:09 PM Changeset in ghc [83e11552]supercompiler by Max Bolingbroke <batterseapower@…>
Try to improve resid-tag tracking
3:09 PM Changeset in ghc [2ce5cd2]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only about evaluatePrim
3:09 PM Changeset in ghc [6040009e]supercompiler by Max Bolingbroke <batterseapower@…>
Add SUPERINLINABLE pragma
3:09 PM Changeset in ghc [6972dc81]supercompiler by Max Bolingbroke <batterseapower@…>
Note about GCing before match, fixes a termination bug
3:09 PM Changeset in ghc [cbbb6fab]supercompiler by Max Bolingbroke <batterseapower@…>
Correct the commenting-out of the GC call
3:09 PM Changeset in ghc [f62af23]supercompiler by Max Bolingbroke <batterseapower@…>
Garbage collect when determining stateAbsVars since we stopped doing it in reduceForMatch
3:09 PM Changeset in ghc [4cf0709a]supercompiler by Max Bolingbroke <batterseapower@…>
In the evaluator, trim stack frames that are unreachable due to bottoming Ids
3:09 PM Changeset in ghc [b52b1b4]supercompiler by Max Bolingbroke <batterseapower@…>
Small comment with data about bernouilli
3:09 PM Changeset in ghc [2479681]supercompiler by Max Bolingbroke <batterseapower@…>
Improve TagBag pretty-printing
3:09 PM Changeset in ghc [251b7ae4]supercompiler by Max Bolingbroke <batterseapower@…>
Make children summary info shorter
3:09 PM Changeset in ghc [5a514101]supercompiler by Max Bolingbroke <batterseapower@…>
Change lookupIdSubst to rename global variables if a mapping is available
3:09 PM Changeset in ghc [8da007b2]supercompiler by Max Bolingbroke <batterseapower@…>
Deforest everything in sight
3:09 PM Changeset in ghc [521b5228]supercompiler by Max Bolingbroke <batterseapower@…>
Put the bulk of the tracing under flag control
3:09 PM Changeset in ghc [3234ffdb]supercompiler by Max Bolingbroke <batterseapower@…>
Carefully rethink what the tag in a CastBy actually means and update the code with the new story
3:09 PM Changeset in ghc [ddde588c]supercompiler by Max Bolingbroke <batterseapower@…>
Fix small bug in speculation and add multiple comments
3:09 PM Changeset in ghc [977fd43]supercompiler by Max Bolingbroke <batterseapower@…>
Pretty-print indirection specially
3:09 PM Changeset in ghc [fa539530]supercompiler by Max Bolingbroke <batterseapower@…>
Add SUPERCOMPILE pragma
3:09 PM Changeset in ghc [85be4686]supercompiler by Max Bolingbroke <batterseapower@…>
Correct flag name for memo cache preinitializatio
3:09 PM Changeset in ghc [e144ebd0]supercompiler by Max Bolingbroke <batterseapower@…>
Make use of SUPERCOMPILE pragmas when deciding what to SC
3:09 PM Changeset in ghc [c027f2e5]supercompiler by Max Bolingbroke <batterseapower@…>
Correct the circumstances in which SC IdInfo gets ppred
3:09 PM Changeset in ghc [f5ead43c]supercompiler by Max Bolingbroke <batterseapower@…>
Fix selective supercompilation: suck in all things *referred to*, not *referring to us*
3:09 PM Changeset in ghc [cabf31d6]supercompiler by Max Bolingbroke <batterseapower@…>
When abstracting over variables in the supercompiler, abstract over dictionaries first
3:09 PM Changeset in ghc [e0adb99]supercompiler by Max Bolingbroke <batterseapower@…>
SCC annotations all over the supercompiler
3:09 PM Changeset in ghc [54315875]supercompiler by Max Bolingbroke <batterseapower@…>
Preinitalization changes, normalise in eta-expansion: still a bit buggy, see GHC.Base.>>= in exp3_8
3:09 PM Changeset in ghc [ec50705d]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a major bug with no-preinit where too many bindings were being eliminated post-speculation + some comments
3:09 PM Changeset in ghc [8402d155]supercompiler by Max Bolingbroke <batterseapower@…>
The to_binds when not preinitalizing are of mixed liftedness
3:09 PM Changeset in ghc [b896fa8d]supercompiler by Max Bolingbroke <batterseapower@…>
Another attempt at Binds->Term translation
3:09 PM Changeset in ghc [8f3fe711]supercompiler by Max Bolingbroke <batterseapower@…>
Non-preinitialization binds must go outside h functions
3:09 PM Changeset in ghc [3b6037c]supercompiler by Max Bolingbroke <batterseapower@…>
Zap binders in Binds->Term to work around GHC simplifier weirdness
3:09 PM Changeset in ghc [89be615]supercompiler by Max Bolingbroke <batterseapower@…>
Only abstract over RealWorld# conditionally
3:08 PM Changeset in ghc [0db230a]supercompiler by Max Bolingbroke <batterseapower@…>
Fix some instances where I had forgotten to consider varBndrFreeVars
3:08 PM Changeset in ghc [c30fc1dc]supercompiler by Max Bolingbroke <batterseapower@…>
Redefine tcSplitDFunTy so that it returns the types of the theta as well
3:08 PM Changeset in ghc [76e2d6ae]supercompiler by Max Bolingbroke <batterseapower@…>
Put Core-specific type-finding functions in the core module hierarchy
3:08 PM Changeset in ghc [3d7a4476]supercompiler by Max Bolingbroke <batterseapower@…>
Fix the DFunUnfolding elaboration so it isn't totally bogus
3:08 PM Changeset in ghc [0190e414]supercompiler by Max Bolingbroke <batterseapower@…>
Remove unused import
3:08 PM Changeset in ghc [7f4593a2]supercompiler by Max Bolingbroke <batterseapower@…>
Fix longstanding bug in stateType calculation for primop stack frames
3:08 PM Changeset in ghc [3ebcf844]supercompiler by Max Bolingbroke <batterseapower@…>
Changes to supercompiler code required to build after merge
3:08 PM Changeset in ghc [8b70add]supercompiler by Max Bolingbroke <batterseapower@…>
Explicit import lists from Data.Monoid to prevent <> clash
3:08 PM Changeset in ghc [fa91ea7e]supercompiler by Max Bolingbroke <batterseapower@…>
Remove unused variable
3:08 PM Changeset in ghc [cf3ba89]supercompiler by Max Bolingbroke <batterseapower@…>
Fill out the PtrRep case for when manufacturing dead argument fillers
3:08 PM Changeset in ghc [caa251bc]supercompiler by Max Bolingbroke <batterseapower@…>
Comment out match failure trace (very verbose)
3:08 PM Changeset in ghc [d3bd75e0]supercompiler by Max Bolingbroke <batterseapower@…>
Remove unused var warnings
3:08 PM Changeset in ghc [a246e38]supercompiler by Max Bolingbroke <batterseapower@…>
Support supplying a set of common variables to the matcher
3:08 PM Changeset in ghc [bd7d252]supercompiler by Max Bolingbroke <batterseapower@…>
Let the splitBy functions report failure
3:08 PM Changeset in ghc [4b56943]supercompiler by Max Bolingbroke <batterseapower@…>
Thread speculation history in attempt to tame huge speculation times
3:08 PM Changeset in ghc [60e024c]supercompiler by Max Bolingbroke <batterseapower@…>
Half-hearted attempt to deal with rollback to non-ancestors
3:08 PM Changeset in ghc [924f142e]supercompiler by Max Bolingbroke <batterseapower@…>
Implement instance-matching, including splitter support. This does indeed break map-map
3:08 PM Changeset in ghc [48ae26af]supercompiler by Max Bolingbroke <batterseapower@…>
Small tweaks only
3:08 PM Changeset in ghc [2d2e20b]supercompiler by Max Bolingbroke <batterseapower@…>
GC less agressively in speculation
3:08 PM Changeset in ghc [5bc0b5a]supercompiler by Max Bolingbroke <batterseapower@…>
New implementation of explicit promise tree (cleaner)
3:08 PM Changeset in ghc [595e672]supercompiler by Max Bolingbroke <batterseapower@…>
Use Train data type for promises tree instead (more precise), allow ancestor instance match
3:08 PM Changeset in ghc [883dcb69]supercompiler by Max Bolingbroke <batterseapower@…>
Full (possibly working) instance matching on ancestors, marking of generalised heap bindings/stack
3:08 PM Changeset in ghc [b24884b]supercompiler by Max Bolingbroke <batterseapower@…>
Missing lazy pattern match in eta
3:08 PM Changeset in ghc [5688858a]supercompiler by Max Bolingbroke <batterseapower@…>
Add parent tracing to speculation
3:08 PM Changeset in ghc [254acbf]supercompiler by Max Bolingbroke <batterseapower@…>
Be less verbose when showing MatchLRs (terms are too large to include)
3:08 PM Changeset in ghc [5297bd7]supercompiler by Max Bolingbroke <batterseapower@…>
Rethink skipping in Process3 memoisation
3:08 PM Changeset in ghc [01c11dd]supercompiler by Max Bolingbroke <batterseapower@…>
Put eager value splitting under flag control
3:08 PM Changeset in ghc [b85fbf24]supercompiler by Max Bolingbroke <batterseapower@…>
Have prepareTerm return a preinitialized version of the term as well
3:08 PM Changeset in ghc [d1b49822]supercompiler by Max Bolingbroke <batterseapower@…>
Memo table preinitialization in Process3
3:08 PM Changeset in ghc [7092279]supercompiler by Max Bolingbroke <batterseapower@…>
First version of heap instance-matching
3:08 PM Changeset in ghc [00c8ffc0]supercompiler by Max Bolingbroke <batterseapower@…>
Try to deal with the stack in instantiation-copying logic
3:08 PM Changeset in ghc [fbe7ad2]supercompiler by Max Bolingbroke <batterseapower@…>
Pretty print on instance match
3:08 PM Changeset in ghc [8a11d51]supercompiler by Max Bolingbroke <batterseapower@…>
Weaken assertion in gc function
3:08 PM Changeset in ghc [bcf49e8]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint work on true instance-matching
3:08 PM Changeset in ghc [02566ff]supercompiler by Max Bolingbroke <batterseapower@…>
Make StaticFlags actualy work as command line arguments
3:08 PM Changeset in ghc [de136afe]supercompiler by Max Bolingbroke <batterseapower@…>
I was preventing match too eagerly by counting too many bindings as 'lambdaish'
3:08 PM Changeset in ghc [854e2762]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a bug where the talis of a generalised state would not be manifest
3:08 PM Changeset in ghc [e5fa1ba]supercompiler by Max Bolingbroke <batterseapower@…>
Add utility functions for working with mixed type/value applications
3:08 PM Changeset in ghc [6cf81dd7]supercompiler by Max Bolingbroke <batterseapower@…>
Redundant import
3:08 PM Changeset in ghc [32805552]supercompiler by Max Bolingbroke <batterseapower@…>
Fix Process summary stats for shallow trees
3:08 PM Changeset in ghc [6a8fd8bf]supercompiler by Max Bolingbroke <batterseapower@…>
Some commented prettyprints for speculation
3:08 PM Changeset in ghc [324b1eb]supercompiler by Max Bolingbroke <batterseapower@…>
GC state in speculator to make termination check more lenient
3:08 PM Changeset in ghc [ee54e4fe]supercompiler by Max Bolingbroke <batterseapower@…>
Trim imports
3:08 PM Changeset in ghc [d6689d9f]supercompiler by Max Bolingbroke <batterseapower@…>
Show all deepest paths, not just one of them
3:08 PM Changeset in ghc [eb767cfb]supercompiler by Max Bolingbroke <batterseapower@…>
Add depth histogram, data structure summariser for leaf nodes
3:08 PM Changeset in ghc [932905e2]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:08 PM Changeset in ghc [235e966e]supercompiler by Max Bolingbroke <batterseapower@…>
Put positive information propagation under Staticflags control and turn it off
3:08 PM Changeset in ghc [a0e1613]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint adding exceptions to Process3
3:08 PM Changeset in ghc [1219132]supercompiler by Max Bolingbroke <batterseapower@…>
Rollback
3:08 PM Changeset in ghc [0f394cdd]supercompiler by Max Bolingbroke <batterseapower@…>
Introduce CheckOnly memoisation mode
3:08 PM Changeset in ghc [6c485f4e]supercompiler by Max Bolingbroke <batterseapower@…>
Filter case alternatives in Split to take advantage of type refinement and eliminate stupid default cases
3:08 PM Changeset in ghc [dac1dfbd]supercompiler by Max Bolingbroke <batterseapower@…>
Show deepest path in SC at end of supercompilation
3:08 PM Changeset in ghc [38f41ba2]supercompiler by Max Bolingbroke <batterseapower@…>
Static-argument-transform some functions that are likely in the inner loop of term matching
3:08 PM Changeset in ghc [c5eac68f]supercompiler by Max Bolingbroke <batterseapower@…>
Fix SAT
3:08 PM Changeset in ghc [480ac43e]supercompiler by Max Bolingbroke <batterseapower@…>
Remove warning
3:08 PM Changeset in ghc [ed02c26b]supercompiler by Max Bolingbroke <batterseapower@…>
Improve deepest-path printing
3:08 PM Changeset in ghc [16d25e3]supercompiler by Max Bolingbroke <batterseapower@…>
Put case-alt refinement under flag control since it may be causing even more divergence in Main5
3:08 PM Changeset in ghc [d5374d3]supercompiler by Max Bolingbroke <batterseapower@…>
Record generalisation info in children tree
3:08 PM Changeset in ghc [cf0f6dd1]supercompiler by Max Bolingbroke <batterseapower@…>
Fix map-map fusion >_>
3:08 PM Changeset in ghc [6f08f8b]supercompiler by Max Bolingbroke <batterseapower@…>
Fix long-standing bug in zipBracketeds, exposed by eager value splitting
3:08 PM Changeset in ghc [854c774]supercompiler by Max Bolingbroke <batterseapower@…>
Tweaks to eager value splitting code only
3:08 PM Changeset in ghc [ee61318]supercompiler by Max Bolingbroke <batterseapower@…>
Fix a horrible matching bug that was causing too many binder pairs to be matched rigidly
3:08 PM Changeset in ghc [4549ab08]supercompiler by Max Bolingbroke <batterseapower@…>
Debugging aid: summary of node descendant count
3:08 PM Changeset in ghc [dd15e91]supercompiler by Max Bolingbroke <batterseapower@…>
Comment about indirections only
3:08 PM Changeset in ghc [fa5cfc0]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:08 PM Changeset in ghc [5851773e]supercompiler by Max Bolingbroke <batterseapower@…>
Add dEPTH_LIIMT
3:08 PM Changeset in ghc [4fc83553]supercompiler by Max Bolingbroke <batterseapower@…>
Make impossible-alternative-finding code more reusable Makes the following changes: 1. Generalises the type signatures of some functions relating to alternatives so that the type of "variables" and "expression" is not specified 2. Puts the bulk of the alternative-filtering code into a new function filterAlts (in CoreUtils) that can be used outside of the SimplM monad 3. Allows prepareAlts to return a null alternatives list if none are applicable - it turns out that this case was already handled by the caller (in the simplifier). This should result in a modest optimisation improvement in some cases.
3:08 PM Changeset in ghc [167fed1]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure we localise AbsVars when building binding sites
3:08 PM Changeset in ghc [27024dc]supercompiler by Max Bolingbroke <batterseapower@…>
Fix free variables when deeply splitting values
3:08 PM Changeset in ghc [043abaeb]supercompiler by Max Bolingbroke <batterseapower@…>
Do not externalise non-Ids
3:08 PM Changeset in ghc [7ced16b]supercompiler by Max Bolingbroke <batterseapower@…>
Fix Entered information when eager splitting
3:08 PM Changeset in ghc [4f815ddf]supercompiler by Max Bolingbroke <batterseapower@…>
Changes with Simon
3:08 PM Changeset in ghc [d6128ff]supercompiler by Max Bolingbroke <batterseapower@…>
Abstract all h-functions over RealWorld#
3:08 PM Changeset in ghc [7b37a89]supercompiler by Max Bolingbroke <batterseapower@…>
Use a VoidRep placeholder that doesn't crash the simplifier
3:08 PM Changeset in ghc [02ca04fa]supercompiler by Max Bolingbroke <batterseapower@…>
Was removing too many FVs from the shell
3:08 PM Changeset in ghc [343b8ac8]supercompiler by Max Bolingbroke <batterseapower@…>
Small code cleanup to improve the output of RealWorld# arguments
3:08 PM Changeset in ghc [259e6f6c]supercompiler by Max Bolingbroke <batterseapower@…>
Track residualised tags for syntax dup stats
3:08 PM Changeset in ghc [e53710f6]supercompiler by Max Bolingbroke <batterseapower@…>
Better pretty-printing for lambdas (more horizontally compact)
3:08 PM Changeset in ghc [6ced9eb4]supercompiler by Max Bolingbroke <batterseapower@…>
Avoid overflow when using Deeds maxBound
3:08 PM Changeset in ghc [c302fb93]supercompiler by Max Bolingbroke <batterseapower@…>
Teach the splitter that the body of TyLambdas do not duplicate work
3:08 PM Changeset in ghc [921490e]supercompiler by Max Bolingbroke <batterseapower@…>
Stuff
3:08 PM Changeset in ghc [2c3692f7]supercompiler by Max Bolingbroke <batterseapower@…>
Eagerly split values to solve the false-tieback problem (I hope)
3:08 PM Changeset in ghc [3899bb7]supercompiler by Max Bolingbroke <batterseapower@…>
Fix warnings
3:08 PM Changeset in ghc [8a71f2f]supercompiler by Max Bolingbroke <batterseapower@…>
Give DataCons better tags
3:08 PM Changeset in ghc [39719535]supercompiler by Max Bolingbroke <batterseapower@…>
Add stop count
3:08 PM Changeset in ghc [de258ef]supercompiler by Max Bolingbroke <batterseapower@…>
Debugging trace upon matching
3:08 PM Changeset in ghc [0702b1f]supercompiler by Max Bolingbroke <batterseapower@…>
Trace depth, trace less
3:08 PM Changeset in ghc [a8a000d4]supercompiler by Max Bolingbroke <batterseapower@…>
Match after reduction
3:08 PM Changeset in ghc [8115435e]supercompiler by Max Bolingbroke <batterseapower@…>
Record reduction count in reduce'
3:08 PM Changeset in ghc [670493a9]supercompiler by Max Bolingbroke <batterseapower@…>
Change Deeds into abstract type, add step limit to it
3:08 PM Changeset in ghc [90188406]supercompiler by Max Bolingbroke <batterseapower@…>
Revert "Record reduction count in reduce'" This reverts commit a25cb09d0dc819c283a21d5bb29ea39abeadfe41.
3:08 PM Changeset in ghc [de85001]supercompiler by Max Bolingbroke <batterseapower@…>
Claim steps when reducing, ignore deeds for reduce-matching
3:08 PM Changeset in ghc [48aa16d]supercompiler by Max Bolingbroke <batterseapower@…>
Add TODOs, debug outputs..
3:08 PM Changeset in ghc [2ce8f693]supercompiler by Max Bolingbroke <batterseapower@…>
Add explicit Parent parameter
3:08 PM Changeset in ghc [b6bc3a0d]supercompiler by Max Bolingbroke <batterseapower@…>
Blah blah blah
3:08 PM Changeset in ghc [e7e1af8]supercompiler by Max Bolingbroke <batterseapower@…>
Tracing only
3:08 PM Changeset in ghc [70ad91ad]supercompiler by Max Bolingbroke <batterseapower@…>
Absolute rubbish
3:08 PM Changeset in ghc [c181a9c]supercompiler by Max Bolingbroke <batterseapower@…>
Generalise the hack which prevented self-recursive thunks being residualised
3:08 PM Changeset in ghc [b3e61c02]supercompiler by Max Bolingbroke <batterseapower@…>
Add Process3
3:08 PM Changeset in ghc [fa0ea797]supercompiler by Max Bolingbroke <batterseapower@…>
SPeculate in Process3 so we can do (f . g)
3:08 PM Changeset in ghc [c925d1d]supercompiler by Max Bolingbroke <batterseapower@…>
Prevent knot-tying bug in Match
3:08 PM Changeset in ghc [4efebd18]supercompiler by Max Bolingbroke <batterseapower@…>
Disable deeds by default
3:08 PM Changeset in ghc [27a163e]supercompiler by Max Bolingbroke <batterseapower@…>
Remove redundancies from Process2, fix a bug
3:08 PM Changeset in ghc [0d340c99]supercompiler by Max Bolingbroke <batterseapower@…>
Remove redundant export from Process1
3:08 PM Changeset in ghc [c55125f]supercompiler by Max Bolingbroke <batterseapower@…>
Make process2 the defaulrt
3:08 PM Changeset in ghc [02523b61]supercompiler by Max Bolingbroke <batterseapower@…>
Try not to panic in bindCapturedFloats (still a hack)
3:08 PM Changeset in ghc [0429934]supercompiler by Max Bolingbroke <batterseapower@…>
Add speculation and rollback to Process2
3:08 PM Changeset in ghc [0e2dbf4e]supercompiler by Max Bolingbroke <batterseapower@…>
Implement graphical history, thread speculation properly
3:08 PM Changeset in ghc [9bce977]supercompiler by Max Bolingbroke <batterseapower@…>
Refactor in terms of terminateM combinator
3:08 PM Changeset in ghc [b4103f89]supercompiler by Max Bolingbroke <batterseapower@…>
Just rearrange stuff a bit, change the meaning of generated_key
3:08 PM Changeset in ghc [8f5c280]supercompiler by Max Bolingbroke <batterseapower@…>
I may have the perfect refactoring of Process2
3:08 PM Changeset in ghc [802e6010]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint intermediate DelayM refactoring
3:08 PM Changeset in ghc [8088569]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint building version of new process with function to delay folded in
3:08 PM Changeset in ghc [9775401]supercompiler by Max Bolingbroke <batterseapower@…>
Use a functor type parameter to DelayStructure rather than a GADT index
3:08 PM Changeset in ghc [63c09448]supercompiler by Max Bolingbroke <batterseapower@…>
Fill out sc' definition: history still not propagated
3:08 PM Changeset in ghc [c16f4e6]supercompiler by Max Bolingbroke <batterseapower@…>
Generalise the type of memo, for now
3:08 PM Changeset in ghc [d17c607d]supercompiler by Max Bolingbroke <batterseapower@…>
Fulfilments in Process2 (well, it typechecks)
3:08 PM Changeset in ghc [604b3b33]supercompiler by Max Bolingbroke <batterseapower@…>
Bring both histories into scope and complete implementation for threaded history
3:08 PM Changeset in ghc [6db05a3]supercompiler by Max Bolingbroke <batterseapower@…>
Good-enough implementation of MonadStatics for now
3:08 PM Changeset in ghc [1182acec]supercompiler by Max Bolingbroke <batterseapower@…>
Small tweaks
3:08 PM Changeset in ghc [50b8d4bd]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint an experiment in process-tree refactoring
3:04 PM Changeset in ghc [b61b975b]supercompiler by Max Bolingbroke <batterseapower@…>
Wasn't releasing deeds when destroying identity CastIt
3:04 PM Changeset in ghc [ee4969d]supercompiler by Max Bolingbroke <batterseapower@…>
Allow statics to not be printed (cleaner output)
3:04 PM Changeset in ghc [97e7300]supercompiler by Max Bolingbroke <batterseapower@…>
PRety-printing tweaks
3:04 PM Changeset in ghc [fe12ea1f]supercompiler by Max Bolingbroke <batterseapower@…>
Bug fixes detected by Lint
3:04 PM Changeset in ghc [ee1f9640]supercompiler by Max Bolingbroke <batterseapower@…>
Turn deeds on permanently
3:04 PM Changeset in ghc [52e27bd]supercompiler by Max Bolingbroke <batterseapower@…>
Fix various bugs to do with IdInfo
3:04 PM Changeset in ghc [77f89c7]supercompiler by Max Bolingbroke <batterseapower@…>
Small tweaks, still doesn't work
3:04 PM Changeset in ghc [f88d9eb]supercompiler by Max Bolingbroke <batterseapower@…>
Simplify a lot of bullshit
3:04 PM Changeset in ghc [2cbdf8b8]supercompiler by Max Bolingbroke <batterseapower@…>
Change how we deal with dead variable FV improvement
3:04 PM Changeset in ghc [bd1cc03]supercompiler by Max Bolingbroke <batterseapower@…>
Fill in pretty-printer
3:04 PM Changeset in ghc [fc9440d1]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint pretty printing with ctrl-c handling
3:04 PM Changeset in ghc [e27886b9]supercompiler by Max Bolingbroke <batterseapower@…>
More normalised coercions
3:04 PM Changeset in ghc [753d5d3b]supercompiler by Max Bolingbroke <batterseapower@…>
Fix stupidity added to OptCoercion
3:04 PM Changeset in ghc [7754719]supercompiler by Max Bolingbroke <batterseapower@…>
Fixes for latest GHC, eliminate refls more agressively, real data type for Coerced
3:04 PM Changeset in ghc [d7cf9dbf]supercompiler by Max Bolingbroke <batterseapower@…>
Eliminate trivial CastIt frames as well
3:04 PM Changeset in ghc [2e837ef4]supercompiler by Max Bolingbroke <batterseapower@…>
TODOs only
3:04 PM Changeset in ghc [7a40ef0b]supercompiler by Max Bolingbroke <batterseapower@…>
Warnings only
3:04 PM Changeset in ghc [a91def9c]supercompiler by Max Bolingbroke <batterseapower@…>
Ensure we don't wrap answers in spurious refl coercions, for the sake of rule matching
3:04 PM Changeset in ghc [89e949db]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint broken explicit process tree
3:04 PM Changeset in ghc [05592937]supercompiler by Max Bolingbroke <batterseapower@…>
Correct partitionFulfilments to only consider each fulfilment at most once. Record holes in the FulfilmentTree to match dropped fulfilments
3:04 PM Changeset in ghc [51e7ab9d]supercompiler by Max Bolingbroke <batterseapower@…>
Vastly simplify the FV-sensitive driving loop in Split
3:04 PM Changeset in ghc [43aa937]supercompiler by Max Bolingbroke <batterseapower@…>
Changed some Maybe into real data types
3:04 PM Changeset in ghc [f099c36]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint pretty-printing
3:04 PM Changeset in ghc [3831bdd]supercompiler by Max Bolingbroke <batterseapower@…>
Don't rely on Foldable to enumerate eligible fulfilments
3:04 PM Changeset in ghc [9ac9f96]supercompiler by Max Bolingbroke <batterseapower@…>
Fix to KPush that somehow got missed when I put universal type args in Data
3:04 PM Changeset in ghc [81a8c51]supercompiler by Max Bolingbroke <batterseapower@…>
Use my own pPrintBndr rather than the noisy pprBndr
3:04 PM Changeset in ghc [028bb610]supercompiler by Max Bolingbroke <batterseapower@…>
Add coercionKindNonRepr to work around coercionKind bug
3:04 PM Changeset in ghc [36daa53]supercompiler by Max Bolingbroke <batterseapower@…>
When residualising a term to SDoc, wrap angle brackets around the focus
3:04 PM Changeset in ghc [ac5c619]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:04 PM Changeset in ghc [1849424]supercompiler by Max Bolingbroke <batterseapower@…>
Tweak to Evaluate to prevent a cast answer evaluating to itself in one step (triggers reduce-stop). Still needs work.
3:04 PM Changeset in ghc [a1ba5fe]supercompiler by Max Bolingbroke <batterseapower@…>
Cast things are cheap as well
3:04 PM Changeset in ghc [f50d8497]supercompiler by Max Bolingbroke <batterseapower@…>
Add pprPreview2 for comparing certain SDocs within an editor
3:04 PM Changeset in ghc [bb3a0cbe]supercompiler by Max Bolingbroke <batterseapower@…>
Tracing logic for reduce-stop fiddle
3:04 PM Changeset in ghc [e8b174b]supercompiler by Max Bolingbroke <batterseapower@…>
We have to include the universal type arguments in Data or we can't derive a value's type
3:04 PM Changeset in ghc [89f53f7]supercompiler by Max Bolingbroke <batterseapower@…>
More comprehensive treatment of unlifted let bindings: in particular, stop residualising them as LetRecs
3:04 PM Changeset in ghc [345832aa]supercompiler by Max Bolingbroke <batterseapower@…>
Huge refactoring of the Bracketed data type so we can thread the correct branch type through to case_ if we use pushStack
3:04 PM Changeset in ghc [80d2669b]supercompiler by Max Bolingbroke <batterseapower@…>
Whitespace sanity in zipBracketeds
3:04 PM Changeset in ghc [6b0f6e3]supercompiler by Max Bolingbroke <batterseapower@…>
Fix subtle bugs introduced by recent changes (bindMany was bogus, for example..)
3:04 PM Changeset in ghc [4782266]supercompiler by Max Bolingbroke <batterseapower@…>
Enforce the invariant that Data never includes a newtype DataCon
3:04 PM Changeset in ghc [3d9f5246]supercompiler by Max Bolingbroke <batterseapower@…>
Do not assume that the RHS of an unlifted Let is ok-for-speculation
3:04 PM Changeset in ghc [b3a4c9b]supercompiler by Max Bolingbroke <batterseapower@…>
Fix warning, remove dead code
3:04 PM Changeset in ghc [10f7674e]supercompiler by Max Bolingbroke <batterseapower@…>
Improve pretty-printing of binders in Core (show their types)
3:04 PM Changeset in ghc [4c43261]supercompiler by Max Bolingbroke <batterseapower@…>
sc-rollback was totally busted in my porting effort
3:04 PM Changeset in ghc [a1c5f5b]supercompiler by Max Bolingbroke <batterseapower@…>
Be more fastidious about checking list-length-equality in the supercompiler
3:04 PM Changeset in ghc [4d50df6]supercompiler by Max Bolingbroke <batterseapower@…>
Correct the form of implicit datacon workers: only apply existential TVs
3:04 PM Changeset in ghc [e1cf97d2]supercompiler by Max Bolingbroke <batterseapower@…>
The case wildcard binding was totally bogus, and also triggered a deeds assertion
3:04 PM Changeset in ghc [e195faac]supercompiler by Max Bolingbroke <batterseapower@…>
The evaluator was not releasing deeds from coercions inside an Answer
3:04 PM Changeset in ghc [bfde2ee]supercompiler by Max Bolingbroke <batterseapower@…>
More cleanups in the evaluator, fix a bug where too many deeds would be released for cast application
3:04 PM Changeset in ghc [d981ac3]supercompiler by Max Bolingbroke <batterseapower@…>
I was accidentally duplicating coercions on indirections
3:04 PM Changeset in ghc [6bc0e4bd]supercompiler by Max Bolingbroke <batterseapower@…>
General cleanup of Core syntax predicates and dead code elimination
3:04 PM Changeset in ghc [3b675a8]supercompiler by Max Bolingbroke <batterseapower@…>
Eliminate some dodgy const fmaps with traverses
3:04 PM Changeset in ghc [f71dfb7]supercompiler by Max Bolingbroke <batterseapower@…>
Must abstract over type varibles as well when refining fulfilment FVs
3:04 PM Changeset in ghc [3774d47]supercompiler by Max Bolingbroke <batterseapower@…>
Improve assertion formatting in step'
3:04 PM Changeset in ghc [0130952]supercompiler by Max Bolingbroke <batterseapower@…>
Try to handle coercion variable substitutions properly
3:04 PM Changeset in ghc [319a1107]supercompiler by Max Bolingbroke <batterseapower@…>
Bite the bullet and break out a separate CoApp constructor, fix bugs exposed by its introduction (quite a few)
3:04 PM Changeset in ghc [ddfbcbe4]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:04 PM Changeset in ghc [113770f4]supercompiler by Max Bolingbroke <batterseapower@…>
Remove some redundant insertion operations on Renaming
3:04 PM Changeset in ghc [89175e0]supercompiler by Max Bolingbroke <batterseapower@…>
Improve splitSubst hack to ensure we don't lose CoVar->CoVar and TyVar->TyVar renamings
3:04 PM Changeset in ghc [8db5e678]supercompiler by Max Bolingbroke <batterseapower@…>
Fix build of plugin code, write script for installing it inplace (for testing)
3:04 PM Changeset in ghc [80a02e5]supercompiler by Max Bolingbroke <batterseapower@…>
Fix scrutination of cast data with Simon's new dealWithCoercion function
3:04 PM Changeset in ghc [6585d454]supercompiler by Max Bolingbroke <batterseapower@…>
Just in case, unconditionally export primop/dc unfoldings even if we shouldn't
3:04 PM Changeset in ghc [71462ae]supercompiler by Max Bolingbroke <batterseapower@…>
Fix construction of the initial heap from the unfoldings: FVs of unfoldings were not bound
3:04 PM Changeset in ghc [6d92f39f]supercompiler by Max Bolingbroke <batterseapower@…>
Eliminate strings from assertions, since they pretty print like lists
3:04 PM Changeset in ghc [eb542955]supercompiler by Max Bolingbroke <batterseapower@…>
Fix subtle bug where annotated variable free variables would not be renamed
3:04 PM Changeset in ghc [e2b3fa1]supercompiler by Max Bolingbroke <batterseapower@…>
Rename free variables in annotation correctly in termToAnswer
3:04 PM Changeset in ghc [b9e6c7c9]supercompiler by Max Bolingbroke <batterseapower@…>
Supress warning in Split
3:04 PM Changeset in ghc [ffa5c71]supercompiler by Max Bolingbroke <batterseapower@…>
Don't lose deeds when the evaluator builds a term from a bare Var
3:04 PM Changeset in ghc [6f6463a2]supercompiler by Max Bolingbroke <batterseapower@…>
Only bind exported things into the big tuple
3:04 PM Changeset in ghc [f209ed7]supercompiler by Max Bolingbroke <batterseapower@…>
Totally rewrite matcher: detect rigid binder inequality earlier
3:04 PM Changeset in ghc [7bff7ac4]supercompiler by Max Bolingbroke <batterseapower@…>
Stop building a ridiculous loop in the matcher
3:04 PM Changeset in ghc [a4658d9a]supercompiler by Max Bolingbroke <batterseapower@…>
Only expose unfoldings visible in phase 2
3:04 PM Changeset in ghc [88b7f83]supercompiler by Max Bolingbroke <batterseapower@…>
Cleanup code outside supercompiler directory
3:04 PM Changeset in ghc [192e207]supercompiler by Max Bolingbroke <batterseapower@…>
Add instances for non-1 variants derived from 1 variants, remove some uses of PrettyFunction and Wrapper1
3:04 PM Changeset in ghc [498cb10a]supercompiler by Max Bolingbroke <batterseapower@…>
Comment only
3:04 PM Changeset in ghc [0bbe9d73]supercompiler by Max Bolingbroke <batterseapower@…>
Remove my generalisation of VarEn
3:04 PM Changeset in ghc [7ccd6ea]supercompiler by Max Bolingbroke <batterseapower@…>
Initial cut of plugin functionality. Plugin likely won't build
3:04 PM Changeset in ghc [ce15491]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint better FV calculation in splitter
3:04 PM Changeset in ghc [559784ab]supercompiler by Max Bolingbroke <batterseapower@…>
Fix lurking bugs in free variable of Bracketed code, fix splitting of type lambdas
3:04 PM Changeset in ghc [961326e4]supercompiler by Max Bolingbroke <batterseapower@…>
Dump debugging code
3:04 PM Changeset in ghc [f5002061]supercompiler by Max Bolingbroke <batterseapower@…>
Match types whenever we match Ids: SC now loops because we don't type-abstract enough
3:04 PM Changeset in ghc [cd931d04]supercompiler by Max Bolingbroke <batterseapower@…>
Fix lots of lurking badness in Renaming. InScopeSets are still wrong
3:04 PM Changeset in ghc [93be0d5]supercompiler by Max Bolingbroke <batterseapower@…>
Fixed some missed type renaming in the evaluator primop case
3:04 PM Changeset in ghc [6c138f5]supercompiler by Max Bolingbroke <batterseapower@…>
Use InScopeSet as a real InScopeSet, not an InScopeMap
3:04 PM Changeset in ghc [931de9fd]supercompiler by Max Bolingbroke <batterseapower@…>
Fix positive information propagation
3:04 PM Changeset in ghc [c43b42d]supercompiler by Max Bolingbroke <batterseapower@…>
Add comment about unfoldings
3:04 PM Changeset in ghc [6b1a46e1]supercompiler by Max Bolingbroke <batterseapower@…>
The Process module now compiles
3:04 PM Changeset in ghc [a6778cbf]supercompiler by Max Bolingbroke <batterseapower@…>
Support strict lets, coercions as values, write term->CoreSyn conversion
3:04 PM Changeset in ghc [fa91c6f1]supercompiler by Max Bolingbroke <batterseapower@…>
Deal with [CoreBind] by going via CoreExpr
3:04 PM Changeset in ghc [fce2c403]supercompiler by Max Bolingbroke <batterseapower@…>
Implement wrappers properly, give PrimOps type arguments
3:04 PM Changeset in ghc [0bbb48c2]supercompiler by Max Bolingbroke <batterseapower@…>
Split DataAlt binder list, fix FV calculation, fix code generation for binder->term embedding
3:04 PM Changeset in ghc [ca76f32]supercompiler by Max Bolingbroke <batterseapower@…>
Port over the splitter
2:53 PM Status/May12 edited by diatchki
(diff)
2:53 PM Status/May12 edited by diatchki
(diff)
2:47 PM Status/May12 edited by diatchki
(diff)
2:23 PM Status/May12 edited by bgamari
add note about ARM GHCi support (diff)
12:46 PM Ticket #4889 (Ignore broken pipe error when writing to a died process) closed by pcapriotti
fixed: […]
12:41 PM Changeset in process [76fb4b7]ghc-7.6ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Ignore broken pipe error in readProcessWithExitCode (#4889)
12:39 PM Changeset in ghc [e4168865]supercompiler by Max Bolingbroke <batterseapower@…>
More small fixes
12:39 PM Changeset in ghc [e51b461]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint (broken)
12:39 PM Changeset in ghc [bf2ba32]supercompiler by Max Bolingbroke <batterseapower@…>
A more plausible checkpoint, but still broken overall
12:39 PM Changeset in ghc [5b88481]supercompiler by Max Bolingbroke <batterseapower@…>
The evaluator finally compiles
12:39 PM Changeset in ghc [b1011f2]supercompiler by Max Bolingbroke <batterseapower@…>
Checkpoint work on matcher
12:39 PM Changeset in ghc [a444857]supercompiler by Max Bolingbroke <batterseapower@…>
Eliminate tabs
12:39 PM Changeset in ghc [bf8fae9]supercompiler by Max Bolingbroke <batterseapower@…>
Matching compiles and should handle new syntax
12:39 PM Changeset in ghc [50c06811]supercompiler by Max Bolingbroke <batterseapower@…>
Initial supercompiler commit
12:39 PM Changeset in ghc [1ea7885]supercompiler by Max Bolingbroke <batterseapower@…>
Port stuff over up until the evaluator itself (infrastructure is in place)
12:39 PM Changeset in ghc [89091c11]supercompiler by Max Bolingbroke <batterseapower@…>
Misc fixes to supercompiler, moving it forward
12:39 PM Changeset in ghc [86909c04]supercompiler by Max Bolingbroke <batterseapower@…>
Commit more work on the porting
12:39 PM Changeset in ghc [13ed44ce]supercompiler by Max Bolingbroke <batterseapower@…>
Small fixes
12:32 PM Status/May12 edited by simonmar
(diff)
12:30 PM Status/May12 edited by simonmar
(diff)
12:28 PM DeferErrorsToRuntime edited by dreixel
(diff)
12:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:05 PM Ticket #6087 (Join points need strictness analysis) created by simonpj
I came across this code in the nofib/spectral progam knights, in the …
11:46 AM Ticket #5623 (GHC 7.2.1 Performance Regression: Vector) closed by simonpj
fixed: I've added a test for Roman's plusPtr example. I'm not sure how to …
11:45 AM Changeset in ghc [b2d98cc3]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 #5623
11:45 AM Changeset in testsuite [ff33bd8]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5623
10:42 AM Status/May12 edited by simonpj
(diff)
10:42 AM Status/May12 edited by simonpj
(diff)
10:41 AM Status/May12 edited by simonpj
(diff)
10:16 AM Status/May12 edited by simonmar
(diff)
9:57 AM Building/RunningTests/Adding edited by simonmar
(diff)
9:56 AM Building/RunningTests/Adding edited by simonmar
add info about performance tests (diff)
8:45 AM Changeset in ghc [c1e928e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comments only
8:32 AM Status/SLPJ-Tickets edited by simonpj
(diff)
7:52 AM Changeset in ghc [4faed348]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@…>
Accept debug-print wibbles
7:52 AM Changeset in testsuite [a65db87]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept debug-print wibbles

May 9, 2012:

11:53 PM Changeset in ghc [59e1f068]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix build on Win64
6:04 PM Ticket #6086 (Cross compilation fails using system linker for other architecture ...) created by mtjm
Building ghc from git revision 4b089dbacd2a14f38a335103cf8ac0779d92f937
5:03 PM Changeset in ghc [43e1ff2d]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
5:03 PM Changeset in testsuite [b982c7c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
5:02 PM Ticket #6048 (Exponential inlining code blowup) closed by simonpj
fixed: Really nice example. Thank you for making it so compelling. Fixed!
5:01 PM Changeset in ghc [af0bf03c]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 #6048
5:01 PM Changeset in testsuite [fda160e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6048
4:54 PM Ticket #6078 (GHC panic encountered for unlifted let bindings) closed by simonpj
fixed: Thanks. Fixed.
4:52 PM Changeset in ghc [1cec00d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
4:50 PM Changeset in ghc [3528d0a]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:50 PM Changeset in testsuite [d9553c1]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
4:49 PM Changeset in ghc [e4212c29]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 simplified output
4:49 PM Changeset in testsuite [52fd080]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibble to simplified output
4:49 PM Changeset in ghc [7d3a6ae]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 performance for #3064, but #5030 is now expect-broken
4:49 PM Changeset in testsuite [ffc4384]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Better performance for #3064, but #5030 is now expect-broken
4:48 PM Changeset in ghc [9dfd8cd7]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 #6078
4:48 PM Changeset in testsuite [37769ce]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #6078
4:45 PM Ticket #4452 (Graphics.Win32.GDI.Clip.enumClipboardFormats fails on success.) closed by pcapriotti
fixed: Pushed as …
4:39 PM Changeset in ghc [93d853b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Paolo Capriotti <p.capriotti@…>
Move win32 tests to win32 repository.
4:39 PM Changeset in testsuite [8edee7a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Move win32 tests to win32 repository.
3:45 PM Changeset in ghc [cd954499]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix build on Win64
3:31 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:27 PM Ticket #6085 (I found that it cannot be written such as [False..]) closed by simonpj
invalid: The trouble is that "False.." is being lexed as a qualified name. You …
3:22 PM Changeset in ghc [980372f3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Re-do the "function application discount" (fixes Trac #6048) * Undoes Max's very aggressive function-inlining change (see comments with Trac #6048) * Resticts function application discount to functions that occur just once in the body. It was the multiple occurrences that led to the exponential behavour in Trac #6048. See Note [Function application discount] in CoreUnfold. Module binary sizes are down 2% on average, which is good. Allocations wobble about a bit, but only on a few benchmarks and not by much, so it seems a price worth paying to avoid exponential behaviour! Allocs Min -1.2% Max +2.8% Geometric Mean +0.0%
3:03 PM Changeset in ghc [4c550307]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Take care not to mix polymorphic and unlifted bindings in a group Fixes Trac #6078
3:03 PM Changeset in ghc [e08cad7]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to 'simplify the SimplCont data type'
3:02 PM Changeset in ghc [4bbd6ba]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Simplify the SimplCont data type * Put the result type in the Stop continuation * No need for the alts type in Select The result is a modest but useful simplification
2:50 PM Changeset in ghc [f7e246b5]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'ghc-new-flavor'
2:26 PM Status/May12 edited by igloo
(diff)
1:49 PM Changeset in ghc [203afa1c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-lifttc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Don't pointlessly cast sizeof's result to size_t
1:47 PM Ticket #5727 (Unclear documentation about .eventlog's spark information flag) closed by duncan
worksforme: I cannot reproduce the behaviour. It works correctly for me with …
1:12 PM Changeset in ghc [ff10612]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Make fresh variables when decomposing Givens This turns out to be important becuase we don't have a form for superclass selection in TcCoercion (we could but we don't). Se comments with xCtFlavor_cache, the Given case.
1:11 PM Changeset in ghc [d63e81b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Use fresh uniques when unboxing coercions in the desugarer This is kosher, and turns out to be vital when we have more complicate evidence terms.
1:11 PM Changeset in ghc [a606905]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Cosmetics
10:06 AM Changeset in ghc [2112f43]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Be a little less aggressive about inlining (fixes Trac #5623) When inlining, we are making a copy of the expression, so we have to be careful about duplicating work. Previously we were using exprIsCheap for that, but it is willing to duplicate a cheap primop -- and that is terribly bad if it happens inside some inner array loop (Trac #5623). So now we use a new function exprIsWorkFree. Even then there is some wiggle room: see Note [exprIsWorkFree] in CoreUtils This commit does make wheel-sieve1 allocate a lot more, but we decided that's just tough; it's more important for inlining to be robust about not duplicating work.
7:03 AM Ticket #6085 (I found that it cannot be written such as [False..]) created by phi16
Please see the following results: Prelude> [False..] <interactive>:0:9: …

May 8, 2012:

7:17 PM Changeset in base [89e58b9]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Fix build.
7:17 PM Changeset in ghc [46314891]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Fix build.
5:31 PM Changeset in ghc [4b089dba]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
3:51 PM Ticket #5967 (incompatible implicit declaration of function 'memcpy') closed by pcapriotti
fixed: Merged as 0e069310cec2ef3df1d1928fa7683a87aebd9eed.
3:51 PM Ticket #6006 (hs_init(NULL, NULL) segfaults on latest snapshot) closed by pcapriotti
fixed: Merged as d7c6368938c77644da7c8410df4d4fa440aca7e8.
3:50 PM Ticket #6007 (ghci: Importing specific non-existent names from a module breaks later ...) closed by pcapriotti
fixed: Merged as 81885c1c34af716ed3dad159e927c943270eb74b.
3:50 PM Changeset in ghc [cb384a6]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Build fix.
3:04 PM Changeset in ghc [81885c1c]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Catch illegal imports earlier (#6007) MERGED from commit b6e28266cf29bfdf07fe08e894df77b400da8a04
2:51 PM Changeset in ghc [d7c6368]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
hs_init(): cope with argc and/or argv being NULL (#6006) MERGED from commit 4ca281829c70331571291ed3dcf813a6028cc904
2:46 PM Ticket #4363 (openFile sharing permissions are inconsistent across platforms) closed by pcapriotti
fixed
2:04 PM Commentary/CodingStyle edited by danbst
typo (diff)
1:24 PM Changeset in ghc [0e06931]ghc-7.4 by Paolo Capriotti <p.capriotti@…>
Cast memory primops in the C backend (#5976) To prevent conflicts with GCC builtins, generate identical code for calls to mem primos and FFI calls. Based on a patch by Joachim Breitner. MERGED from commit 40c1106c338e209f07023d165f32bff0f75e2e54
1:09 PM Changeset in ghc [9fb12e14]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Enable FileLock for win32 (#4363)
1:08 PM Changeset in base [ae7d0c7]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Use in-process file locking on Windows (#4363)
1:08 PM Changeset in ghc [9cb3d363]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Use in-process file locking on Windows (#4363)
12:47 PM Status/May12 edited by chak
(diff)
12:34 PM Ticket #6061 (threadDelay broken on Windows) closed by pcapriotti
fixed: Pushed to GHC: […] and base: […]
12:23 PM Changeset in ghc [bb5447c]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 <igloo@…>
More Win64 test fixes
12:23 PM Changeset in testsuite [b5e2a59]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
More Win64 test fixes
12:19 PM Changeset in ghc [79e56d3]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 <igloo@…>
3837 now passes on Windows: #3929 is fixed
12:19 PM Changeset in testsuite [c4c39be]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
3837 now passes on Windows: #3929 is fixed
12:15 PM Changeset in ghc [5f9c642]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 <igloo@…>
Some test fixes on Win64
12:15 PM Changeset in testsuite [8fce1d0]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Some test fixes on Win64
12:12 PM Status/May12 edited by chak
(diff)
12:06 PM Changeset in base [29ef12e]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Paolo Capriotti <p.capriotti@…>
Use RTS version of getMonotonicNSec on Windows (#6061)
12:06 PM Changeset in ghc [c031aec]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Paolo Capriotti <p.capriotti@…>
Use RTS version of getMonotonicNSec on Windows (#6061)
12:05 PM Changeset in ghc [c0461976]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Move getMonotonicUSec from base to the RTS.
11:49 AM Ticket #6084 (Add stg_ap_pnnv and related call patterns) created by SimonMeier
In the implementation of bytestring encoding and decoding libraries, the …
11:45 AM Ticket #3090 (ghc-pkg update should fail if dependent packages might break) closed by simonpj
wontfix: Closing because * cabal install already checks * Sooner or later …
11:35 AM LightweightConcurrency edited by kc
(diff)
11:27 AM Status/SLPJ-Tickets edited by simonpj
(diff)
11:26 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:42 AM Changeset in ghc [07fadb7a]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 <igloo@…>
Driver tweak
10:42 AM Changeset in testsuite [bb5cfdf]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Driver tweak
10:36 AM Ticket #6077 (Respect XDG_CONFIG_HOME) closed by simonmar
duplicate: Thanks; already reported as #5966
9:04 AM Status/May12 edited by gmainland
(diff)
5:31 AM Ticket #6083 (GeneralizedNewtypeDeriving: "deriving ALL") created by clinton
I've found I've wanted to do: newtype X1 = X1 ( X ) deriving ( ALL ); …

May 7, 2012:

10:51 PM Repositories edited by pcapriotti
Updated Cabal, mtl, added transformers (diff)
10:24 PM Changeset in ghc [4614cf6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Adapt to changes in Cabal.
10:24 PM Changeset in ghc [d7bb8cd2]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Follow upstream mtl and Cabal, add transformers package (#5958)
9:45 PM Changeset in ghc [041d1bc]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add support for .text.startup sections to the Linker We get these in a full build on Win64
7:06 PM Status/May12 edited by danbst
typo (diff)
4:40 PM Changeset in ghc [dd7522c]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Yet another major refactoring of the constraint solver This is the result of Simon and Dimitrios doing a code walk through. There is no change in behaviour, but the structure is much better. Main changes: * Given constraints contain an EvTerm not an EvVar * Correspondingly, TcEvidence is a recursive types that uses EvTerms rather than EvVars * Rename CtFlavor to CtEvidence * Every CtEvidence has a ctev_pred field. And use record fields consistently for CtEvidence * The solved-constraint fields of InertSet (namely inert_solved and inert_solved_funeqs) contain CtEvidence, not Ct There is a long cascade of follow-on changes.
4:14 PM Changeset in ghc [fdc19e6]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
3:02 PM Ticket #6082 (Program compiled with 7.4.1 runs many times slower than compiled with ...) created by gchrupala
The morfette program (http://hackage.haskell.org/package/morfette), when …
3:01 PM Ticket #6080 (dph-classes-vseg-fast fails: Vectorisation error) closed by chak
fixed
2:27 PM Changeset in ghc [85ae01b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix alignment when loading .a files on Win64
2:18 PM Changeset in ghc [ada13856]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Test for misaligned sections, and fail if we find one
2:17 PM Changeset in ghc [b35ad0a0]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 Manuel M T Chakravarty <chak@…>
Fixed #6080
2:17 PM Changeset in testsuite [d6ef6b2]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
Fixed #6080
2:14 PM Changeset in ghc [209e3750]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Manuel M T Chakravarty <chak@…>
Fix #6080 & house keeping in Vectorise.Exp
9:04 AM LightweightConcurrency edited by kc
edits (diff)
8:41 AM LightweightConcurrency edited by kc
edits (diff)

May 6, 2012:

8:41 PM Status/May12 edited by simonmar
(diff)
8:30 PM Status/May12 created by simonmar
1st draft
7:49 PM Changeset in ghc [b26a1b3]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Build fix
7:39 PM Ticket #6058 (trac: can't register a new user) closed by igloo
wontfix: Thanks for the report. This happens when the server is under load. Trying …
7:01 PM Changeset in ghc [fcb19db]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Follow changes in haskeline I'm not sure if we still need to encode the error, but validate is happy with this fix, at least.
6:39 PM Changeset in ghc [9949db0a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix the way we call strip on DLLs On Win64, "install -s" calls a strip that doesn't understand 64bit binaries. For some reason, this means the DLLs end up non-executable, which means executables that use them just segfault.
2:54 PM Changeset in ghc [f09812de]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Fix RTS DLL references on Win64
1:21 AM Changeset in ghc [5872bf5]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Working towards fixing DLLs on Win64

May 5, 2012:

10:52 PM Changeset in ghc [6dcf0012]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Install DLLs as executable Otherwise the dynHelloWorld test segfaults when run from an installed compiler on cygwin.
9:11 PM Ticket #6081 (Kind variables not allowed in class instance declarations) created by goldfire
Consider the following code: […] The last line fails to compile, …
5:22 PM LightweightConcurrency edited by kc
(diff)
2:24 PM LightweightConcurrency edited by kc
(diff)
2:01 PM LightweightConcurrency edited by kc
More text (diff)
1:54 PM Changeset in ghc [a8787ece]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Use lnats to avoid overflowing when allocating large amounts Stops outofmem segfaulting on Win64
1:53 PM Changeset in ghc [a6ab2290]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 <igloo@…>
Add Win64 output for outofmem
1:53 PM Changeset in testsuite [01bd03c]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add Win64 output for outofmem
1:18 PM LightweightConcurrency edited by kc
Minor edit (diff)
1:17 PM Changeset in ghc [e9e791d4]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 <igloo@…>
dph-classes-vseg-fast is broken (#6080)
1:17 PM Changeset in testsuite [3201cb4]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
dph-classes-vseg-fast is broken (#6080)
1:16 PM Ticket #6080 (dph-classes-vseg-fast fails: Vectorisation error) created by igloo
[…]
1:12 PM LightweightConcurrency edited by kc
Image added (diff)
1:10 PM Changeset in ghc [c8b715c0]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 <igloo@…>
Mark SEH tests as broken on Win64 (#6079)
1:10 PM Changeset in testsuite [24afd1d]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Mark SEH tests as broken on Win64 (#6079)
1:07 PM Ticket #6079 (SEH exception handler not implemented on Win64) created by igloo
In RtsMain.c we only enable BEGIN_CATCH/END_CATCH on Win32. I think …
12:53 PM GHC_LWC_Key.jpg attached to LightweightConcurrency by kc
key_idea
12:07 PM Ticket #6067 (regression: cgrun051(ghci) failing in HEAD) closed by simonpj
fixed
12:05 PM Ticket #6075 (Incorrect interpretation of scoped type variable declaration in GADT ...) closed by simonpj
invalid: The errror mesage (with GHC 7.4) is this: […] And that seems right to …
11:32 AM Changeset in ghc [95978ed0]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 <igloo@…>
Fix ghcilink00{1,4} when the path to AR contains spaces
11:32 AM Changeset in testsuite [2a91733]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix ghcilink00{1,4} when the path to AR contains spaces
11:18 AM LightweightConcurrency edited by kc
more edits (diff)
9:13 AM LightweightConcurrency edited by kc
Edits (diff)

May 4, 2012:

11:35 PM Holes edited by spl
Careless phrasing (diff)
11:12 PM Changeset in ghc [88f694dd]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Enable and fix building dynlibs on Win64
10:35 PM Holes edited by simonpj
(diff)
10:33 PM Holes edited by simonpj
(diff)
10:30 PM Ticket #6078 (GHC panic encountered for unlifted let bindings) created by SimonMeier
The following code block makes GHC panic: […] The panic output is …
10:19 PM Holes edited by simonpj
(diff)
10:04 PM Ticket #6077 (Respect XDG_CONFIG_HOME) created by So8res
As of now, ghc creates and uses a "$HOME/.ghc" directory. This is annoying …
10:04 PM LightweightConcurrency edited by kc
More text (diff)
4:59 PM Changeset in ghc [3762105]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:10 PM LightweightConcurrency edited by kc
edits (diff)
4:07 PM LightweightConcurrency created by kc
Page created
3:26 PM Changeset in ghc [f3c24c53]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2late-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Follow libffi changes on Windows
2:31 PM Ticket #6076 (Typo in error message about ScopedTypeVariables) closed by simonpj
fixed: Thanks!
2:29 PM Changeset in ghc [4f2dfe1]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix typo in error message (Trac #6076)
1:35 PM Holes edited by spl
Link to implementation issues on GitHub (diff)
11:23 AM Changeset in ghc [b67b943]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 <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
11:23 AM Changeset in testsuite [16f05ccf]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
10:24 AM Ticket #6073 (Lower case character in deriving statement crashes GHC 7.4.1) closed by pcapriotti
duplicate: Thanks for the report. This is fixed on the HEAD. See #5961.
10:09 AM Holes edited by spl
Minor changes (diff)
9:55 AM Holes edited by spl
Include type of f (diff)
9:47 AM Holes edited by spl
Clarification on ambiguous types and monomorphism restriction (diff)
9:22 AM Ticket #6071 (Compiled program segfaults) closed by simonmar
worksforme: Not reproducible with 7.4.1: […] Also tried with 7.0.3, which didn't …
9:08 AM Ticket #6072 (Irrefutable pattern error while compiling GHC) closed by simonmar
fixed: commit 1169351dca19dc3973448336ae168ddba154e606 […]
9:08 AM Holes edited by spl
Link to repository (diff)
8:36 AM Changeset in ghc [12dc1b6]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@…>
5250(llvm) is expect_broken(4211) on i386-unknown-linux
8:36 AM Changeset in testsuite [c881468]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
5250(llvm) is expect_broken(4211) on i386-unknown-linux
8:34 AM Changeset in ghc [1169351d]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix overnight build breakage (fix from simonpj) compiler/simplCore/SimplUtils.lhs:1668:5-25: Irrefutable pattern failed for pattern ((_, _, rhs1) : _)
3:11 AM Ticket #6076 (Typo in error message about ScopedTypeVariables) created by goldfire
When I compile this code: […] I get this error message: […] It …
2:43 AM Ticket #6075 (Incorrect interpretation of scoped type variable declaration in GADT ...) created by goldfire
Consider the following code: […] The function dumb compiles …
2:21 AM Ticket #6074 (Instance inference failure with GADTs) created by goldfire
Consider the following code: […] The function mkString does not …
12:58 AM Ticket #6073 (Lower case character in deriving statement crashes GHC 7.4.1) created by ExternalReality
-- Good newtype Address = Address Text deriving (Show, Eq) -- …

May 3, 2012:

8:35 PM Ticket #6072 (Irrefutable pattern error while compiling GHC) created by sjoerd_visscher
While doing "make" on GHC HEAD I got this error: […]
5:49 PM Changeset in integer-gmp [d95eb88]ghc-7.4 by Ian Lynagh <igloo@…>
Fix building libgmp on cygwin
5:44 PM Changeset in ghc [ff1e90c]ghc-7.4 by Ian Lynagh <igloo@…>
Omit -osuf/-odir -hisuf/-hidir and -stubdir from the flag checker The reasoning is that GHC will only skip recompilation if it has found a valid up-to-date object file and .hi file, so there is no need to also check that these flags have not changed, and indeed there are valid reasons to want to change them.
5:44 PM Changeset in ghc [8bafc22]ghc-7.4 by Ian Lynagh <igloo@…>
Compile link .note section separately from main.c Fixes gas errors when -g is enabled: Error: can't resolve `.debug-ghc-link-info' {.debug-ghc-link-info section} - `.Ltext0' {.text section}
5:32 PM Changeset in testsuite [5a2dd3e]ghc-7.4 by Ian Lynagh <igloo@…>
Merge branch 'ghc-7.4' of darcs.haskell.org:/srv/darcs//testsuite into ghc-7.4
2:35 PM Changeset in ghc [92fddec]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 <igloo@…>
Accept output for T6006 on Windows
2:35 PM Changeset in testsuite [c4415b5]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Accept output for T6006 on Windows
12:20 PM Changeset in ghc [83dc4b7]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 <igloo@…>
Tweak plugins01
12:20 PM Changeset in testsuite [7cf898b]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Tweak plugins01
12:09 PM Changeset in ghc [2bc9d896]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add _getpid to rtsSyms on Win64
11:52 AM Changeset in ghc [a44d52b9]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 <igloo@…>
Fix other ghcilink tests on Win64
11:52 AM Changeset in testsuite [9ef531f]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix other ghcilink tests on Win64
11:33 AM Changeset in ghc [0285e289]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 <igloo@…>
Fix ghcilink002 on Win64
11:33 AM Changeset in testsuite [7e8074e]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix ghcilink002 on Win64
11:27 AM Changeset in ghc [a511dcd]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 <igloo@…>
Fix the way we find the path to 'ar' Fixes ghcilink001 on Windows
11:27 AM Changeset in testsuite [fbbb955]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Fix the way we find the path to 'ar' Fixes ghcilink001 on Windows
11:20 AM Changeset in ghc [b806bd2]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 <igloo@…>
Tweak 4038 for Win64 Windows has a smaller C stack than other OSes
11:20 AM Changeset in testsuite [2edae7a]atomicsdata-kind-syntaxghc-7.6overlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Tweak 4038 for Win64 Windows has a smaller C stack than other OSes
11:13 AM Changeset in ghc [dc4ae7b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Check the calling convention of foreign imported labels is supported Fixes 2276_ghci on Win64
10:50 AM Holes edited by spl
Minor fix + clarification (diff)
10:24 AM Holes edited by xnyhps
(diff)
9:36 AM Holes edited by spl
Mention ticket #5910 (diff)
8:05 AM Changeset in testsuite [3a609b2]ghc-7.4 by Simon Marlow <marlowsd@…>
5250(llvm) is expect_broken(4211)
7:52 AM Changeset in testsuite [8993554]ghc-7.4 by Simon Marlow <marlowsd@…>
fix parsing001 stats on 32-bit
7:46 AM Changeset in base [5cbb4db]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Use IORef/atomicModifyIORef instead of STM Follows discussion on the libraries@ mailing list; see comments for rationale.
7:46 AM Changeset in ghc [8dda2dfb]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Use IORef/atomicModifyIORef instead of STM Follows discussion on the libraries@ mailing list; see comments for rationale.
6:11 AM Ticket #6071 (Compiled program segfaults) created by stevecheckoway
When I run the bug program, it correctly computes 28 values (output lines …

May 2, 2012:

6:33 PM Ticket #6059 (FFI: segfault when jumping to code buffer (under certain conditions)) closed by guest
invalid: Well, as I said, it's reproducible (at least on my system). Within make
5:01 PM Changeset in ghc [4202879]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:31 PM Changeset in ghc [84a9c46b]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Win64 build fix
4:00 PM Changeset in ghc [3a8c7c8e]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
More Win64 ghci fixes
3:13 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:11 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:44 PM Changeset in ghc [f7c2657]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:44 PM Changeset in ghc [ac230c5]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Allow cases with empty alterantives This patch allows, for the first time, case expressions with an empty list of alternatives. Max suggested the idea, and Trac #6067 showed that it is really quite important. So I've implemented the idea, fixing #6067. Main changes * See Note [Empty case alternatives] in CoreSyn * Various foldr1's become foldrs * IfaceCase does not record the type of the alternatives. I added IfaceECase for empty-alternative cases. * Core Lint does not complain about empty cases * MkCore.castBottomExpr constructs an empty-alternative case expression (case e of ty {}) * CoreToStg converts '(case e of {})' to just 'e'
2:30 PM Changeset in ghc [40c1106]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Paolo Capriotti <p.capriotti@…>
Cast memory primops in the C backend (#5976) To prevent conflicts with GCC builtins, generate identical code for calls to mem primos and FFI calls. Based on a patch by Joachim Breitner.
2:11 PM Changeset in ghc [18b4ad9a]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Win64 Linker improvements We now detect if we are given a value that is out of range for a 32bit relocation, and fail with an error. Added a load more symbols to rtsSyms.
1:35 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:34 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:34 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:33 PM Ticket #6070 (Fun with the demand analyser) created by simonpj
Max writes: I've been trying to speed up the supercompiler, and in the …
1:29 PM Status/SLPJ-Tickets edited by simonpj
(diff)
12:39 PM Changeset in base [be1d813]data-proxydbcsghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Fix an off-by-one error in freeProgArgv
12:39 PM Changeset in ghc [4100b750]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Fix an off-by-one error in freeProgArgv
12:27 PM Changeset in ghc [afbaa11]coercibledata-kind-syntaxghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Add 'free' to the list of rtsSyms on Win64 Without this, we ended up using (gdb) info symbol 0x7ff756a10ac msvcrt!free in section .text of C:\Windows\system32\msvcrt.dll for free, rather than (gdb) info symbol 0x2584128 free in section .text of C:\m64\ghci2\q/../inplace/bin/ghc-stage2.exe but we were trying to put the address into a 32bit relocation.
11:05 AM Status/SLPJ-Tickets edited by simonpj
(diff)
7:24 AM Building/Hoogle created by simonpj
7:20 AM Building edited by simonpj
(diff)
2:24 AM Ticket #6069 (Rank 2 Polymorphism Compile Error) created by clinton
Not sure if this is a bug, perhaps this should be a feature request. …
Note: See TracTimeline for information about the timeline view.