Add a MINIMAL
pragma to Ord
and check existence of other MINIMAL
pragmas
#6270
Labels
MINIMAL
pragma to Ord
and check existence of other MINIMAL
pragmas
#6270
PlutusTx.Ord.Ord
lacks aMINIMAL
pragma meaning it's easy to cause an infinite loop by defining an instance of this class. We should simply take the pragma frombase
(where that code is stolen from):{-# MINIMAL compare | (<=) #-}
and check existence of
MINIMAL
pragmas for all the other type classes where such a pragma applies.The text was updated successfully, but these errors were encountered: