Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 05ffd0c3 authored by François Bobot's avatar François Bobot
Browse files

[Realization] remove the use of %( %) which seems buggy in 3.12.1

parent 3954889f
No related branches found
No related tags found
No related merge requests found
......@@ -65,22 +65,23 @@ let forget_tvs () =
forget_all !info.local_printers.aprinter
let print_gen
?sanitizer ?(format=("%s":(string -> 'a, 'b, 'c, 'd, 'd, 'a) format6))
?sanitizer ?(prefix="")
~getid ~getprinter fmt x =
let id = getid x in
try
let path,ipr = Mid.find id (!info).symbol_printers in
fprintf fmt "%s.%(%s%)"
path format (id_unique ?sanitizer (getprinter ipr) id)
fprintf fmt "%s.%s%s"
path prefix (id_unique ?sanitizer (getprinter ipr) id)
with Not_found ->
let ipr = (!info).local_printers in
fprintf fmt format (id_unique ?sanitizer (getprinter ipr) id)
Format.pp_print_string fmt prefix;
Format.pp_print_string fmt (id_unique ?sanitizer (getprinter ipr) id)
(* type variables always start with a quote *)
let print_tv fmt x = print_gen
~getid:(fun tv -> tv.tv_name)
~getprinter:(fun p -> p.aprinter)
~format:"'%s"
~prefix:"'"
fmt x
(* logic variables always start with a lower case letter *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment