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 OAA25547; Tue, 10 Apr 2001 14:49:39 +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 OAA25543 for ; Tue, 10 Apr 2001 14:49:39 +0200 (MET DST) Received: from students.mimuw.edu.pl (zodiac.mimuw.edu.pl [193.0.99.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with SMTP id f3ACnWn07063 for ; Tue, 10 Apr 2001 14:49:38 +0200 (MET DST) Received: (qmail 25560 invoked by uid 978); 10 Apr 2001 12:49:13 -0000 Received: from localhost (sendmail-bs@127.0.0.1) by localhost with SMTP; 10 Apr 2001 12:49:13 -0000 Date: Tue, 10 Apr 2001 14:49:12 +0200 (CEST) From: "Marcin 'Qrczak' Kowalczyk" X-Sender: mk167280@zodiac.mimuw.edu.pl To: caml-list@inria.fr Subject: Re: [Caml-list] variant with tuple arg in pattern match? In-Reply-To: <200104101210.NAA11307@crab.dcs.gla.ac.uk> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tue, 10 Apr 2001 reig@dcs.gla.ac.uk wrote: > After all, we already use juxtaposition for curried function > definitions: But not function types. Clean goes further and the type of e.g. map can be written thus: (a -> b) [a] -> [b] -- Marcin 'Qrczak' Kowalczyk ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr