Contents
What are the features of SML mode in Emacs?
SML mode is a major mode for Emacs for editing Standard ML. It has some novel bugs, and some nice features: Automatic indentation of sml code—a number of variables to customise the indentation. Easy insertion for commonly used templates like let, local, signature, and structure declarations, with minibuffer prompting for types and expressions.
How to open the SML / NJ REPL in Emacs?
To open the SML/NJ REPL within Emacs, type C-c C-s (and then Enter to accept the sml interpreter) while working in an SML-mode buffer. This command creates an *sml* buffer unless one exists and starts an SML/NJ REPL in that buffer unless one is already running there. Type this key sequence works only in SML-mode buffers (e.g., not *scratch*).
Can you use the inferior shell in Emacs 19?
Automatic “use file” in the inferior shell—you can send files, buffers, or regions of code to the ML subprocess. Menus, and syntax and keyword highlighting supported for Emacs 19 and derivatives. Parsing errors from the inferior shell, and repositioning the source with next-error—just like in c-mode.
When to put a file in SML mode?
Subsequently (after a restart), any files with these extensions will be placed in SML mode buffers when you visit them. You may want to pre-compile the sml-*.el files ( M-x byte-compile-file) for greater speed—byte compiled code loads and runs somewhat faster.
Who is the creator of SML editing mode?
Although the history of sml-mode is obscure, it seems that the following persons have made contributions to sml-mode: Lars Bo Nielsen wrote the original version of the code, providing the sml editing mode and the inferior-sml support.
Which is the best indentation algorithm for ML?
ML is a complicated language to parse, let alone compile. The indentation algorithm is a little wooden (for some tastes), and the best advice is not to fight it! There are several variables that can be adjusted to control the indentation algorithm (see Customising SML Mode, below).