Add case for in

JonasHoefer · Jun 26, 2024 · 715ab55 · 715ab55
1 parent c4a625a
commit 715ab55
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/PosTT/Eval.hs b/src/PosTT/Eval.hs
@@ -430,6 +430,7 @@ doCoePartial r0 r1 = go False
     go forced l@(TrIntClosure i a _) = case a of
       VU{}     -> identity VU
       VSum{}   -> VCoePartial r0 r1 l
+      VHSum{}  -> VCoePartial r0 r1 l
       VPi{}    -> VCoePartial r0 r1 l
       VSigma{} -> VCoePartial r0 r1 l
       VPath{}  -> VCoePartial r0 r1 l