fix tests

buzden · Jun 4, 2024 · 591079e · 591079e
1 parent 84d7f0a
commit 591079e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Deriving/DepTyCheck/Util/Fusion.idr b/src/Deriving/DepTyCheck/Util/Fusion.idr
@@ -237,9 +237,9 @@ deriveFusion l = do
 declareFusion : Vect (2 + n) (TypeInfo, List Name) -> Elab (Maybe FusionDecl)
 declareFusion l = do
   let derived = deriveFusion l
-  case derived of
-    Just fd => declare [fd.dataType, fd.splitClaim, fd.splitDef, fd.genFClaim, fd.genRClaim, fd.genRDef]
-    Nothing => declare []
+  -- case derived of
+  --   Just fd => declare [fd.dataType, fd.splitClaim, fd.splitDef, fd.genFClaim, fd.genRClaim, fd.genRDef]
+  --   Nothing => declare []
   pure $ derived