SML layer
Table of ContentsClose
1. Description
Adds support for the SML programming language to Spacemacs.
1.1. Features:
- Syntax highlighting
- Integration of the
SML Replinto Emacs - Basic completion of SML forms via
sml-electric-space - Basic buffer formatting with
smlfmt
2. Install
- To use this configuration layer, add it to your
~/.spacemacs. You will need to
add sml to the existing dotspacemacs-configuration-layers list in this
file.
- (Optional) To add support for formatting, Install smlfmt.
3. Key bindings
3.1. Form Completion
| Key binding | Description |
|---|---|
M-SPC |
Inserts a space and completes the form before the cursor. |
\vert{} |
Inserts a pipe and adds a double arrow or copies the function name. Generally just works. |
SPC m s = |
Format the current buffer using 'smlfmt' |
3.2. REPL
| Key binding | Description |
|---|---|
SPC m s b |
Send buffer to REPL |
SPC m s B |
Send buffer to REPL and switch to REPL buffer in insert state |
SPC m s f |
Send function to REPL |
SPC m s F |
Send function to REPL and switch to REPL buffer in insert state |
SPC m s i |
Run the sml REPL or switch to it if the REPL is already running |
SPC m s r |
Send region to REPL |
SPC m s R |
Send region to REPL and switch to REPL buffer in insert state |
SPC m s s |
Run the sml REPL or switch to it if the REPL is already running |