atscc1

Usage

Overview

atscc is a frontend to the atsopt Anairiats compiler for the ATS language.

Options

atscc has a command-line option syntax in the style of gcc and accepts all the same options, many of them being passed directly to the gcc backend. Here are summarized the non-gcc options.

-cc, --compile

Only compile the given ATS source files into C files.

-D_ATS_GCATS

Enable the garbage collector in the generated executable.

-IATS <path>

Add a path to search for ATS files when doing static and dynamic loads.

-tc, --typecheck

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

--version

Show ATS/Anairiats version and gcc version.

Examples

atscc -o test -O3 test.dats

Compile test.dats to an executable named test. Tell gcc to use the third level of optimization.

atscc -tc test.dats

Typecheck test.dats only.

atscc -o test.o -c test.dats

Compile test.dats to an object file named test.o.