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]( ``` -- This is SAFE unsound x y = x ==. y -- Thi...

Created - 4 comments - bug easy unsoundness

Displaying all 2 issues