GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  POLYC (1)

NAME

polyc - Compile and link a Standard ML program using Poly/ML

CONTENTS

Synopsis
Description
Options
See Also

SYNOPSIS

polyc sourcefile

DESCRIPTION

polyc is a script that compiles a Standard ML program using the Poly/ML compile and creates an executable program from it. It can also be used to link object files created using the PolyML.export function with the Poly/ML libraries or to produce an object file. When used to compile a Standard ML program it expects the main function to be called "main" e.g. fun main() = print "Hello World\n";

If the source file is a text file it is assumed to be ML source. If it is a binary file it is assumed to be an object file and will be linked with the Poly/ML library.

OPTIONS

-c Compile but do not link. The object file is written to a file whose name is based on the source file name with any extension replaced with .o
-o output
  Write the executable file to "output".
--help Write a list of the arguments and exit.

SEE ALSO

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

Search for    or go to Top of page |  Section 1 |  Main Index


--> POLY (1) Poly/ML Version 5.5.1 2013

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.