new-comp: rewrite f (x|y) into (f x|f y)

With this change, all languages in molto/mgl/mixture except German and Polish
can be compiled.
This commit is contained in:
hallgren
2012-11-16 13:47:10 +00:00
parent ba1ad29b57
commit cf00c8bd0b

View File

@@ -265,8 +265,12 @@ vapply v vs =
vbeta bt f (v:vs) =
case (bt,v) of
(Implicit,VImplArg v) -> vapply (f v) vs
(Explicit, v) -> vapply (f v) vs
(Implicit,VImplArg v) -> ap v
(Explicit, v) -> ap v
where
ap (VFV avs) = VFV [vapply (f v) vs|v<-avs]
ap v = vapply (f v) vs
{-
beta env b x t (v:vs) =
case (b,v) of