[project @ 2005-03-15 11:59:32 by ross]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcRnMonad.lhs

diff --git a/ghc/compiler/typecheck/TcRnMonad.lhs b/ghc/compiler/typecheck/TcRnMonad.lhs
index f4fbc06..374c9cc 100644 (file)
--- a/ghc/compiler/typecheck/TcRnMonad.lhs
+++ b/ghc/compiler/typecheck/TcRnMonad.lhs
@@ -794,7 +794,7 @@ popArrowBinders
   where
     pop (ArrCtxt {proc_level = curr_lvl, proc_banned = banned})
        = ASSERT( not (curr_lvl `elem` banned) )
-         ArrCtxt {proc_level = curr_lvl, proc_banned = curr_lvl : banned}
+         ArrCtxt {proc_level = curr_lvl + 1, proc_banned = curr_lvl : banned}
 
 getBannedProcLevels :: TcM [ProcLevel]
   = do { env <- getLclEnv; return (proc_banned (tcl_arrow_ctxt env)) }