atsopt(1) | General Commands Manual | atsopt(1) |
atsopt - ATS to C compiler
atsopt <command>...
atsopt is the compiler from ATS to C. It is most commonly invoked by atscc which is the preferred frontend for compiling ATS code.
atsopt takes a number of commands with parameters to determine its behavior:
atsopt -o test.c -d test.dats
Compile test.dats to a C file.
atsopt -tc -d test.dats
Typecheck test.dats only.
atsopt -o test.html -d test.dats --posmark_html
Write a syntax colored version of test.dats.
atscc(1), atslex(1).
These programs are documented fully by The ATS/Anairiats user's manual
available via the web at http://www.ats-lang.org/
atsopt was written by Hongwei Xi.
This manual page was written by Matthew Danish <mrd@debian.org>, for the Debian project (and may be used by others).
February 22, 2010 |