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 KAA09622; Fri, 11 Jan 2002 10:47:50 +0100 (MET) 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 KAA09745 for ; Fri, 11 Jan 2002 10:47:49 +0100 (MET) Received: from uni-sb.de (uni-sb.de [134.96.252.33]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0B9lnP03622 for ; Fri, 11 Jan 2002 10:47:49 +0100 (MET) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.11.6/2001121800) with ESMTP id g0B9lmw17733 for ; Fri, 11 Jan 2002 10:47:48 +0100 (CET) Received: from mail.cs.uni-sb.de (IDENT:Q/L6bo9DZNMsiu65wghx7s3GvRepS+5K@mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.1/2001121800) with ESMTP id g0B9lkS25894 for ; Fri, 11 Jan 2002 10:47:47 +0100 (CET) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.1/2001121800) with ESMTP id g0B9ljr16244 for ; Fri, 11 Jan 2002 10:47:45 +0100 (CET) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (zoidberg.ps.uni-sb.de [134.96.186.121]) by ps.uni-sb.de (8.11.2/8.11.0) with ESMTP id g0B9liT25673 for ; Fri, 11 Jan 2002 10:47:44 +0100 Message-ID: <3C3EB4C0.A8F8DA2D@ps.uni-sb.de> Date: Fri, 11 Jan 2002 10:47:44 +0100 From: Andreas Rossberg Organization: =?iso-8859-1?Q?Universit=E4t?= des Saarlandes X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.4.3-12 i686) X-Accept-Language: de, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Function definition with multiple patterns in multiple equations References: <20020108110836.A9147@darling.home.br> <20020108082639.A87628@libcom.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk John Prevost wrote: > > I still feel it may be a better choice, since in SML you can write: > > fun foo a b = e1 a b > | foo c = e1 c No, you can't. All function rules must have the same number of argument patterns. -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. ------------------- 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