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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MISSING_FROM,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!attcan!uunet!decwrl!sdd.hp.com!uakari.primate.wisc.edu!zaphod.mps.ohio-state.edu!sunybcs!planck!acsu.buffalo.edu!planck!hercules!westley
Newsgroups: comp.lang.ada
Subject: implicit array type conversion
Message-ID: <1990Jul26.132742.3828@planck.uucp>
Date: 26 Jul 90 13:27:42 GMT
Sender: news@planck.uucp (Usenet News)
Reply-To: acsu.buffalo.edu!planck!hercules!westley ()
Distribution: na
Organization: Calspan Corporation ATC  Buffalo, NY
List-Id: <comp.lang.ada>

Why is it that implicit array type conversion does not apply to the
following situation?  I can't find anything in the RM that disallows
this situation for implicit conversion.

The compiler (Verdix Sun 4 Self, version 6.0.2(g)) gives the following
warning for the assignment to B:

warning: RM 3.6.1: bounds check will raise CONSTRAINT_ERROR at runtime

It does raise the exception on execution.

I sorta wanted to get some other views before I flag this to Verdix as a
bug.  Minor flame: Its real easy to miss some statement buried in the RM
which clarifies these kinds of language lawyer issues.

------------------------ cut here ----------------------------------
procedure Strings is

   type STRING (Len : NATURAL) is
      record
         S : Standard.STRING(1..Len);
      end record;

   A : Standard.STRING(7..7);
   B : STRING(1);

begin -- Strings

   A := "X";
   B := (A'length, A);

end Strings;

Terry J. Westley
Arvin/Calspan Advanced Technology Center
P.O. Box 400, Buffalo, NY 14225
acsu.buffalo.edu!planck!hercules!westley