From owner-sc22wg5@dkuug.dk Tue Jul 15 16:24:36 2003 Received: (from majordom@localhost) by dkuug.dk (8.12.8p1/8.9.2) id h6FEOaA5095568 for sc22wg5-domo; Tue, 15 Jul 2003 16:24:36 +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 mx2.liv.ac.uk (mx2.liv.ac.uk [138.253.100.180]) by dkuug.dk (8.12.8p1/8.9.2) with ESMTP id h6FEOTEc095563 for ; Tue, 15 Jul 2003 16:24:31 +0200 (CEST) (envelope-from j.l.schonfelder@liverpool.ac.uk) Received: from mailhub3.liv.ac.uk ([138.253.100.83]) by mx2.liv.ac.uk with esmtp (Exim 4.14) id 19cQjA-00088L-LC for sc22wg5@dkuug.dk; Tue, 15 Jul 2003 15:24:24 +0100 Received: from localhost.localdomain ([127.0.0.1] helo=mailhub3.liv.ac.uk) by mailhub3.liv.ac.uk with esmtp (Exim 4.14) id 19cQjA-00060E-JT for sc22wg5@dkuug.dk; Tue, 15 Jul 2003 15:24:24 +0100 Received: from vp135020.liv.ac.uk ([138.253.135.20] helo=jls-rm-home.liv.ac.uk) by mailhub3.liv.ac.uk with esmtp (Exim 4.14) id 19cQjA-000603-D8 for sc22wg5@dkuug.dk; Tue, 15 Jul 2003 15:24:24 +0100 Date: Tue, 15 Jul 2003 15:24:24 +0100 From: "J.L.Schonfelder" To: sc22wg5@dkuug.dk Subject: Re: (SC22WG5.2871) Separate interfaces for module procedures Message-ID: <12329468.1058282660@jls-rm-home.liv.ac.uk> In-Reply-To: <200307111736.h6BHaFej068734@dkuug.dk> References: <200307111736.h6BHaFej068734@dkuug.dk> Originator-Info: login-id=jls; server=pop1.liv.ac.uk X-Mailer: Mulberry/2.2.1 (Win32) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Scanner: exiscan for exim4 (http://duncanthrax.net/exiscan/) *19cQjA-00088L-LC*9QqiFwByNXs* Sender: owner-sc22wg5@dkuug.dk Precedence: bulk --On 11 July 2003 10:36 -0700 Van.Snyder@jpl.nasa.gov wrote: > > John Reid and Aleksandar Donev have been discussing separate interfaces > for module procedures. > > John wrote: > >> Please let's require complete agreement in all interfaces of a separate >> procedure. We are trying to keep this simple, aren't we? > > and Aleksandar replied: > >> But I do believe there is benefit in *not* requiring to repeat the >> redeclaration, but rather allow: > > John continued: > >> That's OK. What I dislike is redeclaration without complete agreement > > The only difference in the characteristics intentionally allowed by the > current draft of the TR is that the procedure body may specify that the > procedure is pure even if the interface doesn't. The only reason I put > this in was to be consistent with [260:40-41] in 03-007. I don't object > to removing this exception. > > The current draft also doesn't say anything about dummy argument names. > This also was done to be consistent with existing interface body / > procedure relations. It could be changed, but there's already been some > resistance to allowing separate interface bodies to be different from > other ones, for example by accessing their environment by host > association. Should we make separate interfaces more different the > others, or more alike them? I had always understood that the major difference between SEPARATE interfaces was that like the module procedure that implements the procedure it MUST access its containing scope by host association. This makes such interfaces different from those for external procedures where the implementation cannot inherit from the non-existing containing scope. Hence current interface bodies do not access their containing scope. This means that some syntactic indication is needed to show that a separate interface is different from an external interface. I believe this difference is essential. > > I guess we'll need more straw votes at Dresden. > > -- > 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. > > -- Lawrie Schonfelder Honorary Senior Fellow University of Liverpool 1 Marine Park, West Kirby, Wirral, UK, CH48 5HN Phone: +44 (151) 625 6986