You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4361 Reporter:@yakobowski Status: closed (set by @xavierleroy on 2007-10-25T08:54:01Z) Resolution: fixed Priority: normal Severity: tweak Version: 3.10+dev Fixed in version: 3.10+dev Category: ~DO NOT USE (was: OCaml general)
Bug description
The function highlight_dumb of Location.ml takes as argument a formatter, writes something on it using Format.fprintf (the characters locations for Emacs), and then writes the excerpt from the source code using calls to functions of Pervasives, thus ignoring the formatter. If that function is used any with anything else than std_formatted as the destination, the display is messed up.
Also, the function highlight_terminfo above completely ignores its formatter argument.
The text was updated successfully, but these errors were encountered:
Formatters add an additional layer of buffering. There is no other solution than to flush the formatter before outputting data using Pervasives functions.
Fixed highlight_dumb in 3.10.1+dev3.
For highlight_terminfo, I added a flush of the formatter
at the beginning of the function. We can't do more
because the Terminfo functions can't output to a formatter.
Original bug ID: 4361
Reporter: @yakobowski
Status: closed (set by @xavierleroy on 2007-10-25T08:54:01Z)
Resolution: fixed
Priority: normal
Severity: tweak
Version: 3.10+dev
Fixed in version: 3.10+dev
Category: ~DO NOT USE (was: OCaml general)
Bug description
The function highlight_dumb of Location.ml takes as argument a formatter, writes something on it using Format.fprintf (the characters locations for Emacs), and then writes the excerpt from the source code using calls to functions of Pervasives, thus ignoring the formatter. If that function is used any with anything else than std_formatted as the destination, the display is messed up.
Also, the function highlight_terminfo above completely ignores its formatter argument.
The text was updated successfully, but these errors were encountered: