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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 81A967F712 for ; Thu, 23 Jan 2014 17:18:32 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Christophe.Raffalli@univ-savoie.fr) identity=pra; client-ip=193.48.126.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="Christophe.Raffalli@univ-savoie.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of raffalli@univ-savoie.fr designates 193.48.126.73 as permitted sender) identity=mailfrom; client-ip=193.48.126.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="raffalli@univ-savoie.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@dsi-mta-out.univ-savoie.fr) identity=helo; client-ip=193.48.126.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="postmaster@dsi-mta-out.univ-savoie.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0BAIxA4VLBMH5JnGdsb2JhbABbwR4WDgEBAQEBCAsJCRQogn9iNAVJiByaTqs9kiuBFASYIgGVRg X-IPAS-Result: Ap0BAIxA4VLBMH5JnGdsb2JhbABbwR4WDgEBAQEBCAsJCRQogn9iNAVJiByaTqs9kiuBFASYIgGVRg X-IronPort-AV: E=Sophos;i="4.95,706,1384297200"; d="asc'?scan'208";a="54573184" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Jan 2014 17:18:18 +0100 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id C257F42185 for ; Thu, 23 Jan 2014 17:18:18 +0100 (CET) Received: from dsi-mta-out.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mta-out.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id ZQBq9KHbjjZD for ; Thu, 23 Jan 2014 17:18:18 +0100 (CET) Received: from dsi-mail-msa1.univ-savoie.fr (dsi-mail-msa1.univ-savoie.fr [193.48.126.83]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id AF98542182 for ; Thu, 23 Jan 2014 17:18:18 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id A53FF4A0B3 for ; Thu, 23 Jan 2014 17:18:18 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at dsi-mail-msa1.univ-savoie.fr Received: from dsi-mail-msa1.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mail-msa1.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id skowseEIjC1K for ; Thu, 23 Jan 2014 17:18:18 +0100 (CET) Received: from localhost (etu-im-pc15.local.univ-savoie.fr [192.168.144.15]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPSA id 88AA44A07F for ; Thu, 23 Jan 2014 17:18:18 +0100 (CET) Date: Thu, 23 Jan 2014 17:18:17 +0100 From: Christophe Raffalli To: Caml list Message-ID: <20140123161816.GE13626@delli7.univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="7mxbaLlpDEyR1+x6" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: [Caml-list] First mandatory and safe use of Obj ? --7mxbaLlpDEyR1+x6 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Hello, To recover the result type of a functor for which I can not yet write an argument, I end up writing~: module type MType = module type of MyFunctor (struct let env = Obj.magic 0 end) This works well and Obj.magic is never run ... But I or OCaml may miss a feature ? Cheers, Christophe --7mxbaLlpDEyR1+x6 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlLhQMgACgkQi9jr/RgYAS6MUwCg3dPdkUZY6nRjeKcMM+m7yF/g pvEAn2/UyBjYKfr07Lb3a2dWwFOieH0C =qKCz -----END PGP SIGNATURE----- --7mxbaLlpDEyR1+x6--