From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: Child Package Operator Visibility
Date: Mon, 14 Apr 2008 09:42:21 +0200
Date: 2008-04-14T09:42:21+02:00 [thread overview]
Message-ID: <5t1vtf.3ft.ln@hunter.axlog.fr> (raw)
In-Reply-To: <wcciqyl4ijh.fsf@shell01.TheWorld.com>
Robert A Duff a �crit :
> Nobody would type:
>
> function "+" (X, Y: T) return T renames Pkg."+";
> function "-" (X, Y: T) return T renames Pkg."-";
> ...
>
> Instead, you type:
>
> function "+" (X, Y: T) return T renames Pkg."+";
>
> Cut&paste, to get:
>
> function "+" (X, Y: T) return T renames Pkg."+";
> function "+" (X, Y: T) return T renames Pkg."+";
> ...
>
> Then fix it up:
>
> function "+" (X, Y: T) return T renames Pkg."+";
> function "-" (X, Y: T) return T renames Pkg."+";
> ...
>
> Oops. Now you've got a nasty bug, which is hard to see. ;-)
>
Unless you use AdaControl's rule:
"check declarations (non_identical_renaming)"
(Yes, it's a plug. Sorry, couldn't resist)
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
prev parent reply other threads:[~2008-04-14 7:42 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-04-05 14:03 Child Package Operator Visibility pakman
2008-04-05 14:19 ` (see below)
2008-04-07 15:03 ` Adam Beneschan
2008-04-07 15:25 ` Anh Vo
2008-04-07 17:30 ` (see below)
2008-04-13 20:16 ` Robert A Duff
2008-04-14 7:42 ` Jean-Pierre Rosen [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