- -- We need to classify them like this so that we can figure out
- -- "module M" export specifiers in an export list
- -- (see 1.4 Report Section 5.1.1). Ultimately, we want to find
- -- everything that is unambiguously in scope as 'M.x'
- -- and where plain 'x' is (perhaps ambiguously) in scope.
- -- So the starting point is all things that are in scope as 'M.x',
- -- which is what this field tells us.
+ -- This is exactly the list of things that will be exported
+ -- by a 'module M' specifier in the export list.
+ -- (see Haskell 98 Report Section 5.2).
+ --
+ -- Warning: there may be duplciates in this list,
+ -- duplicates are removed at the use site (rnExports).
+ -- We might consider turning this into a NameEnv at
+ -- some point.