ucsd-progsys/liquidhaskell — pull request #39 by gridaphobe (2013-02-26 07:01:58+00:00)
Title: add failing test for interaction between Read and liquidAssertB

defining a Read instance appears to cause invocations of
`liquidAssert` and `liquidAssertB` to refine to `false`.

other typeclasses do not appear to trigger this issue, nor is
`liquidError` affected. unsafe type annotations are still detected,
e.g.

{-@ bad :: {v:Integer | v = 5} @-}
bad = 4