From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id D6951BC62 for ; Mon, 19 Sep 2005 10:44:37 +0200 (CEST) Received: from mxintern.schlund.de (mxintern.kundenserver.de [212.227.126.201]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j8J8ibeU019997 for ; Mon, 19 Sep 2005 10:44:37 +0200 Received: from [172.17.36.11] (helo=schluck.use.schlund.de) by mxintern.kundenserver.de with esmtp (Exim 4.34) id 1EHHGP-0008Sc-5N for caml-list@yquem.inria.fr; Mon, 19 Sep 2005 10:44:37 +0200 From: Michael Wohlwend To: caml-list@yquem.inria.fr Subject: object type error Date: Mon, 19 Sep 2005 10:44:36 +0200 User-Agent: KMail/1.8 X-Face: S)[vu%Bha1d&ej9GfwAq~7C}A,y[B.uS}+D6'hb~xPwsxymw$fnCOaMe<=?utf-8?q?*bnUajSBR=5Fm=3FR=0A=09?=@V3;iX8[A}z`.%pEQ1r7iZhN8#ktTCBQ}&mkx>=RH&l|l6\]NZI@ MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200509191044.36763.micha-1@fantasymail.de> X-Virus-Scanned: Symantec AntiVirus Scan Engine X-Miltered: at concorde with ID 432E7A75.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; implements:01 cheers:01 expression:01 declarations:02 interface:05 mostly:07 michael:07 michael:07 object:09 object:09 closed:11 methods:12 but:12 but:12 solution:13 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO,SPF_FAIL autolearn=disabled version=3.0.3 Hi, why do I often get this error message? ( type xxx is a class type and the other class implements this interface) ----------------------Error: This expression has type < (* many methods *); .. > but is here used with type xxx Self type cannot be unified with a closed object type --------------------- I try to get rid of them by adding random type declarations which I mostly don't understand :-), but that's not the solution. What is the reason for that message? cheers, Michael