From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 05552BB81 for ; Wed, 7 Dec 2005 10:52:27 +0100 (CET) Received: from zproxy.gmail.com (zproxy.gmail.com [64.233.162.204]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB79qQY5021861 for ; Wed, 7 Dec 2005 10:52:26 +0100 Received: by zproxy.gmail.com with SMTP id m7so352597nzf for ; Wed, 07 Dec 2005 01:52:25 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:reply-to:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=sgs0hZq877L8vEZ/H/cYxXwQDMZvmMdzIESGG9SZ48N5fqfx0jTSO/Hgow6x3omJJbiSmtfj5aT9qxHsgCP5EEImElKsadXcj+craXbpWY4m8/bjVWMaBcPWphtuoLFHrnSkr3RMDjL72OrRHrPfbGDtGe+khOZBFKpbw4Tvwdg= Received: by 10.65.138.14 with SMTP id q14mr1635666qbn; Wed, 07 Dec 2005 01:52:25 -0800 (PST) Received: by 10.65.185.10 with HTTP; Wed, 7 Dec 2005 01:52:25 -0800 (PST) Message-ID: <53c655920512070152jbafa79aw@mail.gmail.com> Date: Wed, 7 Dec 2005 10:52:25 +0100 From: David Baelde Reply-To: david.baelde@ens-lyon.org To: "basile@starynkevitch.net" Subject: Re: [Caml-list] disassembling cmo files Cc: Jonathan Roewen , caml-list@yquem.inria.fr In-Reply-To: <44995.132.166.133.216.1133945726.squirrel@panel.lost-oasis.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <44995.132.166.133.216.1133945726.squirrel@panel.lost-oasis.net> X-Miltered: at nez-perce with ID 4396B0DA.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 cmo:01 bytecode:01 ocamlc:01 ocaml:01 toplevel:01 bytecode:01 -dlambda:01 similarly:03 gmail:09 interesting:11 version:12 david:14 david:14 there:17 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.5 required=5.0 tests=RCVD_BY_IP,TO_ADDRESS_EQ_REAL autolearn=disabled version=3.0.3 Hi, A simple and interesting way to learn about the bytecode is the -dinstr option of ocamlc and ocaml toplevel. It dumps a human-readable version of the produced bytecode. Similarly, there is -dlambda. -- David