From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7OEn5gY007318 for ; Wed, 24 Aug 2011 16:49:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0BAMoNVU7RVdi2kGdsb2JhbABCp28IFAEBAQEJCQ0HFAQhgVkCLAEbHgMSEF0BEQEFASIbGqM5glgKjDmCVYVBO4htAgMGhkMEh1uLPoxcPINo X-IronPort-AV: E=Sophos;i="4.68,275,1312149600"; d="scan'208";a="117034285" Received: from mail-qy0-f182.google.com ([209.85.216.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Aug 2011 16:49:01 +0200 Received: by qyk9 with SMTP id 9so1044093qyk.6 for ; Wed, 24 Aug 2011 07:49:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; bh=sKpWnEkIA2jnf9P82WLWJ7GLeNo7hqPQCzZDWDSNnNY=; b=l0WE+i2TwJOTsKgiMnIi14jip+AXFpqnJ689stDjfK4RCJ4k50hukTqNrblCrU+Nsl LeexilZQuLKU9zeTJEATg3OZ8asR8TMeJGu5jaghwmc59Afe46HiPznF31AywEFpL06E +KbhY2UtgfM5g0LbH3EDPGZJ/2C7Y5SGQBirM= MIME-Version: 1.0 Received: by 10.229.63.160 with SMTP id b32mr823581qci.50.1314197340375; Wed, 24 Aug 2011 07:49:00 -0700 (PDT) Received: by 10.229.76.229 with HTTP; Wed, 24 Aug 2011 07:49:00 -0700 (PDT) Date: Wed, 24 Aug 2011 18:49:00 +0400 Message-ID: From: Dmitry Bely To: Caml List Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] Labelled parameter bug? The following fragment compiles without a warning but produces strange results: let f ?(p1="p1") ~p2 p3 = Printf.printf "p1=%s, p2=%s, p3=%s\n" p1 p2 p3 let _ = f "p2" "p3"; (* 1 *) let f2 = f "p2" in f2 "p3" (* 2 *) Outputs: p1=p1, p2=p2, p3=p3 (1) p1=p1, p2=p3, p3=p2 (2) Why (1) and (2) are different? I assume f "p2" takes p3 instead of p2 but then the compiler should issue at least a warning... - Dmitry Bely