> > > With so many people developing excellent compilers,
 > > > I was hoping to get a hint on the visualization of
 > > > graphs (even trees would help) using native OCAML.
 > > > The layout is not required to be good; this is
 > > > intended for researching the nature of large Web
 > > > sites using our existing modeling software written
 > > > in OCAML.
 > > I don't know about OCAML graph-viz tools, but some
 > > time ago I did a search for graph-viz tools in
 > > general, and attached below are my notes.  Hope
 > > they are of some use to you.
 > 
 > I suppose that it is worth mentioning in this connection the HOPS (Higher
 > Object Programming System) project, which uses da Vinci together with O'Labl
 > to format higher-order term graphs (but not of O'Labl terms).
 > 
 > http://diogenes.informatik.unibw-muenchen.de:8080/kahl/HOPS/

Actually I am not using daVinci, but dot from AT&T's graphviz package.

I start dot with open_process and pipe my graph descriptions into it,
reading back its layout with ocamllex/ocamlyacc generated parsers.
I then adapt the layout to my own needs and integrate it into
the HOPS GUI, where the user can manually change the layout.

I kill dot every 10 or 20 graphs, because it seems to have a space leak.


HTH


Wolfram