From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 15 Jan 2016 16:49:15 +0000 (-0500)
Subject: "fix" bug
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=1a69193da0cbd3a491468b9773f98eb9d774961a;p=cubicaltt.git

"fix" bug
---

diff --git a/Eval.hs b/Eval.hs
index 1c16551..1bc9055 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -256,7 +256,7 @@ inferType v = case v of
     ty         -> error $ "inferType: expected IdP type for " ++ show v
                   ++ ", got " ++ show ty
   VComp a _ _ -> a @@ One
-  VUnGlueElem _ b _  -> b
+--  VUnGlueElem _ b _  -> b   -- This is wrong! Store the type??
   VUnGlueElemU _ b _ -> b
   _ -> error $ "inferType: not neutral " ++ show v