POLY(1)                     General Commands Manual                    POLY(1)

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

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       polyc sourcefile

<?><?><?><?><?><?><?> (DESCRIPTION)
       polyc <?><?><?><?><?><?><?><?> <?><?><?> <?><?> <?><?>
       <?><?><?><?><?><?> Standard ML <?><?> <?><?> <?><?><?><?><?><?><?>
       <?><?> <?><?><?><?><?><?><?><?> Poly/ML <?><?><?><?><?><?><?>
       <?><?><?><?> <?> <?><?> <?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?><?><?>. <?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?> (object files) <?><?><?><?><?>
       <?><?><?> <?><?> <?><?><?><?> PolyML.export <?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?> Poly/ML<?> <?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?><?><?>
       <?><?><?>. <?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?><?>
       <?><?> <?><?><?><?><?><?> Standard ML <?><?> <?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?> <?><?><?><?> "main" <?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?> <?><?><?><?>: fun main() = print "Hello World\n";

       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?> ML <?><?><?> <?><?><?><?><?><?>.
       <?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?> <?><?><?> <?><?><?><?><?>
       <?><?><?> <?> <?><?> <?><?><?><?><?><?><?><?> Poly/ML <?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -c  <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?>.
       <?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?> <?><?> <?><?> <?><?><?><?>
       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?> <?> <?><?>
       <?><?><?><?><?><?> <?><?> .o <?><?><?><?><?><?><?> <?><?><?><?><?><?>.

       -o output
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?> "output".

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

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

                          Poly/ML Version 5.9.2 2025                   POLY(1)