From a897031b7a48117ec052f76a3d59617329527dfb Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Fri, 4 Dec 2015 14:01:46 -0500 Subject: [PATCH] Add the missing line in comp! --- Eval.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/Eval.hs b/Eval.hs index cee4194..8616746 100644 --- a/Eval.hs +++ b/Eval.hs @@ -285,6 +285,7 @@ comp i a u ts = case a of VPi{} -> VComp (VPath i a) u (Map.map (VPath i) ts) VU -> compUniv u (Map.map (VPath i) ts) -- VU -> glue u (Map.map (eqToIso . VPath i) ts) + VCompU a es -> compU i a es u ts VGlue b isos | not (isNeutralGlue i isos u ts) -> compGlue i b isos u ts Ter (Sum _ _ nass) env -> case u of VCon n us | all isCon (elems ts) -> case lookupLabel n nass of -- 2.34.1