sml − SML compiler
sml [ rtsargs ] [ options ] [files ]
This manual page documents briefly the sml command. This manual page was written for the Debian distribution because the original program does not have a manual page. This is a compiler for Standard ML which may be used interactively.
A summary of options is included below.
rtsargs:
@SMLload=heapimage
Start specified heap image.
@SMLalloc=size
Specify size of allocation area.
@SMLcmdname=name
Set command name.
@SMLquiet
Load heap image silently.
@SMLverbose
Show heap image load progress.
@SMLobjects
Show list of executable objects.
@SMLdebug=file
Write debugging info to file.
options:
-Dname=value
Set CM variable to given value.
-Dname |
Set CM variable to 1. |
|||
-Uname |
Unset CM variable. |
-Ccontrol=value
Set named control.
-H |
Produce complete help listing. |
|||
-h |
Produce minimal help listing. |
-hlevel
Help with obscurity limit.
-S |
List all current settings. |
-slevel
Limited list of settings.
files:
file.cm
CM.make or CM.autoload.
-m |
Switch to CM.make. |
|||
-a |
Switch to CM.autoload; default. |
file.sig
Use.
file.sml
Use.
file.fun
Use.
ml-build(1), ml-lex(1), ml-makedepend(1), ml-yacc(1).
Standard ML is defined in The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper and David MacQueen.
This manual page was written by Aaron Matthew Read <amread AT nyx DOT net>, for the Debian GNU/Linux system (but may be used by others).