From 508bc346e5192b537677c205820bae32d390c618 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 2 Mar 2016 21:28:54 +0000 Subject: fix in the typechecker --- src/compiler/GF/Compile/Compute/ConcreteNew.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/compiler/GF/Compile/Compute') diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs index c9d080cd2..751f02f39 100644 --- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs +++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs @@ -3,7 +3,7 @@ module GF.Compile.Compute.ConcreteNew (GlobalEnv, GLocation, resourceValues, geLoc, geGrammar, normalForm, - Value(..), Bind(..), Env, value2term, eval + Value(..), Bind(..), Env, value2term, eval, vapply ) where import GF.Grammar hiding (Env, VGen, VApp, VRecType) @@ -416,6 +416,7 @@ apply' env t vs = return $ \ svs -> vapply (gloc env) r (map ($svs) vs) -} App t1 t2 -> apply' env t1 . (:vs) =<< value env t2 + Meta i -> return $ \ svs -> VMeta i (zip (local env) svs) (map ($svs) vs) _ -> do fv <- value env t return $ \ svs -> vapply (gloc env) (fv svs) (map ($svs) vs) -- cgit v1.2.3