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,546b2e2a44f83809
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Gnat For use at Question
Date: 1996/07/12
Message-ID: <dewar.837148506@schonberg>#1/1
X-Deja-AN: 168005121
references: <4s2eb5$qt6@masala.cc.uh.edu> <JSA.96Jul11143114@organon.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-07-12T00:00:00+00:00
List-Id: <comp.lang.ada>


Jon notes that we give an RM reference on this error message

"junk2.adb:4:36: must be constant defined before "Some_Array" (RM 13.1(22))"

Normally we avoid giving RM references, since the RM is seldom helpful if
a message is not clear, and we regard the challenge in error messages
to get short clear messages that do NOT send you scurrying off to the RM
to understand them.

However, this particular case is a rather obscure restriction, and we got
bombarded with people demanding to know how we justified this restriction
Hence the (for GNAT) unusual RM reference in an error message :-)