Rechercher une page de manuel
poly
Langue: en
Version: 149246 (fedora - 04/07/09)
Section: 1 (Commandes utilisateur)
NAME
poly - the Poly/ML Standard ML implementationSYNOPSIS
polyDESCRIPTION
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.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre