From 40089ae62db99584e66e4d810bf4939af8a3e51a Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 14 Mar 2009 21:02:17 +0000 Subject: [PATCH] fix typo cs1 -> c2. the whole typechecker was broken before that --- src/GF/Grammar/Unify.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GF/Grammar/Unify.hs b/src/GF/Grammar/Unify.hs index 58c0e37fd..7deb5e90a 100644 --- a/src/GF/Grammar/Unify.hs +++ b/src/GF/Grammar/Unify.hs @@ -26,7 +26,7 @@ import Data.List (partition) unifyVal :: Constraints -> Err (Constraints,MetaSubst) unifyVal cs0 = do let (cs1,cs2) = partition notSolvable cs0 - let (us,vs) = unzip cs1 + let (us,vs) = unzip cs2 us' <- mapM val2exp us vs' <- mapM val2exp vs let (ms,cs) = unifyAll (zip us' vs') []