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 485767EEB4 for ; Wed, 6 Feb 2013 16:36:40 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andre@digirati.com.br) identity=pra; client-ip=187.73.32.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of andre@digirati.com.br designates 187.73.32.184 as permitted sender) identity=mailfrom; client-ip=187.73.32.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="andre@digirati.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mta112.f1.k8.com.br designates 187.73.32.184 as permitted sender) identity=helo; client-ip=187.73.32.184; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="andre@digirati.com.br"; x-sender="postmaster@mta112.f1.k8.com.br"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcGAEB3ElG7SSC4gWdsb2JhbABFujOGERYOAQEWJieCZgEBODs0BQwNAQ6IRwqoXoQ7AQWPDQYVjh2CSGGWI4EehTWNFg X-IPAS-Result: AgcGAEB3ElG7SSC4gWdsb2JhbABFujOGERYOAQEWJieCZgEBODs0BQwNAQ6IRwqoXoQ7AQWPDQYVjh2CSGGWI4EehTWNFg X-IronPort-AV: E=Sophos;i="4.84,615,1355094000"; d="asc'?scan'208";a="1285601" Received: from mta112.f1.k8.com.br ([187.73.32.184]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 06 Feb 2013 16:30:26 +0100 Received: from localhost (localhost [127.0.0.1]) by smtpz.f1.k8.com.br (Postfix) with ESMTP id BFD47801DA for ; Wed, 6 Feb 2013 15:36:34 +0000 (UTC) X-Virus-Scanned: amavisd-new at k8.com.br Received: from smtpz.f1.k8.com.br ([127.0.0.1]) by localhost (mta112.f1.k8.com.br [127.0.0.1]) (amavisd-new, port 10024) with LMTP id qrX5Y1VbmY+H for ; Wed, 6 Feb 2013 15:36:34 +0000 (UTC) Received: from andre (unknown [201.76.188.234]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by smtpz.f1.k8.com.br (Postfix) with ESMTPSA id 8E5F980112 for ; Wed, 6 Feb 2013 15:36:33 +0000 (UTC) X-DKIM: OpenDKIM Filter v2.6.8 smtpz.f1.k8.com.br 8E5F980112 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=digirati.com.br; s=default; t=1360164994; bh=vNW/QTCny2BDdhmPNx1dVNIYTSDYJSqqId6hWDsTtsw=; h=Date:From:To:Subject; b=CeBsaxU2sv85+L1XB4YzSNQefzYmQsp9o3fVkxbuJtK6Mss1jUIV00zELhWiSHEHK fRBr4PdPH93H6WYSUDqWA0kJq6Yj5KZ+KEjcqVIwJvV43j+LAY0QfMdg2yreM9xfnn 3SFzKJ08Q4HBuNoZqD81jN/fLV2RBXfYCSwS89sg= Date: Wed, 6 Feb 2013 13:36:35 -0200 From: Andre Nathan To: caml-list@inria.fr Message-ID: <20130206153635.GF27220@andre> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="s5/bjXLgkIwAv6Hi" Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] memprof patch and object-oriented code --s5/bjXLgkIwAv6Hi Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Hello I'm trying to compile lwt using ocaml 3.12.1 with the memprof patch [1] but I'm having problems compiling the Lwt_stream module, which uses objects. The error I get is exception Assert_failure("bytecomp/typeopt.ml", 323, 20) It seems that the patch needs to be modified to support object-oriented code [2] but I couldn't find anywhere which specific changes need to be made. Does anyone know what those are? Thanks, Andre [1]http://bozman.cagdas.free.fr/documents/ocamlmemprof-3.12.1.patch [2]https://groups.google.com/forum/#!msg/fa.caml/Lxuz6_-7HQ0/HSoqYFOw7QkJ --s5/bjXLgkIwAv6Hi Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAEBAgAGBQJREniDAAoJED4JW1qwFY2cBo0H/1VuCEGYRgqgLzNg9IduTTHt u1ZNuSEPOSM3HfuMA2vyenMbipPjQBOch4hBbrBFcam10yTn+GpQRpfuyg6ArNYK nLgHalFTpCMagl58kSsgH5g9FQ5/YlUx9fwbeNg6FDLn8l+wD4/9Fw95hXVGmpP2 T13aI0LTCO9wthIZ6Q6LwKQqiHAWr+4aMO4Qnjvr6DH2LaUzTB1Y2Ip3prOnQZ8q l7AVRlXztSt8+yEEiz7JB9tEjDi+4Bx3+2mlt9XvZx1kLhPMSOAFu5uoj92RK+rX O721pj69U1NwLq0N1qoZuBwKKclLFYFeUNfNbO9peX9P+364xDnr7JQZrzBtUIE= =+Rtf -----END PGP SIGNATURE----- --s5/bjXLgkIwAv6Hi--