Browse thread
[Caml-list] CKit for O'Caml?
-
Mary F. Fernandez
- Manos Renieris
- Jeff Henrikson
- Guillaume Marceau
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Guillaume Marceau <gmarceau@c...> |
| Subject: | Re: [Caml-list] CKit for O'Caml? |
George Necula's Cil framework is solid enough to turn the Linux kernel into a cleaned-up ast. I am not sure how easy it would be to modify the C syntax of its parser though. http://manju.cs.berkeley.edu/cil/ On Fri, 6 Jun 2003, Mary F. Fernandez wrote: > Does anyone know if there are any O'Caml tools similar to the SML CKit > (http://www.smlnj.org/doc/ckit/). I've searched comp.lang.ml, this > mailing list's archives and looked at "The Hump", but no luck. > In particular, I'm most interested in the C AST and pretty printer. > > I hope it's OK to ask this question here! > Thanks, > Mary > -- The only reason we don't have 1984 is 1984 - Guillaume ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners