From 234bc90496b2c231c2c1ad512f1dcf29578b44d2 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 --- src/finnish/stemmed/WNKotus.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/finnish/stemmed/WNKotus.gf b/src/finnish/stemmed/WNKotus.gf index a036beb7..6bff4185 100644 --- a/src/finnish/stemmed/WNKotus.gf +++ b/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 ;