Georg Bauhaus <[email protected]> writes: > 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.
Fixed in 5.1.3 (to be released Real Soon Now ) > procedure Op (Obj : T0) > with Post => True; > > function Fail (Obj : T0) return Boolean > with Pre => Fail'Result = False; Also fixed. > (I still don't really know wisi actions, so their numbering > is tentative in the patch.) You got it right. But the full fix is more complex; see test/aspects.ads in the 5.1.3 source (soon). -- -- Stephe _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
