%%% $Id: debug_write.mod,v 1.1 1994/04/27 15:23:27 leavens Exp leavens $
%%% debugging write
%%% AUTHOR: Gary T. Leavens

module debug_write.

type debug?		o.
type debug_write	A -> o.
type message		string -> A.

doc debug?
 "define this to see debugging output.".

debug?.

doc debug_write
 "``debug_write X'' writes X to the current output stream, using write
and then nl, if ``debug?'' succeeds.
So to see the output, define debug?, otherwise don't.".

debug_write X :- debug?, write X, nl.

doc message
 "``(message X Y Z)'' makes a term that can be sent to debug_write.".