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 OAA24730; Fri, 4 Oct 2002 14:10:33 +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 OAA24845 for ; Fri, 4 Oct 2002 14:10:33 +0200 (MET DST) Received: from mel-rto6.wanadoo.fr (smtp-out-6.wanadoo.fr [193.252.19.25]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g94CAWD24559 for ; Fri, 4 Oct 2002 14:10:32 +0200 (MET DST) Received: from mel-rta7.wanadoo.fr (193.252.19.61) by mel-rto6.wanadoo.fr (6.5.007) id 3D760C2501111875 for caml-list@inria.fr; Fri, 4 Oct 2002 14:10:32 +0200 Received: from debian (80.8.84.188) by mel-rta7.wanadoo.fr (6.5.007) id 3D8011E600D029FB for caml-list@inria.fr; Fri, 4 Oct 2002 14:10:32 +0200 Received: from moi by debian with local (Exim 3.36 #1 (Debian)) id 17xRIU-0000iA-00 for ; Fri, 04 Oct 2002 14:11:10 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] Pattern matching and strings (and a mini-bug in Scanf) References: <200210041003.MAA19581@pauillac.inria.fr> <3D9D6C28.8060903@baretta.com> Mail-Copy-To: never From: Remi VANICAT Date: Fri, 04 Oct 2002 14:11:10 +0200 In-Reply-To: <3D9D6C28.8060903@baretta.com> (Alessandro Baretta's message of "Fri, 04 Oct 2002 12:23:36 +0200") Message-ID: <87fzvmieu9.dlv@wanadoo.fr> User-Agent: Gnus/5.090006 (Oort Gnus v0.06) Emacs/21.2 (i386-debian-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alessandro Baretta writes: > Pierre Weis wrote: >> [...] > >> I should say that I am reluctant to had a special typing rule for the >> new specifier you proposed, when "%[\000-\255]" does perfectly the job >> and does not require any addition to the type-checker nor to the >> implementation of Scanf. >> Pierre Weis > > Why do you mention the type checker? Is each conversion specifier a > special case for the type checker? Of course it is : # Scanf.scanf "%s %d %i";; - : (string -> int -> int -> '_a) -> '_a = to type this, the type checker have to look inside the format and find that %s look for a string, %d and %i an int. -- Rémi Vanicat vanicat@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~vanicat ------------------- 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