ucsd-progsys/liquidhaskell — pull request #110 by nikivazou (2013-08-07 15:00:43+00:00)
Title: Checkmeasure

For issue #98. Creates error for malformed measure definitions. For an example see `tests/todo/Eval.hs`.

Goes with the relevant pull request on `liquid-fixpoint`.