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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id AC11DBB84 for ; Thu, 13 Nov 2008 10:45:06 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AikDAGKGG0nAXQImgWdsb2JhbACTXgEBFiK8R4NX X-IronPort-AV: E=Sophos;i="4.33,596,1220220000"; d="scan'208";a="31409495" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Nov 2008 10:44:54 +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 mAD9isqx003302 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 13 Nov 2008 10:44:54 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoIBADeGG0nUGyokkWdsb2JhbACTXgEBAQEJCwoHEQO8Q4NX X-IronPort-AV: E=Sophos;i="4.33,596,1220220000"; d="scan'208";a="19905399" Received: from smtp6-g19.free.fr ([212.27.42.36]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Nov 2008 10:44:54 +0100 Received: from smtp6-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp6-g19.free.fr (Postfix) with ESMTP id BEB3617246 for ; Thu, 13 Nov 2008 10:44:53 +0100 (CET) Received: from [192.168.0.121] (did75-6-82-226-95-82.fbx.proxad.net [82.226.95.82]) by smtp6-g19.free.fr (Postfix) with ESMTP id 7EC71197AC for ; Thu, 13 Nov 2008 10:44:51 +0100 (CET) Subject: Unbound constructor message From: Colonna Francois To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-15 Date: Thu, 13 Nov 2008 10:44:46 +0100 Message-Id: <1226569486.11593.7.camel@asus.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.8.0 (2.8.0-40.el5) Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 491BF716.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; unbound:01 unbound:01 constructor:01 constructor:01 francois:02 francois:02 module:03 error:12 programmers:13 add:14 does:14 thanks:17 hello:17 there:18 precision:21 Hello, the error message "Unbound constructor A.a" does not tell if module A is currently accessible or not. This makes programmers uncomfortable. Is there any reason not to add this precision ? Thanks François Colonna