From 47eb774cdf297b21b226a5699f954aadd9aa47e5 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 2 Mar 2016 13:38:02 +0000 Subject: the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now rewriten to use the complete evaluator in GF.Compile.Compute.ConcreteNew. The old sketchy implementation in GF.Compile.Compute.ConcreteNew1 is now removed. --- src/compiler/GF/Compile/Compute/ConcreteNew.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/compiler/GF/Compile/Compute/ConcreteNew.hs') diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs index e368d9d77..f8517c07e 100644 --- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs +++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs @@ -1,8 +1,9 @@ -- | Functions for computing the values of terms in the concrete syntax, in -- | preparation for PMCFG generation. module GF.Compile.Compute.ConcreteNew - (GlobalEnv, resourceValues, normalForm, - --, Value(..), Env, value2term, eval, apply + (GlobalEnv(..), GLocation, resourceValues, normalForm, + Value(..), Bind(..), Env, value2term, + eval, value, toplevel ) where import GF.Grammar hiding (Env, VGen, VApp, VRecType) -- cgit v1.2.3