GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix typo cs1 -> c2. the whole typechecker was broken before that

Browse Source
This commit is contained in:
krasimir
2009-03-14 21:02:17 +00:00
parent 103c145463
commit daa3235bfa
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/GF/Grammar/Unify.hs
View File

@@ -26,7 +26,7 @@ import Data.List (partition)
unifyVal :: Constraints -> Err (Constraints,MetaSubst) unifyVal :: Constraints -> Err (Constraints,MetaSubst)
unifyVal cs0 = do unifyVal cs0 = do
let (cs1,cs2) = partition notSolvable cs0 let (cs1,cs2) = partition notSolvable cs0
let (us,vs) = unzip cs1 let (us,vs) = unzip cs2
us' <- mapM val2exp us us' <- mapM val2exp us
vs' <- mapM val2exp vs vs' <- mapM val2exp vs
let (ms,cs) = unifyAll (zip us' vs') [] let (ms,cs) = unifyAll (zip us' vs') []