POLY(1)

NAME
poly - the Poly/ML Standard ML implementation

SYNOPSIS
poly [ -r ] database

poly -d [ -c ] database

poly -p filename parent

DESCRIPTION
poly starts the Poly/ML shell. Poly/ML is an implementation of Standard ML developed by David Matthews at Cambridge and at the Laboratory for Foundations of Computer Science (LFCS) at Edinburgh.

OPTIONS

-noDisplay

-H size
    Set the heap size, in MB.

-IB size
    Set the size of the immutables buffer, in MB.

-MB size
    Set the size of the mutables buffer, in MB.

-c  Database compaction option.

-d  Compact a database.

-h size
    Set the heap size, in KB.

-ib size
    Set the size of the immutables buffer, in KB.

-ip percent
    Set the percentage of immutables.

-mb size
    Set the size of the mutables buffer, in KB.

-mp size
    Set the percentage of mutables.

-p filename parent
    Change the parent database.

-s level
    Set the statistics level.

-sf  filename
    Set the statistics filename.

-t timeslice
    Set the timeslice.

-D ;evel
    Set the debugging level.

EXAMPLES

$ poly my_dbase              : write back to my_dbase when commiting
$ poly -r my_dbase           : never write back to my_dbase
$ poly my_dbase -noDisplay   : do not connect to X display
$ poly my_dbase -h 2000      : heap limit of 2000K
$ poly my_dbase -H 20        : heap limit of 20M
$ poly my_dbase -s 2         : show garbage collector statistics
$ poly my_dbase -D 3         : set debugging level
$ poly -d my_dbase           : compact my_dbase
$ poly -d -c my_dbase        : compact my_dbase and share common data structures

SEE ALSO

http://www.poly.org The Poly/ML web site.