Sorry, forgot some example program text. Here it is: type T is tagged private with Type_Invariant'Class => False;
The parser stops at the apostrophe.
Furthermore, when trying to indent contract aspects of subs, I noticed
that they were not covered in subprogram declarations of ada-grammar.wy.
The patch appended to this message seems to work, at least for these
two cases:
procedure Op (Obj : T0)
with Post => True;
function Fail (Obj : T0) return Boolean
with Pre => Fail'Result = False;
(I still don't really know wisi actions, so their numbering
is tentative in the patch.)
> Hi,
>
> Aspects of entities may have an apostrophe in their aspect
> marks, viz., from LRM 13.1.1,
>
> aspect_mark ::= aspect_identifier['Class]
>
> I get parse errors at "'".
...
ada-grammar.diff
Description: Binary data
_______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
