Commit 3e12bb2d authored by simonpj's avatar simonpj
Browse files

[project @ 2005-03-08 09:47:01 by simonpj]

parent 839d23a4
......@@ -273,7 +273,7 @@ exportsToAvails exports
-- ensures that the subordinate names record their parent;
-- and that in turn ensures that the GlobalRdrEnv
-- has the correct parent for all the names in its range.
-- For imported things, we only suck in the binding site later, if ever.
-- For imported things, we may only suck in the interface later, if ever.
-- Reason for all this:
-- Suppose module M exports type A.T, and constructor A.MkT
-- Then, we know that A.MkT is a subordinate name of A.T,
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment