Support language statement in emacs-mode

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Support language statement in emacs-mode #127

Closed Toxaris closed 9 years ago

Toxaris commented 9 years ago

Support the new language foo statement (see #111) in the emacs-mode.

[x] Highlight language keyword.
[x] Only configure language on the command line if no language foo statement is found.

Toxaris commented 9 years ago

If there's a language statement, the emacs mode will parse it and redundantly configure the same language in the command line. Maybe not perfect, but easier to implement this way.

Blaisorblade commented 9 years ago

:+1: