GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  POLY (1)

NAME

poly - the Poly/ML Standard ML implementation

CONTENTS

Synopsis
Description
Options
See Also

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.

Search for    or go to Top of page |  Section 1 |  Main Index


--> POLY (1) Poly/ML Version 5.5.2 2014

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.