projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd9e8c3) | patch
Improve the Specialiser, fixing Trac #4203
authorsimonpj@microsoft.com <unknown>
Thu, 12 Aug 2010 13:11:33 +0000 (13:11 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 12 Aug 2010 13:11:33 +0000 (13:11 +0000)
commitc107a00ccf1e641a2d008939cf477c71caa028d5
tree73f71a871dd471a935adde319fe6c4428ddf0b3etree | snapshot
parentdd9e8c3d0bb642871bc87b436de8c50c2ee377f1commit | diff
Improve the Specialiser, fixing Trac #4203

Simply fixing #4203 is a tiny fix: in case alterantives we should
do dumpUDs *including* the case binder.

But I realised that we can do better and wasted far too much time
implementing the idea.  It's described in
    Note [Floating dictionaries out of cases]
compiler/specialise/Specialise.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)