From fe049af1e16ce2f1261c755e5dade29f5ddf460c Mon Sep 17 00:00:00 2001 From: sof Date: Thu, 5 Jun 1997 09:36:43 +0000 Subject: [PATCH] [project @ 1997-06-05 09:36:43 by sof] wibble --- ghc/compiler/typecheck/Unify.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4