Timeline


and

Dec 9, 2008:

11:01 PM Changeset in ghc [aedb94f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 some profiling flags dynamic In particular: -fauto-sccs-on-all-toplevs -auto-all -no-auto-all -fauto-sccs-on-exported-toplevs -auto -no-auto -fauto-sccs-on-individual-cafs -caf-all -no-caf-all
10:24 PM Changeset in ghc [ee2623c8]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 warnings in StgCmmGran
9:36 PM Ticket #2847 (Failure on OPTION_* pramgas other than GHC) closed by igloo
fixed: Fixed in the HEAD by: […] and […] and in the 6.10 branch by: […] …
9:34 PM Ticket #2867 (Make a way to tell GHC that a pragma name should be "recognised") created by igloo
GHC warns about unrecognised pragmas, but other impls can add pragmas …
9:24 PM Ticket #2866 (panic with GADTs + NoMonomorphismRestriction) created by ganesh
The program below causes […] with ghc, and […] with ghci The …
7:49 PM Building/GettingTheSources edited by igloo
(diff)
7:48 PM Ticket #2865 (Add more tab completions in GHCi for :set and :show) created by salty-horse
GHCi already has tab completions for several :set options, but not all of …
7:42 PM Changeset in ghc [2204a484]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ori Avtalion <ori@…>
Add GHCi completions to :set and :show
7:17 PM Changeset in ghc [0345a83]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 OPTIONS_CATCH,DERIVE,YHC to those that GHC knows about; trac #2847
7:17 PM Changeset in ghc [bae0a5f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 warnings in CgHpc
7:03 PM Changeset in ghc [175249f0]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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@…>
Parse pragma names better; trac #2847 We require that pragma names are not followed by pragma character, defined as isAlphaNum c || c == '_'
6:44 PM Changeset in ghc [8a14a210]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 warnings in CgParallel
6:40 PM Changeset in ghc [7cc3fc34]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 warnings in StgCmmHpc
6:38 PM Changeset in ghc [9584804]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/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 unnecessary -w flag
5:40 PM Ticket #2864 (ghc: panic! (the 'impossible' happened) -- Please report this as a GHC bug) created by megacz
The compiler asked me to report this. […] This is using git HEAD, …
5:10 PM Ticket #2861 (stage2 crash: PAP object entered!) closed by simonpj
fixed: I don't know why we get a PAP-entered fault when Lint is happy, but I do …
5:03 PM Changeset in ghc [81a1f4fc]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Fix Trac #2861: bogus eta expansion Urghlhl! I "tided up" the treatment of the "state hack" in CoreUtils, but missed an unexpected interaction with the way that a bottoming function simply swallows excess arguments. There's a long Note [State hack and bottoming functions] to explain (which accounts for most of the new lines of code).
4:43 PM Changeset in ghc [4d13f3e6]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Document hs_init() infelicity (#2863)
4:39 PM Platforms edited by igloo
(diff)
4:34 PM Ticket #2863 (ghc manual should note FFI non-compliance) created by duncan
The FFI spec says about hs_init and hs_exit: In addition to nested …
3:34 PM Ticket #2854 (Extended defaulting rules not used for super classes) closed by simonpj
duplicate: Hmm, well that does seem reasonable. But it depends on how we ultimately …
2:26 PM Ticket #2862 (GHC Panic in ByteCodeGen) created by nominolo
Try to load the following problem with ghc --interactive of the …
12:55 PM Changeset in ghc [fa1e4ffe]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by 'Jose Pedro Magalhaes <jpm@…>
Fix #2759: add ability to serialize Rational
12:10 PM Ticket #2861 (stage2 crash: PAP object entered!) created by simonmar
With stage2 today: […] Interestingly, -dcore-lint doesn't find any …
11:50 AM Ticket #2848 (threadDelay can wait forever, next time on January 22, 2009, around 20:00 ...) reopened by simonmar
oops, still needs to be merged.
11:38 AM Ticket #2848 (threadDelay can wait forever, next time on January 22, 2009, around 20:00 ...) closed by simonmar
fixed: Thanks for a great bug report. The code is now: […] fixed by this …
10:59 AM Changeset in ghc [5a5acb3]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 #2592: do an orderly shutdown when the heap is exhausted Really we should be raising an exception in this case, but that's tricky (see comments). At least now we shut down the runtime correctly rather than just exiting.
10:58 AM Ticket #2860 (Redundant unblocking in POSIX generic_handler) created by dsh
Generic handler redundantly unblocks signal at the end of generic handler.
10:56 AM Changeset in ghc [31d797eb]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 #2848: avoid overflow during time calculation
10:55 AM Changeset in ghc [7fbdd9e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 #2838: we should narrow a CmmInt before converting to ImmInteger
10:46 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:21 AM Ticket #2853 (Defaulting not used enough with type families) closed by simonpj
duplicate: But see #2641 which argues for making the rules less liberal, not more …
9:09 AM Ticket #2855 (Surprising type (family) type derived) closed by simonpj
duplicate: Yes, it's a dup. So I'll close it now, having linked from #1897 Simon
9:05 AM Status/SLPJ-Tickets edited by simonpj
(diff)
9:01 AM Ticket #2859 (Reduce coercion terms to normal form) created by simonpj
Sometimes coercion terms in a Core program grow absurdly big, and can …
8:21 AM Ticket #2858 (Segmentation fault due to race between IO manager and installSignals.) created by dsh
Hello, consider the attached test case. To reproduce the problem please …
5:09 AM Ticket #2857 (sync-all ignores --complete) created by megacz
The ordering of the if...elsif...etc branches appears to be slightly off. …
3:20 AM TypeFunctionsStatus edited by chak
(diff)
2:21 AM TypeFunctionsStatus edited by chak
(diff)
1:55 AM TypeFunctionsStatus edited by chak
(diff)
1:08 AM Ticket #2852 (Type family checking oddity) closed by chak
worksforme: Replying to guest: > Consider the following snipped […] > …
1:04 AM Ticket #2851 (Improve error message for failed deriving) reopened by guest
(I don't have a ghc-6.10 here to test, so maybe it's already good, but) …

Dec 8, 2008:

5:46 PM Ticket #2844 (incorrect results when not compiling with optimisation) closed by simonpj
fixed: Fixed by […] The commit message amplifies. Thanks for boiling it …
5:35 PM Changeset in ghc [19fcb51]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Inject implicit bindings after CoreTidy, not before Simplify Originally I inject the "implicit bindings" (record selectors, class method selectors, data con wrappers...) after CoreTidy. However, in a misguided attempt to fix Trac #2070, I moved the injection point to before the Simplifier, so that record selectors would be optimised by the simplifier. This was misguided because record selectors (indeed all implicit bindings) are GlobalIds, whose IdInfo is meant to be frozen. But the Simplifier, and other Core-to-Core optimisations, merrily change the IdInfo. That ultimately made Trac #2844 happen, where a record selector got arity 2, but the GlobalId (which importing scopes re-construct from the class decl rather than reading from the interface file) has arity 1. So this patch moves the injection back to CoreTidy. Happily #2070 should still be OK because we now use CoreSubst.simpleOptExpr on the unfoldings for implict things, which gets rid of the most gratuitous infelicities. Still, there's a strong case for stoppping record selectors from being GlobalIds, and treating them much more like dict-funs. I'm thinking about that. Meanwhile, #2844 is ok now.
5:32 PM Changeset in ghc [6088129]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Add assertion for arity match (checks Trac #2844) The exported arity of a function must match the arity for the STG function. Trac #2844 was a pretty obscure manifestation of the failure of this invariant. This patch doesn't cure the bug; rather it adds an assertion to CoreToStg to check the invariant so we should get an earlier and less obscure warning if this fails in future.
5:30 PM Changeset in ghc [a25bbd1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Use CoreSubst.simpleOptExpr in place of the ad-hoc simpleSubst (reduces code too)
5:10 PM Ticket #2851 (Improve error message for failed deriving) closed by simonpj
invalid: Well, it's tricky. The 'deriving' mechanism is supposed to produce nice, …
4:12 PM Ticket #2856 (GeneralizedNewtypeDeriving doesn't work with data families) created by guest
Observe: […] The deriving of Num fails, whereas the corresponding …
12:53 PM Ticket #2855 (Surprising type (family) type derived) created by guest
Consider the following module […] Now ask for the type of g […] Why …
12:48 PM Changeset in ghc [a099466]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Move simpleOptExpr from CoreUnfold to CoreSubst
12:43 PM Changeset in ghc [85289ab5]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
White space only
12:41 PM Changeset in ghc [57984dc3]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only
12:05 PM Ticket #2854 (Extended defaulting rules not used for super classes) created by guest
Consider the following module […] The type of x is […] and since a …
11:55 AM Ticket #2853 (Defaulting not used enough with type families) created by guest
Consider this module […] Now let's try to ask for the type of (D 5) …
11:34 AM Ticket #2852 (Type family checking oddity) created by guest
Consider the following snipped […] If we now ask for the type of D we …
11:13 AM Ticket #2851 (Improve error message for failed deriving) created by guest
The following does not work: […] The natural way of adding an …
3:43 AM Ticket #2850 (GeneralizedNewtypeDeriving + TypeFamilies doesn't work) created by ajd
It would be nice if we could do stuff like this: […] which currently …

Dec 7, 2008:

8:34 PM Ticket #2760 (Data.Generics.Basics.mkNorepType spelled wrong) closed by igloo
fixed: Applied, thanks.
7:26 PM Ticket #2849 (RegAllocLinear.getStackSlotFor: out of stack slots) closed by igloo
duplicate: Thanks for the report. This looks like a duplicate of #1993.
5:52 AM Ticket #2849 (RegAllocLinear.getStackSlotFor: out of stack slots) created by hydo
[…] […]
12:53 AM Ticket #2843 (Missing "Defined but not used" for recursive expressions) closed by igloo
fixed: Thanks for the report. Happily, 6.10.1 (and the HEAD) already warns about …

Dec 6, 2008:

12:05 PM Ticket #2848 (threadDelay can wait forever, next time on January 22, 2009, around 20:00 ...) created by tomekz
We(*) have found a serious bug in the non-threaded RTS on 32-bit *nix …
12:03 PM Ticket #2847 (Failure on OPTION_* pramgas other than GHC) created by NeilMitchell
GHC should not attempt to look at other peoples pragmas. For example: …
4:01 AM Ticket #2846 (Impredicativity bug: GHC crash by type signature) created by mm_freak
Quick and dirty, this is the bug: […] I'm running Gentoo Linux. I …
12:03 AM Ticket #2845 (break018 skips a step) created by igloo
The break018 test is failing: […] What's happening here is that as we …

Dec 5, 2008:

11:22 PM Ticket #2844 (incorrect results when not compiling with optimisation) created by igloo
This is a cut-down random1283. R.hs: […] s.hs: […] […]
10:32 PM CodeOwners edited by AndyGill
(diff)
10:05 PM ViewPatterns edited by FSalad
make names consistent (diff)
4:54 PM Changeset in ghc [d95ce83]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Completely new treatment of INLINE pragmas (big patch) This is a major patch, which changes the way INLINE pragmas work. Although lots of files are touched, the net is only +21 lines of code -- and I bet that most of those are comments! HEADS UP: interface file format has changed, so you'll need to recompile everything. There is not much effect on overall performance for nofib, probably because those programs don't make heavy use of INLINE pragmas. Program Size Allocs Runtime Elapsed Min -11.3% -6.9% -9.2% -8.2% Max -0.1% +4.6% +7.5% +8.9% Geometric Mean -2.2% -0.2% -1.0% -0.8% (The +4.6% for on allocs is cichelli; see other patch relating to -fpass-case-bndr-to-join-points.) The old INLINE system ~~~~~~~~~~~~~~~~~~~~~ The old system worked like this. A function with an INLINE pragam got a right-hand side which looked like f = __inline_me__ (\xy. e) The __inline_me__ part was an InlineNote, and was treated specially in various ways. Notably, the simplifier didn't inline inside an __inline_me__ note. As a result, the code for f itself was pretty crappy. That matters if you say (map f xs), because then you execute the code for f, rather than inlining a copy at the call site. The new story: InlineRules ~~~~~~~~~~~~~~~~~~~~~~~~~~ The new system removes the InlineMe Note altogether. Instead there is a new constructor InlineRule in CoreSyn.Unfolding. This is a bit like a RULE, in that it remembers the template to be inlined inside the InlineRule. No simplification or inlining is done on an InlineRule, just like RULEs. An Id can have an InlineRule *or* a CoreUnfolding (since these are two constructors from Unfolding). The simplifier treats them differently: - An InlineRule is has the substitution applied (like RULES) but is otherwise left undisturbed. - A CoreUnfolding is updated with the new RHS of the definition, on each iteration of the simplifier. An InlineRule fires regardless of size, but *only* when the function is applied to enough arguments. The "arity" of the rule is specified (by the programmer) as the number of args on the LHS of the "=". So it makes a difference whether you say {-# INLINE f #-} f x = \y -> e or f x y = e This is one of the big new features that InlineRule gives us, and it is one that Roman really wanted. In contrast, a CoreUnfolding can fire when it is applied to fewer args than than the function has lambdas, provided the result is small enough. Consequential stuff ~~~~~~~~~~~~~~~~~~~ * A 'wrapper' no longer has a WrapperInfo in the IdInfo. Instead, the InlineRule has a field identifying wrappers. * Of course, IfaceSyn and interface serialisation changes appropriately. * Making implication constraints inline nicely was a bit fiddly. In the end I added a var_inline field to HsBInd.VarBind, which is why this patch affects the type checker slightly * I made some changes to the way in which eta expansion happens in CorePrep, mainly to ensure that *arguments* that become let-bound are also eta-expanded. I'm still not too happy with the clarity and robustness fo the result. * We now complain if the programmer gives an INLINE pragma for a recursive function (prevsiously we just ignored it). Reason for change: we don't want an InlineRule on a LoopBreaker, because then we'd have to check for loop-breaker-hood at occurrence sites (which isn't currenlty done). Some tests need changing as a result. This patch has been in my tree for quite a while, so there are probably some other minor changes.
1:48 PM Ticket #2843 (Missing "Defined but not used" for recursive expressions) created by guest
[…] In this example b is not really used, but there is no …
10:51 AM Changeset in ghc [ccd0e38]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Add -fpass-case-bndr-to-join-points See Note [Passing the case binder to join points] in Simplify.lhs The default now is *not* to pass the case binder. There are some nofib results with the above note; the effect is almost always negligible. I don't expect this flag to be used by users (hence no docs). It's just there to let me try the performance effects of switching on and off.
10:50 AM Changeset in ghc [6f547477]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Add static flag -fsimple-list-literals The new static flag -fsimple-list-literals makes ExplicitList literals be desugared in the straightforward way, rather than using 'build' as now. See SLPJ comments with Note [Desugaring explicit lists]. I don't expect this flag to be used by users (hence no docs). It's just there to let me try the performance effects of switching on and off.
10:32 AM Changeset in ghc [d56631cb]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only in OccurAnal
10:24 AM Changeset in ghc [7aae56e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only
10:22 AM Changeset in ghc [d617e38d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Layout only
10:21 AM Changeset in ghc [93da88b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only (Note [Entering error thunks])
10:19 AM Changeset in ghc [a2fe6073]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Make CoreToStg a little more robust to eta expansion
10:10 AM Changeset in ghc [2d815d1f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Add no-op case for addIdSpecialisations (very minor optimisation)
10:10 AM Changeset in ghc [960a5edb]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Trim redundant import
10:07 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:05 AM Changeset in ghc [410fc61]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Make CoreTidy retain deadness info (better -ddump-simpl) GHC now retains more robust information about dead variables; but CoreTidy was throwing it away. This patch makes CoreTidy retain it, which gives better output for -ddump-simpl. New opportunity: shrink interface files by using wildcards for dead variables.
10:03 AM Changeset in ghc [f44b3992]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Remove INLINE pragmas on recursive functions INLINE pragmas on recursive functions are ignored; and this is checked in my upcoming patch for inlinings.
10:01 AM Changeset in ghc [0764ab4]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Comments only (on Activation)
5:05 AM Ticket #2842 (http://darcs.haskell.org/darcsweb/ throwing errors.) created by hydo
Click any link at http://darcs.haskell.org/darcsweb/ and you'll see.

Dec 4, 2008:

3:44 PM Ticket #2841 (Ghci + foreign export declarations result in undefined symbols) created by fasta
When using ghci and foreign export declarations, calling any function, …
3:40 PM Ticket #2420 (Multi-method classes are inlined/specialized better than single-method ...) closed by simonpj
fixed: I think this is fixed in GHC 6.10. Simon
2:24 PM Status/SLPJ-Tickets edited by simonpj
(diff)
2:23 PM Ticket #2840 (Top level string literals) created by simonpj
At the moment GHC's internal language does not allow any top-level …
10:12 AM Changeset in ghc [a3ea8b4]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 an assertion failure in prof/threaded/debug mode
2:03 AM Ticket #2750 (Bug in Data.Generics) closed by igloo
fixed: Thanks, applied to HEAD and 6.10 branch.
12:31 AM Ticket #2757 (runghc doesn't respond to --help / --version) reopened by igloo
runghc's cabal files claims it to be version 0.67 currently. Is that a …
Note: See TracTimeline for information about the timeline view.