file: "src/ByteCode.ag"
options: data, rename, strictdata, genlinepragmas, checkParseHaskell

file: "src/PrettyCode.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/PrettyTree.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/TrfInjectAbc.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/ExtractAbc.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/GathSymbolTables.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/InstrSize.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas

file: "src/InsertLabels.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/Stats.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/SymView.ag"
options: data, rename, strictdata, genlinepragmas, checkParseHaskell

file: "src/TrfInjectRefl.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/TrfInjectSerializable.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/GenSymLib.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/RenumberBlocks.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/DemoTrans.ag"
options: rename, catas, semfuns, signatures, genlinepragmas, checkParseHaskell

file: "src/TestTrans.ag"
options: rename, catas, semfuns, signatures, genlinepragmas, checkParseHaskell

file: "src/TestTrans1.ag"
options: rename, catas, semfuns, signatures, genlinepragmas, checkParseHaskell

file: "src/TestTrans2.ag"
options: rename, catas, semfuns, signatures, genlinepragmas, checkParseHaskell

file: "src/ByteCodeTrf.ag"
options: data, rename, strictdata, genlinepragmas, checkParseHaskell

file: "src/BranchRelToAbs.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/FixJumpDestinations.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/ParamAnalysis.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/DeadCodeRemoval.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell

file: "src/Consolidate.ag"
options: rename, catas, semfuns, signatures, strictcase, strictwrap, optimize, genlinepragmas, checkParseHaskell