From b502c26e832889c5dc2635d068be6c7632facc7c Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 7 Feb 2014 22:54:54 +0000 Subject: [PATCH] qualifications in finnish/stemmed/WNKotus to help overloading --- lib/src/finnish/stemmed/WNKotus.gf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/src/finnish/stemmed/WNKotus.gf b/lib/src/finnish/stemmed/WNKotus.gf index 69ee11b20..a036beb7f 100644 --- a/lib/src/finnish/stemmed/WNKotus.gf +++ b/lib/src/finnish/stemmed/WNKotus.gf @@ -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) ; } ;