1
0
forked from GitHub/gf-core

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 67ca0a1eae
commit 7d616c01b4

View File

@@ -265,8 +265,12 @@ vapply v vs =
vbeta bt f (v:vs) = vbeta bt f (v:vs) =
case (bt,v) of case (bt,v) of
(Implicit,VImplArg v) -> vapply (f v) vs (Implicit,VImplArg v) -> ap v
(Explicit, v) -> vapply (f v) vs (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) = beta env b x t (v:vs) =
case (b,v) of case (b,v) of