Table of Contents

SML layer

Table of ContentsClose

sml.png

1 Description

Adds support for the SML programming language to Spacemacs.

1.1 Features:

  • Syntax highlighting
  • Integration of the SML Repl into Emacs
  • Basic completion of SML forms via sml-electric-space

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.

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.

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

Author: root

Created: 2019-11-10 Sun 14:17

Validate