Timeline


and

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