Add fix to comp for sums

diff --git a/Eval.hs b/Eval.hs
index 3368d1f5401c441829c3ad43346e022114b1dc37..7005c93e4d3c91c9146a914f1b078c70077fc8ce 100644 (file)
--- a/Eval.hs
+++ b/Eval.hs
@@ -434,6 +434,8 @@ comp i a u ts = case a of
       Nothing -> error $ "comp: missing constructor in labelled sum " ++ n
     VPCon{} -> VComp a u (Map.map (VPath i) ts)
     VComp{} -> VComp a u (Map.map (VPath i) ts)
+    VCompElem _ _ u1 _  -> comp i a u1 ts
+    VElimComp _ _ u1    -> comp i a u1 ts
     _ -> error $ "comp ter sum" ++ show u
 
 compNeg :: Name -> Val -> Val -> System Val -> Val