Hi
I find it odd to ask for compiler independence at this point. When last I
looked at Gnoga it depends on GNAT specific libraries and attributes (eg
Unrestricted_Access). Unless, do you really mean not specific to either FSF
or GNAT GPL?
On Wednesday, October 19, 2016, Pascal <blady-...@users.sf.net> wrote:
> Many thanks for all contributions.
>
> I'd like to add two points:
>
> Compiler:
> Interface shall not be compiler dependent and implementation should not be
> compiler dependent.
>
> Language:
> The Ada language standard used is Ada 2012 without restrictions.
>
> PS : as one may have understood, these Gnoga guidelines are as closed from
> existing source code but all is open for suggestions, IMHO. For sure, the
> aim is to set a "Gnoga style" for futures code contributions.
>
> Go on sending comments, Pascal.
> http://blady.pagesperso-orange.fr
>
>
> > Le 19 oct. 2016 à 00:19, Anh (TA) Vo <anhvofrc...@gmail.com
> <javascript:;>> a écrit :
> >
> > On Sun, Oct 16, 2016 at 10:25 PM, Jean-Pierre Rosen <ro...@adalog.fr
> <javascript:;>> wrote:
> > Le 16/10/2016 à 19:54, Jeffrey R. Carter a écrit :
> > >> I'm OK for disabling assertions, but not other checks
> (constraint_error...)
> > > I'm for leaving them all on.
> > When I said "assertions", I meant all forms of assertions (including
> > Pre/Post), not just pragma Assert.
> >
> > The trouble is that sometimes, the post-condition needs more
> > computations than the subprogram being described.
> >
> > But it should be shorter that unit test :-). Post conditions replacing
> unit test is my most favorite feature.
> >
> > Anh Vo
> >
> > ------------------------------------------------------------
> ------------------
> > Check out the vibrant tech community on one of the world's most
> > engaging tech sites, SlashDot.org! http://sdm.link/slashdot______
> _________________________________________
> > Gnoga-list mailing list
> > Gnoga-list@lists.sourceforge.net <javascript:;>
> > https://lists.sourceforge.net/lists/listinfo/gnoga-list
>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> _______________________________________________
> Gnoga-list mailing list
> Gnoga-list@lists.sourceforge.net <javascript:;>
> https://lists.sourceforge.net/lists/listinfo/gnoga-list
>
--
-- Weston
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________
Gnoga-list mailing list
Gnoga-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/gnoga-list
