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,342467ecd9a142cf
X-Google-Attributes: gid103376,public
From: aklee@no_spam.bonsai.net (Albert K. Lee)
Subject: Re: Which compiler is right ?
Date: 1997/07/25
Message-ID: <slrn5tg777.9p.aklee@bonsai.net>#1/1
X-Deja-AN: 258641430
References: <33D718BA.1E9A@magic.fr>
Organization: The Bonsai Group
Newsgroups: comp.lang.ada
Date: 1997-07-25T00:00:00+00:00
List-Id: <comp.lang.ada>


On Thu, 24 Jul 1997 10:56:26 +0200, Strategies <strategies@magic.fr> wrote:
>Hello
>Is the following code legal ?
>I have two compilers with two different answers
>
>generic
>   type Element_Type is limited private;
>   type Index_Type is (<>);
>   type Element_Array is array (Index_Type range <>) of Element_Type;
>   with function Equal (Left, Right : Element_Type) 
>	return Boolean is "=";   
>function Generic_Indice (Left : Element_Type;
>			  Right : Element_Array) return Index_Type;

Personally, just by glancing at the code, it is difficult to figure
out why this code may be rejected; can you tell us the error you
encountered?

-Albert