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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 31AD4BC69 for ; Fri, 5 Oct 2007 13:47:47 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABLBBUfBMHhLn2dsb2JhbACOOQIBAQcEBgkIGA X-IronPort-AV: E=Sophos;i="4.21,235,1188770400"; d="asc'?scan'208";a="3791574" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2007 13:47:47 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l95BlfF8011303 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 5 Oct 2007 13:47:46 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABLBBUfBMHhLn2dsb2JhbACOOQIBAQcEBgkIGA X-IronPort-AV: E=Sophos;i="4.21,235,1188770400"; d="asc'?scan'208";a="3791571" Received: from net.univ-savoie.fr ([193.48.120.75]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2007 13:47:46 +0200 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l95BlcZL006532 ; Fri, 5 Oct 2007 13:47:38 +0200 Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l95BlVVV018678 ; Fri, 5 Oct 2007 13:47:32 +0200 Message-ID: <47062451.4030600@univ-savoie.fr> Date: Fri, 05 Oct 2007 13:47:29 +0200 From: Christophe Raffalli User-Agent: Thunderbird 1.5.0.13 (X11/20070824) MIME-Version: 1.0 To: Vincent Aravantinos Cc: Luca de Alfaro , Inria Ocaml Mailing List Subject: Re: [Caml-list] Why can't I call a function over a subclass? References: <28fa90930710050048p3d6f4e8cs8e13d0fe49d296f2@mail.gmail.com> <4705EF58.3040605@bik-gmbh.de> <28fa90930710050108k34cff56dge24e1e9c4a01f9bd@mail.gmail.com> In-Reply-To: X-Enigmail-Version: 0.94.2.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigAB871DBC6319EF358AA25680" X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at concorde with ID 4706245D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 ocaml:01 type-checker:01 unification:01 type-checker:01 ocaml:01 chablais:01 73376:01 univ-savoie:01 lama:01 caml-list:01 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigAB871DBC6319EF358AA25680 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable The problem is that OCaml type-checker is unification based instead of su= btyping-constraint based and therefore require (useless) type cast in some place (with variant and= objects) ... This is why you get unnatural behaviour of the type-checker with oo and variant in OC= aml ... --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enigAB871DBC6319EF358AA25680 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFHBiRYi9jr/RgYAS4RAr3xAKCjpKdii4ao9G2lguuO9Q/jzcPFBgCgj8JB 1PxXBXkJKbVBMxAKpbApc/Q= =eV3o -----END PGP SIGNATURE----- --------------enigAB871DBC6319EF358AA25680--