Hi, I get parse errors from the latest ada-mode for some forms of formal derived types. Looking at the definitions of ada-grammar.wy (62706328adf43f6efd1adeaeed120bb951b81fa2 IINM), I think the errors may be caused by "ABSTRACT" being a prefix of all except one RHS of "formal_derived_type_definition", thus excluding non-abstract formal derived types from the grammar.
package Typ is type Ltd is tagged limited null record; type Non_Tagged is limited null record; end Typ; with Typ; generic type Formal is new Typ.Ltd with private; --! package F1 is end F1; with Typ; generic type Formal is limited new Typ.Ltd with private; --! package F2 is end F2; with Typ; generic type Formal is new Typ.Non_Tagged; -- o.K. package F3 is end F3; with Typ; generic type Formal is limited new Typ.Non_Tagged; --! package F4 is end F4; with Typ; generic type Formal is abstract limited new Typ.Ltd with private; -- o.K. package F5 is end F5; _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
