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 TAA27206; Thu, 7 Nov 2002 19:25:07 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA27778 for caml-list@pauillac.inria.fr; Thu, 7 Nov 2002 19:25:07 +0100 (MET) 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 SAA25309 for ; Thu, 7 Nov 2002 18:14:10 +0100 (MET) Received: from students.mimuw.edu.pl (zodiac.mimuw.edu.pl [193.0.96.128]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA7HE9511031 for ; Thu, 7 Nov 2002 18:14:09 +0100 (MET) Received: by students.mimuw.edu.pl (Postfix, from userid 2733) id A6C2E179FC; Thu, 7 Nov 2002 18:14:06 +0100 (CET) Date: Thu, 7 Nov 2002 18:14:06 +0100 From: Cezary Kaliszyk To: caml-list@inria.fr Subject: [Caml-list] format type (again) Message-ID: <20021107171406.GA17139@zodiac.mimuw.edu.pl> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="n8g4imXOkfNTN/H1" Content-Disposition: inline User-Agent: Mutt/1.3.27i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk --n8g4imXOkfNTN/H1 Content-Type: text/plain; charset=iso-8859-2 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Could anyone tell me where in ocaml source is the type checking of the format type. I really need a new identifier for a function taking exacly=20 one parameter of type unit. Cezary Kaliszyk --=20 --n8g4imXOkfNTN/H1 Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: Dalsze informacje znajdują się na http://www.gnupg.org/ iD8DBQE9yp9eYfPl1pqp6/URAqvoAKCrAUPE87jTnLrIg5Vpf93aVnaekgCfXg3D V6J+XFMKvao9l/d5qSgrWMs= =/01z -----END PGP SIGNATURE----- --n8g4imXOkfNTN/H1-- ------------------- 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