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 Cambridge and at the  Laboratory  for
14       Foundations of Computer Science (LFCS) at Edinburgh.
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       -H size
24              Set the initial heap size, in MB.
25
26       --heap size
27              Set the initial heap size, in MB.
28
29       --immutable size
30              Set the size of the immutables buffer, in MB.
31
32       --mutable size
33              Set the size of the mutables buffer, in MB.
34
35       --timeslice timeslice
36              Set the timeslice.
37
38       --debug level
39              Set the debugging level.
40

SEE ALSO

42       http://www.poly.org The Poly/ML web site.
43
44
45
46                           Poly/ML Version 5.1 2007                    POLY(1)