src/Pure/ML/ml_compiler.ML
changeset 51285 0859bd338c9b
parent 50914 fe4714886d92
child 51639 b7f908c99546
     1.1 --- a/src/Pure/ML/ml_compiler.ML	Tue Feb 26 19:44:26 2013 +0100
     1.2 +++ b/src/Pure/ML/ml_compiler.ML	Tue Feb 26 19:58:27 2013 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  signature ML_COMPILER =
     1.5  sig
     1.6    val exn_position: exn -> Position.T
     1.7 -  val exn_messages_ids: exn -> ((serial * string) * string option) list
     1.8 +  val exn_messages_ids: exn -> Runtime.error list
     1.9    val exn_messages: exn -> (serial * string) list
    1.10    val exn_message: exn -> string
    1.11    val eval: bool -> Position.T -> ML_Lex.token list -> unit