yonta / flycheck-smlsharp

Emacs Flychcker for Standard ML with SML# compiler

flycheck-smlsharp

Emacs Flychcker for Standard ML with SML# compiler

Demo

Requirement

• SML# compiler >= 3.4.0
• Emacs >= 24.1
• flycheck >= 0.22
• sml-mode >= 0.4

Install

1. Install SML# compiler.
2. Add flycheck-smlsharp.el file to the directory which is in Emacs load path.
3. Add a line like adove to your init.el.

(eval-after-load 'sml-mode
  '(progn
    (require 'flycheck-smlsharp)))

• with leaf.el,

(leaf flycheck-smlsharp
  :el-get (flycheck-smlsharp
           :url "https://github.com/yonta/flycheck-smlsharp.git")
  :after sml-mode
  :require t)

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 do not checks intaractively, it checks only when source file is saved. Because temporary source file which is made by intaractive flycheck can not have interface file now.