AsdaD
 asda asd
 Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
refactoring test.hs a bit but still cannot run tests
ok, tests running but tests/pos/vector*.hs fail for silly reasons. sigh.