From owner-sc22wg5@dkuug.dk  Tue Aug  5 23:04:39 2003
Received: (from majordom@localhost)
	by dkuug.dk (8.12.8p1/8.9.2) id h75L4dx4010591
	for sc22wg5-domo; Tue, 5 Aug 2003 23:04:39 +0200 (CEST)
	(envelope-from owner-sc22wg5@dkuug.dk)
X-Authentication-Warning: ptah.dkuug.dk: majordom set sender to owner-sc22wg5@dkuug.dk using -f
Received: from math.jpl.nasa.gov (math.jpl.nasa.gov [137.79.7.57])
	by dkuug.dk (8.12.8p1/8.9.2) with ESMTP id h75L4UEc010586
	for <SC22WG5@dkuug.dk>; Tue, 5 Aug 2003 23:04:35 +0200 (CEST)
	(envelope-from vsnyder@math.jpl.nasa.gov)
Received: from math.jpl.nasa.gov (localhost.localdomain [127.0.0.1])
	by math.jpl.nasa.gov (8.12.8/8.12.8) with ESMTP id h75L4JXu001680
	for <SC22WG5@dkuug.dk>; Tue, 5 Aug 2003 14:04:19 -0700
Received: from math.jpl.nasa.gov (vsnyder@localhost)
	by math.jpl.nasa.gov (8.12.8/8.12.8/Submit) with ESMTP id h75L4JXk001676
	for <SC22WG5@dkuug.dk>; Tue, 5 Aug 2003 14:04:19 -0700
Message-Id: <200308052104.h75L4JXk001676@math.jpl.nasa.gov>
X-Mailer: exmh version 2.4 06/23/2000 with nmh-1.0.4
To: "SC22/WG5 members" <SC22WG5@dkuug.dk>
Subject: Re: (SC22WG5.2918) N1572 
In-Reply-To: Message from "J.L.Schonfelder" <j.l.schonfelder@liverpool.ac.uk> 
   of "Tue, 05 Aug 2003 20:59:38 BST." <200308052000.h75K003x010244@dkuug.dk> 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 05 Aug 2003 14:04:19 -0700
From: Van Snyder <vsnyder@math.jpl.nasa.gov>
Sender: owner-sc22wg5@dkuug.dk
Precedence: bulk


I think Malcolm's approach in N1572 can be made to work.  We may need to
add words to the effect that the dummy arguments and result name declared
in the interface body are local entities of the procedure body if the body
begins with a MODULE PROCEDURE statement.  Then the rules in Section 16
would take over.

I was for a while concerned about things like a parameter declared in the
interface body, and then used for a kind type parameter or a dimension
for a dummy argument, because in the nonredeclaration case, the names of
these kinds of things don't get carried over from the interface body to
the procedure body.  I decided that doesn't matter.  It's the same sort of
situation as having a private parameter in a module, and then accessing an
entity by use association that depends on a private parameter.  So I'm not
concerned about that problem any more.

-- 
Van Snyder                    |  What fraction of Americans believe 
Van.Snyder@jpl.nasa.gov       |  Wrestling is real and NASA is fake?
Any alleged opinions are my own and have not been approved or disapproved
by JPL, CalTech, NASA, Sean O'Keefe, George Bush, the Pope, or anybody else.


