diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-12-08 14:25:11 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-12-08 14:25:11 +0000 |
| commit | e009048e0865264b9498d1429d1a01d3331e5f55 (patch) | |
| tree | 582ae67f61f6ae4f6536c8e94da221b11afb431d /src/GF/Compile | |
| parent | 75ecc5f97b132ac9df06e898591803511e6c98bf (diff) | |
removed dependencies of Zipper and editor in GF grammar compiler
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/TypeCheck.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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 |