Provided by: polyml_5.7.1-5_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 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.7.1 2017                            POLY(1)