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:
6a4714d
)
[project @ 1997-06-05 09:36:43 by sof]
author
sof
<unknown>
Thu, 5 Jun 1997 09:36:43 +0000
(09:36 +0000)
committer
sof
<unknown>
Thu, 5 Jun 1997 09:36:43 +0000
(09:36 +0000)
wibble
ghc/compiler/typecheck/Unify.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/Unify.lhs
b/ghc/compiler/typecheck/Unify.lhs
index
99af92c
..
6516e64
100644
(file)
--- a/
ghc/compiler/typecheck/Unify.lhs
+++ b/
ghc/compiler/typecheck/Unify.lhs
@@
-65,7
+65,7
@@
unifyTauTyLists :: [TcTauType s] -> [TcTauType s] -> TcM s ()
unifyTauTyLists [] [] = returnTc ()
unifyTauTyLists (ty1:tys1) (ty2:tys2) = uTys ty1 ty1 ty2 ty2 `thenTc_`
unifyTauTyLists tys1 tys2
-unifyTauTypeLists ty1s ty2s = panic "Unify.unifyTauTypeLists: mismatched type lists!"
+unifyTauTyLists ty1s ty2s = panic "Unify.unifyTauTyLists: mismatched type lists!"
\end{code}
@unifyTauTyList@ takes a single list of @TauType@s and unifies them