Scroll to navigation

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:

Dynamically load the filenames.
Enable generation of debugging information.
Generate dependency lists.
Print the usage information.
Specify the output filename.
Generate an HTML file with colored concrete syntax.
Generate an HTML file with syntactic cross-references.
Statically load the filenames.
Typecheck the given ATS source files, but go no further.
Show ATS/Anairiats version and gcc version.


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


atsopt was written by Hongwei Xi.

This manual page was written by Matthew Danish <>, for the Debian project (and may be used by others).

February 22, 2010