From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 4D3347F2E5 for ; Wed, 9 Jan 2013 02:00:17 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mcbrowne@hotmail.com) identity=pra; client-ip=65.55.116.41; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="mcbrowne@hotmail.com"; x-sender="mcbrowne@hotmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of mcbrowne@hotmail.com designates 65.55.116.41 as permitted sender) identity=mailfrom; client-ip=65.55.116.41; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="mcbrowne@hotmail.com"; x-sender="mcbrowne@hotmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@blu0-omc1-s30.blu0.hotmail.com) identity=helo; client-ip=65.55.116.41; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="mcbrowne@hotmail.com"; x-sender="postmaster@blu0-omc1-s30.blu0.hotmail.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMBAPG+7FBBN3Qpk2dsb2JhbABEgkiGCrUNFg4BAQEBCQkLCRQDJIIeAQEEAX4LCwQBQVcGiBcBDAaoCYFxhhABI4ZzjWyCSGEDiCw1iACGR5JC X-IronPort-AV: E=Sophos;i="4.84,433,1355094000"; d="scan'208,217";a="167804789" Received: from blu0-omc1-s30.blu0.hotmail.com ([65.55.116.41]) by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Jan 2013 02:00:16 +0100 Received: from BLU171-W36 ([65.55.116.8]) by blu0-omc1-s30.blu0.hotmail.com with Microsoft SMTPSVC(6.0.3790.4675); Tue, 8 Jan 2013 17:00:15 -0800 X-EIP: [fQMjvApvLJyhXNlT9V3CUiUODixdaJiE] X-Originating-Email: [mcbrowne@hotmail.com] Message-ID: Content-Type: multipart/alternative; boundary="_a94637bf-a5e5-4226-aa7c-4be7fc15e59d_" From: Michael Browne To: Date: Tue, 8 Jan 2013 17:00:15 -0800 Importance: Normal In-Reply-To: References: MIME-Version: 1.0 X-OriginalArrivalTime: 09 Jan 2013 01:00:15.0313 (UTC) FILETIME=[AF5EFC10:01CDEE04] Subject: RE: [Caml-list] ocaml-memprof for Mac OS X? --_a94637bf-a5e5-4226-aa7c-4be7fc15e59d_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Actually, now I see that this has nothing to do with Mac OS X. I fail in t= he same way on a linux system when I try to compile: type foo =3D NAME of string class bar =3D object (self) method baz =3D NAME "test" end If baz has an argument, it compiles without any problem. Similarly, if baz= returns a Big_int or just an integer, no problem. Any suggestions? --Mike > I'm attempting to use the ocaml-memprof patch for OCaml 3.12.0 on Mac OS = X, > but using the resulting ocamlopt often fails with an assertion: >=20 > Fatal error: exception Assert_failure("bytecomp/typeopt.ml", 569, 9) >=20 > This is an assertion in record_representation when the type parameter's d= esc > field does not match what is expected (Tconstr). >=20 > Has anyone gotten ocaml-memprof to work on Mac OSX? Otherwise, is there a > description of the internals of this patch somewhere and/or a description= of > how the code generation differs between Mac OS X and Linux so I could get= some > idea of where to go from here? =20=09=09=20=09=20=20=20=09=09=20=20= --_a94637bf-a5e5-4226-aa7c-4be7fc15e59d_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Actually, now I see that this has nothing to do with Mac OS X.  I fail= in the same way on a linux system when I try to compile:

 &nbs= p;  type foo =3D NAME of string
    class bar =3D ob= ject (self)
        method baz =3D NA= ME "test"
    end

If baz has an argument, it compi= les without any problem.  Similarly, if baz returns a Big_int or just = an integer, no problem.

Any suggestions?
    --Mik= e

> I'm attempting to = use the ocaml-memprof patch for OCaml 3.12.0 on Mac OS X,
> but using= the resulting ocamlopt often fails with an assertion:
>
> Fat= al error: exception Assert_failure("bytecomp/typeopt.ml", 569, 9)
> <= br>> This is an assertion in record_representation when the type paramet= er's desc
> field does not match what is expected (Tconstr).
> =
> Has anyone gotten ocaml-memprof to work on Mac OSX? Otherwise, is= there a
> description of the internals of this patch somewhere and/o= r a description of
> how the code generation differs between Mac OS X= and Linux so I could get some
> idea of where to go from here?
= --_a94637bf-a5e5-4226-aa7c-4be7fc15e59d_--