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

qualifications in finnish/stemmed/WNKotus to help overloading

Browse Source
This commit is contained in:
aarne
2014-02-07 22:54:54 +00:00
parent 1da64de767
commit b502c26e83
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/src/finnish/stemmed/WNKotus.gf
View File

@@ -64,9 +64,9 @@ 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 : (_ : VForms) -> ParadigmsFin.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) -> ParadigmsFin.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) ;
} ;