Commit 2d9cce5a authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix partial coloring of subterms.

parent 55d83567
...@@ -1189,8 +1189,9 @@ let color_loc ~color loc = ...@@ -1189,8 +1189,9 @@ let color_loc ~color loc =
let f, l, b, e = Loc.get loc in let f, l, b, e = Loc.get loc in
if f = !current_file then color_loc ~color source_view l b e if f = !current_file then color_loc ~color source_view l b e
let color_locs ~color f = let rec color_locs ~color f =
Util.option_iter (color_loc ~color) f.Term.t_loc Util.option_iter (color_loc ~color) f.Term.t_loc;
Term.t_fold (fun () -> color_locs ~color) () f
(* FIXME: we shouldn't open binders _every_time_ we redraw screen!!! (* FIXME: we shouldn't open binders _every_time_ we redraw screen!!!
No t_fold, no t_open_quant! *) No t_fold, no t_open_quant! *)
......
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