Open clayrat opened 5 days ago
This is a relatively straightforward fix for https://github.com/ucsd-progsys/liquidhaskell/issues/2438. The proper solution should probably follow the strategy described in https://github.com/ucsd-progsys/liquid-fixpoint/blob/develop/src/Language/Fixpoint/Types/Theories.hs#L116-L143
This is a relatively straightforward fix for https://github.com/ucsd-progsys/liquidhaskell/issues/2438. The proper solution should probably follow the strategy described in https://github.com/ucsd-progsys/liquid-fixpoint/blob/develop/src/Language/Fixpoint/Types/Theories.hs#L116-L143