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 WAA32248; Thu, 7 Nov 2002 22:26:06 +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 WAA32128 for caml-list@pauillac.inria.fr; Thu, 7 Nov 2002 22:26:05 +0100 (MET) 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 UAA29538 for ; Thu, 7 Nov 2002 20:21:26 +0100 (MET) Received: from wptx49.physik.uni-wuerzburg.de (wptx49.physik.uni-wuerzburg.de [132.187.40.49]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gA7JLPD29695 for ; Thu, 7 Nov 2002 20:21:25 +0100 (MET) Received: from wptx47.physik.uni-wuerzburg.de (wptx47.physik.uni-wuerzburg.de [132.187.40.47]) by wptx49.physik.uni-wuerzburg.de (8.10.0/8.10.0.Beta6) with ESMTP id gA7JLMn01650; Thu, 7 Nov 2002 20:21:22 +0100 (MET) Received: (from ohl@localhost) by wptx47.physik.uni-wuerzburg.de (8.10.0.Beta12/8.10.0.Beta12) id gA7JLMM01468; Thu, 7 Nov 2002 20:21:22 +0100 From: Thorsten Ohl Message-ID: <15818.48434.260943.734055@wptx47.physik.uni-wuerzburg.de> Date: Thu, 7 Nov 2002 20:21:22 +0100 To: Cezary Kaliszyk Cc: caml-list@inria.fr Subject: [Caml-list] format type (again) In-Reply-To: <20021107171406.GA17139@zodiac.mimuw.edu.pl> References: <20021107171406.GA17139@zodiac.mimuw.edu.pl> X-Mailer: VM 6.84 under Emacs 20.7.1 Reply-To: ohl@physik.uni-wuerzburg.de Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > me where in ocaml source is the type checking of the format type. The function type_format in typing/typecore.ml comes right after the comment (* Typing of printf formats. *) :-). -- Thorsten Ohl, Physics Dept., Wuerzburg Univ. -- ohl@physik.uni-wuerzburg.de http://theorie.physik.uni-wuerzburg.de/~ohl/ [<=== PGP public key here] ------------------- 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