POLY(1) General Commands Manual POLY(1)
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.
Poly/ML Version 5.1 2007 POLY(1)
