Re: language problem

[keith@telesoft.UUCP]

Dale Worley at Cullinet Software writes:

> Is the following program required to raise CONSTRAINT_ERROR (or whatever)?
> 
> procedure y is
>   subtype x is range 0..100;
>   a : x := 100;
> begin
>   a := a + 1;
> end y;
> 
First, our compiler points out the error:

          2:   subtype x is range 0..100;
               -------

>>>    Replaced underlined text by " type "

So, making that suggested modification results in correct compilation
with the runtime result:

>>> Unhandled exception: CONSTRAINT_ERROR  (Range Check)
    Raised in   Y.Y at line 5

So, yes, absolutely, constraint_error should be raised.  I assert that
you meant either
  type x is range 0..100;
or
  subtype x is integer range 0..100;
for the purposes of the question, the differences are immaterial.

Keith
-- 
Keith Allan Shillington  telesoft!keith@UCSD.ARPA       619/457-2700x388.ATT
My opinions are mine.    {ucbvax!sdcsvax,hp-sdd,bigbang}!telesoft!keith.UUCP