From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 B41A27EE94 for ; Tue, 8 Jan 2013 06:15:26 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.84,428,1355094000"; d="scan'208";a="188835092" Received: from sympa.inria.fr ([193.51.193.213]) by mail1-relais-roc.national.inria.fr with ESMTP; 08 Jan 2013 06:15:26 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A6C6B7EE96; Tue, 8 Jan 2013 06:15:26 +0100 (CET) To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7BIT From: X-Mailer: Sympa 6.1.7 Date: Tue, 8 Jan 2013 06:15:26 +0100 (CET) Subject: [Caml-list] ocaml-memprof for Mac OS X? 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: Fatal error: exception Assert_failure("bytecomp/typeopt.ml", 569, 9) This is an assertion in record_representation when the type parameter'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/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?