DragonFly On-Line Manual Pages

POLY(1)                DragonFly 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 written by David Matthews originally at the University of Cambridge
       and maintained as a project supported by contributors.

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.

       -i     Interactive mode.  Output a prompt for each input line.  This is
              the default if input is from a terminal.

       --use FILE
              Reads input from FILE as though executing the ML command 'use
              "FILE";' before the ML shell starts.

       --eval STRING
              Compiles and executes STRING as ML before the ML shell starts.

       --error-exit
              Normally if the ML code raises an unhandled exception control
              returns to the ML shell.  With this option the shell exits on an
              unhandled exception.

       --with-markup
              Include extra mark-up information when printing.  This is only
              suitable when Poly/ML is run under an environment that is able
              to decode the additional information.

       --ideprotocol
              Run the IDE communications protocol rather than the normal read-
              eval-print loop.  Only suitable for running within a development
              environment.

       --script
              The input is a shell script.  The first line is skipped if it
              begins with #!.

       -H  size
              Sets the initial heap size.  The size may be written as a number
              optionally followed by K, M or G representing kilobytes,
              megabytes or gigabytes.  If none of these is given the number is
              taken as megabytes.

       --minheap size
              Set the minimum heap size.  The heap will not shrink below this
              value.

       --maxheap size
              Set the maximum heap size.  The heap will not grow above this
              value.

       --gcpercent percent
              Set the target percentage of time that the code should spend in
              the garbage collector.  The heap sizer will attempt to set the
              heap size to achieve this target consistent with the minimum and
              maximum heap sizes given by the arguments and also consistent
              with keeping paging under control.

       --gcthreads threads
              Sets the number of threads used in the parallel garbage
              collector.  Setting this to 1 forces the garbage collector to be
              single-threaded.  The value 0, the default, is taken to be the
              number of processors (cores) available.

       --debug options
              Set various debugging options for the run-time system.

SEE ALSO
       http://www.polyml.org The Poly/ML web site.

                          Poly/ML Version 5.5.2 2014                   POLY(1)