ucsd-progsys/liquidhaskell — pull request #43 by ranjitjhala (2013-03-20 15:51:40+00:00)
Title: Spec Errors

Instead of getting a nasty "Bad Constraint" crash from fixpoint, we now have error-messages about malformed specifications in liquidhaskell itself, together with the source location of the .spec file it came from. The key is the `Located a` type that is introduced. We should use it EVERYWHERE!