— Procedure: fln format-string args ...

Display args to the current output port, using format-string, substituting ~A and ~S with the display and write representations, respectively, of args. Lastly, display a newline unconditionally.

— Procedure: die arg1 arg2 ...

Call scm-error with key thud-error and message string formatted from space-separated arguments.

NOTE! This behavior has changed from previous versions of THUD (which used to also output the string to the current error port), and may change yet again before thud-1.0 release.

— Procedure: display-thud-options [msg]

Optionally display msg, then display THUD options to the current output port, one per line.

— Procedure: display-system-info [msg]

Optionally display msg, then display system information to the current output port.

— Procedure: display-todo-list-reps [msg]

Optionally display msg, then display the scheduled list of representations that are executed once per cycle. The representations are not really the evaluation-forms, but can still give you a good idea of what happens when.

This procedure obeys the scope variable. See Variables.

— Procedure: translate format outfile blk1 ...

Translate blk1 ... to format HDL and write the output to outfile. See `display-translation-formats'.

— Procedure: display-translation-formats

Display a list of available translation formats. (At this time, only Verilog is supported.)