Browse thread
[Caml-list] pretty printers and format and matrices
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Hendrik Tews <tews@t...> |
| Subject: | Re: [Caml-list] pretty printers and format and matrices |
Hi, Pierre Weis writes: Date: Thu, 14 Jun 2001 21:37:44 +0200 (MET DST) Subject: Re: [Caml-list] pretty printers and format and matrices However, I should admit that you will still be facing another stupid limit (no more than 2^30 words in a big integer, which means approximately 9 * 2 ^ 30 decimal digits on a little machine, once more far far away from infinity). OK, I see you are in sarcastic mood ... I am actually negotiating with John Skaller the foundation of the "Got bitten by Pierre Club", anybody else who wants to participate? ;-) Sorry for this unsatisfactory answer, due to stupid limitations in the language. Then I would like to suggest to add a new feature to a future version of the format module: "do_never_print_ellipsis". Perhaps (set_max_boxes -1) could be interpreded this way. Problems like "The most interesting problem repaired by the Judges was that one entry nested Objective Caml's Format boxes too deeply ....", quoted from [1], would then belong to the past. BTW: set_max_boxes max_int;; On a regular machine this allows to simultaneously open no more than 4611686018427387903 boxes, which could be large enough to pretty print I have # max_int;; - : int = 1073741823 so what's a regular machine?? Thanks anyway for the unsatisfactory answer, Hendrik [1] The 1999 ICFP Programming Contest. ACM SIGPLAN Notices, 35(3), pp. 73-83, March 2000. Available at http://www.eecs.harvard.edu/~nr/pubs/icfp99.ps ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr