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 QAA02218; Mon, 25 Aug 2003 16:12:47 +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 QAA13364 for ; Mon, 25 Aug 2003 16:12:45 +0200 (MET DST) Received: from barry.mail.mindspring.net (barry.mail.mindspring.net [207.69.200.25]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h7PECif11346 for ; Mon, 25 Aug 2003 16:12:44 +0200 (MET DST) Received: from user-0ccekej.cable.mindspring.com ([24.199.81.211] helo=minsky-primus.homeip.net) by barry.mail.mindspring.net with smtp (Exim 3.33 #1) id 19rI5L-00071i-00 for caml-list@inria.fr; Mon, 25 Aug 2003 10:12:43 -0400 Received: from 141.155.88.179 (SquirrelMail authenticated user yminsky) by minsky-primus.homeip.net with HTTP; Mon, 25 Aug 2003 10:12:43 -0400 (EDT) Message-ID: <16896.141.155.88.179.1061820763.squirrel@minsky-primus.homeip.net> Date: Mon, 25 Aug 2003 10:12:43 -0400 (EDT) Subject: [Caml-list] infinity matches all From: "Yaron Minsky" To: X-Priority: 3 Importance: Normal X-Mailer: SquirrelMail (version 1.2.11) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 cornell:01 foo:01 typecheck:01 3.06.:01 yaron:01 match:02 match:02 string:03 behavior:03 behavior:03 seems:05 equivalent:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Can anyone explain the following behavior of match when used with infinity? # match "foo" with infinity -> "bar";; - : string = "bar" This shouldn't even typecheck. It seems to treat infinity as equivalent to "_". This behavior comes up in version 3.06. Yaron ------------------- 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