Closed treeowl closed 1 year ago
Define (==) = (==) `on` minView, which is completely equivalent to what was written before, but much shorter and clearer.
(==) = (==) `on` minView
Add an INLINABLE pragma to (==) to allow it to specialize. Previously, it did not get an unfolding.
INLINABLE
(==)
Define
(==) = (==) `on` minView, which is completely equivalent to what was written before, but much shorter and clearer.Add an
INLINABLEpragma to(==)to allow it to specialize. Previously, it did not get an unfolding.