two more assignments in Chi ; fixed position of some prepositions

This commit is contained in:
aarne
2013-09-27 10:09:37 +00:00
parent 695e3450b0
commit 209f872f1d
6 changed files with 1480 additions and 479 deletions

View File

@@ -36,7 +36,10 @@ oper
mkV = overload {
mkV : (walk : Str) -> V
= \walk -> lin V (regVerb walk) ;
= \walk -> case walk of {
v + "+" + p => lin V (regVerb (v + p)) ;
_ => lin V (regVerb walk)
} ;
mkV : (arrive : Str) -> Str -> Str -> Str -> Str -> V
= \arrive,pp,ds,dp,ep -> lin V (mkVerb arrive pp ds dp ep neg_s) ;
mkV : (arrive : Str) -> Str -> Str -> Str -> Str -> Str -> V