Timeline


and

Sep 3, 2012:

10:42 PM Changeset in ghc [7b11baa6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make -fhpc a dynamic flag
9:42 PM Changeset in ghc [af4f987]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove unused -dopt-fuel
9:39 PM Changeset in ghc [056b27b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove -dstub-dead-values from flag list
9:22 PM Changeset in ghc [892d8621]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make -fhistory-size dynamic
8:49 PM Changeset in ghc [3d3fef8c]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove the unused opt_StubDeadValues
8:41 PM Changeset in ghc [61d41b9]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Move ldInputs into DynFlags
6:03 PM Changeset in ghc [3869ac5]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Revert "Reduce the likelihood of x64/x86-64 changes breaking the build on other arches (#7083)." This reverts commit a2e589a1dcd5c74447d8f12b2db79474cca73850. Looks like it broke the build on x86/Windows.
5:48 PM Changeset in ghc [7560dd6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Some refactoring; removes simplifyCheck
5:46 PM Changeset in ghc [b493d397]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 defaulting, check for *meta* tyvars I'd forgotten that we can have runtime skolems (TcTyVarDetails = RuntimeUnk), and we definitely don't want to attempt to default them!
5:42 PM Changeset in ghc [64d07ab]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 kickOutRewritable kick out insolubles It always used to do so, but I removed it because I didn't see why. Now I unsderstand why, and wrote Note [Kick out insolubles]
5:40 PM Changeset in ghc [ed7538b4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Move inert_insols into the InertCans record We might want to rename the type, but inert_insols really belongs with these other constraints.
5:38 PM Changeset in ghc [d4fa711]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Remove historical Unique parameter from pushUntouchables
5:34 PM Changeset in ghc [82ace67b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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
5:33 PM Changeset in ghc [d37deb7b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Some comments and false starts to do with ArrForm There's a very very wrong piece of code in TcArrows; and it is even triggering an ASERT failure now. I need to talk to Ross to figure out what is going on.
5:20 PM Changeset in ghc [3b56334]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
4:41 PM Changeset in ghc [92f0991d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove the way-related CPP frmo DynFlags
4:25 PM Changeset in ghc [da33622]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Remove doingTickyProfiling It's now just 'dopt Opt_Ticky'
4:09 PM Changeset in ghc [4f15146]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Define initial buildTag and rtsBuildTag
4:02 PM Changeset in ghc [46258b4]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Make the ways dynamic
3:18 PM Changeset in ghc [6bceb07]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
massive_array is expect_broken(#7213)
3:18 PM Changeset in testsuite [03dcfac]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
massive_array is expect_broken(#7213)
3:16 PM Ticket #7213 (Test codeGen/should_compile/massive_array failing on 32-bits) created by simonmar
ezyang identified this problem with -fnew-codegen a while ago and made a …
2:48 PM SharedLibraries edited by duncan
fix link for PE format part 2 (diff)
1:53 PM Changeset in unix [62e07b8]ghc-7.8 by Paolo Capriotti <p.capriotti@…>
Add functions for setting file times with high resolution
1:32 PM Changeset in ghc [a2e589a1]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Reduce the likelihood of x64/x86-64 changes breaking the build on other arches (#7083). Code that needs to differentiate between i386 and x86-64 should now be written as if x86-64 is the default and i386 is the special case. Eg: # if i386_TARGET_ARCH someFuncion = ..... # else someFuncion = ..... # endif MERGED from commit 2f7c578574a9d5e9b4d95847abc3d1cb1b35336d
1:29 PM Ticket #7212 (GHCi segmentation fault) created by zenzike
Using OS X 10.6.8 on a 2.5 GHz Intel Core i5 machine. XCode 4.0.2 …
10:58 AM Changeset in ghc [494eb3d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Refactor the ways code a bit We used to use a list lookup that couldn't fail. Now we just use functions. There were 3 overlapping entries for WayPar; I've commented out the ones that were shadowed for now.
10:47 AM Ticket #7193 (darcs 2.8 fails to compile with ghc 7.6) closed by simonpj
fixed: The following patch fixes this ticket, #7193 (NOT #7196 as claimed): …
9:53 AM Changeset in ghc [a0fa6c37]ghc-7.8wip/T8545-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@…>
Adapt tests to the removal of the MR in GHCi
9:53 AM Changeset in testsuite [bc6af07]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Paolo Capriotti <p.capriotti@…>
Adapt tests to the removal of the MR in GHCi
9:52 AM Changeset in ghc [6def8bc]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/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@…>
Disable the MR by default in GHCi (#3202)
9:36 AM Ticket #6042 (GHC is bloated) closed by pcapriotti
invalid: Closing, as there doesn't seem to be anything wrong here, just more code …
8:18 AM Ticket #7211 (Huge space leak on a program that shouldn't leak) created by bartavelle
I have a program that works in a small amount of memory on a computer …
12:30 AM Ticket #7210 (Bang in front of type name crashes GHC) created by tibbe
When adding a bang to a type constructor applied to a type, I forgot to …

Sep 2, 2012:

2:51 PM Changeset in ghc [d2360a00]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
sync-all: Add support for the 'remote set-branches' command
2:50 PM Changeset in ghc [b5e0c5a]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Update ANNOUNCE for 7.6.1
2:21 PM Changeset in ghc [52b60fc0]ghc-7.6th-new-7.6 by Ian Lynagh <ian@…>
Add missing flag for respecting EXTRA_LIBDIR
1:09 AM Ticket #7208 (ghci panic: nameModule show{tv a9W}) closed by guest
duplicate: It's already fixed then.

Sep 1, 2012:

7:53 PM Changeset in ghc [ff32f97]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 fe6ddf00, fixing infelicities
7:51 PM Changeset in ghc [740cbdf]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'tc-untouchables', remote branch 'origin' into tc-untouchables
3:56 PM Ticket #7196 (Desugarer needs an extra case for casts in coercions) closed by pcapriotti
fixed: Merged as 3f79e2cf55ac7e002a6fa083821876184f6fe4c9.
3:56 PM Ticket #7177 (Flag -rtsopts not obeyed in hs_init()) closed by pcapriotti
fixed: Merged as d266a3020038403555f2d2deb903bab4ed1238a6.
3:56 PM Ticket #7175 (Panic when wrongly using a type family as return types for GADTs) closed by pcapriotti
fixed: Merged as 0d45533cd54ef08fa1e8f432c3f1192c76556504.
3:55 PM Ticket #7173 (Unnecessary constraints in inferred type) closed by pcapriotti
fixed: Merged as ce721cdc0bc98361fd20defc5f919bb12abe1634.
3:55 PM Ticket #7165 ("match_co bailing out" messages and compiler crash) closed by pcapriotti
fixed: Merged as cbedd1ce1a96eb330ad938219f0b52801ce862dc.
3:54 PM Ticket #7164 (Confusing "not a (visible) method" warning when method name clashes with ...) closed by pcapriotti
fixed: Merged as 87511d1ca0f4be6df208287c2a6c84aa85f45b70.
3:54 PM Ticket #7149 (Heap profiling restricted with retainers (+RTS -hrfoo -hc) segfaults) closed by pcapriotti
fixed: Merged as 66cb7e7293709d573c0d5e320507214e64127fde.
3:54 PM Ticket #7101 (Specialise broken for implicit parameters) closed by pcapriotti
fixed: Merged as 20b25bc688b7a6257cb466d9c70c214dafa369c6.
3:53 PM Ticket #7092 (Spurious shadowing warnings for names generated with newName) closed by pcapriotti
fixed: Merged as 2caef4d67eaa3a14d2873df0a31f6afba69a308c.
3:53 PM Ticket #7090 (Panic "mkCoVarLCo" with ConstraintKinds and type-level equality) closed by pcapriotti
fixed: Merged as 428bee9c31d1f9ea37e72885dd41baba6c016811.
3:52 PM Ticket #7170 (Foreign.Concurrent finalizer called twice in some cases) closed by pcapriotti
fixed: Merged as 7a6acb111f6013edafcd8761d496fa06c64d7b75.
3:51 PM Ticket #7160 (C finalizers are reversed during GC) closed by pcapriotti
fixed: Merged as 4709d3e1c493536e6e3058ae15de0d86c01e417a.
3:51 PM Ticket #6156 (Optimiser bug on linux-powerpc) closed by pcapriotti
fixed: Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.
3:50 PM Ticket #5205 (Control.Monad.forever leaks space) closed by pcapriotti
fixed: Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.
3:49 PM Ticket #7178 (Panic in coVarsOfTcCo) closed by pcapriotti
fixed: Merged as ef4218994742e8400a48b4d6e1ae7e6b67650dc4.
3:49 PM Ticket #7172 (GHCi :issafe command doesn't work) closed by pcapriotti
fixed: Merged as 46e88e6ef397d16c034fc2348867ec2054114bd0 and …
3:48 PM Ticket #7167 (Make it a warning (not error) to hide an import that isn't exported) closed by pcapriotti
fixed: Merged as 68fd5dcd5118816e03d6c5e23533faa298d34834.
3:47 PM Ticket #7040 (linker failures with foreign global data) closed by pcapriotti
fixed: Merged as 29ec96c89d19c1b40a8990466424ff35be096780.
3:37 PM Changeset in testsuite [835c8bc]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Fewer "shadowed bindings" messages from TH (result from fix of #7092) MERGED from commit c99c8bafd21d70f74c2ee452f2003f95143d90c6
3:36 PM Changeset in testsuite [d8583e3]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
avoid the new -rtsopts/-shared warning MERGED from commit 0a0cfe0549800d5ba6b7b5ca19b8d4ce04fbfce1
3:36 PM Changeset in testsuite [84ffe7a1]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Accept improvement MERGED from commit 95d11777a45a2811e7f0b31227abdb9ae6801ba1
3:36 PM Changeset in testsuite [a635498]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Remove rnfail038 test case Hiding a non-exported entity is not an error anymore. MERGED from commit e374e8c7b1bd683711ab791710145f402fe0d695
3:36 PM Changeset in testsuite [de314e2]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add more safe haskell test coverage. MERGED from commit 5a9f24dab26fab33c7d469e6d703de40a3daa359
3:36 PM Changeset in testsuite [332293a]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Update SafeHaskell outputs. MERGED from commit a6b670ea89ddcb835d0082f4812a798d3e2a6289
3:36 PM Changeset in testsuite [ac00b62]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Add test for #7172. MERGED from commit ff73844a8bc772595aeca59a8c0bd0b0dc780eec
10:25 AM Changeset in ghc [fe6ddf00]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A bunch more simplification and refactoring to the constraint solver * Instead of Untouchables being a [Unique], it is simply an Int indicating the depth of nesting. This works fine now that floatEqualities is promoting the floated unification variables to the outer level * Remove the inert_tv_eqs (InScopeSet) from InertCans. It wasn't being used. See Note [Shadowing in a constraint] in TcRnTypes * Rename inert_frozen to inert_insols * Some simple refactoring in TcErrors.reportFlatsAndInsols TcInteract.kickOutRewritable TsSimplify.floatEqualities

Aug 31, 2012:

5:09 PM Changeset in ghc [4026038]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-liftwip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Nicer pretty printing for tuple kinds
4:34 PM Changeset in ghc [cbedd1c]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Two small fixes to SpecConstr for functions with equality-proof args First, make Rules.match_co able to deal wit some modest coercions Second, make SpecConstr use wild-card for coercion arguments This is the rest of the fix for Trac #7165 MERGED from commit b04ff2fe83d8a5f9c176739559ac722521a7bdcc
4:34 PM Changeset in ghc [ce721cd]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Refactor the way we infer types for functions in a mutually recursive group See Note [Impedence matching] in TcBinds. Fixes Trac #7173 MERGED from commit 1a591a0ce0e1b70eb5e6646542d5f110bfefc9af
4:34 PM Changeset in ghc [0d45533]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fail earlier if there's an error in a type declaration This change means that we don't recover from erroneous type declarations, thereby reporting fewer errors. But trying to recover confused GHC (leading to a pattern match failure in the compiler Trac #7175), and it turned out to be tricky to fix that. So this patch takes the more conservative path of failing earlier, perhaps reporting fewer real errors. MERGED from commit d0ddde58f928a6b156d8061c406226c4fbb7cd22
4:34 PM Changeset in ghc [d266a30]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Emit a warning for -rtsopts -shared, as well as -rtsopts -no-hs-main -rtsopts has no effect with -shared, so we should emit a warning. See #5373 and #7177. MERGED from commit 9a3c8bd700a63dadcf1e238408b490908cbf6765
4:34 PM Changeset in ghc [3f79e2c]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix Trac #7196 by adding a case to the desugarer Pls merge to 7.6 MERGED from commit f27c631a16a17b8ad740d7d28c6ff267fb189c2c
4:34 PM Changeset in ghc [87511d1]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Re-jig the reporting of names bound multiple times Fixes Trac #7164 MERGED from commit 2c6d11fa17ff5cab7d62e6dbea3fc9e501fce7f3
4:13 PM Changeset in ghc [66cb7e72]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Profiling: open .prof when -hr<cc> is specified The code for retainer profiling is used with e.g. +RTS -hc -hrfoo -RTS, as well as with +RTS -hr -RTS. MERGED from commit 4e0a957758af94bc39ff51814bad54faf96a94b9
4:12 PM Changeset in ghc [20b25bc6]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Don't specialise on implicit-parameter arguments in Specalise This is a fix for Trac #7101 MERGED from commit 2f08f709cfdace23a4e32d80a57af349f7cc785a
4:11 PM Changeset in ghc [2caef4d6]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix Trac #7092, involving Template Hsakell and name shadowing All the mechanism was there, but it wasn't being use for the name-shadowing test. MERGED from commit b2e8bed817483e80d721cc69720d3d547edab4f5
4:09 PM Changeset in ghc [428bee9c]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Don't assume that coercion variables have (~) types The constraint solver doesn't zonk the types of coercion variables so we can't assume that a coercion variable will have a (~) type. Fixes Trac #7090. MERGED from commit d6918e9072e421178d59cd13ee352337a4090c39
4:06 PM Changeset in base [fa36654]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Improve definition of forever (#5205) The previous implementation was: forever a = a >> forever a which can create a space leak in some cases, even with optimizations. The current implementation: forever a = let a' = a >> a' in a' prevents repeated thunk allocations by creating a single thunk for the final result, even without optimizations. MERGED from commit f55f5574c12ff8dfe57994219eee0702ac8aba2e
4:05 PM Changeset in base [7a6acb1]ghc-7.6 by Paolo Capriotti <p.capriotti@…>
Remove finalizers from a ForeignPtr atomically (#7170) MERGED from commit 895dd47937c6c9340bf4f289f9f43d5f9be9ffcc
4:03 PM Changeset in ghc [4709d3e]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Retain ordering of finalizers during GC (#7160) This came up since the addition of C finalizers, since Haskell finalizers are already stored in an explicit list. C finalizers on the other hand get a WEAK object each, so in order to run them in the right order we have to make sure that list stays in the correct order. I hate adding new invariants, but this is the quickest way to fix the bug for now. A better way to fix it would be to have a single WEAK object with a list of finaliers attached to it, and a primop for adding finalizers to the list. MERGED from commit cec899d9fb668d4adccf731a63902e5be49f0660
4:03 PM Changeset in ghc [c8608af3]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix for optimizer bug on linux-powerpc (#6156). MERGED from commit b4b78631890a4cd9cde1551de9a4440e7e750372
4:02 PM Changeset in ghc [ef42189]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix missing case in coVarsOfTcCo Reported by Ganesh, Trac #7178. Fix is easy. MERGED from commit a0788a8b2ba19b7f3205010a71472342a75395f8
3:59 PM Changeset in ghc [8a51208]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Fix :issafe command (#7172). MERGED from commit 93e8ae26e42fbe9e600db125182d7823a78e2925
3:59 PM Changeset in ghc [46e88e6]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Improve Safe Haskell warn/error output. MERGED from commit 2b5b178f4880b8034ef8c187e6227cfc09edf0d5
3:58 PM Changeset in ghc [68fd5dc]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
Make badImportItem into a warning (#7167) Also fix a bug where a dodgy import warning was emitted for data families with a single constructor. MERGED from commit 3d7c81a4be00a6d72b321b4811ab316ea3301a60
3:57 PM Changeset in ghc [29ec96c]ghc-7.6th-new-7.6 by Paolo Capriotti <p.capriotti@…>
OS X: use mmap() instead of malloc for allocating the bss (#7040) MERGED from commit e590ad77f9596a8389409ae56ea902c97e5dbfb0
3:56 PM Ticket #7209 (haddock fails with "internal error: spliceURL UnhelpfulSpan") created by valiron
This bug has already been submitted on the haddock trac system. …
3:44 PM Changeset in ghc [490e006]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Update 64-bit results for the new codegen
3:44 PM Changeset in testsuite [93e2863]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update 64-bit results for the new codegen
3:43 PM Changeset in ghc [7eff3046]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
debug printing of the CAFEnv
3:43 PM Changeset in ghc [08042a51]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
fix the name of an SCC
3:43 PM Changeset in ghc [fad7453b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Narrow the arg of popCnt# to the correct width Fixes cgrun071 on recent Mac OS X versions. This is the right fix at least until we have proper types for Word8#, Word16# etc.
3:43 PM Changeset in ghc [111edd85]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Add -fcmm-sink to avoid the register allocator failing on x86
3:43 PM Changeset in ghc [db5c6ad]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Load the PIC base register on every entry point (fixes dyn tests with -fnew-codegen on x86)
3:43 PM Changeset in ghc [8aabe8d]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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 fencepost and byte/word bugs in cloneArray/copyArray (#7185)
3:43 PM Changeset in ghc [de3a8f76]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Cleanup: add mkIntExpr and zeroExpr utils
3:43 PM Changeset in ghc [832077ca]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
enable -fnew-codegen by default
3:43 PM Changeset in ghc [4f656e89]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
disable -fregs-graph (#7192)
3:43 PM Changeset in ghc [6dd55e8]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Fix a bug in foldExpDeep This caused the CAF analysis to occasionally miss a CAF sometimes, resulting in a very hard to diagnose crash.
3:43 PM Changeset in ghc [d9c0276]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
small improvements to findPtr() and the closure printer
2:12 PM Ticket #7208 (ghci panic: nameModule show{tv a9W}) created by felipe zapata
I was Editing some modules of my project, then I just tried > ghci …
12:32 PM Ticket #7207 (linker fails to load package with binding to foreign library (win64)) created by nus
GHCI is unable to load some packages on Win64, the examples are given for …
12:11 PM Ticket #7202 (Linux bindists don't work on new distros) closed by simonmar
fixed: Our build machines are all on Ubuntu 12.04 now, which has libgmp.so.10, …
12:08 PM Ticket #7201 (ghc assumes that ld can understand --hash-size [regression]) closed by simonmar
duplicate: Thanks for the report - we already have a ticket for this at #6063
12:06 PM Ticket #7206 (Implement cheap build) created by simonpj
We sometimes see stuff like this: […] You might think the (++) would …
11:34 AM Ticket #7205 (Re-introduce left/right coercion decomposition) created by simonpj
Suppose we have […] You might think this would obviously be OK, but …
10:54 AM Ticket #7204 (Use a class to control FFI marshalling) created by simonpj
There has been a string of tickets concerning argument/result types for …
9:05 AM Changeset in ghc [23f4463f]ghc-7.8wip/T8545-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 error message changes
9:05 AM Changeset in testsuite [13ee7f6]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error message changes
9:05 AM Changeset in ghc [b737a45]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
More simplifications to the constraint solver * inert_solved becomes dictionaries-only, inert_solved_dicts * inert_solved_dicts is used only to cache the result of uses of a top level instance declaration, just like inert_solved_funeqs * That in turn simplifies xCtFlavor and rewriteCtFlavor, because they no longer need a "should I cache" parameter. (Moreover the settings for this parameter were very subtle; it's easy to get loops if you cache too much. Caching only top-level instance uses is much safer, and eliminates all these subtle cases.)
2:10 AM Ticket #7203 (Add scanl') created by nh2
The presence of foldl' and foldl1' suggests the addition of scanl' (and …

Aug 30, 2012:

1:40 PM Changeset in ghc [8f00033c]ghc-7.8wip/T8545-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@…>
Update performance figure
1:40 PM Changeset in testsuite [2c62b4f]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Update performance figure
1:40 PM Changeset in ghc [7fa287ac]ghc-7.8wip/T8545-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 error message changes
1:40 PM Changeset in testsuite [58ed0ae9]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Accept error message changes
1:38 PM Changeset in ghc [2b69233]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
A raft more changes, * simplifying and tidying up canonicalisation, * removing the flat cache altogether * making the FunEq worklist into a deque
1:02 PM Changeset in ghc [b660cc0b]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
make sure to remove the right link before calling 'ln -s' (could we use 'ln -sf'?)

Aug 29, 2012:

6:36 PM Ticket #7202 (Linux bindists don't work on new distros) created by bos
All of the binary distributions are built on systems that have …
6:33 PM Ticket #7201 (ghc assumes that ld can understand --hash-size [regression]) created by bos
On my Fedora 17 box, I'm using gold as the default linker, and I cannot …
3:19 PM Ticket #7200 (template-haskell-2.7.0.0 fails to build with GHC 7.0.4 due to missing ...) created by tibbe
It looks like there's a missing pragma: […]
2:35 PM Changeset in ghc [f5216cd2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge remote-tracking branch 'origin/HEAD' into tc-untouchables
2:34 PM Changeset in ghc [34be452f]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Minor fixes, mostly simplificaitons
2:04 PM Ticket #7199 (Standalone deriving Show at GHCi prompt causes divergence when printing) closed by simonpj
invalid: This code […] does not derive a Show instance. To do that you need …
1:01 PM Ticket #7199 (Standalone deriving Show at GHCi prompt causes divergence when printing) created by dpmulligan
Deriving a show instance for a data type (defined either with the standard …
12:47 PM Changeset in ghc [bcef1e2]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
v7.4.1 is required for building, so we can drop the v7.2.1 workaround
12:44 PM Ticket #7198 (New codegen more than doubles compile time of T3294) created by simonmar
I did some preliminary investigation, and there seem to be a couple of …
12:24 PM Changeset in ghc [0d280e03]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Gabor Greif <ggreif@…>
fix typo
11:03 AM Ticket #7197 (ghc panic: Irrefutable pattern failed) closed by simonpj
duplicate: Thanks. Always worth searching Trac first... this is just a dup of #7093, …
10:45 AM Ticket #7197 (ghc panic: Irrefutable pattern failed) created by illusionoflife
I get following error, when trying to compile following snippet: […] …
10:34 AM Changeset in ghc [c5b92198]ghc-7.8wip/T8545-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@…>
Teat Trac #7175
10:34 AM Changeset in testsuite [3f93d37]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Teat Trac #7175
10:33 AM Changeset in ghc [d0ddde58]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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@…>
Fail earlier if there's an error in a type declaration This change means that we don't recover from erroneous type declarations, thereby reporting fewer errors. But trying to recover confused GHC (leading to a pattern match failure in the compiler Trac #7175), and it turned out to be tricky to fix that. So this patch takes the more conservative path of failing earlier, perhaps reporting fewer real errors.
10:29 AM Changeset in ghc [ee578b6]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouchables
10:29 AM Changeset in ghc [0d55e1e]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Dimitrios.Vytiniotis <dimitris@…>
Avoid emitting Given constraints for spontaneous unifications. Instead keep spontaneous unifications /only/ in the TcS tybinds. Relevant note is Note [Spontaneously solved in TyBinds] in TcInteract.
9:59 AM Changeset in ghc [4976939a]ghc-7.8wip/T8545-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 #7196
9:59 AM Changeset in testsuite [7d00c53]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7196
9:57 AM Changeset in ghc [f27c631a]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7196 by adding a case to the desugarer Pls merge to 7.6
7:21 AM Commentary/GSoCMultipleInstances edited by phischu
(diff)
6:55 AM Ticket #7196 (Desugarer needs an extra case for casts in coercions) created by simonpj
Ganesh (via Darcs) found the code below crashes GHC 7.6rc1, thus: […] …
6:35 AM Changeset in ghc [72e46ba]coercibledata-kind-syntaxghc-7.8ghc-lwc2late-lam-lifttc-untouchableswip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/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
6:34 AM Changeset in ghc [92b9bda]ghc-7.8wip/T8545-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@…>
Fewer "shadowed bindings" messages from TH (result from fix of #7092)
6:34 AM Changeset in testsuite [c99c8ba]atomicsdata-kind-syntaxoverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Fewer "shadowed bindings" messages from TH (result from fix of #7092)
Note: See TracTimeline for information about the timeline view.