diff options
Diffstat (limited to 'src/GF/Compile/TC.hs')
| -rw-r--r-- | src/GF/Compile/TC.hs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/GF/Compile/TC.hs b/src/GF/Compile/TC.hs index 5ecbdf8e5..a56c3b86d 100644 --- a/src/GF/Compile/TC.hs +++ b/src/GF/Compile/TC.hs @@ -16,6 +16,7 @@ module GF.Compile.TC (AExp(..), Theory, checkExp, inferExp, + checkBranch, eqVal, whnf ) where @@ -122,7 +123,6 @@ checkExp th tenv@(k,rho,gamma) e ty = do let v = VGen k case e of Meta m -> return $ (AMeta m typ,[]) - EData -> return $ (AData typ,[]) Abs x t -> case typ of VClos env (Prod y a b) -> do @@ -132,11 +132,6 @@ checkExp th tenv@(k,rho,gamma) e ty = do return (AAbs x a' t', cs) _ -> prtBad ("function type expected for" +++ prt e +++ "instead of") typ - Eqs es -> do - bcs <- mapM (\b -> checkBranch th tenv b typ) es - let (bs,css) = unzip bcs - return (AEqs bs, concat css) - Prod x a b -> do testErr (typ == vType) "expected Type" (a',csa) <- checkType th tenv a |