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. 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? _______________________________________________ Emacs-ada-mode mailing list [email protected] http://host114.hostmonster.com/mailman/listinfo/emacs-ada-mode_stephe-leake.org
