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,start
X-Google-Attributes: gid103376,public
From: Strategies <strategies@magic.fr>
Subject: Which compiler is right ?
Date: 1997/07/24
Message-ID: <33D718BA.1E9A@magic.fr>#1/1
X-Deja-AN: 258453451
Organization: Strat�gies S.A.
Newsgroups: comp.lang.ada
Date: 1997-07-24T00:00:00+00:00
List-Id: <comp.lang.ada>


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;
-- 
------------------------------------------------------------------------
-- Jerome HAGUET, Strategies, Rungis, France 			      --
-- Tel : (33 1 | 01) 41 73 04 80  ;   Fax : (33 1 | 01) 41 73 04 99   --
-- Internet : strategies@magic.fr ;   Compuserve : 100747,2001        --
------------------------------------------------------------------------