"fix" bug

diff --git a/Eval.hs b/Eval.hs
index 1c16551f457745b54d5d3c002e7fde4f382a3aa1..1bc905569c9720c2b44227b2ab413ebb88d5e44e 100644 (file)
--- 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