From: Robert Dewar <robert_dewar@my-dejanews.com>
Subject: Re: Ambiguous character literals
Date: 1999/04/28
Date: 1999-04-28T00:00:00+00:00 [thread overview]
Message-ID: <7g6qkp$rn9$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 7fr2hr$sak$1@nnrp1.dejanews.com
In article <7fr2hr$sak$1@nnrp1.dejanews.com>,
adam@irvine.com wrote:
>
>
> I think this program should fail to compile, but GNAT
> 3.10 doesn't give any error messages. Am I interpreting
> the RM correctly?
Yes, you are, and both 3.10 and 3.11 versions of GNAT
incorrectly allow this construction. Version 3.12 (which
we hope to release shortly), will give:
1. procedure test1 is
2. type etype is ('d', 'c', 'b', 'a');
3. type etype2 is ('a', 'b', 'c', 'd');
4. b : boolean;
5. begin
6. b := ('d' < 'b');
|
>>> ambiguous character literal
>>> candidate interpretations: Character,
Wide_Character
>>> candidate interpretation: type "etype2" defined
at line 3
>>> candidate interpretation: type "etype" defined
at line 2
7. end test1;
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
prev parent reply other threads:[~1999-04-28 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-04-24 0:00 Ambiguous character literals adam
1999-04-26 0:00 ` Tucker Taft
1999-04-28 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox