projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
593b7f5
)
update to track .lhs-boot file
author
Simon Marlow
<simonmar@microsoft.com>
Wed, 12 Sep 2007 10:34:17 +0000
(10:34 +0000)
committer
Simon Marlow
<simonmar@microsoft.com>
Wed, 12 Sep 2007 10:34:17 +0000
(10:34 +0000)
compiler/typecheck/TcUnify.hi-boot-6
patch
|
blob
|
history
diff --git
a/compiler/typecheck/TcUnify.hi-boot-6
b/compiler/typecheck/TcUnify.hi-boot-6
index
eb28635
..
e906914
100644
(file)
--- a/
compiler/typecheck/TcUnify.hi-boot-6
+++ b/
compiler/typecheck/TcUnify.hi-boot-6
@@
-3,5
+3,6
@@
module TcUnify where
-- This boot file exists only to tie the knot between
-- TcUnify and TcSimplify
-- This boot file exists only to tie the knot between
-- TcUnify and TcSimplify
-unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM ()
+unifyType :: TcType.TcTauType -> TcType.TcTauType -> TcRnTypes.TcM Coercion.CoercionI
zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
zapToMonotype :: TcType.BoxyType -> TcRnTypes.TcM TcType.TcTauType
+boxyUnify :: TcType.BoxyType -> TcType.BoxyType -> TcRnTypes.TcM Coercion.CoercionI