[project @ 2001-12-06 14:42:56 by simonmar]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.hi-boot-5
index 13c267a..75e2ce9 100644 (file)
@@ -1,6 +1,6 @@
 __interface TcExpr 1 0 where
 __export TcExpr tcExpr ;
-1 tcExpr :: __forall [_s] => 
+1 tcExpr :: 
          RnHsSyn.RenamedHsExpr
-       -> TcMonad.TcType _s 
-       -> TcMonad.TcM _s (TcHsSyn.TcExpr _s, Inst.LIE _s) ;
+       -> TcType.TcType
+       -> TcMonad.TcM (TcHsSyn.TcExpr, Inst.LIE) ;