Open facundominguez opened 3 months ago
NewTypes0.hs started failing in https://github.com/ucsd-progsys/liquidhaskell/pull/2297 and was disabled.
The failure couldn't be reproduced locally, so this needs to be explored in CI.
One conjecture is that some code is behaving differently in different machines due to depending on the order of elements when converting a hashmap to a list.
NewTypes0.hs started failing in https://github.com/ucsd-progsys/liquidhaskell/pull/2297 and was disabled.
The failure couldn't be reproduced locally, so this needs to be explored in CI.
One conjecture is that some code is behaving differently in different machines due to depending on the order of elements when converting a hashmap to a list.