Re: GNAT packages in Linux distributions

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 11 May 2010 21:45:45 +0200, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:
> This limitation (generics) may not be always true, as it seems there are  
> some plans to change it : AdaCore and Praxis are working toward this.  
> Interested parties may have a look at this quick presentation :
> http://mpri.master.univ-paris7.fr/stages-2010/20091104-154948/sujet-containers.pdf

Hey Folks! I'm dreaming!

I've just installed the last version of SPARK, started to play a bit with  
its basic principles on a test package, then, just to see what will  
happened, turned the package into a generic. And you know what ? Yes, you  
guess : the SPARK examiner did not returned any error about it and just  
displayed the message

    About to call SetPackageIsGeneric P
    ThePackage P
    IS GENERIC

I though it has simply drop the whole text, so I've introduced an error on  
purpose in the package, and it has complained about the error (a missing  
annotation for a procedure declaration), which is the proof that it did  
not drop the package text.

Nice, looks promising.

Well, that's just the examiner, that's not all the stuff (which I still  
need to learn)... anyway, I like that.

Hope you will try too

I will open a later thread about some SPARK stuffs (for questions, as I'm  
just beginning with it).

P.S. Do not know what implies this “About to call SetPackageIsGeneric P”,  
just hope I do not have to bother for the time.

-- 
pragma Asset ? Is that true ? Waaww... great