From 591079e1020af63cd1b9e688fa2ddf389de92eab Mon Sep 17 00:00:00 2001 From: Simon Tsirikov Date: Tue, 4 Jun 2024 22:35:46 +0300 Subject: [PATCH] fix tests --- src/Deriving/DepTyCheck/Util/Fusion.idr | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Deriving/DepTyCheck/Util/Fusion.idr b/src/Deriving/DepTyCheck/Util/Fusion.idr index e34a5bc42..f08264618 100644 --- 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