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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1DB91BB84 for ; Thu, 13 Nov 2008 19:47:31 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcCANQEHEnAXQImgWdsb2JhbACBdpFpAQEWIrMXhlWEU4NX X-IronPort-AV: E=Sophos;i="4.33,598,1220220000"; d="scan'208";a="17181430" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Nov 2008 19:47:30 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mADIlUTn015776 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 13 Nov 2008 19:47:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0BANQEHEmAArkpkWdsb2JhbACBdpFpAQEBAQkLCgcRsxeGVYRTg1c X-IronPort-AV: E=Sophos;i="4.33,598,1220220000"; d="scan'208";a="19929732" Received: from chokecherry.srv.cs.cmu.edu ([128.2.185.41]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Nov 2008 19:47:29 +0100 Received: from stratocaster.home (c-67-165-55-87.hsd1.pa.comcast.net [67.165.55.87]) (authenticated bits=0) by chokecherry.srv.cs.cmu.edu (8.13.6/8.13.6) with ESMTP id mADIlReR002938 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Thu, 13 Nov 2008 13:47:27 -0500 (EST) Received: from ecc by stratocaster.home with local (Exim 4.69) (envelope-from ) id 1L0hDp-00010G-BL for caml-list@inria.fr; Thu, 13 Nov 2008 13:47:17 -0500 Date: Thu, 13 Nov 2008 13:47:17 -0500 From: Eric Cooper To: caml-list@inria.fr Subject: Re: [Caml-list] Unbound constructor message Message-ID: <20081113184717.GC3648@localhost> Mail-Followup-To: caml-list@inria.fr References: <1226569486.11593.7.camel@asus.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1226569486.11593.7.camel@asus.localdomain> User-Agent: Mutt/1.5.18 (2008-05-17) X-Scanned-By: mimedefang-cmuscs on 128.2.185.41 X-Miltered: at discorde with ID 491C7642.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0100,:01 wishlist:01 bug:01 unbound:01 unbound:01 wrote:01 caml-list:01 constructor:01 constructor:01 caml:02 francois:02 module:03 thu:05 inria:06 php:87 On Thu, Nov 13, 2008 at 10:44:46AM +0100, Colonna Francois wrote: > the error message > > "Unbound constructor A.a" > > does not tell if module A is currently accessible or not. > This makes programmers uncomfortable. Agreed. I filed a wishlist bug about this a while ago: http://caml.inria.fr/mantis/view.php?id=4510 -- Eric Cooper e c c @ c m u . e d u