From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: Discriminant and type extensions
Date: Fri, 09 Oct 2009 17:42:46 +0200
Date: 2009-10-09T17:42:46+02:00 [thread overview]
Message-ID: <pllnah.v3a.ln@hunter.axlog.fr> (raw)
In-Reply-To: <8e6cbd59-03d2-4152-9585-7b6a97916f55@c3g2000yqd.googlegroups.com>
Yannick Duch�ne Hibou57 a �crit :
> If only there was a way to check that both parts of a rename clause
> use the same name. Like checking that in � NameX Declaration renames
> PackageY.NameX � both NameX are the same.
>
Of course there is! Just use AdaControl:
check declaration (non_identical_renaming);
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2009-10-09 15:42 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-10-05 17:18 Discriminant and type extensions Hibou57 (Yannick Duchêne)
2009-10-05 20:42 ` Robert A Duff
2009-10-05 22:04 ` Adam Beneschan
2009-10-05 22:29 ` Yannick Duchêne Hibou57
2009-10-05 22:34 ` Yannick Duchêne Hibou57
2009-10-05 23:08 ` Adam Beneschan
2009-10-07 6:20 ` Yannick Duchêne Hibou57
2009-10-05 22:15 ` Yannick Duchêne Hibou57
2009-10-09 6:29 ` Yannick Duchêne Hibou57
2009-10-09 15:42 ` Jean-Pierre Rosen [this message]
2009-10-07 7:21 ` Jean-Pierre Rosen
2009-10-07 15:39 ` 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