[A rudimentary reference guide for hat-trans. malcolm**20021029141528] { addfile ./docs/hat-trans.html hunk ./docs/hat-trans.html 1 +hat-trans reference guide + +

+ +

hat-trans reference guide

+ +

+hat-trans is a stand-alone program that performs a +source-to-source transformation on a single Haskell module. +The transformed module contains functions that deposit traces in a +.hat file, in addition to computing their original results. + +

+ + +

+File arguments. + + + + + + + +
.hs Haskell source file
.lhs literate Haskell source file
+ +

+Flags. + + + + + + + + + + +
-Idir search directory dir for imported modules during transformation. + (hat-trans actually looks for the .hx file generated by a + prior invocation of hat-trans, rather than the source module itself.)
-Pdir search directory dir for prelude and stdlib modules during + transformation
+RTS the following options (up to -RTS) should be passed only + to hat-trans's runtime system + (for instance to increase its heap size for processing a large file)
+ +

+ + + +

+Options to change the usual transformation behaviour. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
-unix Use unix filenames (default)
-nounix Use RiscOS filenames
-unlit Unliterate the source code
-nounlit Do not unliterate the source code (default)
-underscore Treat underscores strictly as lowercase (default)
-nounderscore Treat underscores as invisible, e.g. _f is varid, _F is conid
-prelude Treat prelude definitions specially
-noprelude Do not treat definitions specially (default)
-trusted make this a "trusted" module
-notrusted make this an "untrusted" module (default)
+ +

+Options to examine the internal progress of the transformation. + + + + + + + + + + + + + + + + + + + +
-showwidth=w set width in characters of output of an intermediate syntax tree + to w (default=80)
-showindent=i set indentation in characters for nesting of output of an intermediate + syntax tree to i (default=2)
-showqualified use qualified names in output of intermediate syntax tree + (default=on)
-lex show lexical input
-parse show syntax tree after parser
-tracefns show syntax tree after tracing translation
+ +

+ +

+This page last updated: 29th October 2002
+

+ + }