sml1
The interactive standard ml of new jersey system
Usage
sml [SML-OPTIONS]
[OPTIONS]
[FILES]
Overview
Standard ML of New Jersey is an incremental, interactive compiler that accepts SML declarations and expressions to be evaluated from standard input.
Options
-
-32 -
run the 32-bit version of the SML/NJ system (currently the default).
-
-64 -
run the 64-bit version of the SML/NJ system. This option only applies to the
x86-64(akaamd64) architecture.
@SMLwordsize
echo the wordsize (i.e., either 32 or 64) of the system to standard output and then exit. (This option was added in version 110.97).
@SMLversion
echo the command name and SML/NJ version (e.g., "sml 110.99.9") to standard output and then exit.
@SMLload=IMAGE
specifies the name of the heap-image file to load. The heap suffix can be omitted as long as there there is not a file of the same name.
@SMLcmdname=NAME
set the command name; this is the value returned by CommandLine.name().
@SMLsuffix
echo the heap suffix for the system to standard output and then exit
@SMLalloc=SIZE
Specify the prefered size of the allocation area
@SMLrun=RUNTIME
specifies runtime system
@SMLquiet
load heap image silently (default)
@SMLverbose
show heap image load progress
@SMLobjects
show list of executable objects
@SMLdebug=FILE
write debugging info to file
-
-Cctl=value -
set the control ctl to value.
-
-Dname=value -
define the CM variable name to have the given value.
-D'name
define the CM variable name to have the value 1.
-
-Uname -
remove any definition of the CM variable name.
-
-H -
produce complete help listing
-
-h -
produce minimal help listing
-
-hlevel -
help with obscurity limit
-
-S -
list all the controls along with their default value
-
-slevel -
print a limited list of settings. The number of levels of the control heirarchy is controled by level, with 0 printing just the root of the heirarchy.
-
-E -
list all the controls along with their corresponding environment variables
-
-elevel -
print a limited list of environment variables; The number of levels of the control heirarchy is controled by level, with 0 printing just the root of the heirarchy.
-
-m -
switch to CM.make
-
-a -
switch to CM.autoload; default
file.cm
run CM.make or CM.autoload on file.cm and then return to the SML prompt. Which command is run is determined by the -m and -a flags.
file.sig
execute use file.sig before entering the SML top-level loop.
file.sml
(use) execute use file.sml before entering the SML top-level loop.
file.fun
(use) execute use file.fun before entering the SML top-level loop.
Copying
Copyright © 2020 The Fellowship of SML/NJ
This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
Releases
11 releases since Debian 2.1 (Slink); the text changed 3 times.
-32 since Arch Linux 2026-11-01;
-64 since Arch Linux 2026-11-01;
-C since Debian 3.1 (Sarge);
-D since Debian 3.1 (Sarge);
-E since Debian 9 (Stretch);
-H since Debian 3.1 (Sarge);
-S since Debian 3.1 (Sarge);
-U since Debian 3.1 (Sarge);
-a since Debian 3.1 (Sarge);
-e since Debian 9 (Stretch);
-h since Debian 3.1 (Sarge);
-m since Debian 3.1 (Sarge);
-s since Debian 3.1 (Sarge).