TFL/utils.sml
changeset 2467 357adb429fda
parent 2112 3902e9af752f
child 3191 14bd6e5985f1
equal deleted inserted replaced
2466:5220fb014f8a 2467:357adb429fda
    17 in
    17 in
    18 val ERR_string = info_string "Exception raised"
    18 val ERR_string = info_string "Exception raised"
    19 val MESG_string = info_string "Message"
    19 val MESG_string = info_string "Message"
    20 end;
    20 end;
    21 
    21 
    22 fun Raise (e as ERR sss) = (output(std_out, ERR_string sss);  raise e)
    22 fun Raise (e as ERR sss) = (prs (ERR_string sss); raise e)
    23   | Raise e = raise e;
    23   | Raise e = raise e;
    24 
    24 
    25 
    25 
    26 (* option type *)
    26 (* option type *)
    27 datatype 'a option = SOME of 'a | NONE
    27 datatype 'a option = SOME of 'a | NONE