1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(* mlriscErrormsg.sml
*
* COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies
*)
signature MLRISC_ERROR_MSG =
sig
exception Error
val print : string -> unit
val impossible : string -> 'a
val error : string * string -> 'a
end
structure MLRiscErrorMsg : MLRISC_ERROR_MSG =
struct
exception Error
val print = fn s => TextIO.output(TextIO.stdOut, s)
fun impossible msg =
(app print ["Error: MLRisc bug: ",msg,"\n"];
TextIO.flushOut TextIO.stdOut;
raise Error)
fun error(module,msg) = impossible(module^"."^msg)
end
|
