Well if someone is inspired that upgrade is doable.
Most unrestricted access is just used in creating simple examples not in
the framework.
Since Ada is effectively dead outside of GNAT for future development, in my
mind only supporting FSF GNAT is important as it will always be a subset of
GPL GNAT and GNAT PRO and the reasons I freely wrote it to depend on GNAT
from the start.
David Botton
On Thu, Oct 20, 2016 at 11:40 PM Weston Pan <pan.wes...@gmail.com> wrote:
> 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> a écrit :
> >
> > On Sun, Oct 16, 2016 at 10:25 PM, Jean-Pierre Rosen <ro...@adalog.fr>
> 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
> > 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
> 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
>
------------------------------------------------------------------------------
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
