From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: SPARK syntax and “use type” : lack of feature ?
Date: Wed, 26 May 2010 12:28:32 +0200
Date: 2010-05-26T12:28:32+02:00 [thread overview]
Message-ID: <op.vda51ujgxmjfy8@garhos> (raw)
In-Reply-To: 2b6614f5-9845-41cb-b68a-90c14a43b19e@c7g2000vbc.googlegroups.com
Le Wed, 26 May 2010 09:38:49 +0200, Rod Chapman
<roderick.chapman@googlemail.com> a écrit:
> There are many many things which are allowed by the (context-free)
> grammar used by the parser that are later rejected by the
> semantic analyser - generic packages for one as you have
> already discovered.
Uh-oh, this seems to mean there is really no-no support for generics.
Unlike what I have believed I have read...
--
There is even better than a pragma Assert: a SPARK --# check.
prev parent reply other threads:[~2010-05-26 10:28 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
2010-05-26 7:38 ` Rod Chapman
2010-05-26 10:28 ` 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