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.3 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE, MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 20920BB84 for ; Sun, 9 Nov 2008 20:17:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmYFAMnFFknAXQIngWdsb2JhbACBdopYAYdSAQEWIqldiiSDWA X-IronPort-AV: E=Sophos;i="4.33,569,1220220000"; d="scan'208";a="19771712" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Nov 2008 20:17:40 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mA9JHeMu032370 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 9 Nov 2008 20:17:40 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmATAMnFFklN6B+lU2dsb2JhbACBdopYAYdIARYKCQYSqV+KJINY X-IronPort-AV: E=Sophos;i="4.33,569,1220220000"; d="scan'208";a="31295710" Received: from fe02x03-cgp.akado.ru (HELO akado.ru) ([77.232.31.165]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Nov 2008 20:17:39 +0100 Received: from [10.0.66.9] ([10.0.66.9] verified) by fe02-cgp.akado.ru (CommuniGate Pro SMTP 5.1.16) with ESMTPS id 36351195 for caml-list@inria.fr; Sun, 09 Nov 2008 22:17:37 +0300 Date: Sun, 9 Nov 2008 22:17:47 +0300 (MSK) From: malc X-X-Sender: malc@linmac.oyster.ru To: caml-list@inria.fr Subject: Optional arguments Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Miltered: at concorde with ID 49173754.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; malc:01 val:01 int:01 int:01 caml:02 objective:02 unit:03 let:03 let:03 perhaps:05 arguments:07 fun:08 optional:09 version:13 print:13 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? -- mailto:av1474@comtv.ru