First Pull Request


Deprecate `invariant` ucsd-progsys/liquidhaskell

We should just _not_ expose it, or make it a WARNING and point people to the way to avoid it (use an output specification on the measure definition). * #889 * #723

Created - 0 comments - easy enhancement unsoundness

Refinements in infix instance methods are ignored ucsd-progsys/liquidhaskell

See [tests/todo/T1126.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/7ccafa82eb705fb08208f3c080042a88e22f8381/tests/todo/T1126.hs). ``` -- This is SAFE unsound x y = x ==. y -- Thi...

Created - 4 comments - bug easy unsoundness

Displaying all 2 issues

License

Language