ucsd-progsys/liquidhaskell — pull request #290 by nikivazou (2014-12-23 05:23:33+00:00)
Title: More Logical Constraints

Use list's append in qsort!!! See [tests/pos/ConstraintsAppend.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/4c2b9070ef220fb713bb5dfdaf0b9ddd73c2c9f0/tests/pos/ConstraintsAppend.hs)