(* Global parameters *)
(* Author: Frank Pfenning *)

structure Global :> GLOBAL =
struct

  val chatter = ref 3
  val style = ref 0
  val maxCid = 19999
  val maxMid = 999
  val maxCSid = 49
  val doubleCheck = ref false
  val unsafe = ref false
  val autoFreeze = ref true (* !!!reconsider later!!! Thu Mar 10 09:42:28 2005 *)
  val timeLimit = ref (NONE : (Time.time option))
  val printFlat = ref false (* -fr *)
  val catalog : URI.uri option ref = ref NONE (* -fr *)
  val nsPrefixes : (string * URI.uri) list ref = ref nil (* -fr *)

  fun chPrint n s = if !chatter >= n then print (s ()) else ()
  fun chMessage n s f = if !chatter >= n then f (s ()) else ()

end;  (* structure Global *)