branch

marklemay · Apr 11, 2024 · a2577a0 · a2577a0
1 parent 1290109
commit a2577a0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Dynamic/Norm.hs b/src/Dynamic/Norm.hs
@@ -561,6 +561,9 @@ cbvOrErr (Blame why sameTy) = do
   sameTy' <- norm cbvErrNext sameTy -- preffer type errors to term errors
   why' <- norm cbvErrNext why 
   pure $ Blame why' sameTy'
+cbvOrErr (C u ev) = do
+  u' <- norm cbvErrNext u
+  pure $ (C u' ev)
 cbvOrErr e = do
   e' <- norm cbvErrNext e