ucsd-progsys/liquidhaskell — pull request #114 by gridaphobe (2013-08-26 23:29:34+00:00)
Title: lookup `Name`s in proper module

This branch adds support for resolving GHC `Name`s in the module in which they appear. This means we can go back to qualifying tycons/datacons in refinements/aliases/qualifiers just as we would in the actual code. The one exception is in the `.spec` files, where we need to fully qualify everything. The issue is that we don't have the actual code, so GHC can't tell us what `Name`s are in scope in that module, only what is exported.

The branch does not add namespacing to type/predicate aliases, I have left that out because the branch is large enough as is and proper name-resolution of aliases *ought* to be a fairly localized change to the code.