[nightly] 04-Oct-2012 build of STABLE on i386-unknown-linux (cam-02-unx)

Build description = STABLE on i386-unknown-linux (cam-02-unx) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Thu Oct 4 18:10:02 BST 2012. checking out new source tree

[commit: testsuite] master: 2228 is broken on x86_64-unknown-linux (77cd378)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/77cd37824211100c548d6ef41f79f9156b0eef05 >--- commit 77cd37824211100c548d6ef41f79f9156b0eef05 Author: Ian Lynag

[commit: testsuite] master: Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite (0b6faf9)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/0b6faf9b6ec4bdaba7ae3532d122745203bb41fc >--- commit 0b6faf9b6ec4bdaba7ae3532d122745203bb41fc Merge: 48714a8...

[commit: testsuite] master: Driver: Define have_shared_libs correctly (48714a8)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/48714a8e978eeffa12969ed0ff6f518c47094397 >--- commit 48714a8e978eeffa12969ed0ff6f518c47094397 Author: Ian Lynag

[commit: testsuite] master: Don't use the dyn way if we're dynamic by default (63465d1)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/63465d1c01324b29351f637b922e85de3602c678 >--- commit 63465d1c01324b29351f637b922e85de3602c678 Author: Ian Lynag

[commit: ghc] master: Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc (4a138b7)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/4a138b708463a99a1087ce2d8a70239de3aa04e4 >--- commit 4a138b708463a99a1087ce2d8a70239de3aa04e4 Merge: 6784ddd... ed5eb

[commit: ghc] master: Make adjust_ul handle BCOs (6784ddd)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/6784dddc7f16e73382d1855962f93cf4a712a496 >--- commit 6784dddc7f16e73382d1855962f93cf4a712a496 Author: Ian Lynagh Dat

[commit: ghc] master: Load the right object files in ghci (b49ad6b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/b49ad6bb4e85bc16b60c176672b448e30d333d7c >--- commit b49ad6bb4e85bc16b60c176672b448e30d333d7c Author: Ian Lynagh Dat

[commit: ghc] master: Actually build things the dynamic way (16a8414)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/16a8414061a1fef7d90e162e5253d3005cb11806 >--- commit 16a8414061a1fef7d90e162e5253d3005cb11806 Author: Ian Lynagh Dat

tn23 (x86 OSX HEAD), build 719, Failure

tn23 (x86 OSX HEAD), build 719 Build failed Details: http://darcs.haskell.org/ghcBuilder/builders/tn23/719.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check files

[nightly] 04-Oct-2012 build of STABLE on x86_64-unknown-linux (cam-04-unx)

Build description = STABLE on x86_64-unknown-linux (cam-04-unx) Build location= /64playpen/simonmar/nightly/STABLE-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-04-unx Nightly build started on cam-04-unx at Thu Oct 4 18:10:01 BST 2012. checking out new so

am-deb7-64 (HEAD), build 201, Success

am-deb7-64 (HEAD), build 201 Build succeeded Details: http://darcs.haskell.org/ghcBuilder/builders/am-deb7-64/201.html git clone| Success create mk/build.mk | Success get subrepos | Success repo versions| Success touching clean-check f

[commit: haddock] ghc-7.6: Set executable flag for Setup.lhs (2319833)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/2319833e9d96a78ba041a0041abc9bfffb523702 >--- commit 2319833e9d96a78ba041a0041abc9bfffb523702 Author: Simon Heng

[nightly] 04-Oct-2012 build of HEAD (unreg) on x86_64-unknown-linux (cam-04-unx)

Build description = HEAD (unreg) on x86_64-unknown-linux (cam-04-unx) Build location= /64playpen/simonmar/nightly/HEAD-unreg-cam-04-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-unreg-cam-04-unx Nightly build started on cam-04-unx at Thu Oct 4 18:20:01 BST 2012. check

[commit: testsuite] master: Merge branch 'master' of http://darcs.haskell.org/testsuite (732afc6)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/732afc607ffd592ddacb582536a5cb4784dac1a3 >--- commit 732afc607ffd592ddacb582536a5cb4784dac1a3 Merge: 8518ad7...

[commit: testsuite] master: Error message wibbles now that we do less defaulting when there are insolubles (b572594)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/b5725940b066c8a6acb29fe77246e6736414e1e7 >--- commit b5725940b066c8a6acb29fe77246e6736414e1e7 Author: Simon Pey

[commit: testsuite] master: I've changed the error reporting so that with -fdefer-type-errors (8518ad7)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/8518ad770e652d5ef2d1ba06a8b230d37d07a598 >--- commit 8518ad770e652d5ef2d1ba06a8b230d37d07a598 Author: Simon Pey

[commit: testsuite] master: Test Trac #7050 (f2bbb8d)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master http://hackage.haskell.org/trac/ghc/changeset/f2bbb8dc0f8fba1ecc598cf033088b021f1d7cb7 >--- commit f2bbb8dc0f8fba1ecc598cf033088b021f1d7cb7 Author: Simon Pey

[commit: ghc] master: Improve pretty-printing for holes (eb6c3ee)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/eb6c3ee0f85737821525462fcb7ddd38c3f57427 >--- commit eb6c3ee0f85737821525462fcb7ddd38c3f57427 Author: Simon Peyton Jo

[commit: ghc] master: Improve erorr location for Given errors (629d1f4)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/629d1f48b513be3cc662ea79376737dbcdb6b18f >--- commit 629d1f48b513be3cc662ea79376737dbcdb6b18f Author: Simon Peyton Jo

[commit: ghc] master: Improve debug tracing slighty (00cb878)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/00cb878905c1bf709dd3a3bf7be6e743ee0eb059 >--- commit 00cb878905c1bf709dd3a3bf7be6e743ee0eb059 Author: Simon Peyton Jo

[commit: ghc] master: Comments only (56a8c8a)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/56a8c8a607fcce698c277bdf68417ada3bbd05b5 >--- commit 56a8c8a607fcce698c277bdf68417ada3bbd05b5 Author: Simon Peyton Jo

[commit: ghc] master: Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc (ed5ebee)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/ed5ebee4df62e438b7d7bcd32b672510c362206e >--- commit ed5ebee4df62e438b7d7bcd32b672510c362206e Merge: b9fccbc... 911bc

[commit: ghc] master: Do not do type-class defaulting if there are insoluble constraints (b9fccbc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/b9fccbc8bc377cde8e75bce8c78470e3c4fa4018 >--- commit b9fccbc8bc377cde8e75bce8c78470e3c4fa4018 Author: Simon Peyton Jo

[commit: ghc] master: Do not create extra evidence given/derived variables in the Refl case of rewriteCtFlavor (b442ad9)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master http://hackage.haskell.org/trac/ghc/changeset/b442ad94c75aa6f8ad89041cb4fb1e16265b1e45 >--- commit b442ad94c75aa6f8ad89041cb4fb1e16265b1e45 Author: Simon Peyton Jo

Re: bit rotting of Haddock

On Thu, Oct 04, 2012 at 01:23:42PM +0100, Ian Lynagh wrote: > On Mon, Oct 01, 2012 at 06:29:13PM +0200, Simon Hengel wrote: > > On Mon, Oct 01, 2012 at 04:05:24PM +0200, Simon Hengel wrote: > > > On Sat, Sep 01, 2012 at 02:09:28PM +0100, Ian Lynagh wrote: > > > > On Fri, Aug 31, 2012 at 05:58:13PM

[commit: haddock] ghc-7.6: Remove redundant dependency from cabal file (72eaac4)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/72eaac4a758ea28b7585db1b0dc7b22068e78b48 >--- commit 72eaac4a758ea28b7585db1b0dc7b22068e78b48 Author: Simon Heng

[commit: haddock] ghc-7.6: Depend on library for executable (1171047)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/11710479a4219024ba80416b385091bafab4da82 >--- commit 11710479a4219024ba80416b385091bafab4da82 Author: Simon Heng

[commit: haddock] ghc-7.6: Remove trailing whitespace from cabal file (96e57fc)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/96e57fc09b13779c43b1f2465561a7ede242533e >--- commit 96e57fc09b13779c43b1f2465561a7ede242533e Author: Simon Heng

[commit: haddock] ghc-7.6: Fix typo (e4ffa19)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/e4ffa1964a3188a8b461e6f6c4c9febaddb6a35f >--- commit e4ffa1964a3188a8b461e6f6c4c9febaddb6a35f Author: Simon Heng

[commit: haddock] ghc-7.6: Export Haddock's main entry point from library (ae3690c)

Repository : ssh://darcs.haskell.org//srv/darcs/haddock On branch : ghc-7.6 http://hackage.haskell.org/trac/ghc/changeset/ae3690c2349b595a1fb459a4374cfe2e668a04aa >--- commit ae3690c2349b595a1fb459a4374cfe2e668a04aa Author: Simon Heng

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

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

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b895304bdadf197e93aa8d9803a36a942a7865ba >--- commit b895304bdadf197e93aa8d9803a36a942a7865ba Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/d8ed3e4f2b16ebe62902a0862948391a6b08e97f >--- commit d8ed3e4f2b16ebe62902a0862948391a6b08e97f Author: Max Boli

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/fee3f60929b1d9eaa042db17890644b4c140b05a >--- commit fee3f60929b1d9eaa042db17890644b4c140b05a Author: Max Boli

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

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

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

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

[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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/c48c4d08e60f1ac2fd78259f49a79cf7aa1febd7 >--- commit c48c4d08e60f1ac2fd78259f49a79cf7aa1febd7 Author: Max Boli

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

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

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

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

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

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

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/feb653c2936b2bd0e714b818a1c7680b01497806 >--- commit feb653c2936b2bd0e714b818a1c7680b01497806 Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/c57f6389a045ecb12c34059f379cafc3301824a4 >--- commit c57f6389a045ecb12c34059f379cafc3301824a4 Author: Max Boli

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

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

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ab9c02f371da4fd3ac5c727bbb2dd0050ff7defd >--- commit ab9c02f371da4fd3ac5c727bbb2dd0050ff7defd Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a1ec2fcec7f42cfd218252760dbad9c106f7f0b9 >--- commit a1ec2fcec7f42cfd218252760dbad9c106f7f0b9 Author: Max Boli

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/d1417a283b5e55afa3fbff94aaa7ea18373d4fb8 >--- commit d1417a283b5e55afa3fbff94aaa7ea18373d4fb8 Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b7c6fad99c2031b15fc0f7d45a6a29d71fc342ba >--- commit b7c6fad99c2031b15fc0f7d45a6a29d71fc342ba Author: Max Boli

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

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

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

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

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a5031b295c190824ed7707bca3bd26cd899fffc3 >--- commit a5031b295c190824ed7707bca3bd26cd899fffc3 Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/e8ae3b71590e57c125e75380b87fb25cf2481bf6 >--- commit e8ae3b71590e57c125e75380b87fb25cf2481bf6 Author: Max Boli

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a4a5a31f2f05148573ba49dde3202db7dd1c7796 >--- commit a4a5a31f2f05148573ba49dde3202db7dd1c7796 Author: Max Boli

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

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

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

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

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/e2c9fc779cc7b32afe1c2680e8692ab27af78f41 >--- commit e2c9fc779cc7b32afe1c2680e8692ab27af78f41 Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/ae7aadd8d786558bea3553c08a4784f4162c284d >--- commit ae7aadd8d786558bea3553c08a4784f4162c284d Author: Max Boli

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

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

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/bc152fc8075362078a36a7d25ac147eb2c65c788 >--- commit bc152fc8075362078a36a7d25ac147eb2c65c788 Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/c06362a5a957d57a516d11609ea4b38cc973374a >--- commit c06362a5a957d57a516d11609ea4b38cc973374a Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/b4585b8c910fa473fe673187a99e78e9d2cc8439 >--- commit b4585b8c910fa473fe673187a99e78e9d2cc8439 Author: Max Boli

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

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/a09817ce1b515836fadb6a1358afd7417fcb77ff >--- commit a09817ce1b515836fadb6a1358afd7417fcb77ff Author: Max Boli

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

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

[commit: ghc] supercompiler: First compiling version of the changes to eliminate Indirect (dc24164)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/dc24164e052b36b6f58ddbe76fbc69252291b70a >--- commit dc24164e052b36b6f58ddbe76fbc69252291b70a Author: Max Boli

[commit: ghc] supercompiler: Rethink how generalisation is written so we can rollback when MSGing (2eefbf2)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/2eefbf228e4f98816fa744b599efba70d4d5fa5f >--- commit 2eefbf228e4f98816fa744b599efba70d4d5fa5f Author: Max Boli

[commit: ghc] supercompiler: Start to try to make type generalisation work. SC will currently crash a lot because I'm working out the termination issues (20ff505)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/20ff5054996e9404ac6d89ab288195842a2226d9 >--- commit 20ff5054996e9404ac6d89ab288195842a2226d9 Author: Max Boli

[commit: ghc] supercompiler: Use new insertVarRenaming when constructing renaming in MSG (94c7d82)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/94c7d820f0fc6393fd83942f19d12a509d1abf0b >--- commit 94c7d820f0fc6393fd83942f19d12a509d1abf0b Author: Max Boli

[commit: ghc] supercompiler: Always allow type/coercion instantiation in MSG as experiment (8e6ef76)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/8e6ef7666750d863a7371d95859615294b8b12fe >--- commit 8e6ef7666750d863a7371d95859615294b8b12fe Author: Max Boli

[commit: ghc] supercompiler: Support for LitTy in Match/MSG (69a6dcf)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/69a6dcf0aafa0da02e41b92d032a58a2bc4b3384 >--- commit 69a6dcf0aafa0da02e41b92d032a58a2bc4b3384 Author: Max Boli

[commit: ghc] : Suppress warnings when renaming an out term (eb61876)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/eb618767b338fc95189356f85d5e3ffc478551be >--- commit eb618767b338fc95189356f85d5e3ffc478551be Author: Max Bolingbroke Date

[commit: ghc] : Comments only (a4c1c7b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/a4c1c7b22b5523f2e38d02400ed155abdf2dedef >--- commit a4c1c7b22b5523f2e38d02400ed155abdf2dedef Author: Max Bolingbroke Date

[commit: ghc] supercompiler: Fix horrendous bug with new insertVarRenaming (5cc3d3b)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/5cc3d3bbd6b19fb277a2606f29b28b40e4e666e7 >--- commit 5cc3d3bbd6b19fb277a2606f29b28b40e4e666e7 Author: Max Boli

[commit: ghc] supercompiler: Some horrible-looking changes to select most-specific instance (preferring exact matches) and remember non-exact matches in the memo table (f286841)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/f286841deb928309944daf2247d688f88fb04c96 >--- commit f286841deb928309944daf2247d688f88fb04c96 Author: Max Boli

[commit: ghc] supercompiler: Only zap IdInfo for *Id*s (67c7e03)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/67c7e032fc9c8eedfe0f358c635da8cc946dc77f >--- commit 67c7e032fc9c8eedfe0f358c635da8cc946dc77f Author: Max Boli

[commit: ghc] : Fix bug in expandTypeSynonyms that could rarely cause problems (1d7e6b5)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/1d7e6b5434b27f07e3b752b7446dcb0e96b6cbad >--- commit 1d7e6b5434b27f07e3b752b7446dcb0e96b6cbad Author: Max Bolingbroke Date

[commit: ghc] supercompiler: Ensure kinds are not generalised, and only types of the correct kind (62cec5c)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/62cec5c498236afb3996bae4467f461ae3f03c9f >--- commit 62cec5c498236afb3996bae4467f461ae3f03c9f Author: Max Boli

[commit: ghc] supercompiler: Save some code in MSG by failing lookup of any lambdaBound (84819ac)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler http://hackage.haskell.org/trac/ghc/changeset/84819acd7f2addaba789c1fbceec96a4284ad3b5 >--- commit 84819acd7f2addaba789c1fbceec96a4284ad3b5 Author: Max Boli

[commit: ghc] : Slight cleanup is msgMatch (remove redudant var-kind tests) (23f26fc)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/23f26fc2cf0e937bfc2e218ec90728cc90a7d262 >--- commit 23f26fc2cf0e937bfc2e218ec90728cc90a7d262 Author: Max Bolingbroke Date

[commit: ghc] : Correct calculation of match renaming via inversion (02ca2e1)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/02ca2e11d14e2b70e30cfb821395c44eeaf8bb58 >--- commit 02ca2e11d14e2b70e30cfb821395c44eeaf8bb58 Author: Max Bolingbroke Date

  1   2   3   4   5   >