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
