From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: GNAT 4.8 bug with subtype predicate
Date: Thu, 07 Mar 2013 03:14:28 +0100
Date: 2013-03-07T03:14:28+01:00 [thread overview]
Message-ID: <op.wtj0ieozule2fv@cardamome> (raw)
In-Reply-To: op.wtj0d51hule2fv@cardamome
Le Thu, 07 Mar 2013 03:11:55 +0100, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
> The error also disappears if I only have this in the public part
>
>
> function F (I : T) return Positive;
>
>
> …then have this in the private part:
>
>
> function F (I : T) return Positive
> is (Positive'Val (T'Pos (I)));
Forget to say that may not be OK neither, if `F` is intended to be defined
in the public part of the package spec'
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
prev parent reply other threads:[~2013-03-07 2:14 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-07 2:11 GNAT 4.8 bug with subtype predicate Yannick Duchêne (Hibou57)
2013-03-07 2:14 ` Yannick Duchêne (Hibou57) [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