Fix Ord instance for Assign to satisfy GHC missing methods warning

Signed-off-by: Alex <[email protected]>
IntersectMBO · Nov 18, 2024 · 42818a1 · 42818a1
1 parent a969593
commit 42818a1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Queens.hs b/plutus-benchmark/nofib/src/PlutusBenchmark/NoFib/Queens.hs
@@ -203,6 +203,7 @@ instance TxPrelude.Eq Assign
     where (a := b) == (a' := b') = a==a' && b==b'
 instance TxPrelude.Ord Assign
     where (a := b) < (a' := b') = (a<a') || (a==a' && b < b')
+          (a := b) <= (a' := b') = (a<a') || (a==a' && b <= b')
 
 type Relation = Assign -> Assign -> Bool