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@[EMAIL PROTECTED]
)
Visit Adalog's web site at http://www.adalog.fr
|
