projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 522c1e9) | patch
Re-implement the binder-swap stuff in OccurAnal
authorsimonpj@microsoft.com <unknown>
Thu, 19 Nov 2009 12:45:24 +0000 (12:45 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 19 Nov 2009 12:45:24 +0000 (12:45 +0000)
commitc93e8323ab49dd369e8b5f04027462a6fc1b8249
treec54687c7d2732f79fdac2fb37731baa7325f59f3tree | snapshot
parent522c1e96173c5573f2cc9b3f428c56a6b5008942commit | diff
Re-implement the binder-swap stuff in OccurAnal

This is a pretty big patch, but it has a very local effect.
It affects only the binder-swap mechanism in OccurAnal, which
was not working well becuase it's more subtle than I'd realised
(See Note [getProxies is subtle]).  I think this does a much
better job.
compiler/simplCore/OccurAnal.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)