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-Thread: 103376,146ef816afa699d1
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.38.134 with SMTP id g6mr7357044pbk.6.1319035740396;
        Wed, 19 Oct 2011 07:49:00 -0700 (PDT)
Path: 
 d5ni32289pbc.0!nntp.google.com!news1.google.com!news.glorb.com!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: "Alex Mentis" <foo@invalid.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Length of unbounded_string.
Date: Wed, 19 Oct 2011 14:48:59 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <j7mo0r$cfc$1@dont-email.me>
References: <4e9a9a6d$0$3238$703f8584@news.kpn.nl>
 <9fvo6aF3d6U1@mid.individual.net> <4e9ad365$0$3267$703f8584@news.kpn.nl>
 <9g02plFrnlU1@mid.individual.net> <4e9bdbc7$0$3240$703f8584@news.kpn.nl>
 <9g3f3kFfr7U1@mid.individual.net> <4e9d6722$0$3244$703f8584@news.kpn.nl>
 <9g5snkFlh0U1@mid.individual.net> <4e9e37ea$0$3272$703f8584@news.kpn.nl>
Mime-Version: 1.0
Injection-Date: Wed, 19 Oct 2011 14:48:59 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="XzXfSICJdWNON+sacLVBRA";
	logging-data="12780"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+n+HwT+m5kR40MELUOfT+6KbHwJ/pBIaM="
User-Agent: XanaNews/1.19.1.320
Cancel-Lock: sha1:GDj1sLd4EYp1AKa1tWmBgy8fVXA=
Xref: news1.google.com comp.lang.ada:18603
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 7bit
Date: 2011-10-19T14:48:59+00:00
List-Id: <comp.lang.ada>

ldries46 wrote:

> The complete code of which I would conclude that the comma should be
> present is:
 . . . 
>            ch := Element(str, len);
>            if ch = ',' or (ch /= ';' and ch /= '{' and ch /= '}') then
                . . .
>            end if;

The check to see if ch = ',' seems superfluous here. Since ',' is not a
semi-colon or a brace, the (ch /= ';' and ch /= '{' and ch /= '}')
condition will suffice to execute this branch when ch = ',' (or any
other non semi-colon, left-brace, or right-brace character for that
matter).

Could your problem possibly be that you are appending in more cases
than you expect?

Alex