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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c0b40cfe80587a8d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.204.132.193 with SMTP id c1mr1192674bkt.4.1320066348685;
        Mon, 31 Oct 2011 06:05:48 -0700 (PDT)
Path: 
 l23ni33756bkv.0!nntp.google.com!news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 31 Oct 2011 14:04:14 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: [Q] task discriminants and invariant expressions in SPARK
References: <4eae96be$0$6564$9b4e6d93@newsspool4.arcor-online.net>
In-Reply-To: <4eae96be$0$6564$9b4e6d93@newsspool4.arcor-online.net>
Message-ID: <4eae9ccf$0$6567$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 31 Oct 2011 14:04:15 CET
NNTP-Posting-Host: 66447451.newsspool4.arcor-online.net
X-Trace: 
 DXC=FJE3@6AkF:g_0Po7BmQ3]l4IUK<Cl32<a4Fo<]lROoRa8kF<OcfhCOkNc<S4EZ9<8nPCY\c7>ejVh3;GGVR0\5_nEg_XVbY=k9e
X-Complaints-To: usenet-abuse@arcor.de
Xref: news2.google.com comp.lang.ada:14255
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2011-10-31T14:04:15+01:00
List-Id: <comp.lang.ada>

On 31.10.11 13:38, Georg Bauhaus wrote:

> (I couldn't think of an easy workaround but that may be just me.)

Apparently, the following seem to be o.K., no more flow error,
but is it cheating?

    procedure Test (V : Name) ...
    ... case V is ...


    Test (Id);

Just one indirection...