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,c40a80666be78948
X-Google-Attributes: gid103376,public
From: lutz@iks-jena.de (Lutz Donnerhacke)
Subject: Re: Elemantary Ada question
Date: 2000/11/28
Message-ID: <slrn927csr.tq.lutz@taranis.iks-jena.de>#1/1
X-Deja-AN: 698669559
Distribution: world
Content-Transfer-Encoding: 8bit
References: <9008uq$hmi$1@news.uit.no>
 <slrn927ai8.tq.lutz@taranis.iks-jena.de> <900bgt$i6t$1@news.uit.no>
Content-Type: text/plain; charset=ISO-8859-1
Organization: IKS GmbH Jena
Mime-Version: 1.0
User-Agent: slrn/0.9.5.7 (UNIX)
Newsgroups: comp.lang.ada
Date: 2000-11-28T00:00:00+00:00
List-Id: <comp.lang.ada>

* Reinert Korsnes wrote:
>In article <slrn927ai8.tq.lutz@taranis.iks-jena.de>,
> lutz@iks-jena.de (Lutz Donnerhacke) writes:
>>* Reinert Korsnes wrote:
>>>Can anybody explain me why "A : Float" conflicts
>>>with the declaration:  "type E1 is (a, b, c);" ?
>>
>>Ada is case-in-sensitive.
>
>Ok, let A be a possible value of a variable of type E1
>(let say "type E1 is (A, B, C)").
>And A is a variable name.  
>
>Where is the conflict ?

There are two identical terms in the same namespace.

What should 'if A = A then ...' mean? How to determine the Float value and
the enumeration constant?

  type E1 is (A, B, C);
can be assumed as
  type E1 is range 1 .. 3;
  A : constant E1 := 1;
  B : constant E1 := 2;
  C : constant E1 := 3;

-- 
	      http://www.tm.oneiros.de/calendar/2001/index.html