From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <micha-1@fantasymail.de>
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,SPF_FAIL 
	autolearn=disabled version=3.1.3
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 67813BBAF
	for <caml-list@yquem.inria.fr>; Wed,  8 Apr 2009 12:29:06 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtgFAIcZ3EnVpUAUaGdsb2JhbACWHg0LAwcHEQO3OYN7Bg
X-IronPort-AV: E=Sophos;i="4.39,344,1235948400"; 
   d="scan'208";a="24193810"
Received: from mail.gmx.net ([213.165.64.20])
  by mail2-smtp-roc.national.inria.fr with SMTP; 08 Apr 2009 12:29:06 +0200
Received: (qmail invoked by alias); 08 Apr 2009 10:29:05 -0000
Received: from F4526.f.ppp-pool.de (EHLO [10.123.101.36]) [195.4.69.38]
  by mail.gmx.net (mp043) with SMTP; 08 Apr 2009 12:29:05 +0200
X-Authenticated: #20477425
X-Provags-ID: V01U2FsdGVkX194ph4TxB94DuIdjo19uY6bZ99vn7pPkBCT4lAqzQ
	0l5lSvlQVrrXNb
From: Michael <micha-1@fantasymail.de>
To: =?utf-8?q?J=C3=A9r=C3=A9mie_Dimino?= <jeremie@dimino.org>
Subject: Re: [Caml-list] storing object in record
Date: Wed, 8 Apr 2009 12:29:03 +0200
User-Agent: KMail/1.9.9
References: <200904080936.16263.micha-1@fantasymail.de> <1239177288.6630.41.camel@localhost.localdomain>
In-Reply-To: <1239177288.6630.41.camel@localhost.localdomain>
Cc: caml-list@yquem.inria.fr
MIME-Version: 1.0
Content-Type: text/plain;
  charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Message-Id: <200904081229.03099.micha-1@fantasymail.de>
X-Y-GMX-Trusted: 0
X-FuHaFi: 0.65
X-Spam: no; 0.00; forall:01 2009:98 caml-list:01 constraint:01 constraint:01 objects:02 sie:96 michael:07 michael:07 storing:08 object:09 similar:12 isn't:13 type:14 type:14 

Am Wednesday 08 April 2009 09:54:48 schrieben Sie:

> There is no value of type: forall 'a. #baseclass as 'a.

is this similar? :

 type 'a xx = 'a constraint 'a = < asBase: baseObject; .. > ;;

(why does: type 'a xx = < asBase: baseObject; ..>  as 'a  not work instead? )


 type 'a r = { state: 'a xx };;

gives:
type 'a r = { state : 'a xx; } constraint 'a = < asBase : baseObject; .. >


so the record holds objects with an asBase method and more, isn't this the 
same as #baseObject?


 Michael