J3/06-305r1 Date: 15 November 2006 To: J3 From: Bill Long Subject: Edits for Clause 8 References: J3/06-007r1 Comment: Surely, the associating entity assumes the type parameter values of the selector even if the associating entity is not polymorphic. Reply: This is covered by the text at [176:32-33] Question: There is no mention in 8.1.4 or in 16.5 of how a BLOCK construct accesses its containing environment. How do declarations within the construct override ones of the same name from the containing environment? Answer: The following edit corrects this problem. [488:11-12] After "a module procedure interface body," add " a BLOCK construct," Other Edits: [183:10,23] Insert ", " after "" twice. [189:5] Insert ", after "".