From 7a602002c5a805f98e7586643894fac8f633f9f6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <mortberg@chalmers.se>
Date: Tue, 5 May 2015 02:10:41 +0200
Subject: [PATCH] Add fix to comp for sums

---
 Eval.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Eval.hs b/Eval.hs
index 3368d1f..7005c93 100644
--- 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
-- 
2.34.1