GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  SML (1)

.ds Aq ’

NAME

sml - an interactive Standard ML system

CONTENTS

SYNOPSIS

sml [SML-OPTIONS] [OPTIONS] [FILES]

DESCRIPTION

It is an incremental, interactive compiler that accepts declarations and expressions to be evaluated from standard input.

OPTIONS

@SMLload=IMAGE

specifies heap image

@SMLrun=RUNTIME

specifies runtime system

@SMLversion

echo the version of SML/NJ to standard output and then exit

@SMLsuffix

echo the heap suffix for the system to standard output and then exit

@SMLalloc=SIZE

Specify the prefered sice of the

@SMLcmdname=NAME

set the command name; this is the value returned by CommandLine.name().

@SMLverbose

show heap image load progress

@SMLquiet

load heap image silently (default)

@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.

-Dname

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

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

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 usefile.sig before entering the SML top-level loop.

file.sml

(use) execute usefile.sml before entering the SML top-level loop.

file.fun

(use) execute usefile.fun before entering the SML top-level loop.

AUTHOR

sml(1) was originally created by Andrew Appel and David MacQueen in 1987. The system is currently maintained by David MacQueen and John Reppy.

COPYING

Copyright © 2014 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.

SEE-ALSO

smlnj(7)

Search for    or go to Top of page |  Section 1 |  Main Index


& SML (1) 08/22/2014

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.