ucsd-progsys/liquidhaskell — pull request #144 by ranjitjhala (2013-10-31 01:05:09+00:00)
Title: Parseshuffle

miscellaneous changes in

1. parser
2. `RAppTy` related code

Needed to get `vector` related programs working properly.

Also, completed benchmarks for vector-algorithms (excluding termination.)