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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 954EABB84 for ; Thu, 19 Jun 2008 23:38:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnABACdvWkjAXQIniGdsb2JhbACSCUMBAQEPIJkzhDI X-IronPort-AV: E=Sophos;i="4.27,674,1204498800"; d="scan'208";a="14131852" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 19 Jun 2008 23:38:40 +0200 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 m5JLcdD5000334 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 19 Jun 2008 23:38:40 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhwBACBuWkhC+VLgfGdsb2JhbACSCUMBAQsFAgQJEZkuhDE X-IronPort-AV: E=Sophos;i="4.27,674,1204498800"; d="scan'208";a="14268384" Received: from wx-out-0506.google.com ([66.249.82.224]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Jun 2008 23:38:39 +0200 Received: by wx-out-0506.google.com with SMTP id s18so393857wxc.0 for ; Thu, 19 Jun 2008 14:38:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender :to:subject:mime-version:content-type:content-transfer-encoding :content-disposition:x-google-sender-auth; bh=zJ5+Q9U/FWRCfa12hQh4A0hKgRJ83j4hoWfrGNNFCDg=; b=ShrVHbJzWl34km5nSZHvCA621IIqaX4aJwBjP6eMnlIss0GoBfeq42I6SoBGbA/GOY aCR5iir4OYUOmanzKmUYmBdhjZfYGIabeyzB6h+g1qtNDOv6IUtrdN2KFtipWJz+w45q C47oLXr9XbP5JL/6iom2ZrJ0rNy7Btjroar7I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition:x-google-sender-auth; b=lVp1N9v7W3CkaPiNA+T2QtgV6bEypDePPLGhhGTYCVDSK5Plpf+p5iZZnHArQSn0Gj 0zvl2nFsg06A/FHNuBRHWL/sRYzQWMxSmggK+7lH4OMIjI2y6mpFLN0j616amQdlb0O/ BYwszsu8cBsgPDq/ER0JwLR7zxTQ4WyffjuD4= Received: by 10.70.19.20 with SMTP id 20mr2847323wxs.54.1213911518187; Thu, 19 Jun 2008 14:38:38 -0700 (PDT) Received: by 10.70.56.18 with HTTP; Thu, 19 Jun 2008 14:38:38 -0700 (PDT) Message-ID: Date: Thu, 19 Jun 2008 14:38:38 -0700 From: "Jake Donham" Sender: jake.donham@gmail.com To: "caml users" Subject: surprising type error with labels MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline X-Google-Sender-Auth: cb25f86cd92fe5cd X-Miltered: at concorde with ID 485AD1DF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; listlabels:01 listlabels:01 4.1:98 surprising:01 omitted:01 expression:02 labels:03 labels:03 module:03 manual:06 function:08 fun:08 fun:08 top:89 rule:10 Hi list, Why does ListLabels.find (fun _ -> true) [];; produce Characters 16-31: ListLabels.find (fun _ -> true) [];; ^^^^^^^^^^^^^^^ This expression should not be a function, the expected type is ('a -> 'b) list I thought the rule was that "if an application is total, labels may be omitted." (4.1 in the manual). (I was trying to do module List = ListLabels at the top of a file.) Thanks, Jake