diff options
| -rw-r--r-- | contrib/extraction/extract_env.ml | 1 | ||||
| -rw-r--r-- | contrib/extraction/miniml.mli | 1 | ||||
| -rw-r--r-- | contrib/extraction/ocaml.ml | 4 |
3 files changed, 6 insertions, 0 deletions
diff --git a/contrib/extraction/extract_env.ml b/contrib/extraction/extract_env.ml index 2095541b0b..e25fa7165b 100644 --- a/contrib/extraction/extract_env.ml +++ b/contrib/extraction/extract_env.ml @@ -104,6 +104,7 @@ module ToplevelParams = struct let rename_global r = Names.id_of_string (Global.string_of_global r) let pp_type_global = Printer.pr_global let pp_global = Printer.pr_global + let cofix_warning = false end module Pp = Ocaml.Make(ToplevelParams) diff --git a/contrib/extraction/miniml.mli b/contrib/extraction/miniml.mli index 88f757f387..9c9ad8fe85 100644 --- a/contrib/extraction/miniml.mli +++ b/contrib/extraction/miniml.mli @@ -59,6 +59,7 @@ type ml_decl = functions to print types, terms and declarations. *) module type Mlpp_param = sig + val cofix_warning : bool val rename_global : global_reference -> identifier val pp_type_global : global_reference -> std_ppcmds val pp_global : global_reference -> std_ppcmds diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index e53f5371db..aed1285c25 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -381,6 +381,8 @@ let rename_global r = let pp_global r = pr_id (rename_global r) +let cofix_warning = true + end module MonoPp = Make(MonoParams) @@ -430,6 +432,8 @@ module ModularParams = struct let pp_type_global r = pr_id (rename_type_global r) let pp_global r = pr_id (rename_global r) + + let cofix_warning = true end module ModularPp = Make(ModularParams) |