ucsd-progsys/liquidhaskell — pull request #49 by nikivazou (2013-03-29 20:20:33+00:00)
Title: Bot kvars

Remove all false kvars, so as to soundly check lazy examples, see tests/neg/fixme[0-2].hs

Make 2 passes to fixpoint.
The first one only with the bot qualifiers to find false kvars.
Then make these kvars true, transform the constraints and run fixpoint.