changeset 45153 | 3eaad39e520c |
parent 39200 | 4a4d34d2f97b |
child 51929 | fe4714886d92 |
1.1 --- a/src/Pure/ML/ml_compiler.ML Thu Aug 18 17:30:47 2011 +0200 1.2 +++ b/src/Pure/ML/ml_compiler.ML Thu Aug 18 17:53:32 2011 +0200 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: exn -> string list 1.8 + val exn_messages: exn -> (serial * string) list 1.9 val exn_message: exn -> string 1.10 val eval: bool -> Position.T -> ML_Lex.token list -> unit 1.11 end