]> On Sat, 8 Nov 2003, Dustin Sallings wrote: > type 'a link = Nothing | Link of 'a t;; > > type 'a t = { > data: 'a; > mutable prev: 'a link; > mutable next: 'a link; > };; > > But, link and t don't know about each other. How does one go about > doing this kind of thing in ocaml? > Use and: type 'a link = Nothing | Something of 'a t and 'a t = { data: 'a; mutable next: 'a link; mutable prev: 'a link } The other alternative is to not redefine option: type 'a t = { data: 'a; mutable next: 'a t option; mutable prev: 'a t option } Brian -- "Usenet is like a herd of performing elephants with diarrhea -- massive, difficult to redirect, awe-inspiring, entertaining, and a source of mind-boggling amounts of excrement when you least expect it." - Gene Spafford Brian ------------------- 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