From: Phil Thornley <phil.jpthornley@googlemail.com>
Subject: Re: SPARK syntax and “use type” : lack of feature ?
Date: Tue, 25 May 2010 16:18:24 -0700 (PDT)
Date: 2010-05-25T16:18:24-07:00 [thread overview]
Message-ID: <d6b90050-e5a7-4e7a-8e1e-62dde45c57de@d12g2000vbr.googlegroups.com> (raw)
In-Reply-To: op.vc912yr1ule2fv@garhos
On 25 May, 21:05, Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
wrote:
[...]
> This latter one pass syntax check without any error message (just two
> obvious warnings).
>
[...]
> Eh, I'm dreaming, I have the result I am reporting.
[...]
> I was doing a syntax check only (I feel it is important to state this, as
> you come with an example using Derives clauses).
AAAAHHHHHHHH - I hadn't noticed that your OP said "syntax check" -
that is why you are not getting an error on the first example - it is
not a syntax error. (Presumeably because the preceeding declaration
*might* be an embedded package - which is allowed by the language
definition even if it's not implemented by the Examiner.)
(But it is a semantic error, as shown by my earlier response.)
Cheers,
Phil
next prev parent reply other threads:[~2010-05-25 23:18 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
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 [this message]
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