diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml index e90aa815a47153b8d408e87f637736cf13675dfb..ad594fef20bf2f314214f69ee36a8fd30dc6b358 100644 --- a/generator/js_of_ast.ml +++ b/generator/js_of_ast.ml @@ -368,15 +368,12 @@ let generate_logged_return ctx sbody = let (token_start, token_stop, token_lineof) = token_fresh() in match !current_mode with | Mode_cmi -> assert false - | Mode_line_token -> + | Mode_unlogged | Mode_line_token -> Printf.sprintf "%sreturn %s;%s" token_start sbody token_stop | Mode_logged -> let id = id_fresh "_return_" in Printf.sprintf "var %s = %s;@,log_event(%s, ctx_push(%s, [{key: \"return_value\", value: %s}]), \"return\");@,return %s; " id sbody token_lineof ctx id id - | Mode_unlogged -> - Printf.sprintf "return %s; " sbody - (* Printf.sprintf "@[<v 0>return %s;@]" sbody *) (* ---- [insertReturnCode(e,ctx)]