From 0aff5f4aa454461a30397798affab7177a5232cd Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 4 Apr 2014 17:01:06 +0000 Subject: [PATCH] type error in finnish revealed --- lib/src/finnish/stemmed/WNKotus.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/src/finnish/stemmed/WNKotus.gf b/lib/src/finnish/stemmed/WNKotus.gf index a036beb7f..6bff4185b 100644 --- a/lib/src/finnish/stemmed/WNKotus.gf +++ b/lib/src/finnish/stemmed/WNKotus.gf @@ -22,7 +22,7 @@ oper compoundAdv : Str -> Str -> Adv = \s,t -> mkAdv (s + t) ; } ; - compoundV : Str -> VForms -> V = \s,vf -> mkV (lin VK {s = table (Predef.Ints 11) {f => s + vf ! f}}) ; + compoundV : Str -> VForms -> V = \s,vf -> mkV (lin VK {s = s + vf ! f} : VForms>}) ; mkWN = overload { mkWN : (_ : Str) -> N = \s -> mkN s ;