tests for verbs in uusisuomi

This commit is contained in:
aarne
2008-01-06 12:16:07 +00:00
parent 409504a19e
commit 2d688f6bb4
9 changed files with 641 additions and 36 deletions

View File

@@ -85,6 +85,7 @@ computeTermOpt rec gr = comp where
(_, FV as) -> mapM (\c -> comp g (App f' c)) as >>= return . variants
(FV fs, _) -> mapM (\c -> comp g (App c a')) fs >>= return . variants
(Abs x b,_) -> comp (ext x a' g) b
(QC _ _,_) -> returnC $ App f' a'
(Alias _ _ d, _) -> comp g (App d a')