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 SAA07341; Mon, 16 Sep 2002 18:56:23 +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 SAA07393 for ; Mon, 16 Sep 2002 18:56:22 +0200 (MET DST) Received: from mlabdial.hit.bme.hu (mlabdial.hit.bme.hu [152.66.248.201]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8GGuL917240 for ; Mon, 16 Sep 2002 18:56:21 +0200 (MET DST) Received: from localhost (kgergely@localhost) by mlabdial.hit.bme.hu (8.11.6/8.11.6) with ESMTP id g8GGuLX15007 for ; Mon, 16 Sep 2002 18:56:21 +0200 Date: Mon, 16 Sep 2002 18:56:21 +0200 (CEST) From: "Kontra, Gergely" To: caml-list@inria.fr Subject: Re: [Caml-list] Does this function exist? In-Reply-To: <86hegzarek.fsf@laurelin.dementia.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >It would be, but I don't believe that it's really possible--you need >type information in order to determine what to display, and that >information is not available at runtime. If you know the type of what >you're printing, you can always use printf. I thought ocaml is strictly typed. Then, if overloading would be enabled, this problem didn't exist any more. Gergo +-[Kontra, Gergely @ Budapest University of Technology and Economics]-+ | Email: kgergely@mcl.hu, kgergely@turul.eet.bme.hu | | URL: turul.eet.bme.hu/~kgergely Mobile: (+36 20) 356 9656 | +-------"Olyan langesz vagyok, hogy poroltoval kellene jarnom!"-------+ . Magyar php mirror es magyar php dokumentacio: http://hu.php.net ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners