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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 79FE37F712 for ; Thu, 23 Jan 2014 23:22:16 +0100 (CET) Received-SPF: None (mail3-smtp-sop.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=mail3-smtp-sop.national.inria.fr; envelope-from="raffalli@univ-savoie.fr"; x-sender="Christophe.Raffalli@univ-savoie.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-smtp-sop.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=mail3-smtp-sop.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: ApsBABaV4VLBMH5JnGdsb2JhbABag0SpUZRRFg4BAQEBAQgLCQkUKIIlAQEBBFMbCxALDgoJBCEPBTEYJYdfAxUJwSsDhWAXkiuBFASYIgGBMpQU X-IPAS-Result: ApsBABaV4VLBMH5JnGdsb2JhbABag0SpUZRRFg4BAQEBAQgLCQkUKIIlAQEBBFMbCxALDgoJBCEPBTEYJYdfAxUJwSsDhWAXkiuBFASYIgGBMpQU X-IronPort-AV: E=Sophos;i="4.95,708,1384297200"; d="asc'?scan'208";a="45918640" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jan 2014 23:22:15 +0100 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 9DFBC4218E; Thu, 23 Jan 2014 23:22:15 +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 9SOalsrul+Yz; Thu, 23 Jan 2014 23:22:15 +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 8B05C4218B; Thu, 23 Jan 2014 23:22:15 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id 8F5D64A0B3; Thu, 23 Jan 2014 23:22:15 +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 Zbd5r8hPnoYa; Thu, 23 Jan 2014 23:22:15 +0100 (CET) Received: from localhost (bin73-1-78-240-16-62.fbx.proxad.net [78.240.16.62]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPSA id 3132B4A07F; Thu, 23 Jan 2014 23:22:15 +0100 (CET) Date: Thu, 23 Jan 2014 23:22:11 +0100 From: Christophe Raffalli To: Haoyang Wang Cc: Caml list Message-ID: <20140123222210.GA25365@delli7.univ-savoie.fr> References: <20140123161816.GE13626@delli7.univ-savoie.fr> <590081CE-54BB-4C2F-8E38-3EBFF5F7FDED@pobox.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="qMm9M+Fa2AknHoGS" Content-Disposition: inline In-Reply-To: <590081CE-54BB-4C2F-8E38-3EBFF5F7FDED@pobox.com> User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: Re: [Caml-list] First mandatory and safe use of Obj ? --qMm9M+Fa2AknHoGS Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On 14-01-23 12:53:24, Haoyang Wang wrote: > > module type MType =3D module type of MyFunctor (struct let env =3D Obj= .magic 0 end) > >=20 > > This works well and Obj.magic is never run ... >=20 > raise an exception instead? or assert false, I will do that. =20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --qMm9M+Fa2AknHoGS Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlLhlhIACgkQi9jr/RgYAS6PlQCgiZcM2hmaCONNTFRLHEu9JyVP aSEAn3DxVCj2r48xLy1j7v4RoHZ0pjC8 =/i5K -----END PGP SIGNATURE----- --qMm9M+Fa2AknHoGS--