Fix Ord instance for Assign to satisfy GHC missing methods warning

IntersectMBO · Nov 13, 2024 · 9a49bec · 9a49bec
1 parent 38cdce0
commit 9a49bec
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