From: Anders <mortberg@chalmers.se>
Date: Thu, 18 Jun 2015 14:26:42 +0000 (+0200)
Subject: Add typechecking for glueElem
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a39708d6b4975afe106e7ed00cd3418fab2ddb27;p=cubicaltt.git

Add typechecking for glueElem
---

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) $