uuagc1

Usage

Overview

This program uuagc is the compiler of the (Utrecht University) Attribute Grammar system. It takes as input AG source files (.ag) and produces as output regular Haskell source files (.hs).

Available options:

-m

generate default module header

--module[=name]

generate module header, specify module name

-d, --data

generate data type definition

--strictdata

generate strict data fields (when data is generated)

--strictwrap

generate strict wrap fields for WRAPPER generated data

-c, --catas

generate catamorphisms

-f, --semfuns

generate semantic functions

-s, --signatures

generate signatures for semantic functions

--newtypes

use newtypes instead of type synonyms

-p, --pretty

generate pretty printed list of attributes

-w, --wrappers

generate wappers for semantic domains

-r, --rename

rename data constructors

--modcopy

use modified copy rule

--nest

use nested tuples

--syntaxmacro

experimental: generate syntax macro code (using knit catas)

-o file, --output=file

specify output file

-v, --verbose

verbose error message format

-h, -?, --help

get usage information

-a, --all

do everything (-dcfsprm)

-P search path, --=search path

specify seach path

--prefix=prefix

set prefix for semantic functions

--self

generate self attribute

--cycle

check for cyclic definitions

--version

get version information

-O,--optimize

optimize generated code (--visit --case)

--visit

try generating visit functions

--seq

force evaluation using function seq (visit functions only)

--unbox

use unboxed tuples

--case

use nested cases instead of let (visit functions only)

--Werrors

turn warnings into fatal errors

--dumpgrammar

dump internal grammar representation (in generated code)