revised 200+ most frequent V2's in DictEngFin, leading to changes of patterns for most verbs.

This commit is contained in:
aarne
2013-03-30 10:49:41 +00:00
parent 00a789d624
commit c2f2fc66a7
6 changed files with 359 additions and 178 deletions

View File

@@ -63,7 +63,10 @@ oper
mkWV2 = overload {
mkWV2 : (_ : Str) -> V2 = \s -> mkV2 s ;
mkWV2 : (_ : VForms) -> V2 = \vf -> mkV2 (lin VK {s = vf}) ;
mkWV2 : (_ : VForms) -> Case -> V2 = \vf,c -> mkV2 (mkV (lin VK {s = vf})) c ;
mkWV2 : (_ : V) -> V2 = \v -> mkV2 v ;
mkWV2 : (_ : V) -> Case -> V2 = \v,c -> mkV2 v c ;
mkWV2 : (_ : V) -> Str -> V2 = \v,s -> mkV2 (mkV v s) ;
mkWV2 : VForms -> Str -> V2 = \vf,s -> mkV2 (mkV (mkV (lin VK {s = vf})) s) ;
} ;