projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make TcGenDeriv warning-free
[ghc-hetmet.git]
/
compiler
/
typecheck
/
TcUnify.hi-boot-6
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