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,a3ca574fc2007430
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Ada and Automotive Industry
Date: 1996/12/11
Message-ID: <dewar.850351934@merv>#1/1
X-Deja-AN: 204498340
references: <mazzanti-1112961142160001@131.114.200.115>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-12-11T00:00:00+00:00
List-Id: <comp.lang.ada>


Fanco Mazzanti says

"  AI-00828 and AI-00587 (just to mention two) are not catalogued as "study"
  issues but as "ramifications".  The underlying uncertainty, however,
  has not been removed in Ada95 (A note in the ARM would have probably been
  sufficient).
"

A ramification is something that *can* be derived from the existing rules
in the RM, though perhaps not in a manner that is obvious to a non-expert
reading the RM, but there is no "uncertainty" involved. A note in the ARM
(or even in the RM) has absolutely no effect whatsoever on the language,
so that certainly cannot be sufficient for anything.