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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 46E70BBAF for ; Tue, 6 Oct 2009 15:13:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYBAHbfykrU4366lGdsb2JhbACBUJkmAQEBAQkLCAkTA7gaAoF2gjIE X-IronPort-AV: E=Sophos;i="4.44,513,1249250400"; d="scan'208";a="48052658" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Oct 2009 15:13:50 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-220-178.pools.arcor-ip.net [94.219.220.178]) by mrelayeu.kundenserver.de (node=mreu1) with ESMTP (Nemesis) id 0MIAwM-1MtWEN35Go-003MTB; Tue, 06 Oct 2009 15:13:49 +0200 Received: from [192.168.1.105] (82-217-198-247.cable.quicknet.nl [82.217.198.247]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 65D90C0EA0; Tue, 6 Oct 2009 15:13:49 +0200 (CEST) Subject: Re: [Caml-list] Constructors are not functions From: Gerd Stolpmann To: Chantal KELLER Cc: caml-list In-Reply-To: <4ACB319A.1080608@wanadoo.fr> References: <4ACB319A.1080608@wanadoo.fr> Content-Type: text/plain Date: Tue, 06 Oct 2009 15:18:34 +0200 Message-Id: <1254835114.7643.0.camel@flake.lan.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Provags-ID: V01U2FsdGVkX1+crsvxjsGbrVA7tsIzlzdLjPPQHXOP2FOshh8 Iy9DPmhAWxnFpKburmJjn0QUdgLBvv/mCnheKyRsuWXCXsAAaC XDxFCBuSUmzhEro89DX0g== X-Spam: no; 0.00; constructors:01 gerd:01 stolpmann:01 gerd:01 ocaml:01 constructors:01 foo:01 foo:01 foobar:01 foobar:01 stolpmann:01 darmstadt:01 6151:01 6151:01 dienstag:98 Here is the answer: http://groups.google.com/group/fa.caml/browse_thread/thread/20e96409c5418394/5907e1593a84b03a Gerd Am Dienstag, den 06.10.2009, 14:01 +0200 schrieb Chantal KELLER: > Dear Ocaml users, > > Is there a reason for constructors not to behave like functions? For > instance, one cannot make a partial application from a constructor: > > # type foo = | Bar of int;; > type foo = Bar of int > # let foobar = Bar in foobar 17;; > Error: The constructor Bar expects 1 argument(s), > but is applied here to 0 argument(s) > > Thanks, -- ------------------------------------------------------------ Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ------------------------------------------------------------