ucsd-progsys/liquidhaskell — pull request #184 by nikivazou (2014-03-27 18:26:03+00:00)
Title: Baisic Strata Analysis

All tests pass.

See tests/pos/Strata.hs for an example where `length $ repeat x` creates a stratum warning if run with `--strata` flag.

The strata analysis is not complete (only check the Strata test) but this branch has modifications in many files.
I suggest merging now, as further modifications should be local.