Thanks! It isn't entirely clear to me what all the keys are inside the bnf file (some of them don't have counterparts in the .flex file) but this is definitely good to start with.
On Wednesday, March 7, 2018 at 2:18:28 PM UTC-5, Brandon Barker wrote: > > I used this for IntelliJATS: > https://github.com/bbarker/IntelliJATS/blob/master/src/com/atslangplugin/ATS.bnf > > and > https://github.com/bbarker/IntelliJATS/blob/master/src/com/atslangplugin/ATS.flex. > > I hope it helps. Unfortunately, it has been a while, and I'd have to go dig > through the ATS2 source to recall where I got that from. > > On Wednesday, March 7, 2018 at 12:54:34 PM UTC-5, theindi...@gmail.com > wrote: >> >> I've started working on a fork of ATS2-mode for Emacs/Spacemacs. The repo >> is public <https://github.com/theindigamer/ats2-mode> but there are >> still many missing features and bugs, plus I have zero ATS skills and ε >> Emacs lisp skills, so yeah, don't go in expecting much should you start to >> use it. >> >> (So far, I've seen many forks but it isn't clear which one does what...) >> >> Is this a worthwhile project for folks, or would it be more prudent to >> work on things once the syntax for ATS3 has been finalized? I'm not looking >> to write anything big in ATS myself (at least in the near future) but it >> would be nice to have proper syntax highlighting as a learner. >> >> If this is of interest right now, where do I find the grammar for ATS2? I >> did find a description of the ATS1 grammar on the old website but not much >> else... >> > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/5b71c87f-bb4a-4c33-9891-1d7d5080c2e6%40googlegroups.com.
