trying to find some inefficiencies in Finnish resource

This commit is contained in:
aarne
2010-10-25 19:56:47 +00:00
parent dfaefd7e5c
commit eb2f903ade
2 changed files with 17 additions and 1 deletions
+2 -1
View File
@@ -69,7 +69,8 @@ concrete VerbFin of Verb = CatFin ** open Prelude, ResFin in {
SlashV2VNP v np vp =
insertObj
(\\fin,b,a => appCompl fin b v.c2 np ++ infVP v.sc b a vp v.vi)
(\\fin,b,a => appCompl True b v.c2 np ++ ---- fin -> stack overflow
infVP v.sc b a vp v.vi)
(predV v) ** {c2 = vp.c2} ;
AdvVP vp adv = insertObj (\\_,_,_ => adv.s) vp ;