sullivan@marge.math.binghamton.edu (fred sullivan) (10/07/87)
As I promised some time ago, I wrote to N. Wirth to ask whether identifiers imported into the definition module should be known in the implementation module, or should be reimported. His answer follows: "Concerning your question about imports in definition modules, I have been of the opinion that the corresponding implementation module adopts those identifiers (and associated data) that are declared in the definition module itself, but no more. In this case, it is indeed necessary to import client modules again in the implementation module, if identifiers declared in it are referenced." I yield. Fred Sullivan Department of Mathematical Sciences State University of New York at Binghamton Binghamton, New York 13903 Email: sullivan@marge.math.binghamton.edu