[commit: nofib] supercompiler: First draft of supercompilation nofib tests (5d0863d)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/5d0863d4afd518853e6c80b55112038fb12627c3 >--- commit 5d0863d4afd518853e6c80b55112038fb12627c3 Author:

[commit: nofib] supercompiler: Ad-hoc nofib-analyse changes and SUPERCOMP_HC_OPTS (270c8d8)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/270c8d8ae5c349c7c2fe35d861346c5c77535a91 >--- commit 270c8d8ae5c349c7c2fe35d861346c5c77535a91 Author:

[commit: nofib] supercompiler: Considerable benchmark tweaking (6f01206)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6f01206bd1036ec0f5b7a7d8cf46d73d2f375d94 >--- commit 6f01206bd1036ec0f5b7a7d8cf46d73d2f375d94 Author:

[commit: nofib] supercompiler: Make subset of supercompile-folder benchmarks compile and run correctly, fix SC opts for other benchmarks (87c35a0)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/87c35a015f8adb7c0ae4d5329d115d7b994e2250 >--- commit 87c35a015f8adb7c0ae4d5329d115d7b994e2250 Author:

[commit: nofib] supercompiler: Playing with Bernouilli (b65222f)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b65222fb4962b04f0827ed89e498ad44a5e15671 >--- commit b65222fb4962b04f0827ed89e498ad44a5e15671 Author:

[commit: ghc] supercompiler: Ensure wrappers are SUPERINLINABLE (61f74db)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/61f74db90cba9d4e5b9d9a9207f1cba6311dc0ff >--- commit 61f74db90cba9d4e5b9d9a9207f1cba6311dc0ff Author:

[commit: nofib] supercompiler: Change how default supercompliation options are setup (9812ada)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/9812ada23b048da81416daf08494b75ae0bf48d2 >--- commit 9812ada23b048da81416daf08494b75ae0bf48d2 Author:

[commit: ghc] supercompiler: Complete Deeds threading in Split2 (08b7320)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/08b73205fd3b06deffe9994131ae5d8bf7b4e1a8 >--- commit 08b73205fd3b06deffe9994131ae5d8bf7b4e1a8 Author:

[commit: nofib] supercompiler: Tweaks to benchmarks, more benchmarks (ddc87cc)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ddc87ccb2620e7588c2c26f260963536bef8427e >--- commit ddc87ccb2620e7588c2c26f260963536bef8427e Author:

[commit: nofib] supercompiler: Add module size to nofib output (6f57cbc)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6f57cbc98bd84ecc8addd16923c58b28ac8f0f9d >--- commit 6f57cbc98bd84ecc8addd16923c58b28ac8f0f9d Author:

[commit: ghc] supercompiler: Correct top-level renaming in MSG to prevent <> (5fa43dc)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/5fa43dc8cf6a2aef566b6c51780ada1ec4ebc32e >--- commit 5fa43dc8cf6a2aef566b6c51780ada1ec4ebc32e Author:

[commit: ghc] supercompiler: Last bug fixes and flag additions. (08e33ed)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/08e33edf20e2274b1266b4809ecea5678014b0a3 >--- commit 08e33edf20e2274b1266b4809ecea5678014b0a3 Author:

[commit: ghc] supercompiler: Allow MSG to generalise occurrence info (5ff6887)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/5ff68875f73bd52faa3fe94631aab4cb2c05a70b >--- commit 5ff68875f73bd52faa3fe94631aab4cb2c05a70b Author:

[commit: nofib] supercompiler: Ignore common OS junk (d77043e)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/d77043e57f3c2a6e738df300b4e8aab1757a0a0b >--- commit d77043e57f3c2a6e738df300b4e8aab1757a0a0b Author:

[commit: nofib] branch 'supercompiler' created

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/nofib New branch : supercompiler Referencing: 270c8d8ae5c349c7c2fe35d861346c5c77535a91 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

[commit: ghc] supercompiler: Fix a small but critcal error in MSG (6d30d1c)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6d30d1c064f8220b18c629bbba84e204458e9acc >--- commit 6d30d1c064f8220b18c629bbba84e204458e9acc Author:

[commit: ghc] supercompiler: Make the speculation flag work properly (f2b4a3f)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/f2b4a3f7bfbbb51d927b61ec7251ba387132e385 >--- commit f2b4a3f7bfbbb51d927b61ec7251ba387132e385 Author:

[commit: ghc] supercompiler: Small tweaks including turning on positive info by default (6bdefd8)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6bdefd8d7b17bb61980e39f31656c6ce18e93876 >--- commit 6bdefd8d7b17bb61980e39f31656c6ce18e93876 Author:

[commit: ghc] supercompiler: Trace upon rollback (8bb16db)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/8bb16db29609438805c6e541cc3942fc3cd882ee >--- commit 8bb16db29609438805c6e541cc3942fc3cd882ee Author:

[commit: ghc] supercompiler: Checkpoint deeds in splitter (8900089)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/89000899821ac43616eb11792adafeef3883fabd >--- commit 89000899821ac43616eb11792adafeef3883fabd Author:

[commit: ghc] supercompiler: Comment only (26edd7d)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/26edd7d1271a72f6e814e501cc93404a90d018bc >--- commit 26edd7d1271a72f6e814e501cc93404a90d018bc Author:

[commit: ghc] supercompiler: Mark module SUPERINLINABLE by default (otherwise SC is almost an identity transformation) (5c058a0)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/5c058a0fe6364c874ee071c912a3f1a61014a2da >--- commit 5c058a0fe6364c874ee071c912a3f1a61014a2da Author:

[commit: ghc] supercompiler: Comments only (a8a1f39)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a8a1f396f8c9c88240e34a9ab79bdea5b0110769 >--- commit a8a1f396f8c9c88240e34a9ab79bdea5b0110769 Author:

[commit: ghc] supercompiler: Weaken the bugcheck for typegen tieback memo (680f931)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/680f9313ab06eb12f21d7c46d7612d88dfd8b31d >--- commit 680f9313ab06eb12f21d7c46d7612d88dfd8b31d Author:

[commit: ghc] supercompiler: Fix critical bug in msg where we weren't sucking enough (deee68a)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/deee68af1448bcfb41bd4d73d820b549d07e5d75 >--- commit deee68af1448bcfb41bd4d73d820b549d07e5d75 Author:

[commit: ghc] supercompiler: Fix mkSymCo so it actually creates a symmetric coercion (cfa06bc)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/cfa06bc2a3ea558f0b5eb7636f5fe29ca809542d >--- commit cfa06bc2a3ea558f0b5eb7636f5fe29ca809542d Author:

[commit: ghc] supercompiler: Fix newtype unfoldings (coercion direction) and prevent data unfoldings with strange tyvar kinds (d54e4c5)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/d54e4c5e73caadb53fe53b5e7a4a71579476746b >--- commit d54e4c5e73caadb53fe53b5e7a4a71579476746b Author:

[commit: ghc] supercompiler: Fix problems with preinit eta expansion: no gc-destroyed free vars, no dead var occs (4a911d7)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/4a911d725946061ee7765d78d3e9c43e45695b64 >--- commit 4a911d725946061ee7765d78d3e9c43e45695b64 Author:

[commit: ghc] supercompiler: Fix bug in cheap node shortcutting that was pessimising the splitter (8388dd2)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/8388dd29c803ca8800beeea5e00dd5c6e3b398e0 >--- commit 8388dd29c803ca8800beeea5e00dd5c6e3b398e0 Author:

[commit: ghc] supercompiler: Don't float out of binders that may be marked SUPERINLINABLE when converting from GHC core to preserve lexical structure (15638a4)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/15638a4381e33af35f9375ad5b57d22c52fe4d01 >--- commit 15638a4381e33af35f9375ad5b57d22c52fe4d01 Author:

[commit: ghc] supercompiler: No sc' tracing (9be06a4)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/9be06a4e824515fd12548ba1ef2af5ae8dc87fd8 >--- commit 9be06a4e824515fd12548ba1ef2af5ae8dc87fd8 Author:

[commit: ghc] supercompiler: Show those binders which are SUPERINLINABLE (27195a3)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/27195a3a7caca0228b75e7e5760a937963ecd61c >--- commit 27195a3a7caca0228b75e7e5760a937963ecd61c Author:

[commit: ghc] supercompiler: Slight improvement to power of reduce termination test by using gc, more debug output (6b8c902)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6b8c90246bcee13f03bdb20352b25d425412b1e7 >--- commit 6b8c90246bcee13f03bdb20352b25d425412b1e7 Author:

[commit: ghc] supercompiler: Made pairT lazier (021214f)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/021214f87371dfa1c1e1f65e4b6e494333e37bb9 >--- commit 021214f87371dfa1c1e1f65e4b6e494333e37bb9 Author:

[commit: ghc] supercompiler: Lexical marking of SUPERINLINABLEs in current module as well as imported modules (42ef500)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/42ef5005bf56129c8e9e7c511a8077c38b501226 >--- commit 42ef5005bf56129c8e9e7c511a8077c38b501226 Author:

[commit: ghc] supercompiler: Fix critical bug where FVs of generalised stack tails would not be sucked (64667ed)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/64667edfaf92756b0a9a2c65a688accfb99d8bdd >--- commit 64667edfaf92756b0a9a2c65a688accfb99d8bdd Author:

[commit: ghc] supercompiler: Don't pull on prepareTerm result unless needed (f89af0c)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/f89af0cc364255f77fb0ab9f2109ee54821be850 >--- commit f89af0cc364255f77fb0ab9f2109ee54821be850 Author:

[commit: ghc] supercompiler: Disable instance matching by default (9cf9598)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/9cf959869c26a561e88fb9f791b61d2fed66933f >--- commit 9cf959869c26a561e88fb9f791b61d2fed66933f Author:

[commit: ghc] supercompiler: Do memocache preinit even when using let-bindings (7936e48)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/7936e4879e73957ea96cc639db9897d7899cf70b >--- commit 7936e4879e73957ea96cc639db9897d7899cf70b Author:

[commit: ghc] supercompiler: Idempotent speculator (9d99feb)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/9d99febef391d3c43d481d5efb9290821dab6c80 >--- commit 9d99febef391d3c43d481d5efb9290821dab6c80 Author:

[commit: ghc] supercompiler: Horrible patches to make memocache preinit work (b99c6ae)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b99c6ae21dc46543c0c4db29aff2260dd368bbfe >--- commit b99c6ae21dc46543c0c4db29aff2260dd368bbfe Author:

[commit: ghc] supercompiler: FIx stupid bug with summary given to GHC heuristics (0a2664c)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/0a2664ce044b22c3a12800da2a50299b0e3f6c35 >--- commit 0a2664ce044b22c3a12800da2a50299b0e3f6c35 Author:

[commit: ghc] supercompiler: Checkpoint possible new speculator implementation that goes to some trouble to be idempotent (6a48bdd)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6a48bdd3ec9c6162010172f163151f122be44b45 >--- commit 6a48bdd3ec9c6162010172f163151f122be44b45 Author:

[commit: ghc] supercompiler: Add comments only (fac9686)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/fac968604ccd4e0595136c120fb2ad1ba5905af0 >--- commit fac968604ccd4e0595136c120fb2ad1ba5905af0 Author:

[commit: ghc] supercompiler: Checkpoint speculator work (8fa49be)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/8fa49be1a3195e1b5e9a1babd5158202cf25580c >--- commit 8fa49be1a3195e1b5e9a1babd5158202cf25580c Author:

[commit: ghc] supercompiler: Fix MSG not preserving global-idness (ea23213)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ea232136c947a1d68da35809ea62a2d3074e48e4 >--- commit ea232136c947a1d68da35809ea62a2d3074e48e4 Author:

[commit: ghc] supercompiler: Remove some tabs the commit hook is complaining about (7b68eb7)

2012-12-06 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/7b68eb7d761fbf288e74f2fe300bf132cb6bfb97 >--- commit 7b68eb7d761fbf288e74f2fe300bf132cb6bfb97 Author:

[commit: ghc] supercompiler: Remove some tabs the commit hook is complaining about (4f3f9f0)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/4f3f9f0d7df5eb8dd399562706bd0445791e6e90 >--- commit 4f3f9f0d7df5eb8dd399562706bd0445791e6e90 Author:

[commit: ghc] supercompiler: I don't know why I started tying back to dumped promises, but it's a bad idea (2a55fe4)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2a55fe42ae6969b0d439b8748a164f923eda56fa >--- commit 2a55fe42ae6969b0d439b8748a164f923eda56fa Author:

[commit: ghc] supercompiler: Revert state in MSG if binderisation fails (7181cc0)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/7181cc09f46ed51c54821cc01fb4939bfe2b4670 >--- commit 7181cc09f46ed51c54821cc01fb4939bfe2b4670 Author:

[commit: ghc] supercompiler: SC rollback doesn't have to fail, and improve split/generalise decision upon rollback (b895304)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b895304bdadf197e93aa8d9803a36a942a7865ba >--- commit b895304bdadf197e93aa8d9803a36a942a7865ba Author:

[commit: ghc] supercompiler: Carefully document loopiness in MSG and fix all examples of overeagerness (d8ed3e4)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/d8ed3e4f2b16ebe62902a0862948391a6b08e97f >--- commit d8ed3e4f2b16ebe62902a0862948391a6b08e97f Author:

[commit: ghc] supercompiler: Some comments + changes in how often we instance-match (8b7e0b3)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/8b7e0b3f29453f196f350054643f6d95ade1c6e5 >--- commit 8b7e0b3f29453f196f350054643f6d95ade1c6e5 Author:

[commit: ghc] supercompiler: Rewrite speculate to be more logical and simpler.. hopefully it doesn't go exponential (9567422)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/956742285b22318bf785e2f779cc9a913a54e6d2 >--- commit 956742285b22318bf785e2f779cc9a913a54e6d2 Author:

[commit: ghc] supercompiler: Comments only (fee3f60)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/fee3f60929b1d9eaa042db17890644b4c140b05a >--- commit fee3f60929b1d9eaa042db17890644b4c140b05a Author:

[commit: ghc] supercompiler: Tidy up MSG and make specGenVars non-strict in the knot tied variable (30c3d50)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/30c3d500dfefabf6c76b402e5513d77302385497 >--- commit 30c3d500dfefabf6c76b402e5513d77302385497 Author:

[commit: ghc] supercompiler: Totally redo evaluation, including the abstract syntax of Answers (no more casts please). Much cleaner (2ce3732)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2ce3732189ebee322245d00288a74dcc67047ea1 >--- commit 2ce3732189ebee322245d00288a74dcc67047ea1 Author:

[commit: ghc] supercompiler: Eager value splitting in the new splitter for compatability with thesis (don't think it's actually necessary for correctness though) (58d86ee)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/58d86ee006272664a797814f09d0f4ec8325cc8c >--- commit 58d86ee006272664a797814f09d0f4ec8325cc8c Author:

[commit: ghc] supercompiler: Hack in some examples, not quite working (79010d3)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/79010d3ca1e44255ecce26f04a04db2608382726 >--- commit 79010d3ca1e44255ecce26f04a04db2608382726 Author:

[commit: ghc] supercompiler: Remove small redundancy (2529992)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2529992e6f96dcc0fa061ce6a06625d5e0ce67f3 >--- commit 2529992e6f96dcc0fa061ce6a06625d5e0ce67f3 Author:

[commit: ghc] supercompiler: Fix stupid typo in MSG that was causing even stupider tiebacks (46b9179)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/46b917947cfd0634700414375e05b91e01716d9e >--- commit 46b917947cfd0634700414375e05b91e01716d9e Author:

[commit: ghc] supercompiler: Fix some potential loops in supercompilation, make matching succeed more often (3431c3c)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/3431c3c804d2a21f3ee409c233d6fd24441868ef >--- commit 3431c3c804d2a21f3ee409c233d6fd24441868ef Author:

[commit: ghc] supercompiler: Tweak debug output (2addd84)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2addd844b26cd49214954daf06b423c1185af35b >--- commit 2addd844b26cd49214954daf06b423c1185af35b Author:

[commit: ghc] supercompiler: Update supercompiler based on latest thinking about correctness (i.e. disable reduce-before-match, skip irred states in memo) (3e6a3ef)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/3e6a3efb2794ecfb36f30e398f89927b6ba95d62 >--- commit 3e6a3efb2794ecfb36f30e398f89927b6ba95d62 Author:

[commit: ghc] supercompiler: Ensure we make progress in the evaluator for UPDATE2 rule (92c3f74)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/92c3f748f06ebecb6ba623d3610b7464d5f5cac7 >--- commit 92c3f748f06ebecb6ba623d3610b7464d5f5cac7 Author:

[commit: ghc] supercompiler: Checkpoint some MSG work (c48c4d0)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/c48c4d08e60f1ac2fd78259f49a79cf7aa1febd7 >--- commit c48c4d08e60f1ac2fd78259f49a79cf7aa1febd7 Author:

[commit: ghc] supercompiler: Complete MSG examples (49ed3da)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/49ed3da90f316d17489e5cc118bf2abd7358cad8 >--- commit 49ed3da90f316d17489e5cc118bf2abd7358cad8 Author:

[commit: ghc] supercompiler: A version of MSG where stack initialization takes place in a seperate monad for cleanliness (7d55bbd)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/7d55bbd5e557790016dc107d3fada25506fa149a >--- commit 7d55bbd5e557790016dc107d3fada25506fa149a Author:

[commit: ghc] supercompiler: Experimental rewrite of the MSG (currently loops) (484262f)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/484262f6ffc1f44163fc4c001bed558999c0381d >--- commit 484262f6ffc1f44163fc4c001bed558999c0381d Author:

[commit: ghc] supercompiler: A version of the deterministic MSGer that might be correct (3452b7e)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/3452b7eb1ee0b724492e4dca9e5b1241556436b2 >--- commit 3452b7eb1ee0b724492e4dca9e5b1241556436b2 Author:

[commit: ghc] supercompiler: First version of MSG rethink that type checks. Removed term gen capabalities while I was at it. (0df6f2f)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/0df6f2f0601a462e10a353a5c1715752ff50c312 >--- commit 0df6f2f0601a462e10a353a5c1715752ff50c312 Author:

[commit: ghc] supercompiler: Due to evaluator change we can remove some ugliness from split cheap heap construction (feb653c)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/feb653c2936b2bd0e714b818a1c7680b01497806 >--- commit feb653c2936b2bd0e714b818a1c7680b01497806 Author:

[commit: ghc] supercompiler: Small simplification to solving loop predecessors map (c57f638)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/c57f6389a045ecb12c34059f379cafc3301824a4 >--- commit c57f6389a045ecb12c34059f379cafc3301824a4 Author:

[commit: ghc] supercompiler: Checkpoint MSG bullshit, REMOVE trace in sc (9263710)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/92637106f05b54bc59331dcc81928f2f4c5d9213 >--- commit 92637106f05b54bc59331dcc81928f2f4c5d9213 Author:

[commit: ghc] supercompiler: Correctly update type of a Case when pushing frames inside it (6cb88f4)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/6cb88f4096c9c8d9416abeed0c7273a7cc9ac012 >--- commit 6cb88f4096c9c8d9416abeed0c7273a7cc9ac012 Author:

[commit: ghc] supercompiler: Fix small bugs in renaming terms output from the supercompiler (6298222)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/62982223ebe7b08e2f023ae5b534b71c130c592e >--- commit 62982223ebe7b08e2f023ae5b534b71c130c592e Author:

[commit: ghc] supercompiler: Include the init_xes when deciding which extra bindings need to be resid (ab9c02f)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ab9c02f371da4fd3ac5c727bbb2dd0050ff7defd >--- commit ab9c02f371da4fd3ac5c727bbb2dd0050ff7defd Author:

[commit: ghc] supercompiler: Small style fixes etc to the evaluator (a1ec2fc)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a1ec2fcec7f42cfd218252760dbad9c106f7f0b9 >--- commit a1ec2fcec7f42cfd218252760dbad9c106f7f0b9 Author:

[commit: ghc] supercompiler: Remove unreachable nodes in splitter before deciding marking to get better results (425828f)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/425828f3be64c37159650422e23c385076ccf6e5 >--- commit 425828f3be64c37159650422e23c385076ccf6e5 Author:

[commit: ghc] supercompiler: Check for triviality in renaming before returning a type generalisation (d1417a28)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/d1417a283b5e55afa3fbff94aaa7ea18373d4fb8 >--- commit d1417a283b5e55afa3fbff94aaa7ea18373d4fb8 Author:

[commit: ghc] supercompiler: Treat letbounds and lambdabounds as cheap, for gods sake (b7c6fad)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b7c6fad99c2031b15fc0f7d45a6a29d71fc342ba >--- commit b7c6fad99c2031b15fc0f7d45a6a29d71fc342ba Author:

[commit: ghc] supercompiler: Fiddle with memo_how check fruitlessly (2c1419e)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2c1419efa0183726a29502cce2065799c0e1ee2a >--- commit 2c1419efa0183726a29502cce2065799c0e1ee2a Author:

[commit: ghc] supercompiler: Small fixes to Split2 (46ca464)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/46ca464e264287bd20cf9530292e42fab4b03910 >--- commit 46ca464e264287bd20cf9530292e42fab4b03910 Author:

[commit: ghc] supercompiler: Fix eager value splitting with an updated value in focus (29ab199)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/29ab199a1b42155431e1751c5dd71ee536282e58 >--- commit 29ab199a1b42155431e1751c5dd71ee536282e58 Author:

[commit: ghc] supercompiler: Make core data types a bit more general (88afcfd)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/88afcfde241db3cc889ef5f27efd6571b4239493 >--- commit 88afcfde241db3cc889ef5f27efd6571b4239493 Author:

[commit: ghc] supercompiler: Check deadness after InScopeSet substitution in CoreLint in case OccInfo only updated at binders (a5031b2)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a5031b295c190824ed7707bca3bd26cd899fffc3 >--- commit a5031b295c190824ed7707bca3bd26cd899fffc3 Author:

[commit: ghc] supercompiler: Use new design for splitter, only used in Process3 for now (e8ae3b7)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/e8ae3b71590e57c125e75380b87fb25cf2481bf6 >--- commit e8ae3b71590e57c125e75380b87fb25cf2481bf6 Author:

[commit: ghc] supercompiler: Remove unused import in SimplCore (744bbfb)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/744bbfb161f5ad094595e1af0c6a27b241ec5fc9 >--- commit 744bbfb161f5ad094595e1af0c6a27b241ec5fc9 Author:

[commit: ghc] supercompiler: Various misc fixes to new splitter so it produces reasonable looking output without error (a4a5a31)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a4a5a31f2f05148573ba49dde3202db7dd1c7796 >--- commit a4a5a31f2f05148573ba49dde3202db7dd1c7796 Author:

[commit: ghc] supercompiler: Do the uniqAway in MSG all at once to avoid shadowing bugs (9dfe592)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/9dfe59229014a394396fd3c1851fb299240d366e >--- commit 9dfe59229014a394396fd3c1851fb299240d366e Author:

[commit: ghc] supercompiler: Restrict stack pruning to preserve effectivness of NOINLINE and friends (07302b1)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/07302b1cc7adb6faedb6739d2dd007054bba63f7 >--- commit 07302b1cc7adb6faedb6739d2dd007054bba63f7 Author:

[commit: ghc] supercompiler: Comment only (2cf8360)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2cf836097a4b5afb3cbbb28d48f00c894219a725 >--- commit 2cf836097a4b5afb3cbbb28d48f00c894219a725 Author:

[commit: ghc] supercompiler: Instantiating with a stack frame *is* real instantiation (e2c9fc7)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/e2c9fc779cc7b32afe1c2680e8692ab27af78f41 >--- commit e2c9fc779cc7b32afe1c2680e8692ab27af78f41 Author:

[commit: ghc] supercompiler: Basic implementation of RightGivesTypeGen to stop panics (ae7aadd)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ae7aadd8d786558bea3553c08a4784f4162c284d >--- commit ae7aadd8d786558bea3553c08a4784f4162c284d Author:

[commit: ghc] supercompiler: Add a FIXME (5d06bb4)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/5d06bb4b065615fd392641490dcf57732e53ee41 >--- commit 5d06bb4b065615fd392641490dcf57732e53ee41 Author:

[commit: ghc] supercompiler: Move the notion of shortability to the IdInfo module for reuse in the supercompiler (bc152fc)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/bc152fc8075362078a36a7d25ac147eb2c65c788 >--- commit bc152fc8075362078a36a7d25ac147eb2c65c788 Author:

[commit: ghc] supercompiler: Small comments and code movements (c06362a)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/c06362a5a957d57a516d11609ea4b38cc973374a >--- commit c06362a5a957d57a516d11609ea4b38cc973374a Author:

[commit: ghc] supercompiler: Fix some FV issues so that map-map actually doesn't loop (b4585b8)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b4585b8c910fa473fe673187a99e78e9d2cc8439 >--- commit b4585b8c910fa473fe673187a99e78e9d2cc8439 Author:

[commit: ghc] supercompiler: Comment only, before eliminating Indirect (a09817c)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a09817ce1b515836fadb6a1358afd7417fcb77ff >--- commit a09817ce1b515836fadb6a1358afd7417fcb77ff Author:

[commit: ghc] supercompiler: Fix some bugs in new evaluator (459be0b)

2012-10-04 Thread Max Bolingbroke
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/459be0bd74b4e53e48b97275e5521f11a78e759b >--- commit 459be0bd74b4e53e48b97275e5521f11a78e759b Author:

  1   2   3   4   5   6   7   8   >