From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.9 required=5.0 tests=DNS_FROM_RFC_POST, SPF_SOFTFAIL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 61046BC0C for ; Tue, 28 Nov 2006 20:01:30 +0100 (CET) Received: from pd4mo1so.prod.shaw.ca (shawidc-mo1.cg.shawcable.net [24.71.223.10]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kASJ1TN3012318 for ; Tue, 28 Nov 2006 20:01:30 +0100 Received: from pd4mr7so.prod.shaw.ca (pd4mr7so-qfe3.prod.shaw.ca [10.0.141.84]) by l-daemon (Sun ONE Messaging Server 6.0 HotFix 1.01 (built Mar 15 2004)) with ESMTP id <0J9G00321FI3S540@l-daemon> for caml-list@inria.fr; Tue, 28 Nov 2006 12:01:15 -0700 (MST) Received: from pn2ml6so.prod.shaw.ca ([10.0.121.150]) by pd4mr7so.prod.shaw.ca (Sun Java System Messaging Server 6.2-2.05 (built Apr 28 2005)) with ESMTP id <0J9G00IURFI2O941@pd4mr7so.prod.shaw.ca> for caml-list@inria.fr; Tue, 28 Nov 2006 12:01:15 -0700 (MST) Received: from glek.net ([24.108.181.117]) by l-daemon (Sun ONE Messaging Server 6.0 HotFix 1.01 (built Mar 15 2004)) with ESMTP id <0J9G003JFFHZORD0@l-daemon> for caml-list@inria.fr; Tue, 28 Nov 2006 12:01:11 -0700 (MST) Received: from [192.168.0.3] (unknown [192.168.0.3]) by glek.net (Postfix) with ESMTP id 6849F47F08 for ; Tue, 28 Nov 2006 11:00:30 -0800 (PST) Date: Tue, 28 Nov 2006 11:01:08 -0800 From: taras Subject: Pattern matching fallthrough with guards To: caml-list@inria.fr Message-id: <456C8774.4040009@shaw.ca> MIME-version: 1.0 Content-type: text/plain; charset=ISO-8859-1; format=flowed Content-transfer-encoding: 7bit User-Agent: Thunderbird 1.5.0.8 (X11/20061115) X-Miltered: at discorde with ID 456C8789.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hypothetical:01 syntax:01 bug:01 pattern:04 matching:06 function:08 function:08 i'm:09 wondering:09 patterns:09 example:10 error:12 however:13 some:14 some:14 Hi, I noticed that one can coalesce multiple patterns like function Some _ | None -> 0 However when I add guards to this hypothetical example, I get a syntax error function Some _ when 1 = 2 | None -> 0 I'm wondering if this inconsistency is considered to be a bug or not? Taras