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 TAA20955; Fri, 15 Jun 2001 19:32:32 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA20905 for ; Fri, 15 Jun 2001 19:32:32 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5FHWU502245; Fri, 15 Jun 2001 19:32:30 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA20906; Fri, 15 Jun 2001 19:32:29 +0200 (MET DST) From: Pierre Weis Message-Id: <200106151732.TAA20906@pauillac.inria.fr> Subject: Re: [Caml-list] pretty printers and format and matrices In-Reply-To: <15146.191.244618.88098@gargle.gargle.HOWL> from Hendrik Tews at "Jun 15, 101 02:34:07 pm" To: tews@tcs.inf.tu-dresden.de (Hendrik Tews) Date: Fri, 15 Jun 2001 19:32:29 +0200 (MET DST) Cc: caml-list@inria.fr X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit 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 that I was just a bit tired by a more than 5 hours long meeting. I was also taking it for granting that everybody would understand that I was joking: could you imagine opening so much boxes that it could overflow a limit which is as large as a number that has ``9 * 2 ^ 30 decimal digits'' ? Could you imagine anything real (such that a computation or something that you can count) that can overflow such a huge number (much much bigger than even a google) ? Also, I don't know if we have to permanently be calm and solemn when posting to this mailing list. Well, I guess it's the best way given the medium ... > 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. This way of interpreting negative numbers seems a bit strange to me. Also this would add a lot of particular cases, just for people who need more than 1073741823 simultaneously open boxes (just have a look to this number, it is really huge indeed). > 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. OK, you win. Then I would prefer to set pp_max_boxes to max_int at creation time of the ``formatter''. This is simpler and more logical... > 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?? Sorry for that also, you need some context to understand that one: a ``regular'' machine is a kind of nickname we used here to name our 64 bits alpha machines, I suppose that this is a way to insist on the fact that there exist other processors than Intel's ... > Thanks anyway for the unsatisfactory answer, You're very welcome. > 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 Regards, Pierre Weis INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/ ------------------- 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