structure Error =
    struct
	structure IO = TextIO

	exception Fatal

	fun fatal (msg: string) = (IO.output (IO.stdErr, msg); raise Fatal)

	fun err (msg: string) =
	    (IO.output (IO.stdErr, msg ^ "\n"); raise Fatal)

	fun errPos (pos: Pos.T) (msg: string) =
	    (IO.output (IO.stdErr, "[" ^ Pos.toString pos ^ "]: " ^ msg ^ "\n"); raise Fatal)

	exception Unavailable

	fun unavail (msg: string) =
	    (IO.output (IO.stdErr, "Unavailable: " ^ msg);
	     raise Unavailable)
    end