Explorar o código

[hl] don't intercept Sys_exit

Simon Krajewski %!s(int64=8) %!d(string=hai) anos
pai
achega
e5576893a2
Modificáronse 1 ficheiros con 2 adicións e 0 borrados
  1. 2 0
      src/generators/hlinterp.ml

+ 2 - 0
src/generators/hlinterp.ml

@@ -1179,6 +1179,8 @@ let call_fun ctx f args =
 			raise (InterpThrow v)
 		| Failure msg ->
 			throw_msg ctx msg
+		| Sys_exit _ as exc ->
+			raise exc
 		| e ->
 			throw_msg ctx (Printexc.to_string e)