Re: unsigned type

[Adam Beneschan <adam@irvine.com>]

On Jul 2, 12:49 pm, a...@anon.org (anon) wrote:
> --  Adam.
> --    Now, can you please explain the results from this program.
> --
> --    It just does not make sense.  Because in the second pass though  
> --    Test.Put the bounds for String is ( 1..1 ) but if the procedure
> --    uses a String ( 2 .. -2 ) which neither index is not within the
> --    valid subscript range. And this is also echoed in the third pass.
> --
> --    Note: The RM uses ( 1 .. 0 ) but allows ( L .. R ) if L > R, for
> --           null arrays.  But I think the RM and ACATS suggest that the
> --           Left side index needs to be a valid subscript of the array.

No, they don't.  Read 4.1.2(7).  If you believe there's a clause in
the RM that suggests that the left index needs to be in range, please
give a citation.  If there really is an ambiguity in the RM, I'll look
into it and say something about it to people who could fix it.  But
it's almost certain that you're just misinterpreting something.


> --           Which make B ( 2 .. -2 ) illegal if the B String is bound
> --           by ( 1 .. 1 ).

Nope.  It's not illegal, and it won't raise an exception.

                   -- Adam