[Caml-list] Two quick questions.

[Caml-list] Two quick questions.

[Jeremy Fincher]

First: I looked at the source code to the Printf module to see exactly how 
Printf.printf does type checking on the format strings, since I'd like to 
implement something similar (for reimplementing the "struct" python module, 
which uses format strings to pack/unpack arbitrary binary data) but I 
honestly had no idea how it worked.  Is something like what Printf.printf 
does way too "deep magic" for a newbie to O'Caml to do, or are there any 
good explanations of how it does what it does?

Second: Are there any good examples of using ocamllex/ocamlyacc to build 
abstract syntax trees?  I've seen ASTs built from streams in the Caml-light 
manual, and I've seen examples of ocamllex/ocamlyacc used to parse simple 
languages that don't really need an AST, but I can't find any examples (with 
explanations, of course :)) of ocamllex/ocamlyacc being used to actually 
create abstract syntax trees for a given grammar.

Thanks,
Jeremy
_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Two quick questions.

[Chris Hecker]

>First: I looked at the source code to the Printf module to see exactly how Printf.printf does type checking on the format strings, since I'd like to implement something similar (for reimplementing the "struct" python module, which uses format strings to pack/unpack arbitrary binary data) but I honestly had no idea how it worked.  Is something like what Printf.printf does way too "deep magic" for a newbie to O'Caml to do, or are there any good explanations of how it does what it does?

It is "deep magic", in the sense that it's hacked into the compiler directly.  You can use some of the hacks for your own purposes, but you can't change the format string format.

Chris


-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr

Re: [Caml-list] Two quick questions.

[wakita]

You might be interested in "Functional unparsing" by Olivier Danvy.

http://www.brics.dk/RS/98/12/
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr