POLY(1)                     General Commands Manual                    POLY(1)

<?><?><?> (NAME)
       poly - <?><?><?><?><?><?><?><?><?><?> Poly/ML <?><?><?><?> <?><?><?><?>
       Standard ML

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       poly

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?> poly <?><?><?><?><?> Poly/ML <?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>. Poly/ML <?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?> Standard ML <?><?><?> <?><?>
       <?><?> <?><?><?><?><?> <?><?><?><?> David Matthews <?><?>
       <?><?><?><?><?><?><?> Cambridge <?><?><?><?><?> <?><?><?> <?> <?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -v     <?><?><?> <?><?><?><?> Poly/ML <?> <?><?><?><?>.

       --help <?><?><?> <?><?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?><?> <?> <?><?><?><?>.

       -q     <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?>.

       -i     <?><?><?><?> <?><?><?><?><?><?>. <?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?> <?><?> <?><?><?><?><?>.
              <?><?><?> <?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?> <?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?>.

       --use FILE
              <?><?><?><?><?> <?><?> <?><?> FILE <?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?> ML <?><?>
              <?><?><?><?> 'use "FILE";' <?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?> ML <?><?><?><?> <?><?><?> <?><?><?><?>.

       --eval STRING
              <?><?><?><?> STRING <?><?> <?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?> ML<?> <?><?> <?><?><?><?><?> <?><?> ML
              <?><?><?><?><?><?><?> <?> <?><?><?><?> <?><?><?><?><?><?>.

       --error-exit
              <?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?> ML <?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?> ML <?><?><?><?><?><?><?><?><?><?>. <?><?>
              <?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?> <?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?>.

       --with-markup
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> (markup) <?><?><?><?><?>
              <?><?><?><?><?> <?><?><?>. <?><?><?> <?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?>
              Poly/ML <?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?>
              <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>.

       --ideprotocol
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?><?> IDE
              <?><?> <?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>-<?><?><?><?><?><?><?>-<?><?><?> (REPL).
              <?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?> <?><?>
              <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?>.

       --script
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?>. <?><?><?> <?><?> <?><?><?> <?><?> #! <?><?><?><?>
              <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>.

       -H  size
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> heap.
              <?><?><?><?><?> size <?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?> <?><?><?>
              <?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?> K<?> M
              <?><?> G <?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>. <?><?><?> <?><?><?><?><?><?>
              <?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?>
              <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>.

       --minheap size
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?> heap.
              <?><?><?><?><?><?> heap <?><?> <?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>.

       --maxheap size
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?> heap.
              <?><?><?><?><?><?> heap <?><?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?><?>.

       --gcpercent percent
              <?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?>
              <?><?> <?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?>
              (garbage collector) <?><?><?> <?><?><?>.
              <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> heap
              <?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?><?>
              heap <?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?>
              <?> <?><?><?><?><?><?> <?><?><?><?><?><?> heap
              <?><?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?> <?> <?><?><?><?><?><?>
              <?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
              (paging) <?><?><?><?><?> <?><?><?>.

       --gcthreads threads
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>. <?><?><?><?><?>
              <?><?><?> <?><?><?><?><?> <?><?> 1<?>
              <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?><?>
              <?><?><?> <?><?><?>. <?><?><?><?><?> 0<?> <?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              (<?><?><?><?><?><?><?>)<?> <?><?> <?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>.

       --debug options
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?> (run-
              time).

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       http://www.polyml.org <?><?><?><?><?><?><?> Poly/ML.

                          Poly/ML Version 5.9.2 2025                   POLY(1)