From dewar@gnat.com Thu Sep 18 14:42:49 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA01107; Thu, 18 Sep 1997 14:42:48 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA04923; Thu, 18 Sep 97 14:43:15 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id OAA30226; Thu, 18 Sep 1997 14:46:39 -0400 Received: from nile.gnat.com by sw-eng.falls-church.va.us (8.7.1/) id SAA11763; Thu, 18 Sep 1997 18:38:03 GMT Received: by nile.gnat.com (5.0/1.20) id AA15316; Thu, 18 Sep 97 14:38:38 EDT Date: Thu, 18 Sep 97 14:38:38 EDT From: dewar@gnat.com (Robert Dewar) Message-Id: <9709181838.AA15316@nile.gnat.com> To: asis-technical@sw-eng.falls-church.va.us Subject: quick technical note Content-Length: 204 Status: OR we ran across yesterday the issue that apparently ASIS has completely failed to address the categorization pragma issue. This seems a serious shortcoming that should be corrected before standardization. From colket@smtp-gw.spawar.navy.mil Fri Sep 19 11:12:25 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id LAA03180; Fri, 19 Sep 1997 11:12:24 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA06823; Fri, 19 Sep 97 11:12:57 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id LAA35138; Fri, 19 Sep 1997 11:17:47 -0400 Received: from droid.nosc.mil by sw-eng.falls-church.va.us (8.7.1/) id PAA23149; Fri, 19 Sep 1997 15:09:24 GMT Received: from opal.spawar.navy.mil (opal.spawar.navy.mil [192.26.7.3]) by droid.nosc.mil (8.8.7/8.8.7) with SMTP id IAA15560; Fri, 19 Sep 1997 08:11:42 -0700 (PDT) Received: from smtp-gw.spawar.navy.mil by opal.spawar.navy.mil (5.x/SMI-SVR4) id AA14678; Fri, 19 Sep 1997 11:01:06 -0400 Received: from ccMail by smtp-gw.spawar.navy.mil (IMA Internet Exchange 1.04b) id 4228f950; Fri, 19 Sep 97 10:43:33 -0400 Mime-Version: 1.0 Date: Fri, 19 Sep 1997 10:34:05 -0400 Message-Id: <4228f950@smtp-gw.spawar.navy.mil> From: colket@smtp-gw.spawar.navy.mil (Currie Colket) Subject: Re: quick technical note - On ASIS To: asis-technical@sw-eng.falls-church.va.us, dewar@gnat.com (Robert Dewar), "Currie Colket" Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Description: cc:Mail note part Content-Length: 791 Status: OR Dear Robert, Reference your email, > we ran across yesterday the issue that apparently ASIS > has completely failed to address the categorization > pragma issue. This seems a serious shortcoming that should > be corrected before standardization. ASIS includes the categorization pragmas of An_All_Calls_Remote_Pragma, A_Remote_Types_Pragma, A_Pure_Pragma, A_Remote_Call_Interface_Pragma, & A_Shared_Passive_Pragma in Pragma_Kinds. This should provide the needed categorization of Library Units. Please elaborate on what you are asking for as part of the categorization pragma issue. If there is a serious shortcoming, could you please recommend the needed interfaces to resolve this problem. Thank you. v/r Currie From dewar@gnat.com Fri Sep 19 11:16:24 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id LAA03189; Fri, 19 Sep 1997 11:16:24 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA06951; Fri, 19 Sep 97 11:16:46 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id LAA45188; Fri, 19 Sep 1997 11:21:37 -0400 Received: from nile.gnat.com by sw-eng.falls-church.va.us (8.7.1/) id PAA23326; Fri, 19 Sep 1997 15:13:18 GMT Received: by nile.gnat.com (5.0/1.20) id AA20325; Fri, 19 Sep 97 11:13:52 EDT Date: Fri, 19 Sep 97 11:13:52 EDT From: dewar@gnat.com (Robert Dewar) Message-Id: <9709191513.AA20325@nile.gnat.com> To: asis-technical@sw-eng.falls-church.va.us, colket@ACM.Org, colket@smtp-gw.spawar.navy.mil, dewar@gnat.com Subject: Re: quick technical note - On ASIS Content-Length: 769 Status: OR Sorry, you missed my point, I was not clear. My concern is that the ASIS specs THEMSELVES, appear not to have paid any attention to categorization. Note that it would be quite wrong for an implementor to add, for example, pragma Preelaborate to an existing Ada spec that did not have one. Yes, yes, I know, the ASIS standard says an implementor can freely add pragmas, but that too is a mistake. I do not think you want implementors adding pragma Restrictions (No_Recursion); to all their ASIS specs and still consider it standard!!! The RM carefully worries about categorization at the Pure/Preelaborate level, but it is now recotgnized that it did not worry sufficiently about the Remote_Types issue. ASIS should fully address this issue before standardization. From colket@smtp-gw.spawar.navy.mil Fri Sep 19 15:24:53 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id PAA04107; Fri, 19 Sep 1997 15:24:52 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA13051; Fri, 19 Sep 97 15:25:19 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id PAA52060; Fri, 19 Sep 1997 15:29:53 -0400 Received: from droid.nosc.mil by sw-eng.falls-church.va.us (8.7.1/) id TAA02037; Fri, 19 Sep 1997 19:21:14 GMT Received: from opal.spawar.navy.mil (opal.spawar.navy.mil [192.26.7.3]) by droid.nosc.mil (8.8.7/8.8.7) with SMTP id MAA23022; Fri, 19 Sep 1997 12:23:48 -0700 (PDT) Received: from smtp-gw.spawar.navy.mil by opal.spawar.navy.mil (5.x/SMI-SVR4) id AA27678; Fri, 19 Sep 1997 15:13:02 -0400 Received: from ccMail by smtp-gw.spawar.navy.mil (IMA Internet Exchange 1.04b) id 422cb7b0; Fri, 19 Sep 97 14:59:07 -0400 Mime-Version: 1.0 Date: Fri, 19 Sep 1997 14:51:24 -0400 Message-Id: <422cb7b0@smtp-gw.spawar.navy.mil> From: colket@smtp-gw.spawar.navy.mil (Currie Colket) Subject: Re[3]: quick technical note - On ASIS To: asis-technical@sw-eng.falls-church.va.us, colket@ACM.Org, dewar@gnat.com, dewar@gnat.com (Robert Dewar) Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Description: cc:Mail note part Content-Length: 1399 Status: OR Robert, Is there something in the Ada 95 RM regarding categorization of pragmas that we missed? > The RM carefully worries about categorization at the > Pure/Preelaborate level, but it is now recotgnized that it > did not worry sufficiently about the Remote_Types issue. > ASIS should fully address this issue before standardization. Are you saying that the Remote_Types issue was not carefully addressed for the Ada 95 RM and that ASIS should now address the issue? Have all the Ada 95 vendors agreed to the approach for resolving the Remote_Types issue. More importantly, is this an area that the ARG has agreed on. The ASIS specification currently recognizes the need for extensions. Compiler providers, in a non-portable way, could extend their implementation of ASIS to address such concerns per section 1.1.3.3 in ASIS. If the ARG has agreed on an approach, then it would be far better to include a solution in the ASIS specification before it gets standardized. This would make resultant ASIS-based tools more portable. As you are very familiar with the issue, could you suggest the needed changes in the current ASIS specification to accommodate the agreed Remote_Types solution? It would be very much appreciated. Perhaps we should target a meeting at Tri-Ada'97 to address this and potentially other issues that might be raised between now and then. v/r Currie From dewar@gnat.com Fri Sep 19 16:22:47 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id QAA04268; Fri, 19 Sep 1997 16:22:47 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA14502; Fri, 19 Sep 97 16:23:21 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id QAA04312; Fri, 19 Sep 1997 16:28:01 -0400 Received: from nile.gnat.com by sw-eng.falls-church.va.us (8.7.1/) id UAA03879; Fri, 19 Sep 1997 20:19:35 GMT Received: by nile.gnat.com (5.0/1.20) id AA12177; Fri, 19 Sep 97 16:20:11 EDT Date: Fri, 19 Sep 97 16:20:11 EDT From: dewar@gnat.com (Robert Dewar) Message-Id: <9709192020.AA12177@nile.gnat.com> To: asis-technical@sw-eng.falls-church.va.us, colket@ACM.Org, colket@smtp-gw.spawar.navy.mil, dewar@gnat.com Subject: Re: Re[3]: quick technical note - On ASIS Content-Length: 771 Status: OR <> The Remote_Types issue is harder than the Pure/Preelaborate issue, but as I understand it, ASIS has not even addressed the latter. Basically you have to go through each package in the spec and decide which if any of the categorization pragmas apply. I think in the first instance, the best idea is to just worry about Pure an Preelaborate. FOr the moment I would forget Remote_Types, or leave it implementation dependent. After all, at the moment only GNAT supports Annex E anyway. From dewar@gnat.com Fri Oct 17 08:16:30 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id IAA29862; Fri, 17 Oct 1997 08:16:29 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA16998; Fri, 17 Oct 97 08:17:41 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id IAA34080; Fri, 17 Oct 1997 08:21:34 -0400 Received: from nile.gnat.com by sw-eng.falls-church.va.us (8.7.1/) id MAA24846; Fri, 17 Oct 1997 12:05:50 GMT Received: by nile.gnat.com (5.0/1.20) id AA07410; Fri, 17 Oct 97 08:05:46 EDT Date: Fri, 17 Oct 97 08:05:46 EDT From: dewar@gnat.com (Robert Dewar) Message-Id: <9710171205.AA07410@nile.gnat.com> To: asis-comment@sw-eng.falls-church.va.us, rybin@possum.srcc.msu.su Subject: Re: Categorization pragmas Cc: asis-officers@sw-eng.falls-church.va.us, leguennec@act-europe.fr Content-Length: 144 Status: OR Who is dealing with the issue of making sure that appropriate categorization pragmas are added to all ASIS units before final standardization. From colket@colket.org Fri Oct 17 11:10:55 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id LAA00032; Fri, 17 Oct 1997 11:10:55 -0400 Received: from mail.acm.org by ida.org (4.1/SMI-4.1) id AA21272; Fri, 17 Oct 97 11:12:06 EDT Received: from sw-eng.falls-church.va.us (ns1.sw-eng.falls-church.va.us [199.75.54.2]) by mail.acm.org (8.8.5/8.7.5) with ESMTP id LAA106096; Fri, 17 Oct 1997 11:15:56 -0400 Received: from smtp2.erols.com by sw-eng.falls-church.va.us (8.7.1/) id PAA02268; Fri, 17 Oct 1997 15:05:06 GMT Received: from LOCALNAME (spg-as10s50.erols.com [205.177.147.113]) by smtp2.erols.com (8.8.6/8.8.5) with SMTP id LAA00309; Fri, 17 Oct 1997 11:06:34 -0400 (EDT) Message-Id: <3446CDB2.B8C@colket.org> Date: Thu, 16 Oct 1997 19:33:43 -0700 From: Currie Colket Reply-To: colket@colket.org X-Mailer: Mozilla 3.01C-KIT (Win16; I) Mime-Version: 1.0 To: Robert Dewar Cc: asis-comment@sw-eng.falls-church.va.us, rybin@possum.srcc.msu.su, asis-officers@sw-eng.falls-church.va.us, leguennec@act-europe.fr Subject: Re: Categorization pragmas References: <9710171205.AA07410@nile.gnat.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-Length: 249 Status: OR Robert, Robert Dewar wrote: > Who is dealing with the issue of making sure that appropriate > categorization pragmas are added to all ASIS units before final > standardization. I will deal with the issue, with a lot of your help :-) v/r Currie From roby Tue Dec 9 17:14:10 1997 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id RAA06727; Tue, 9 Dec 1997 17:14:09 -0500 From: roby (Clyde Roby) Message-Id: <199712092214.RAA06727@cronus.csed.ida.org> Subject: categorization pragmas in ASIS To: dewar@gnat.com (Robert Dewar) Date: Tue, 9 Dec 1997 17:14:09 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) In-Reply-To: <9709191513.AA20325@nile.gnat.com> from "Robert Dewar" at Sep 19, 97 11:13:52 am X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 1742 Status: OR Robert, Regarding your issue (ASIS Issue #082) concerning categorization of pragmas in the ASIS specification itself, we are proposing the following changes: Change 1.1.3.1(b), first bullet, from: Adding "with" clauses, pragmas, representation specifications, and comments. to: Adding "with" clauses, representation specifications, comments, and allowable pragmas. Allowable pragmas are: All_Calls_Remote, Asynchronous, Linker_Options, List, Optimize, Page, PreElaborate, Pure (only for the packages ASIS, clause 3; ASIS.Errors, clause 4; and ASIS.Exceptions, clause 5), Remote_Call_Interface, Remote_Types, and Shared_Passive. Are there any additional pragmas that you believe should be on this list (or any that are on this list that should be removed)? Can you think of any other changes to the document needed to support the resolution to this issue? Clyde and Currie > Sorry, you missed my point, I was not clear. My concern is that > the ASIS specs THEMSELVES, appear not to have paid any attention > to categorization. Note that it would be quite wrong for an > implementor to add, for example, pragma Preelaborate to an > existing Ada spec that did not have one. > > Yes, yes, I know, the ASIS standard says an implementor can freely add > pragmas, but that too is a mistake. I do not think you want implementors > adding > > pragma Restrictions (No_Recursion); > > to all their ASIS specs and still consider it standard!!! > > The RM carefully worries about categorization at the Pure/Preelaborate > level, but it is now recotgnized that it did not worry sufficiently > about the Remote_Types issue. > > ASIS should fully address this issue before standardization. From dewar@gnat.com Tue Dec 9 23:43:43 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id XAA06979; Tue, 9 Dec 1997 23:43:43 -0500 Received: from nile.gnat.com by ida.org (4.1/SMI-4.1) id AA11166; Tue, 9 Dec 97 23:44:55 EST Received: by nile.gnat.com (5.0/1.20) id AA25989; Tue, 9 Dec 97 23:40:07 EST Date: Tue, 9 Dec 97 23:40:07 EST From: dewar@gnat.com (Robert Dewar) Message-Id: <9712100440.AA25989@nile.gnat.com> To: dewar@gnat.com, roby@ida.org Subject: Re: categorization pragmas in ASIS Cc: Colket@acm.org Content-Length: 641 Status: OR << to: Adding "with" clauses, representation specifications, comments, and allowable pragmas. Allowable pragmas are: All_Calls_Remote, Asynchronous, Linker_Options, List, Optimize, Page, PreElaborate, Pure (only for the packages ASIS, clause 3; ASIS.Errors, clause 4; and ASIS.Exceptions, clause 5), Remote_Call_Interface, Remote_Types, and Shared_Passive. >> If I read this correctly you are suggesting that it is implementation dependent whether the pragma Pure or Preelaborate gets added. That's bad, it means that all uses of ASIS from pure or preelaborable packages are iplementation dependent. From roby Wed Dec 10 10:39:06 1997 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id KAA07489; Wed, 10 Dec 1997 10:39:05 -0500 From: roby (Clyde Roby) Message-Id: <199712101539.KAA07489@cronus.csed.ida.org> Subject: Re: categorization pragmas in ASIS To: dewar@gnat.com (Robert Dewar) Date: Wed, 10 Dec 1997 10:39:05 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) In-Reply-To: <9712100440.AA25989@nile.gnat.com> from "Robert Dewar" at Dec 9, 97 11:40:07 pm X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 1016 Status: OR Robert, > << to: > Adding "with" clauses, representation specifications, comments, > and allowable pragmas. Allowable pragmas are: All_Calls_Remote, > Asynchronous, Linker_Options, List, Optimize, Page, PreElaborate, > Pure (only for the packages ASIS, clause 3; ASIS.Errors, clause 4; > and ASIS.Exceptions, clause 5), Remote_Call_Interface, > Remote_Types, and Shared_Passive. > >> > > If I read this correctly you are suggesting that it is implementation > dependent whether the pragma Pure or Preelaborate gets added. Concerning pragma Pure, I would like to remove it from the list in the sentence above and make it a part of the specification for the three packages mentioned. > That's bad, it means that all uses of ASIS from pure or preelaborable > packages are iplementation dependent. Should pragma PreElaborate be removed from the list as well? Or, should something be said about the use of PreElaborate (and perhaps the other similar elaborate pragmas? Clyde From dewar@gnat.com Wed Dec 10 11:11:31 1997 Return-Path: Received: from ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id LAA07640; Wed, 10 Dec 1997 11:11:30 -0500 Received: from nile.gnat.com by ida.org (4.1/SMI-4.1) id AA20890; Wed, 10 Dec 97 11:12:43 EST Received: by nile.gnat.com (5.0/1.20) id AA14873; Wed, 10 Dec 97 11:07:41 EST Date: Wed, 10 Dec 97 11:07:41 EST From: dewar@gnat.com (Robert Dewar) Message-Id: <9712101607.AA14873@nile.gnat.com> To: dewar@gnat.com, roby@ida.org Subject: Re: categorization pragmas in ASIS Cc: Colket@acm.org Content-Length: 335 Status: OR I would remove BOTH Pure and Preelaborate from the list, and make it clear that clients using ASIS packages can be neither Why mention adding pragmas at all, just forbid adding pragmas, of course you can still add any pragmas that are transparent semantically like Optimize or List. This is what the RM does, why not be consistent? From roby Wed Jan 7 15:00:22 1998 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA17269; Wed, 7 Jan 1998 14:59:21 -0500 From: roby (Clyde Roby) Message-Id: <199801071959.OAA17269@cronus.csed.ida.org> Subject: More about categorization pragmas in ASIS To: Dewar@GNAT.Com (Robert Dewar) Date: Wed, 7 Jan 1998 14:59:21 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 771 Status: OR Robert, Reference Issue #082 (Categorization pragmas) concerning categorization of pragmas in the ASIS specification itself, we are now proposing the following change: ------- Change 1.1.3.1(b), first bullet, from: Adding "with" clauses, pragmas, representation specifications, and comments. to: Adding "with" clauses, representation specifications, comments, and allowable pragmas. Allowable pragmas are those which do not change the semantics of the interface (e.g., List, Optimize, Page). ------- By doing this, have we precluded the use of ASIS in an Annex E defined distributed environment by explicitly leaving out those pragmas related to distribution (e.g., All_Calls_Remote, Remote_Types, etc.)? Clyde and Currie From dewar@gnat.com Fri Jan 9 23:28:10 1998 Return-Path: Received: from cs.ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id XAA25944; Fri, 9 Jan 1998 23:28:10 -0500 Received: from nile.gnat.com (NILE.GNAT.COM [205.232.38.5]) by cs.ida.org (8.8.7/8.8.7) with SMTP id XAA23907 for ; Fri, 9 Jan 1998 23:29:26 -0500 (EST) Received: by nile.gnat.com (5.0/1.20) id AA05833; Fri, 9 Jan 98 23:29:23 EST Date: Fri, 9 Jan 98 23:29:23 EST From: dewar@gnat.com (Robert Dewar) Message-Id: <9801100429.AA05833@nile.gnat.com> To: Dewar@gnat.com, roby@ida.org Subject: Re: More about categorization pragmas in ASIS Cc: Colket@acm.org Content-Length: 1108 Status: OR sounds resaonable to me -- From roby@ida.org Wed Jan 7 15:01 EST 1998 From: roby@ida.org (Clyde Roby) Subject: More about categorization pragmas in ASIS To: Dewar@GNAT.Com (Robert Dewar) Date: Wed, 7 Jan 1998 14:59:21 -0500 (EST) Cc: roby@ida.org (me), Colket@ACM.Org (Currie Colket) Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Robert, Reference Issue #082 (Categorization pragmas) concerning categorization of pragmas in the ASIS specification itself, we are now proposing the following change: ------- Change 1.1.3.1(b), first bullet, from: Adding "with" clauses, pragmas, representation specifications, and comments. to: Adding "with" clauses, representation specifications, comments, and allowable pragmas. Allowable pragmas are those which do not change the semantics of the interface (e.g., List, Optimize, Page). ------- By doing this, have we precluded the use of ASIS in an Annex E defined distributed environment by explicitly leaving out those pragmas related to distribution (e.g., All_Calls_Remote, Remote_Types, etc.)? Clyde and Currie From roby Wed Jan 14 14:31:02 1998 Return-Path: Received: by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA09929; Wed, 14 Jan 1998 14:31:02 -0500 From: roby (Clyde Roby) Message-Id: <199801141931.OAA09929@cronus.csed.ida.org> Subject: Issue #082, Categorization pragmas To: ASIS-Technical@SW-Eng.Falls-Church.Va.US (ASIS-Technical) Date: Wed, 14 Jan 1998 14:31:02 -0500 (EST) Cc: roby (me), Colket@ACM.Org (Currie Colket) X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 720 Status: OR ASIS-Technical, In reference to Issue #082, Categorization pragmas (http://www.acm.org/sigada/wg/asiswg/issues/issue082.i), the attached solution is proposed. Please review this issue and proposed solution and identify any additional changes that are necessary or any alternative solutions and send them to ASIS-Technical. Clyde and Currie ------- Change 1.1.3.1(b), first bullet, from: Adding "with" clauses, pragmas, representation specifications, and comments. to: Adding "with" clauses, representation specifications, comments, and allowable pragmas. Allowable pragmas are those which do not change the semantics of the interface (e.g., List, Optimize, Page). ------- From dewar@gnat.com Wed Jan 14 14:54:48 1998 Return-Path: Received: from cs.ida.org by cronus.csed.ida.org (SMI-8.6/SMI-SVR4) id OAA10066; Wed, 14 Jan 1998 14:54:47 -0500 Received: from nile.gnat.com (NILE.GNAT.COM [205.232.38.5]) by cs.ida.org (8.8.7/8.8.7) with SMTP id OAA12356 for ; Wed, 14 Jan 1998 14:56:00 -0500 (EST) Received: by nile.gnat.com (5.0/1.20) id AA22818; Wed, 14 Jan 98 14:55:51 EST Date: Wed, 14 Jan 98 14:55:51 EST From: dewar@gnat.com (Robert Dewar) Message-Id: <9801141955.AA22818@nile.gnat.com> To: ASIS-Technical@sw-eng.falls-church.va.us, roby@ida.org Subject: Re: Issue #082, Categorization pragmas Cc: Colket@acm.org Content-Length: 23 Status: OR look sreasonable to me