Skip to content

Commit

Permalink
DII_Packet-s are not Num-eric.
Browse files Browse the repository at this point in the history
The `fromInteger` pun here is not used in practice in favor of the
diiInstruction pattern.
  • Loading branch information
nwf-msr authored and PeterRugg committed Jul 3, 2024
1 parent da85ac6 commit 52a4e6e
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions src/QuickCheckVEngine/RVFI_DII/DII.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 52a4e6e

Please sign in to comment.