Hi,

What would be the best approach to creating a tree type such that at
each node, it has some sort of reference to the parent node? Is this
an example of when ocaml's OO side would be more useful?

Basically, I'm creating a UI for my OS; since events will typically
bubble from leaf nodes up through their ancestors until either the
event has been handled or have reached the root node, being able to
reference the parent node efficiently (and easily) is a requirement.

I've tried a recursive type, but both the defintion and code to make
use of it is damn ugly and complicated--there just has to be a better
way to do this sort of thing nicely in ocaml.

Regards,

Jonathan Roewen
--
Desert Spring-Time: An OCaml OS -- http://www.purevoid.org/os/progress/