Commit c6b88548 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Extraction: Make undefined constants break compilation rather than execution. (Fix for bug #15746)

parent 5f096e8a
......@@ -529,7 +529,7 @@ let print_param_decl info fmt ls =
(print_lident info) ls.ls_name
else begin
let vars = name_args ls.ls_args in
fprintf fmt "@[<hov 2>let %a %a : %a =@ %a@]"
fprintf fmt "@[<hov 2>(*let %a %a : %a =@ %a*)@]"
(print_ls info) ls
(print_list space (print_vs_arg info)) vars
(print_ls_type info) ls.ls_value
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment