Stack Overflow
Stack Overflow

Questions tagged [sml-mode]

SML-MODE is a major Emacs mode for editing Standard ML. It provides syntax highlighting and automatic indentation.

SML-MODE is a major Emacs mode for editing Standard ML. It provides syntax highlighting and automatic indentation.

SML-Mode homepage

Related Tags

  • See the emacs tag for more information about the GNU Emacs editor.

  • See the sml tag for more information about the Standard ML functional language.

7 questions
3
votes
2 answers

Format exception SML

I'm using Linux Mint 17 and I recently installed smlnj (Standard ML of New Jersey) and sml-mode for Emacs with apt-get. When I try to increase the print depth with the command Control.Print.PrintDepth := 100; I get the following error: -…
Liz
  • 363
  • 3
  • 12
2
votes
2 answers

SML syntax is not recognised in Emacs despite having installed sml-mode

I have installed the package sml-mode (version 6.9) in Emacs (version 26.2) but when I try to open a .sml file I get the following error in the minibuffer: File mode specification error: (invalid-read-syntax ?). As such, SML syntax is not recognised…
robywan
  • 23
  • 5
2
votes
1 answer

SML Error: Win32TextPrimIO:openRd: failed

So I have 2 files, file1.sml & file2.sml both of which have correct code & I'm using a Windows operating system. When I run Emacs and execute: use "file1.sml", it runs fine but then when I simply go to tab File->Close to close the file and then I…
Square-root
  • 853
  • 1
  • 12
  • 25
1
vote
1 answer

sml: unable to determine operating system in emacs but works fine in terminal

I succeeded in installing smlnj on my MAC OS 10.14 Mojave. It works just fine in terminal. Then, I got into trouble with sml package installation in emacs. When I type something in a .sml file, color and indents are all correct. However, when I do…
Vivian Miller
  • 145
  • 4
1
vote
2 answers

Does SML supports the nested list?

the Nested List can exist in Scheme, but is it legal to use nested-list in SML? or we can only use simple list in SML? and if legal, 1) how to check wether the two input list have the same list structure. algorithm the atoms in the list are not…
Jie
  • 177
  • 4
  • 17
1
vote
2 answers

Sml-mode won't work in Emacs, displays "Searching for program: permission denied"

I'm working with sml right now and I'm trying to use emacs to compile my code with the command ctrl-c, ctrl-b. I´ve installed the sml-mode in emacs but it still doesn't work So this is what I'm typing: ctrl-c ctrl-b ->sml command:poly ->Searching…
user3066125
  • 11
  • 2
0
votes
2 answers

run-sml does not work in emacs sml-mode

I want to use sml-mode in emacs on Fedora. My ~/.emacs file contains (add-to-list 'load-path "/home/gbuday/prooftheory/sml-mode") (autoload 'sml-mode "sml-mode" "Major mode for editing SML." t) (autoload 'run-sml "sml-proc" "Run an inferior SML…
Gergely
  • 6,879
  • 6
  • 25
  • 35