Provided by: polyml_5.2.1-1.1_amd64 bug

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)