From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,83d7c4caadb45100
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: DECAda/VMS - calling GETJPI
Date: 1996/06/04
Message-ID: <dewar.833924742@schonberg>#1/1
X-Deja-AN: 158491263
references: <31B2AF74.668E@dial.eunet.ch> <dewar.833818928@schonberg>
 <4p183b$2vs@linus.mitre.org> <dewar.833897047@schonberg>
 <4p1v56$214@linus.mitre.org>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-06-04T00:00:00+00:00
List-Id: <comp.lang.ada>


Mike asked::

"Recommendation: Fix this typographical error through the proper channels,
but in the meanwhile, change your interpretation of modular types back
to that of the Rationale, change gnat to convert modular types without
giving a constraint_error, and please give a reference to the meeting
in England which overrides the Rationale and how I can participate in
future meetings of this sort."

This was a meeting of WG9 and the DR's (one of a few joint meetings at
this stage). Of course now the DR's no longer exist, so the issue is
WG9 meetings. At these meetings, participants are members of their
appointed national delegations. You need to apply through the proper
channels which vary from country to country if you wish to be a member
of the delegation from a given country.

There was no question of "overriding" the Rationale, since as I said, it is
not an official WG9 document (or for that matter an official anything
document). What the meeting in England did was decide to change the way
modular operations were handled, and in particular to change the semantics
of conversion to avoid the implicit modular conversion. There were a number
of closely related issues, and when considered together, it was clearly
an advantageous change, as evidenced by the fact that the vote in favor
of this change was unanimous by delegations.

The Rationale is an informal attempt to describe the reasoning behind the
major design decisions. It always had the trouble of tracking a moving
target, and in this case, it tracked an earlier vresion of the RM, and
the relevant section did not get properly updated.

As I said earlier, always read the RM for technical details on the language
(or a good book like Norman Cohen's book that accurately discusses the
language). Read the RM for a general appreciation of the design princiles,
but not for technical details.