sml (1)

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 <[email protected]>, for the Debian GNU/Linux system (but may be used by others).