A radical overhaul of the coercion infrastucture

[ghc-hetmet.git] / compiler / coreSyn / CoreArity.lhs

diff --git a/compiler/coreSyn/CoreArity.lhs b/compiler/coreSyn/CoreArity.lhs
index 94297ad..673d619 100644 (file)
--- a/compiler/coreSyn/CoreArity.lhs
+++ b/compiler/coreSyn/CoreArity.lhs
@@ -282,7 +282,7 @@ applyStateHack e (AT orig_arity is_bot)
                1 + go res (arity-1)
           else WARN( arity > 0, ppr arity ) 0
 -}                                              
-       | otherwise = WARN( arity > 0, ppr arity ) 0
+       | otherwise = WARN( arity > 0, ppr arity <+> ppr ty) 0
 \end{code}
 
 Note [State hack and bottoming functions]
@@ -631,6 +631,6 @@ freshEtaId n subst ty
         ty'     = substTy subst ty
        eta_id' = uniqAway (getTvInScope subst) $
                  mkSysLocal (fsLit "eta") (mkBuiltinUnique n) ty'
-       subst'  = extendTvInScope subst [eta_id']                 
+       subst'  = extendTvInScope subst eta_id'           
 \end{code}