Predicate used to decide the re-exportation worthiness of an entity in checkExportModule():
Predicate used to decide the re-exportation worthiness of an entity in
checkExportModule():

When checking that the qualified and unqualified forms of an entity
really refer to the same thing, use their _home modules_ to decide
this. The previous test of the unqualified form wrt the importing
module M wasn't really the right thing to do (kind of obvious in
retrospect, but there you go.)

FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs