English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] disassembling cmo files
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-12-07 (10:02)
From: Jonathan Roewen <jonathan.roewen@g...>
Subject: Re: [Caml-list] disassembling cmo files
On 12/7/05, David Baelde <david.baelde@gmail.com> wrote:
> 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.

Yes, I've used that before, but those are pseudo instructions .. not
what actually goes into a bytecode file I believe.

> IIRC, the ocaml/tools directory (from Ocaml CVS)
> contains a dumpobj.ml which should do it.

I tried compiling, but it complains about an undefined field in
debug_event, line 391 (ocaml3.09.0).