Some checks failed
Detach Plugins / check (FlyGrep.vim) (push) Has been cancelled
Detach Plugins / check (GitHub.vim) (push) Has been cancelled
Detach Plugins / check (JavaUnit.vim) (push) Has been cancelled
Detach Plugins / check (SourceCounter.vim) (push) Has been cancelled
Detach Plugins / check (cpicker.nvim) (push) Has been cancelled
Detach Plugins / check (dein-ui.vim) (push) Has been cancelled
Detach Plugins / check (git.vim) (push) Has been cancelled
Detach Plugins / check (iedit.vim) (push) Has been cancelled
Detach Plugins / check (scrollbar.vim) (push) Has been cancelled
Detach Plugins / check (vim-chat) (push) Has been cancelled
Detach Plugins / check (vim-cheat) (push) Has been cancelled
Detach Plugins / check (vim-todo) (push) Has been cancelled
Detach Plugins / check (xmake.vim) (push) Has been cancelled
test / Linux (nvim, nightly) (push) Has been cancelled
test / Linux (nvim, v0.3.8) (push) Has been cancelled
test / Linux (nvim, v0.4.0) (push) Has been cancelled
test / Linux (nvim, v0.4.2) (push) Has been cancelled
test / Linux (nvim, v0.4.3) (push) Has been cancelled
test / Linux (nvim, v0.4.4) (push) Has been cancelled
test / Linux (nvim, v0.5.0) (push) Has been cancelled
test / Linux (nvim, v0.5.1) (push) Has been cancelled
test / Linux (nvim, v0.6.0) (push) Has been cancelled
test / Linux (nvim, v0.6.1) (push) Has been cancelled
test / Linux (nvim, v0.7.0) (push) Has been cancelled
test / Linux (nvim, v0.7.2) (push) Has been cancelled
test / Linux (nvim, v0.8.0) (push) Has been cancelled
test / Linux (nvim, v0.8.1) (push) Has been cancelled
test / Linux (nvim, v0.8.2) (push) Has been cancelled
test / Linux (nvim, v0.8.3) (push) Has been cancelled
test / Linux (nvim, v0.9.0) (push) Has been cancelled
test / Linux (nvim, v0.9.1) (push) Has been cancelled
test / Linux (true, vim, v7.4.052) (push) Has been cancelled
test / Linux (true, vim, v7.4.1689) (push) Has been cancelled
test / Linux (true, vim, v7.4.629) (push) Has been cancelled
test / Linux (true, vim, v8.0.0027) (push) Has been cancelled
test / Linux (true, vim, v8.0.0183) (push) Has been cancelled
test / Linux (vim, nightly) (push) Has been cancelled
test / Linux (vim, v8.0.0184) (push) Has been cancelled
test / Linux (vim, v8.0.1453) (push) Has been cancelled
test / Linux (vim, v8.1.2269) (push) Has been cancelled
test / Linux (vim, v8.2.2434) (push) Has been cancelled
test / Linux (vim, v8.2.3995) (push) Has been cancelled
test / Windows (nvim, nightly) (push) Has been cancelled
test / Windows (nvim, v0.3.8) (push) Has been cancelled
test / Windows (nvim, v0.4.2) (push) Has been cancelled
test / Windows (nvim, v0.4.3) (push) Has been cancelled
test / Windows (nvim, v0.4.4) (push) Has been cancelled
test / Windows (nvim, v0.5.0) (push) Has been cancelled
test / Windows (nvim, v0.5.1) (push) Has been cancelled
test / Windows (nvim, v0.6.0) (push) Has been cancelled
test / Windows (nvim, v0.6.1) (push) Has been cancelled
test / Windows (nvim, v0.7.0) (push) Has been cancelled
test / Windows (nvim, v0.7.2) (push) Has been cancelled
test / Windows (nvim, v0.8.0) (push) Has been cancelled
test / Windows (nvim, v0.8.1) (push) Has been cancelled
test / Windows (nvim, v0.8.2) (push) Has been cancelled
test / Windows (nvim, v0.8.3) (push) Has been cancelled
test / Windows (nvim, v0.9.0) (push) Has been cancelled
test / Windows (nvim, v0.9.1) (push) Has been cancelled
test / Windows (vim, nightly) (push) Has been cancelled
test / Windows (vim, v7.4.1185) (push) Has been cancelled
test / Windows (vim, v7.4.1689) (push) Has been cancelled
test / Windows (vim, v8.0.0027) (push) Has been cancelled
test / Windows (vim, v8.0.1453) (push) Has been cancelled
test / Windows (vim, v8.1.2269) (push) Has been cancelled
test / Windows (vim, v8.2.2434) (push) Has been cancelled
test / Windows (vim, v8.2.3995) (push) Has been cancelled
docker / docker (push) Has been cancelled
mirror / check (coding) (push) Has been cancelled
mirror / check (gitee) (push) Has been cancelled
mirror / check (gitlab) (push) Has been cancelled
70 lines
2.1 KiB
Markdown
70 lines
2.1 KiB
Markdown
---
|
||
title: "SpaceVim lang#sml layer"
|
||
description: "This layer is for Standard ML development, provides syntax highlighting and repl support for sml files."
|
||
---
|
||
|
||
# [Available Layers](../../) >> lang#sml
|
||
|
||
<!-- vim-markdown-toc GFM -->
|
||
|
||
- [Description](#description)
|
||
- [Install](#install)
|
||
- [Layer options](#layer-options)
|
||
- [Key bindings](#key-bindings)
|
||
- [Running current script](#running-current-script)
|
||
- [Inferior REPL process](#inferior-repl-process)
|
||
|
||
<!-- vim-markdown-toc -->
|
||
|
||
## Description
|
||
|
||
This layer is for Standard ML development.
|
||
|
||
## Install
|
||
|
||
To use this configuration layer, update your custom configuration file with:
|
||
|
||
```toml
|
||
[[layers]]
|
||
name = "lang#sml"
|
||
```
|
||
|
||
## Layer options
|
||
|
||
- `smlnj_path`: Set the path to the smlnj executable, by default, it is `sml`.
|
||
- `mlton_path`: Set the path to the mlton executable, by default, it is `mlton`.
|
||
- `repl_options`: Options used for REPL, by default, it is ''.
|
||
- `auto_create_def_use`: Whether to build def-use files on save automatically.
|
||
By default, it is `mlb`. Valid values is:
|
||
- `mlb`: Auto build def-use if there's a `*.mlb` file
|
||
- `always`: Always build def-use file
|
||
- `never`: Never build def-use file
|
||
- `enable_conceal`: `true`/`false`. Whether to enable concealing for SML files. `false` by default.
|
||
`'a` becomes `α` (or `'α`). `fn` becomes `λ.`
|
||
- `enable_conceal_show_tick`: `true`/`false`. When conceal is enabled, show `'α` for `'a` instead of `α`.
|
||
Helps for alignment. `false` by default.
|
||
- `sml_file_head`: Template for new sml file.
|
||
|
||
|
||
## Key bindings
|
||
|
||
### Running current script
|
||
|
||
The key binding for running current sml file is `SPC l r`.
|
||
It will run the current file without losing focus,
|
||
and the result will be shown in a runner buffer.
|
||
|
||
### Inferior REPL process
|
||
|
||
Start a `sml` inferior REPL process with `SPC l s i`.
|
||
|
||
Send code to inferior process commands:
|
||
|
||
| Key Bindings | Descriptions |
|
||
| ------------ | ------------------------------------------------ |
|
||
| `SPC l s b` | send buffer and keep code buffer focused |
|
||
| `SPC l s l` | send line and keep code buffer focused |
|
||
| `SPC l s s` | send selection text and keep code buffer focused |
|
||
|
||
|