Le 22/10/2014 10:21, Florian Weimer a écrit : > * Stephen Leake: > >> But you can't put 'raise' in an expression! Which is why the Ada mode >> parser rejects it. > > It's an Ada 2012 with Technical Corrigendum 1 feature (Ada 2015?): > > <http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0022-1.txt?rev=HEAD> > > It's odd to call this change in syntax a “binding interpretation”, but > that's what they did. > It is explained at the end of the AI:
"This AI is classified as a Binding Interpretation in order that it can be implemented in and considered part of Ada 2012. We believe that writing preconditions and predicates without this facility would be a significant limitation when applied to existing packages (whether language-defined, implementation-defined, 3rd-party-defined, or user-defined) -- as changing the exception raised for some error changes the interface of a routine. We do not intend this to set a precedent in the sense that additions (especially additions to syntax) should generally be considered only for future versions of Ada. We believe this is different in that it was considered an important facility for Ada 2012; it was removed from AI05-0290-1 only because the solutions considered didn't have sufficient maturity to include. Early practice using Ada 2012 has only reinforced the importance of this feature in writing preconditions and predicates; now that the feature is mature, we want it available in Ada 2012 compilers." -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
