From a39708d6b4975afe106e7ed00cd3418fab2ddb27 Mon Sep 17 00:00:00 2001 From: Anders Date: Thu, 18 Jun 2015 16:26:42 +0200 Subject: [PATCH] Add typechecking for glueElem --- TypeChecker.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/TypeChecker.hs b/TypeChecker.hs index ad26bc3..9f89bb5 100644 --- a/TypeChecker.hs +++ b/TypeChecker.hs @@ -205,10 +205,10 @@ check a t = case (a,t) of check VU a rho <- asks env checkGlue (eval rho a) ts - -- (VGlue va ts,GlueElem u us) -> do - -- check va u - -- vu <- evalTyping u - -- checkGlueElem vu ts us + (VGlue va ts,GlueElem u us) -> do + check va u + vu <- evalTyping u + checkGlueElem vu ts us _ -> do v <- infer t unlessM (v === a) $ -- 2.34.1