catala/syntax_highlighting
2022-09-20 10:50:43 +02:00
..
emacs Remove division durations 2022-08-19 15:21:29 +02:00
en Remove division durations 2022-08-19 15:21:29 +02:00
fr Remove division durations 2022-08-19 15:21:29 +02:00
gnu_gedit Remove chinese language support as it is not yet supported by the compiler 2022-09-20 10:44:46 +02:00
pl Remove division durations 2022-08-19 15:21:29 +02:00
dune Add a (very simple) syntax highlighting mode for Emacs 2022-05-13 17:42:03 +02:00
README.md Moved doc around 2022-09-20 10:50:43 +02:00

Syntax highlighting

The Catala language also comes with syntax highlighting to ease program development. The syntax highlighting is done, among other techniques, with the Iro compiler that allows writing the syntax only once, and then export it to formats understood by various IDE.

DISCLAIMER:

The maintenance of the various syntax highlighting plugins is BEST-EFFORT. Indeed many of the plugins were developed by the community and their creators did not commit to long-term maintenance.

Atom

To get Catala syntax highlighting in Atom, simply enter from the root of the repository, depending on the language you want to use :

make atom_fr

or

make atom_en

You can now reload Atom and check that you have syntax highlighting on any .catala file.

VSCode

To get Catala syntax highlighting in VSCode, simply enter from the root of the repository, depending on the language you want to use :

make vscode_fr

or

make vscode_en

You can now reload VSCode and check that you have syntax highlighting on any .catala file.

Pygments

Pygments is a Python-based versatile lexer for various programming languages. To use a version of Pygments augmented with the Catala plugin, simply enter from the root of the repository

sudo make pygments

This will execute the script syntax_highlighting/fr/pygments/set_up_pygments.sh, syntax_highlighting/pl/pygments/set_up_pygments.sh and syntax_highlighting/en/pygments/set_up_pygments.sh.

The scripts patch your pigmentize executable, used for instance by the minted LaTeX package. It will now point to the Catala-enabled version with the appropriate catala_* lexer.

GNU gedit

Copy the file catala.lang to the directory below (create if it does not exist) and then restart GEdit.

~/.local/share/gtksourceview-4/language-specs