[project @ 1997-06-05 09:36:43 by sof]
authorsof <unknown>
Thu, 5 Jun 1997 09:36:43 +0000 (09:36 +0000)
committersof <unknown>
Thu, 5 Jun 1997 09:36:43 +0000 (09:36 +0000)
wibble

ghc/compiler/typecheck/Unify.lhs

index 99af92c..6516e64 100644 (file)
@@ -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