* Spark Editors?
@ 2016-10-08 19:14 Diogenes
2016-10-08 19:40 ` Paul Rubin
0 siblings, 1 reply; 4+ messages in thread
From: Diogenes @ 2016-10-08 19:14 UTC (permalink / raw)
Besides GPS, what other text editors and/or IDEs are out there that at least support Spark syntax highlighting?
I prefer something lightweight. GPS is nice, but it's a little too much for my work flow.
I prefer things like Sublime Text, Nedit, or even VIM.
Any pointers?
Diogenes
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Spark Editors?
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
0 siblings, 2 replies; 4+ messages in thread
From: Paul Rubin @ 2016-10-08 19:40 UTC (permalink / raw)
Diogenes <phathax0r@gmail.com> 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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Spark Editors?
2016-10-08 19:40 ` Paul Rubin
@ 2016-10-09 7:29 ` Simon Wright
2016-10-09 15:04 ` Stephen Leake
1 sibling, 0 replies; 4+ messages in thread
From: Simon Wright @ 2016-10-09 7:29 UTC (permalink / raw)
Paul Rubin <no.email@nospam.invalid> writes:
> Diogenes <phathax0r@gmail.com> 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.
Pre-2014 SPARK used comments with a special syntax. I believe there is
an Emacs mode for that. Why you'd want to use pre-2014 SPARK if you
could help it I don't know.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Spark Editors?
2016-10-08 19:40 ` Paul Rubin
2016-10-09 7:29 ` Simon Wright
@ 2016-10-09 15:04 ` Stephen Leake
1 sibling, 0 replies; 4+ messages in thread
From: Stephen Leake @ 2016-10-09 15:04 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2016-10-09 15:04 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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 is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox