ucsd-progsys/liquidhaskell — pull request #78 by ranjitjhala (2013-06-07 00:38:32+00:00)
Title: Imports

Started to fix the import saga but gridaphobe pointed out a workaround, so putting on backburner. Cleaning up some of the error reports in Bare.hs.