ucsd-progsys/liquidhaskell — pull request #85 by gridaphobe (2013-06-24 23:16:12+00:00)
Title: Text

Add `Data.Text` benchmark. More interestingly, this branch changes two things in liquidhaskell:

1. we know query GHC for the path to an imported Hs/Lhs file, and use the `-i` flag as a backup.
2. all calls to `dropModuleNames` have been removed because they make cross-module verification much more difficult.

There are still things that could be done in Text, but ByteString needs the cross-module stuff for ByteString.Lazy.