From: sof Date: Thu, 5 Jun 1997 09:36:43 +0000 (+0000) Subject: [project @ 1997-06-05 09:36:43 by sof] X-Git-Tag: Approximately_1000_patches_recorded~422 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=fe049af1e16ce2f1261c755e5dade29f5ddf460c;p=ghc-hetmet.git [project @ 1997-06-05 09:36:43 by sof] wibble --- diff --git a/ghc/compiler/typecheck/Unify.lhs b/ghc/compiler/typecheck/Unify.lhs index 99af92c..6516e64 100644 --- 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