added Fre mkV with 2 args

This commit is contained in:
aarne
2012-03-08 12:36:59 +00:00
parent 1da464a4cc
commit 988d171bed
2 changed files with 16 additions and 34 deletions

View File

@@ -216,6 +216,7 @@ oper
mkV : overload {
mkV : (finir : Str) -> V ; -- regular 1/2/3 conjugation
mkV : (jeter,jette : Str) -> V ; -- 1st and 2nd conjugation variations
mkV : (jeter,jette,jettera : Str) -> V ; -- 1st conjugation variations
-- Here is a paradigm that works for most irregular verbs.
@@ -442,6 +443,8 @@ oper
mkV = overload {
mkV : Str -> V = regV ;
mkV : (jeter,jette : Str) -> V =
\x,y -> let v = vvf (mkVerb2Reg x y) in {s = v ; vtyp = VHabere ; lock_V = <>} ;
mkV : (jeter,jette,jettera : Str) -> V = reg3V ;
mkV : V2 -> V = v2V ;
mkV : (tenir,tiens,tenons,tiennent,tint,tiendra,tenu : Str) -> V