From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Spark Editors?
Date: Sun, 9 Oct 2016 08:04:52 -0700 (PDT)
Date: 2016-10-09T08:04:52-07:00 [thread overview]
Message-ID: <05ffa817-0412-4117-842d-bd1e0ef1e748@googlegroups.com> (raw)
In-Reply-To: <87shs6vdbu.fsf@nightsong.com>
On Saturday, October 8, 2016 at 2:40:54 PM UTC-5, Paul Rubin wrote:
> Diogenes <> writes:
> > Besides GPS, what other text editors and/or IDEs are out there that at
> > least support Spark syntax highlighting?
>
> Emacs has an Ada mode. Does Spark require much more than that? I
> thought Spark was a subset of Ada.
As implemented in recent GNAT versions, SPARK is a set of attributes on Ada types and subprograms, and a set of restrictions. So it is strictly a subset of Ada 2015, yes.
Emacs Ada mode 5.2.0, available from GNU ELPA (install via list-packages) supports attributes.
Most people would not class Emacs as "lightweight", but it is far more customizable than GPS, so you can make it support your workflow precisely.
There are other files that SPARK uses, for proofs. I haven't used SPARK, so I'm not familiar with their syntax. Does GPS provide syntax highlighting for them?
GPS also provides support for running SPARK and displaying the results. In Emacs, that would be done by a Makefile and the Emacs compilation error mechanism. I don't know if that is sufficient.
prev parent reply other threads:[~2016-10-09 15:04 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-08 19:14 Spark Editors? Diogenes
2016-10-08 19:40 ` Paul Rubin
2016-10-09 7:29 ` Simon Wright
2016-10-09 15:04 ` Stephen Leake [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox