Provided by: ats-lang-anairiats_0.2.11-1build1_amd64 bug


       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:

       -d, --dynamic <filenames>
              Dynamically load the filenames.

              Enable generation of debugging information.

       -dep, --depgen
              Generate dependency lists.

       -h, --help
              Print the usage information.

       -o, --output <filename>
              Specify the output filename.

              Generate an HTML file with colored concrete syntax.

              Generate an HTML file with syntactic cross-references.

       -s, --static <filenames>
              Statically load the filenames.

       -tc, --typecheck
              Typecheck the given ATS source files, but go no further.

       -v, --version
              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                               atsopt(1)