From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA10945; Fri, 15 Jun 2001 14:34:36 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA10887 for ; Fri, 15 Jun 2001 14:34:35 +0200 (MET DST) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f5FCYGX00993 for ; Fri, 15 Jun 2001 14:34:20 +0200 (MET DST) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id f5FCY77X028368 for ; Fri, 15 Jun 2001 14:34:11 +0200 (MET DST) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 15Asnf-0004BO-00 for ; Fri, 15 Jun 2001 14:34:07 +0200 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15146.191.244618.88098@gargle.gargle.HOWL> Date: Fri, 15 Jun 2001 14:34:07 +0200 (CEST) To: caml-list@inria.fr Subject: Re: [Caml-list] pretty printers and format and matrices In-Reply-To: <200106141937.VAA27299@pauillac.inria.fr> References: <15143.22914.894206.676827@gargle.gargle.HOWL> <200106141937.VAA27299@pauillac.inria.fr> X-Mailer: VM 6.75 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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