Re: [Caml-list] Parsing cmi file

2012-03-19 Thread Richard W.M. Jones
On Wed, Mar 14, 2012 at 02:14:12PM -0400, Hongbo Zhang wrote: > On 3/14/12 2:09 PM, Richard W.M. Jones wrote: > >On Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang wrote: > >>Hi list, > >>I noticed that Godi can pretty print cmi files, is there already > >>libraries parsing cmi files? > >cmigr

Re: [Caml-list] Parsing cmi file

2012-03-14 Thread Mehdi Dogguy
On 03/14/2012 07:14 PM, Hongbo Zhang wrote: > I tried, it does not compile, but it would be not hard to fix, I > guess. > In Debian, we apply the following patches to compile it: http://patch-tracker.debian.org/package/cmigrep/1.5-9 FWIW, it compiles and runs perfectly well with any OCa

Re: [Caml-list] Parsing cmi file

2012-03-14 Thread Hongbo Zhang
On 3/14/12 2:09 PM, Richard W.M. Jones wrote: On Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang wrote: Hi list, I noticed that Godi can pretty print cmi files, is there already libraries parsing cmi files? cmigrep may be worth looking at. It's also a nasty(-ish) hack since it has to use

Re: [Caml-list] Parsing cmi file

2012-03-14 Thread Richard W.M. Jones
On Tue, Mar 13, 2012 at 05:52:37PM -0400, bob zhang wrote: > Hi list, >I noticed that Godi can pretty print cmi files, is there already > libraries parsing cmi files? cmigrep may be worth looking at. It's also a nasty(-ish) hack since it has to use the compiler sources. I agree it would be n

Re: [Caml-list] Parsing cmi file

2012-03-14 Thread David Brown
On Wed, Mar 14, 2012 at 01:25:49AM +0100, Gerd Stolpmann wrote: Thanks. I know the dirty tricks, is there some way not that dirty? Godi did pretty printing this way? Yes. But why do you consider it as dirty? There is nothing wrong with it, isn't it? This uses a helper program with a well-defi

Re: [Caml-list] Parsing cmi file

2012-03-13 Thread rixed
-[ 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 exemp

Re: [Caml-list] Parsing cmi file

2012-03-13 Thread Gerd Stolpmann
> Thanks. > I know the dirty tricks, is there some way not that dirty? > Godi did pretty printing this way? Yes. But why do you consider it as dirty? There is nothing wrong with it, isn't it? This uses a helper program with a well-defined interface. I think you can also "use" ocamlc -i for it, m

Re: [Caml-list] Parsing cmi file

2012-03-13 Thread bob zhang
Thanks. I know the dirty tricks, is there some way not that dirty? Godi did pretty printing this way? On Tue, Mar 13, 2012 at 6:36 PM, Gerd Stolpmann wrote: > >> Hi list, >>    I noticed that Godi can pretty print cmi files, is there already >> libraries parsing cmi files? > > Yes, toplevellib.cma

Re: [Caml-list] Parsing cmi file

2012-03-13 Thread Gerd Stolpmann
> Hi list, >I noticed that Godi can pretty print cmi files, is there already > libraries parsing cmi files? Yes, toplevellib.cma (i.e. the ocaml toploop). It's a silly trick. Run the toploop and do module M = ;; and the toploop responds. Gerd > Many thanks > -- > -- Bob > > -- > Caml-list

[Caml-list] Parsing cmi file

2012-03-13 Thread bob zhang
Hi list, I noticed that Godi can pretty print cmi files, is there already libraries parsing cmi files? Many thanks -- -- Bob -- 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_beg