blob: f3d324ca56ef6fb599f3d18987eb3f871223ebc3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
signature FAIL = sig
val fail: string -> 'a
end
structure Fail :> FAIL = struct
fun fail why = (
TextIO.output (TextIO.stdErr, why ^ "\n")
; OS.Process.exit OS.Process.failure
)
end
|