Legend:

* We also may wish to specify recursive module behavior now that the work at formalizing the rules has been done in the previous paper. jhc and helium both implement the algorithm as given to good effect.

38

39

== Alternative proposal ==

40

41

There has been past discussion on mailing lists about clarifying the import/export namespace in a different way. Each type or class constructor in an import or export list could be annotated with its namespace, e.g.

42

43

* import Foo (class Foo (Foo,Bar), data Baz())

44

45

I believe this would solve the same problems as the above proposal, but would be much less backward-compatible.