Libraries and hierarchies

Tom Pledger
Sat, 2 Aug 2003 10:16:09 +1200

Simon Marlow writes:
 | After installing the library, the tree of modules it contains will
 | be grafted into the global hierarchy at possibly many places, and
 | the modules can then only be imported by uttering their full path
 | names in the global hierarchy.


If that makes a module (module M where data T) appear twice in the
global hierarchy (at A and B), do the types A.M.T and B.M.T become
distinct from each other?

Sorry if that's an obtuse question.  I hope it has a short answer.