fix: Add missing unelab cases

CQCL · Dec 6, 2024 · ca5df29 · ca5df29
1 parent 787baed
commit ca5df29
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/brat/Brat/Unelaborator.hs b/brat/Brat/Unelaborator.hs
@@ -38,6 +38,7 @@ unelab _ _ (Con c args) = FCon c (unelab Chky Nouny <$> args)
 unelab _ _ (C (ss :-> ts)) = FFn (toRawRo ss :-> toRawRo ts)
 unelab _ _ (K cty) = FKernel $ fmap (\(p, ty) -> Named p (toRaw ty)) cty
 unelab _ _ Identity = FIdentity
+unelab _ _ Hope = FHope
 unelab _ _ FanIn = FFanIn
 unelab _ _ FanOut = FFanOut
 
@@ -67,6 +68,7 @@ toRaw (Con c args) = RCon c (toRaw <$> args)
 toRaw (C (ss :-> ts)) = RFn (toRawRo ss :-> toRawRo ts)
 toRaw (K cty) = RKernel $ (\(p, ty) -> Named p (toRaw ty)) <$> cty
 toRaw Identity = RIdentity
+toRaw Hope = RHope
 toRaw FanIn = RFanIn
 toRaw FanOut = RFanOut