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,8e1f7d0039a97c6a,start
X-Google-Attributes: gid103376,public
From: adam@irvine.com
Subject: Ambiguous character literals
Date: 1999/04/24
Message-ID: <7fr2hr$sak$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 470135631
X-Http-Proxy: 1.0 x9.dejanews.com:80 (Squid/1.1.22) for client 192.160.8.21
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Sat Apr 24 00:16:59 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/3.0 (X11; I; Linux 2.0.34 i686)
Date: 1999-04-24T00:00:00+00:00
List-Id: <comp.lang.ada>




I think this program should fail to compile, but GNAT 3.10 doesn't give
any error messages.  Am I interpreting the RM correctly?  Or is there
some nuance I'm missing in the RM that causes STANDARD.CHARACTER to be
preferred in a case like this?

Also, I think the program should still be illegal if one or both of the
enumeration type declarations is deleted (since "<" is still visible for
CHARACTER and WIDE_CHARACTER).  Is my understanding correct?

				-- thanks, Adam

procedure test is
    type etype is ('d', 'c', 'b', 'a');
    type etype2 is ('a', 'b', 'c', 'd');
    b : boolean;
begin
    b := ('d' < 'b');
end test;

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own