The recently added simplification List.sortWith f (List.sortWith f list) --> List.sortWith f list
is not correct with for example f = \_ _ -> LTwhich would reverse the list.
Thanks to Morten Kolstad on slack for finding and explaining this edge case!
The recently added simplification
List.sortWith f (List.sortWith f list) --> List.sortWith f list
is not correct with for examplef = \_ _ -> LT
which would reverse the list.Thanks to Morten Kolstad on slack for finding and explaining this edge case!