Simon Wright <[email protected]> writes: > On 27 Jul 2016, at 20:40, Stephen Leake <[email protected]> > wrote: >> >> While working on the Savannah mailing list, I found this project: >> >> https://savannah.nongnu.org/projects/spark-ada >> >> It's old, so it probably needs work, but it should be possible to >> integrate that with the current ada-mode as an optional add-on. >> >> Any interest in that? > > That's using the old SPARK annotations, introduced by comments of the form --# > > SPARK 2014 uses aspects, so ada-mode 5.2.0 copes OK so far as > formatting goes.
Right, I forgot about that. > I suppose we might find areas where the complex > aspects required could be formatted better. And we might colourise > SPARK-specific aspects specially? and we might do something to support > running gnatprove? I would run gnatprove from a makefile. But I haven't done it at all yet. Does it make sense to run it on a single file? -- -- Stephe _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
