From: "Gavino" <invalid@invalid.invalid>
Subject: Re: Q: SPARK visibility rules and inherit annotations.
Date: Fri, 21 May 2010 12:42:53 +0200
Date: 2010-05-21T12:42:53+02:00 [thread overview]
Message-ID: <85n6d9F9v4U1@mid.individual.net> (raw)
In-Reply-To: op.vc0hbmfnxmjfy8@garhos
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 765 bytes --]
"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message
news:op.vc0hbmfnxmjfy8@garhos...
>Le Thu, 20 May 2010 13:03:01 +0200, Gavino <invalid@invalid.invalid> a
�crit:
>> It's to avoid overloading, especially the implicit declaration of
>> user-defined subprograms.
>While this only occurs with tagged types, and SPARK 95 has support for
>tagged type. Or may be I'm wrong somewhere, or else, I did not understood
>what you were to say.
Firstly, derived types can introduce overloaded enumeration literals, which
SPARK prohibits.
Secondly, if the parent type is one declared immediately within the visible
part of a package, then certain subprograms declared there are implicitly
declared for the derived type, again a form of overloading.
next prev parent reply other threads:[~2010-05-21 10:42 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-19 15:04 Q: SPARK visibility rules and inherit annotations Peter C. Chapin
2010-05-19 15:54 ` Phil Thornley
2010-05-19 21:29 ` Peter C. Chapin
2010-05-20 1:47 ` Yannick Duchêne (Hibou57)
2010-05-20 11:03 ` Gavino
2010-05-20 15:58 ` Yannick Duchêne (Hibou57)
2010-05-21 10:42 ` Gavino [this message]
2010-05-25 20:58 ` Yannick Duchêne (Hibou57)
2010-05-19 16:22 ` Yannick Duchêne (Hibou57)
2010-05-19 20:41 ` Gavino
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox