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.8 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 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 13A5EBC6B for ; Thu, 10 Jan 2008 16:35:35 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHvJhUeZYFcSeGdsb2JhbACQHwEKBAYPGpky X-IronPort-AV: E=Sophos;i="4.24,267,1196636400"; d="scan'208";a="6500838" Received: from mailgwb1.fraunhofer.de ([153.96.87.18]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Jan 2008 16:35:34 +0100 Received: from mailgwb1.fraunhofer.de (localhost [127.0.0.1]) by mailgwb1.fraunhofer.de (8.13.5+/8.13.4) with ESMTP id m0AFZL6h000616; Thu, 10 Jan 2008 16:35:21 +0100 (CET) Received: from kso.iais.fraunhofer.de (mail-gw.iais.fraunhofer.de [193.175.162.66]) by mailgwb1.fraunhofer.de (8.13.5+/8.13.4) with ESMTP id m0AFZJcN000479 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 10 Jan 2008 16:35:20 +0100 (CET) Received: from ksi.iais.fraunhofer.de (ksi.iais.fraunhofer.de [129.26.64.2]) by kso.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m0AFZ89H001117 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 10 Jan 2008 16:35:09 +0100 (CET) X-Received: iais.fraunhofer.de-policy from ksi.iais.fraunhofer.de (localhost [127.0.0.1]) by ksi.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m0AFZ29B016719; Thu, 10 Jan 2008 16:35:02 +0100 (CET) Received: from macbook-axel.ais.fraunhofer.de (macbook-axel.ais.fraunhofer.de [129.26.149.197]) by ksi.iais.fraunhofer.de (8.13.5+/8.13.5) with ESMTP id m0AFZ2ZT016711; Thu, 10 Jan 2008 16:35:02 +0100 (CET) Cc: caml-list@yquem.inria.fr Message-Id: <72230BDA-C6A0-47C4-93DB-3C6B64245632@iais.fraunhofer.de> From: =?ISO-8859-1?Q?Axel_Poign=E9?= To: Jacques GARRIGUE In-Reply-To: <20080110.215658.2004149870.garrigue@math.nagoya-u.ac.jp> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] Type checking question Date: Thu, 10 Jan 2008 16:35:00 +0100 References: <9f09a07a0801100005n5061a656ubbf7620e48e298ee@mail.gmail.com> <20080110.215658.2004149870.garrigue@math.nagoya-u.ac.jp> X-Mailer: Apple Mail (2.915) X-Fraunhofer-Email-Policy: accepted X-Spam: no; 0.00; fraunhofer:01 abstraction:01 caml-list:01 behaviour:01 checking:02 defining:02 widget:03 unexpected:03 jacques:03 widgets:05 classes:08 actually:10 example:10 question:13 type:14 Hello Jacques many thanks for the clarification. The example is an abstraction of a bigger piece of software with some unexpected behaviour (actually defining the ttk widget in terms of classes and building new composite widgets ). Your answer proves that this is not due to the afore-mentioned problems. Axel