poly(1) [debian man page]

POLY(1) 						      General Commands Manual							   POLY(1)

NAME

       poly - the Poly/ML Standard ML implementation

SYNOPSIS

       poly

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

       -v     Print the version of Poly/ML and exit.

       --help Print a list of the arguments and exit.

       -q     Suppress the start-up message.

       -H size
	      Set the initial heap size, in MB.

       --heap size
	      Set the initial heap size, in MB.

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

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

       --timeslice timeslice
	      Set the timeslice.

       --debug level
	      Set the debugging level.

SEE ALSO

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

							     Poly/ML Version 5.1 2007							   POLY(1)

SML(1)							      General Commands Manual							    SML(1)

NAME

       sml - SML compiler

SYNOPSIS

       sml [ rtsargs ] [ options ] [files ]

DESCRIPTION

       This  manual page documents briefly the sml command.  This manual page was written for the Debian distribution because the original program
       does not have a manual page.  This is a compiler for Standard ML which may be used interactively.

OPTIONS

       A summary of options is included below.

   rtsargs:
       @SMLload=heapimage
	      Start specified heap image.

       @SMLalloc=size
	      Specify size of allocation area.

       @SMLcmdname=name
	      Set command name.

       @SMLquiet
	      Load heap image silently.

       @SMLverbose
	      Show heap image load progress.

       @SMLobjects
	      Show list of executable objects.

       @SMLdebug=file
	      Write debugging info to file.

   options:
       -Dname=value
	      Set CM variable to given value.

       -Dname Set CM variable to 1.

       -Uname Unset CM variable.

       -Ccontrol=value
	      Set named control.

       -H     Produce complete help listing.

       -h     Produce minimal help listing.

       -hlevel
	      Help with obscurity limit.

       -S     List all current settings.

       -slevel
	      Limited list of settings.

   files:
       file.cm
	      CM.make or CM.autoload.

       -m     Switch to CM.make.

       -a     Switch to CM.autoload; default.

       file.sig
	      Use.

       file.sml
	      Use.

       file.fun
	      Use.

SEE ALSO

       ml-build(1), ml-lex(1), ml-makedepend(1), ml-yacc(1).
       Standard ML is defined in The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper and David MacQueen.

AUTHOR

       This manual page was written by Aaron Matthew Read <amread@nyx.net>, for the Debian GNU/Linux system (but may be used by others).

								 October 25, 2002							    SML(1)