Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!caip!lll-crg!nike!ucbcad!ucbvax!SU-SIERRA.ARPA!Mendal
From: Mendal@SU-SIERRA.ARPA (Geoff Mendal)
Newsgroups: net.lang.ada
Subject: Integer Range Question
Message-ID: <12220812234.39.MENDAL@su-sierra.arpa>
Date: Mon, 7-Jul-86 12:46:35 EDT
Article-I.D.: su-sierr.12220812234.39.MENDAL
Posted: Mon Jul  7 12:46:35 1986
Date-Received: Wed, 9-Jul-86 03:27:26 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 18

Here's another brain twister from the hackers at Stanford.
We're trying to determine whether the following predefined
integer type is valid (assume that it is the only predefined
integer type):

  type Integer is range 1 .. 0;

The real question here is whether a null range is "symmetric about
zero", as required for all predefined integer types.  Also at
issue is whether System.Min_Int *must* be negative, and likewise
System.Max_Int positive.

We don't know the answer, so any help is appreciated.

LRM references: 3.5(3); 3.5.4(6..7,13); 13.7.1(2..3)

gom
-------