diff options
Diffstat (limited to 'src/compiler/GF/Compile/Compute')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/ConcreteNew.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs index 49752aebb..7380cccad 100644 --- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs +++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs @@ -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 |