-[ Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang ]---- > Hi list, > I noticed that Godi can pretty print cmi files, is there already > libraries parsing cmi files?
Yes you can do this using the compiler libs (not installed by default but debian have these in a separate package). For an exemple of use see for instance the small tool displaying mli signatures from this git repo: git clone http://git.gitorious.org/ocalme/cmidump.git -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs