From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: SPARK syntax and “use type” : lack of feature ?
Date: Tue, 25 May 2010 00:29:43 -0700 (PDT)
Date: 2010-05-25T00:29:43-07:00 [thread overview]
Message-ID: <2ad2886d-3d2c-44b2-bcfe-59172f76436d@q8g2000vbm.googlegroups.com> (raw)
In-Reply-To: 17c936fc-66ce-4bb9-ba5a-069d9ed5a2fe@l6g2000vbo.googlegroups.com
>On May 25, 12:01 am, Phil Thornley <phil.jpthorn...@googlemail.com> wrote:
Phil is basically correct.
"use type" is only permitted in the language definition in two places:
1) As a context clause
2) Directly following an embedded package specification.
BUT...
1) is fully implemented.
2) is NOT implemented by any version of the Examiner.
This is documented (somewhat briefly) in section 11.1.1 of
the toolset release note, and page 402 of the book.
- Rod
next prev parent reply other threads:[~2010-05-25 7:29 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-24 18:41 SPARK syntax and “use type” : lack of feature ? Yannick Duchêne (Hibou57)
2010-05-24 23:01 ` Phil Thornley
2010-05-25 7:29 ` Rod Chapman [this message]
2010-05-25 20:16 ` Yannick Duchêne (Hibou57)
2010-05-25 20:05 ` Yannick Duchêne (Hibou57)
2010-05-25 23:18 ` Phil Thornley
2010-05-26 7:38 ` Rod Chapman
2010-05-26 10:28 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox