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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5f3fcf3eb242e4c1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-07-18 00:17:15 PST
From: "Martin Dowie" <martin.dowie@nospam.baesystems.com>
Newsgroups: comp.lang.ada
References: <9j1cpn$bis$1@infosun2.rus.uni-stuttgart.de>
 <AF90BB90E03E608D.447DE4CBCE9D9148.37FD9A43DA8A1090@lp.airnews.net>
Subject: Re: casecrash: language lawyers: C'mon!
Date: Wed, 18 Jul 2001 08:18:01 +0100
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.00.2314.1300
X-Mimeole: Produced By Microsoft MimeOLE V5.00.2314.1300
NNTP-Posting-Host: sg2c11210.dsge.edinbr.gmav.gecm.com
Message-ID: <3b553588$1@pull.gecm.com>
X-Trace: 18 Jul 2001 08:06:48 GMT, sg2c11210.dsge.edinbr.gmav.gecm.com
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!dispose.news.demon.net!demon!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!sg2c11210.dsge.edinbr.gmav.gecm.com
Xref: archiver1.google.com comp.lang.ada:10125
Date: 2001-07-18T08:18:01+01:00
List-Id: <comp.lang.ada>

I think what the original poster is getting at is that it
would seem perfectly obvious that the case statement is
referring to the data object called 'H' rather than the
enumerate 'H', so why can't the language be defined to
spot this case?


John R. Strohm <strohm@airmail.net> wrote in message
news:AF90BB90E03E608D.447DE4CBCE9D9148.37FD9A43DA8A1090@lp.airnews.net...
> Without digging out my long-buried LRM, I seem to recall that Ada is NOT,
I
> say again NOT, case-sensitive.
>
> That being the case,
>
>     H : Header;
>
> hides the enumeration literal H where you defined record_type, and your
> "when H =>" clause tried to resolve against the instance of Header, which
is
> obviously bogus.
[snip]