1POLY(1)                     General Commands Manual                    POLY(1)
2
3
4

NAME

6       poly - the Poly/ML Standard ML implementation
7

SYNOPSIS

9       poly
10

DESCRIPTION

12       poly starts the Poly/ML shell. Poly/ML is an implementation of Standard
13       ML written by David Matthews originally at the University of  Cambridge
14       and maintained as a project supported by contributors.
15

OPTIONS

17       -v     Print the version of Poly/ML and exit.
18
19       --help Print a list of the arguments and exit.
20
21       -q     Suppress the start-up message.
22
23       -i     Interactive mode.  Output a prompt for each input line.  This is
24              the default if input is from a terminal.
25
26       --use FILE
27              Reads input from FILE as though executing the  ML  command  'use
28              "FILE";' before the ML shell starts.
29
30       --eval STRING
31              Compiles and executes STRING as ML before the ML shell starts.
32
33       --error-exit
34              Normally  if  the  ML code raises an unhandled exception control
35              returns to the ML shell.  With this option the shell exits on an
36              unhandled exception.
37
38       --with-markup
39              Include  extra  mark-up information when printing.  This is only
40              suitable when Poly/ML is run under an environment that  is  able
41              to decode the additional information.
42
43       --ideprotocol
44              Run the IDE communications protocol rather than the normal read-
45              eval-print loop.  Only suitable for running within a development
46              environment.
47
48       --script
49              The  input  is  a shell script.  The first line is skipped if it
50              begins with #!.
51
52       -H  size
53              Sets the initial heap size.  The size may be written as a number
54              optionally  followed  by  K,  M  or  G  representing  kilobytes,
55              megabytes or gigabytes.  If none of these is given the number is
56              taken as megabytes.
57
58       --minheap size
59              Set  the minimum heap size.  The heap will not shrink below this
60              value.
61
62       --maxheap size
63              Set the maximum heap size.  The heap will not  grow  above  this
64              value.
65
66       --gcpercent percent
67              Set  the target percentage of time that the code should spend in
68              the garbage collector.  The heap sizer will attempt to  set  the
69              heap size to achieve this target consistent with the minimum and
70              maximum heap sizes given by the arguments  and  also  consistent
71              with keeping paging under control.
72
73       --gcthreads threads
74              Sets  the number of threads used in the parallel garbage collec‐
75              tor.  Setting this to 1 forces the garbage collector to be  sin‐
76              gle-threaded.  The value 0, the default, is taken to be the num‐
77              ber of processors (cores) available.
78
79       --debug options
80              Set various debugging options for the run-time system.
81

SEE ALSO

83       http://www.polyml.org The Poly/ML web site.
84
85
86
87                           Poly/ML Version 5.8 2019                    POLY(1)
Impressum