On 06/06/2017 03:08 PM, Gautier de Montmollin wrote: > It is legal Ada (relying on Constraint_Error for catching a missing key) > but it won't work properly with GNAT GPL 2016 onwards when pragma > Suppress(Container_Checks) is activated, for instance with the -gnatp > switch.
If you suppress checks, you're engaging in unchecked programming and it's your responsibility to ensure that the code never executes with values that would cause a suppressed check to fail. If you don't, then your program is erroneous. if you suppress checks in code that relies on them not being suppressed, then your program is erroneous. if your program is erroneous, then you get what you deserve. -- Jeff Carter "We burst our pimples at you." Monty Python & the Holy Grail 16 ------------------------------------------------------------------------------ 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
