From 47eb774cdf297b21b226a5699f954aadd9aa47e5 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
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/Predef.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src/compiler/GF/Compile/Compute/Predef.hs')

diff --git a/src/compiler/GF/Compile/Compute/Predef.hs b/src/compiler/GF/Compile/Compute/Predef.hs
index 0e02402f7..0acf85720 100644
--- a/src/compiler/GF/Compile/Compute/Predef.hs
+++ b/src/compiler/GF/Compile/Compute/Predef.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
 module GF.Compile.Compute.Predef(predef,predefName,delta) where
 
---import GF.Text.Pretty(render,hang)
 import qualified Data.Map as Map
 import Data.Array(array,(!))
 import Data.List (isInfixOf)
@@ -15,7 +14,6 @@ import GF.Compile.Compute.Value
 import GF.Infra.Ident (Ident,showIdent) --,varX
 import GF.Data.Operations(Err) -- ,err
 import GF.Grammar.Predef
---import PGF.Data(BindType(..))
 
 --------------------------------------------------------------------------------
 class Predef a where
@@ -166,4 +164,4 @@ swap (x,y) = (y,x)
 bug msg = ppbug msg
 ppbug doc = error $ render $
                     hang "Internal error in Compute.Predef:" 4 doc
--}
\ No newline at end of file
+-}
-- 
cgit v1.2.3