adding @gridaphobe patch for isClosedSynTyCon
asd
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell

hell.
shuffling the parser for bareTypeP to parse stuff like tests/pos/tyfam0.hs; separate branch to prevent havoc
tests seem to work on goto, some progress very marginal with common.hs
yikes, what to do about Cast-Expr -- currently wipe all refts which is rather weak...
yikes, what to do about Cast-Expr -- currently wipe all refts which is rather weak...
stuff builds, run tests
vector-algorithms/Common.hs works
save save save
fixed wierd pruning bug, see tests/neg/prune0.hs
more casting/freshing woes
adding tests/pos/imp0.hs that illustrates a module import issue
typealias duplications not reported, causes pain.
oh god, now what. see tests/neg/wtf0.hs
removing rAppTy
done with radix
done fiddling with Search.hs
a few more modules down...
down to 2