From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA02174 for caml-redistribution; Wed, 8 Dec 1999 20:59:31 +0100 (MET)
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 UAA17282 for <caml-list@pauillac.inria.fr>; Tue, 7 Dec 1999 20:33:44 +0100 (MET)
Received: from ruby (kyle79.zip.com.au [61.8.17.207])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA24843
	for <caml-list@inria.fr>; Tue, 7 Dec 1999 20:33:38 +0100 (MET)
Received: from maxtal.com.au (IDENT:root@localhost [127.0.0.1])
	by ruby (8.9.3/8.9.3) with ESMTP id FAA05687
	for <caml-list@inria.fr>; Wed, 8 Dec 1999 05:32:15 +1100
Sender: weis
Message-ID: <384D52AF.1BDE9F1C@maxtal.com.au>
Date: Wed, 08 Dec 1999 05:32:15 +1100
From: skaller <skaller@maxtal.com.au>
Organization: Maxtal
X-Mailer: Mozilla 4.51 [en] (X11; I; Linux 2.2.12 i586)
X-Accept-Language: en
MIME-Version: 1.0
CC: caml-list@inria.fr
Subject: Re: What will the new syntax be like? (O'Caml + O'Labl)
References: <39ADCF833E74D111A2D700805F1951EF180142F8@RED-MSG-06>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

let foo bar:a ?qux:c{=10} : unit = ...

	How do I curry a function with a default argument?
Does

	foo aa

mean

	foo aa 10 (* type unit *)

or is it a function with type int -> unit?

-- 
John Skaller, mailto:skaller@maxtal.com.au
10/1 Toxteth Rd Glebe NSW 2037 Australia
homepage: http://www.maxtal.com.au/~skaller
voice: 61-2-9660-0850