flags to tests
Asdasd
why is qsloop.hs proved terminating? run it: it does not terminate...
fix failing benchmarks, except Data.Text.Encoding
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
nested rec definitions, fix for #101
fix more benchmarks/tests
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
restore fun composition refined type, fix for #63
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into upstream-bench

Conflicts:
	benchmarks/bytestring-0.9.2.1/Data/ByteString.split.0.hs
	benchmarks/bytestring-0.9.2.1/Data/ByteString/Fusion.hs
	benchmarks/bytestring-0.9.2.1/Data/ByteString/LazyZip.hs
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into upstream-bench
Asdad
asdasd
add error-message test case
asdasd
Merge pull request #105 from ucsd-progsys/expargs

Expargs
now finally onto sorting
sigh. almost done. well not quite.
more test fixes..
Merge pull request #102 from ucsd-progsys/bench

flags to tests