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
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
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
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
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
-[ 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
> 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
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
> 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
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
10 matches
Mail list logo