From e009048e0865264b9498d1429d1a01d3331e5f55 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 8 Dec 2008 14:25:11 +0000
Subject: removed dependencies of Zipper and editor in GF grammar compiler

---
 src/GF/Compile/TypeCheck.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/GF/Compile')

diff --git a/src/GF/Compile/TypeCheck.hs b/src/GF/Compile/TypeCheck.hs
index 04698ea89..99f46f86f 100644
--- a/src/GF/Compile/TypeCheck.hs
+++ b/src/GF/Compile/TypeCheck.hs
@@ -20,7 +20,7 @@ module GF.Compile.TypeCheck (-- * top-level type checking functions; TC should n
 		 ) where
 
 import GF.Data.Operations
-import GF.Data.Zipper
+--import GF.Data.Zipper
 
 import GF.Grammar.Abstract
 import GF.Compile.Refresh
@@ -42,7 +42,7 @@ initTCEnv gamma =
 
 type2val :: Type -> Val
 type2val = VClos []
-
+{-
 aexp2tree :: (AExp,[(Val,Val)]) -> Err Tree
 aexp2tree (aexp,cs) = do
   (bi,at,vt,ts) <- treeForm aexp
@@ -74,7 +74,7 @@ aexp2tree (aexp,cs) = do
        v' <- whnf v ---- 
        return ([],AtM m,v',[])
      _ -> Bad "illegal tree" -- AProd
-
+-}
 cont2exp :: Context -> Exp
 cont2exp c = mkProd (c, eType, []) -- to check a context
 
-- 
cgit v1.2.3