This is the command patsopt that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
patsopt - ATS2 to C compiler
SYNOPSIS
patsopt [<options>] [-o <file>] <specifications>...
DESCRIPTION
patsopt is the compiler from ATS2 to C. It is most commonly invoked by patscc which is
the preferred frontend for compiling ATS2 code. If no output filename is specified then
the default is standard output. The output option -o <file> must be specified before any
other specifications are given.
OPTIONS
patsopt takes a number of commands with parameters to determine its behavior:
--depgen
Generate dependency lists.
--gline
Generate line pragma information in target code.
-h, --help
Print the usage information.
--taggen
Generate tagging information on syntactic entities.
-tc, --typecheck
Typecheck the given ATS source files, but go no further.
-v, --version
Show ATS2/Postiats version and gcc version.
SPECIFICATIONS
patsopt takes a number of command-line specifications of the files it is to process.
-d, --dynamic <filenames>
Dynamically load the filenames.
-o, --output <filename>
Specify the output filename.
-s, --static <filenames>
Statically load the filenames.
EXAMPLES
patsopt -o test.c -d test.dats
Compile test.dats to a C file.
patsopt -tc -d test.dats
Typecheck test.dats only.
Use patsopt online using onworks.net services
