[project @ 2004-01-23 13:55:28 by simonmar]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.hi-boot-6
index 30f21f5..c1f9bca 100644 (file)
@@ -3,6 +3,4 @@ module TcUnify where
 -- This boot file exists only to tie the knot between
 --             TcUnify and TcSimplify
 
-unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM GHC.Base.()
-
-
+unifyTauTy :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()