src/Pure/Isar/runtime.ML
changeset 57975 c657c68a60ab
parent 57831 885888a880fb
child 58843 521cea5fa777
     1.1 --- a/src/Pure/Isar/runtime.ML	Wed Aug 13 20:21:04 2014 +0200
     1.2 +++ b/src/Pure/Isar/runtime.ML	Fri Aug 15 13:39:59 2014 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4    val exn_messages: exn -> (serial * string) list
     1.5    val exn_message: exn -> string
     1.6    val exn_error_message: exn -> unit
     1.7 +  val exn_system_message: exn -> unit
     1.8    val exn_trace: (unit -> 'a) -> 'a
     1.9    val debugging: Context.generic option -> ('a -> 'b) -> 'a -> 'b
    1.10    val controlled_execution: Context.generic option -> ('a -> 'b) -> 'a -> 'b
    1.11 @@ -135,6 +136,7 @@
    1.12    | msgs => cat_lines (map snd msgs));
    1.13  
    1.14  val exn_error_message = Output.error_message o exn_message;
    1.15 +val exn_system_message = Output.system_message o exn_message;
    1.16  fun exn_trace e = print_exception_trace exn_message e;
    1.17  
    1.18