diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-14 21:02:17 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-14 21:02:17 +0000 |
| commit | daa3235bfa5c6508644d9a70f82a93f43d05ff6d (patch) | |
| tree | 79bc476b51996c8a9dfcd7d02e91e5f0d5918896 | |
| parent | 103c145463a9a19612a49f3f51c438a4ecfe62bf (diff) | |
fix typo cs1 -> c2. the whole typechecker was broken before that
| -rw-r--r-- | src/GF/Grammar/Unify.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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') [] |