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: 2052 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Hi... I am using the Format module to pretty-print a term. I want to
have the option to print it as a single long line in certain
circumstances, although usually the term will be printed with nice
breaks, to fit within a given margin.
The obvious way to do this is to set the margin to "infinity" - a very
large value.
However, the only way to do this is to say
Format.set_margin 999999999
where it's critical that I get exactly the right number here: if it's
too high, the documentation informs me that "nothing happens". The
literal is therefore not just ugly, but also dangerous.
I would rather say either
Format.set_margin max_int
or
Format.set_margin Format.pp_infinity
This is therefore a request for either (a) Format.set_margin to treat
values >999999999 as if they were requests for 999999999, rather than
ignoring; or (b) to export pp_infinity from Format.
Original bug ID: 2052
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Hi... I am using the Format module to pretty-print a term. I want to
have the option to print it as a single long line in certain
circumstances, although usually the term will be printed with nice
breaks, to fit within a given margin.
The obvious way to do this is to set the margin to "infinity" - a very
large value.
However, the only way to do this is to say
Format.set_margin 999999999
where it's critical that I get exactly the right number here: if it's
too high, the documentation informs me that "nothing happens". The
literal is therefore not just ugly, but also dangerous.
I would rather say either
Format.set_margin max_int
or
Format.set_margin Format.pp_infinity
This is therefore a request for either (a) Format.set_margin to treat
values >999999999 as if they were requests for 999999999, rather than
ignoring; or (b) to export pp_infinity from Format.
Thanks..
--KW 8-)
Keith Wansbrough kw217@cl.cam.ac.uk
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.
The text was updated successfully, but these errors were encountered: