sml - the interactive Standard ML of New Jersey system
sml [SML-OPTIONS] [OPTIONS]
[FILES]
Standard ML of New Jersey is an incremental, interactive
compiler that accepts SML declarations and expressions to be
evaluated from standard input.
-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 (aka amd64) 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.4") 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.
sml(1) was originally created by Andrew Appel and David MacQueen
in 1987. The system is currently maintained by Matthias Blume, David
MacQueen, and John Reppy.
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.