From c6b72b6f423bce69d341b733271c9f91268b8f1a Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Sun, 14 Jan 2024 02:42:14 +0000 Subject: [PATCH] DII_Packet-s are not Num-eric. The `fromInteger` pun here is not used in practice in favor of the diiInstruction pattern. --- src/QuickCheckVEngine/RVFI_DII/DII.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/QuickCheckVEngine/RVFI_DII/DII.hs b/src/QuickCheckVEngine/RVFI_DII/DII.hs index 938e78c..a112f2f 100644 --- a/src/QuickCheckVEngine/RVFI_DII/DII.hs +++ b/src/QuickCheckVEngine/RVFI_DII/DII.hs @@ -111,13 +111,6 @@ instance Binary DII_Packet where return $ DII_Packet { dii_cmd = cmd , dii_time = time , dii_insn = insn } -instance Num DII_Packet where - fromInteger i = DII_Instruction 1 (fromInteger i) - (+) = error "(+) is not defined on DII_Packet" - (*) = error "(*) is not defined on DII_Packet" - abs = error "abs is not defined on DII_Packet" - signum = error "signum is not defined on DII_Packet" - negate = error "negate is not defined on DII_Packet" -- | Construct a instruction 'DII_Packet' diiInstruction :: Integer -> DII_Packet