Pygments is a generic syntax highlighter. Here is a lexer for highlighting Standard ML.

  • sml_lexer — Provides highlighting of keywords, special constants, and (nested) comments.

Install and use

  • Checkout all files and install as a Pygments plugin. 

    $ git clone https://github.com/MLton/mlton.git mlton
$ cd mlton/ide/pygments
$ python setup.py install

  • Invoke pygmentize with -l sml.

Feedback

Comments and suggestions should be directed to MatthewFluet.