projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1e3d37) | patch
Do proper cloning in worker/wrapper splitting
authorsimonpj@microsoft.com <unknown>
Tue, 21 Oct 2008 14:31:56 +0000 (14:31 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 21 Oct 2008 14:31:56 +0000 (14:31 +0000)
commit2617ec296e7d36265f3b538f978d86449d20b5d4
treeadd6a6b1683abfeccfa1ce8d6ebe5de57a3f739ctree | snapshot
parente1e3d37b988c8839a74552bcebeef7f9293b0a6ccommit | diff
Do proper cloning in worker/wrapper splitting

See Note [Freshen type variables] in WwLib.  We need to clone type
variables when building a worker/wrapper split, else we simply get
bogus code, admittedly in rather obscure situations.  I can't quite
remember what program showed this up, unfortunately, but there
definitely *was* one!  (You get a Lint error.)
compiler/stranal/WwLib.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)