equal
deleted
inserted
replaced
40 val _ = |
40 val _ = |
41 (while not (List.null (! in_buffer)) do |
41 (while not (List.null (! in_buffer)) do |
42 PolyML.compiler (get, parameters) ()) |
42 PolyML.compiler (get, parameters) ()) |
43 handle exn => |
43 handle exn => |
44 (put ("Exception- " ^ General.exnMessage exn ^ " raised"); |
44 (put ("Exception- " ^ General.exnMessage exn ^ " raised"); |
45 error (output ()); raise exn); |
45 error (output ()); reraise exn); |
46 in if verbose then print (output ()) else () end; |
46 in if verbose then print (output ()) else () end; |
47 |
47 |
48 fun use_file context verbose name = |
48 fun use_file context verbose name = |
49 let |
49 let |
50 val instream = TextIO.openIn name; |
50 val instream = TextIO.openIn name; |