4 Type checker	Top	6 Confidence condition generation
5 Pretty printer

5 Pretty printer

The pretty printer for RSL was written by Ms He Hua, as reported in [3].

Provided there are no syntax errors, a pretty-printed version of the input module is output on standard output.

The default output line length is 60 characters. If you wish to vary this then you can use the command

rsltc -pl n <file>

for a line length n, which must be at least 30.

rsltc -p S > S.pp

will pretty-print S.rsl into a file S.pp. If S.pp is acceptable you will need to copy it into S.rsl to use rsltc on it again.

Warning: the command "rsltc -p S > S.rsl" merely empties the file S.rsl.

The emacs interface (section 14) is much more convenient for pretty-printing.

5 Pretty printer
4 Type checker	Top	6 Confidence condition generation