removed dependencies of Zipper and editor in GF grammar compiler

1 files changed, 10 insertions, 5 deletions

diff --git a/src/GF/Grammar/Values.hs b/src/GF/Grammar/Values.hs
index ab7d874da..c83ced9df 100644
--- a/src/GF/Grammar/Values.hs
+++ b/src/GF/Grammar/Values.hs
@@ -15,15 +15,17 @@
 module GF.Grammar.Values (-- * values used in TC type checking
 	       Exp, Val(..), Env,
 	       -- * annotated tree used in editing
-	       Tree, TrNode(..), Atom(..), Binds, Constraints, MetaSubst,
+--Z	       Tree, TrNode(..), Atom(..), 
+               Binds, Constraints, MetaSubst,
 	       -- * for TC
 	       valAbsInt, valAbsFloat, valAbsString, vType,
 	       isPredefCat,
-	       eType, tree2exp, loc2treeFocus
+	       eType, 
+--Z tree2exp, loc2treeFocus
 	      ) where
 
 import GF.Data.Operations
-import GF.Data.Zipper
+---Z import GF.Data.Zipper
 
 import GF.Infra.Ident
 import GF.Grammar.Grammar
@@ -38,6 +40,7 @@ data Val = VGen Int Ident | VApp Val Val | VCn QIdent | VType | VClos Env Exp
 
 type Env = [(Ident,Val)]
 
+{-
 -- annotated tree used in editing
 
 type Tree = Tr TrNode
@@ -48,11 +51,12 @@ newtype TrNode = N (Binds,Atom,Val,(Constraints,MetaSubst),Bool)
 data Atom = 
   AtC Fun | AtM MetaSymb | AtV Ident | AtL String | AtI Integer | AtF Double
   deriving (Eq,Show)
-
+-}
 type Binds = [(Ident,Val)]
 type Constraints = [(Val,Val)]
 type MetaSubst = [(MetaSymb,Val)]
 
+
 -- for TC
 
 valAbsInt :: Val
@@ -70,6 +74,7 @@ vType = VType
 eType :: Exp
 eType = Sort cType
 
+{-
 tree2exp :: Tree -> Exp
 tree2exp (Tr (N (bi,at,_,_,_),ts)) = foldr Abs (foldl App at' ts') bi' where
   at' = case at of
@@ -88,4 +93,4 @@ loc2treeFocus (Loc (Tr (a,ts),p)) =
  where 
    (mark, nomark) = (\(N (a,b,c,d,_)) -> N(a,b,c,d,True), 
                      \(N (a,b,c,d,_)) -> N(a,b,c,d,False))
-
+-}