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 KAA04192; Wed, 31 Oct 2001 10:43:01 +0100 (MET)
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 KAA03817 for <caml-list@pauillac.inria.fr>; Wed, 31 Oct 2001 10:43:00 +0100 (MET)
Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f9V9gxH29077;
	Wed, 31 Oct 2001 10:42:59 +0100 (MET)
Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM)
	id KAA0000010743; Wed, 31 Oct 2001 10:42:54 +0100 (MET)
From: Luc Maranget <luc.maranget@inria.fr>
Message-Id: <200110310942.KAA0000010743@beaune.inria.fr>
Subject: Re: [Caml-list] "Or" patterns when both matchings
To: maf@microsoft.com (Manuel Fahndrich)
Date: Wed, 31 Oct 2001 10:42:54 +0100 (MET)
Cc: luc.maranget@inria.fr (Luc Maranget), pixel@mandrakesoft.com (Pixel),
        caml-list@pauillac.inria.fr
In-Reply-To: <BEC4845020047048A9A8616BCFFCA9040238AE57@red-msg-04.redmond.corp.microsoft.com> from "Manuel Fahndrich" at oct 30, 2001 10:22:28 
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

> 
> Hmm, I must side with Pixel here. Ease of compilation is rarely a good
> design principle for a programming language. The use of or patterns
> allows one to factor right hand sides as in the example shown below:
> 
> 	| Foo(a)
>              | a -> <complicated expression involving a>
> 
> If Or-patterns do not follow the first-to-last matching order, then
> producing correct code and reading it becomes more difficult. I wasn't
> aware of the Or-compilation strategy and I'm sure I made this mistake in
> the past as well.
> 
> -Maf
> 
> 

You are right, I missed that point. I'll think about correcting that,
but it is not a trivial change.

Thanks for your feedback,

--Luc
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr