We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b81fc28 commit 217935aCopy full SHA for 217935a
asllib/asllib-www/jaslref.ml
@@ -67,13 +67,13 @@ let run_asl code version exec =
67
Js_of_ocaml.Sys_js.update_file ~name:"web-input.asl" ~content:_code
68
in
69
70
- try
71
- run_with argv;
72
- if not _exec then Printf.printf "ASL: type-check completed.\n%!"
73
- with
+ try run_with argv with
74
| Asllib.Error.ASLException e ->
75
Printf.eprintf "%s\n%!" (Asllib.Error.error_to_string e)
76
- | Exit _ -> ()
+ | Exit code ->
+ if not _exec then Printf.printf "ASL: type-check completed.\n%!"
+ else
+ Printf.printf "ASL: interpretation completed (exit code %n).\n%!" code
77
78
(* Expose to JavaScript *)
79
let () = Js.Unsafe.global##.runAsl := Js.wrap_callback run_asl
0 commit comments