From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 235077EC41 for ; Wed, 24 Oct 2012 23:31:01 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of didier.cassirame@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="didier.cassirame@gmail.com"; x-sender="didier.cassirame@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of didier.cassirame@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="didier.cassirame@gmail.com"; x-sender="didier.cassirame@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="didier.cassirame@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjgCAOFciFDRVda2k2dsb2JhbABEhhS7YQgjAQEBAQkJCwkUBCOCFQkBAQEDARICDx0BGx0BAwELBgUDAQcDNAICIQEBEQEFARwGEwgah08BAwkGnVFgCQOLWU+CdoR+ChknDVmIdQEFDIpuhkGBEwOUHoFViymDLxYphBM X-IronPort-AV: E=Sophos;i="4.80,642,1344204000"; d="scan'208";a="178798999" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Oct 2012 23:31:00 +0200 Received: by mail-ob0-f182.google.com with SMTP id wc20so1667717obb.27 for ; Wed, 24 Oct 2012 14:30:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=KxcUkwMkggDMdAWb4+x3eETxRqrDIvcW1ZsZs8mLtv4=; b=kIbLCjIt8jVJNLdZDxOJdnX4naBP9LS6g8BCMUMFg13fNqT9DfeeS+72MKOX1J0wIT QjI+37WPokf73XrJUef47hxRmmuE1cIfDyfi2LK+HmiJuo8mPN7APZfCzkl/kM06+WJo 93OnOdQOR6XKkkPxfYKQvL44UuMS2RHyP4d1fopYijx9vK2eCTQYINoUEBEh5oacUs5Z Fq8iy1ixfzyOc/4MX0TkloIOa2QM3Za3fzCWRJAN0NxRM71AVp0nPyNuMRC7jqoEWakB /YP1Mos+RUpdcQ5CtyMrTVFti1cU1OYYyzRue3nhqaeRY+dKtRR2spICQtMW0zGTt4te JUuA== Received: by 10.60.7.225 with SMTP id m1mr15483033oea.122.1351114259424; Wed, 24 Oct 2012 14:30:59 -0700 (PDT) MIME-Version: 1.0 Received: by 10.60.137.198 with HTTP; Wed, 24 Oct 2012 14:30:39 -0700 (PDT) In-Reply-To: References: <20121024200310.9c639f43a97263423e113500@gmerlin.de> <20121024213213.2e447165b7c4ea9ad9d8e154@gmerlin.de> From: Didier Cassirame Date: Wed, 24 Oct 2012 23:30:39 +0200 Message-ID: To: Christopher Zimmermann Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=e89a8fb1ef407be5f404ccd4cd42 Subject: Re: [Caml-list] Re: typing mutually recursive classes --e89a8fb1ef407be5f404ccd4cd42 Content-Type: text/plain; charset=UTF-8 2012/10/24 Didier Cassirame wrote > I don't think there's a way to avoid casting the parameters of set to the > #element superclass outside the set method. (...) > Here, please read "I don't think there's a way to avoid casting the parameters to the #element superclass outside the register method". didier --e89a8fb1ef407be5f404ccd4cd42 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2012/10/24 Didier Cassirame <didie= r.cassirame@gmail.com> wrote