ucsd-progsys/liquidhaskell — pull request #13 by ranjitjhala (2012-11-08 17:57:45+00:00)
Title: Added support for invariant specifications in data type definitions

All tests pass. See tests/pos/record0.hs for an example of how to specify invariants in data definitions.

1. Bare.hs is a mess.

2. We MUST find a better way to just do type-variable-substitution.