POLY

Section: User Commands (1) Updated: Poly/ML Version 5.1 2007 Local index Up

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.