Linux Certif

Toute la documentation sur la certification Linux LPI

poly

NAME

poly - the Poly/ML Standard ML implementation

SYNOPSIS

poly

DESCRIPTION

poly starts the Poly/ML shell. Poly/ML is an implementation of Standard ML developed by David Matthews at Cambridge and at the Laboratory for Foundations of Computer Science (LFCS) at Edinburgh.

OPTIONS

-v

Print the version of Poly/ML and exit.

--help

Print a list of the arguments and exit.

-q

Suppress the start-up message.

-H size

Set the initial heap size, in MB.

--heap size

Set the initial heap size, in MB.

--immutable size

Set the size of the immutables buffer, in MB.

--mutable size

Set the size of the mutables buffer, in MB.

--timeslice timeslice

Set the timeslice.

--debug level

Set the debugging level.

SEE ALSO

http://www.poly.org The Poly/ML web site.