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=1.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 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 AE8B3BB84 for ; Sun, 9 Nov 2008 20:51:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCAPPNFknAXQIngWdsb2JhbACUIQEBFiKzcINY X-IronPort-AV: E=Sophos;i="4.33,569,1220220000"; d="scan'208";a="31296178" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Nov 2008 20:51:47 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mA9JpkAS000395 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 9 Nov 2008 20:51:47 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkwCADLOFknCpx6wgWdsb2JhbACUIQEBFiKzc4NY X-IronPort-AV: E=Sophos;i="4.33,569,1220220000"; d="scan'208";a="19025821" Received: from unknown (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Nov 2008 20:51:46 +0100 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 2A23212B4B3; Sun, 9 Nov 2008 20:51:44 +0100 (CET) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 9F02536E60; Sun, 9 Nov 2008 20:51:47 +0100 (CET) Subject: Re: [Caml-list] Optional arguments From: David Teller To: malc Cc: caml-list@inria.fr In-Reply-To: References: Content-Type: text/plain Date: Sun, 09 Nov 2008 20:51:44 +0100 Message-Id: <1226260304.6585.16.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 49173F52.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; univ-orleans:01 cheers:01 malc:01 val:01 univ-orleans:01 lifo:01 liquidations:98 wrote:01 caml-list:01 int:01 int:01 caml:02 argument:02 objective:02 unit:03 What were you expecting? Your definition of [a] always passes argument [i] to [b], so the default value is never used. Cheers, David On Sun, 2008-11-09 at 22:17 +0300, malc wrote: > Objective Caml version 3.10.0 > > # let a i = let b ?(i=i mod 3) () = i in b ~i ();; > val a : int -> int = > # for i = 0 to 5 do print_int (a i); done;; > 012345- : unit = () > > Is this something to be expected? Or perhaps something which calls > for an upgrade? > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.