should be working on branch

marklemay · Apr 11, 2024 · 1290109 · 1290109
1 parent c6f115a
commit 1290109
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/Dynamic/Norm.hs b/src/Dynamic/Norm.hs
@@ -561,9 +561,6 @@ 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