[Caml-list] Parsing cmi file

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:

Re: [Caml-list] Parsing cmi file

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 i...@gerd-stolpmann.de wrote: Hi list,    I noticed that Godi can pretty print cmi files, is there already libraries parsing cmi files? Yes,

[Caml-list] calmp5 pa_pragma

Hi, Daniel, I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this? (I mean the design issue, and the its defect) I would be happy to port it to camlp4 if it's not too difficult -- Best, bob -- Caml-list mailing list. Subscription

[Caml-list] Some utilities about camlp4

Hi, List the meta filter distributed with camlp4 is buggy and unmodular, I put a modular one here http://seas.upenn.edu/~hongboz/meta_filter.zip building with syntax extension is really easy provided this file http://www.seas.upenn.edu/~hongboz/myocamlbuild.ml It works with .inferred.mli,

[Caml-list] Re: calmp5 pa_pragma

Sorry, I typed the wrong mail address... On Mon, Feb 20, 2012 at 6:55 PM, bob zhang bobzhang1...@gmail.com wrote: Hi,   Daniel,   I noticed that camlp5 has a pretty nice extension pa_pragma, would you like shed some light on this?   (I mean the design issue, and the its defect) I would

[Caml-list] some tricks about ocaml

Hi list, This may be useful http://www.seas.upenn.edu/~hongboz/master.pdf Caveat: it's totally unorganized, but you may find something useful, (some pieces does not reflect what I think now, they should be rewritten) -- Best, bob -- Caml-list mailing list. Subscription management

[Caml-list] Sexplib bug report

Hi, I did not find sexplib mailing list, so I posted it here. sexplib is not compatible with camlp4of For example camlp4of Pa_type_conv.cma pa_sexp_conv.cma -str type ('a,'b) delta = ('b * 'a) broken camlp4o Pa_type_conv.cma pa_sexp_conv.cma -str type ('a,'b) delta = ('b * 'a) good camlp4of

Re: [Caml-list] Need help for a practical hacking book about ocaml

Thanks. Sure. I can publish it to github. I write the documentation using latex, I tried to export it as html file using hevea, but it does not work unfortunately.. On Sat, Dec 24, 2011 at 8:25 PM, Alex Rubinsteyn alex.rubinst...@gmail.comwrote: This looks good, though it could benefit from

Re: [Caml-list] Need help for a practical hacking book about ocaml

Thanks. About why ocaml is more productive, probably my explanation will cause a flaming war, so correct me if I am wrong. Of course, I understand monad, arrow, frp, TH, ST monad or other topics in haskell, but that does not really help solve the *real wolrd problems*. And laziness/purity is

Re: [Caml-list] Weird behavior of Camlp4 Parser

://ambassadortothecomputers.blogspot.com/2010/05/reading-camlp4-part-6-parsing.html 2011/11/24 bob zhang bobzhang1...@gmail.com: Hi List, I have came across a strange behavior of the camlp4 parser, (maybe not that weird due to my limited knowledge of the parser) The contrived mini-examples as follows : module

Re: [Caml-list] Weird behavior of Camlp4 Parser

Hi, Joel, camlp4 will do the left factorization automatically. It's weird because after factorization the order of the rule is changed and no documentation specify how the rules will be re-organized 2011/11/24 Joel Reymont joe...@gmail.com Bob, On Nov 24, 2011, at 3:22 PM, bob zhang wrote