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 developed by David Matthews at the University of Cambridge,  at  the
14       Laboratory for Foundations of Computer Science (LFCS) at the University
15       of Edinburgh and maintained as a project supported by contributors.
16

OPTIONS

18       -v     Print the version of Poly/ML and exit.
19
20       --help Print a list of the arguments and exit.
21
22       -q     Suppress the start-up message.
23
24       --with-markup
25              Include extra mark-up information when printing.  This  is  only
26              suitable  when  Poly/ML is run under an environment that is able
27              to decode the additional information.
28
29       --ideprotocol
30              Run the IDE communications protocol rather than the normal read-
31              eval-print loop.  Only suitable for running within a development
32              environment.
33
34       -H size, --heap size
35              Set the initial heap size, in MB.  This is used to set the  size
36              of  the  immutables and mutables segments if one or other is not
37              explicitly specified.  The heap may grow  larger  than  this  if
38              required.
39
40       --immutable size
41              Set  the  size  of the immutables segment, in MB.  This controls
42              the frequency of major garbage collections.
43
44       --mutable size
45              Set the size of the mutables segment, in MB.  This controls  the
46              frequency of minor garbage collections.
47
48       --debug options
49              Set various debugging options for the run-time system.
50

SEE ALSO

52       http://www.polyml.org The Poly/ML web site.
53
54
55
56                           Poly/ML Version 5.4 2010                    POLY(1)