[commit: ghc] : Add FIXME about rigid occurrence info (94903de)
Max Bolingbroke <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.cvs.ghc |
|---|---|
| Message-ID | <[email protected]> |
Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : http://hackage.haskell.org/trac/ghc/changeset/94903de430d0026caa830f1415e9428621c78875 >--------------------------------------------------------------- commit 94903de430d0026caa830f1415e9428621c78875 Author: Max Bolingbroke <[email protected]> Date: Thu Apr 26 21:27:51 2012 +0100 Add FIXME about rigid occurrence info >--------------------------------------------------------------- compiler/supercompile/Supercompile/Drive/MSG.hs | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/compiler/supercompile/Supercompile/Drive/MSG.hs b/compiler/supercompile/Supercompile/Drive/MSG.hs index 08d5927..1c8ffbc 100644 --- a/compiler/supercompile/Supercompile/Drive/MSG.hs +++ b/compiler/supercompile/Supercompile/Drive/MSG.hs @@ -62,6 +62,7 @@ rnBndr2' rn2 x_l x_r = MSG $ \_ s -> Right (s, rnBndr2'' (uniqAway (msgInScopeSe -- BUT I don't want to just put ids_l/ids_r in the RnEnv2 because that will force common occurrence sites to rename (in msgPend) which -- which will make things drastically worse! Instead, rnBndr2' does the uniqAway manually.) +-- FIXME: rigid variable occurrences do not get correct type/info rnBndr2'' :: (Var -> Var) -> RnEnv2 -> Var -> Var -> (RnEnv2, Var) rnBndr2'' f rn2 x_l x_r = (rn2', x')