flycheck-smlsharp

Emacs Flycheck checker for Standard ML with SML# compiler

Demo

Requirement

• SML# compiler >= 3.4.0
• Emacs >= 28.1
• flycheck >= 32
• sml-mode

Install

1. Install SML# compiler.
2. Install this package, and call flycheck-smlsharp-setup after flycheck is loaded.

• with package-vc (Emacs >= 29),

(package-vc-install "https://github.com/yonta/flycheck-smlsharp.git")
(with-eval-after-load 'flycheck
  (flycheck-smlsharp-setup))

• with use-package (Emacs >= 30),

(use-package flycheck-smlsharp
  :vc (:url "https://github.com/yonta/flycheck-smlsharp.git")
  :after flycheck
  :config (flycheck-smlsharp-setup))

• with leaf.el,

(leaf flycheck-smlsharp
  :vc (:url "https://github.com/yonta/flycheck-smlsharp.git")
  :after flycheck
  :config (flycheck-smlsharp-setup))

Usage

1. Open .sml file, and begin sml-mode.
2. After saving your change to file, flycheck with SML# compiler is running.

Limitation

• You always need interface file (.smi) for this checker, even if you will use REPL of SML# compiler.
• This checker does not check interactively, it checks only when source file is saved. Because temporary source file which is made by interactive flycheck can not have interface file now.