Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
recursive algebraic and class types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-07-14 (16:05)
From: John Skaller <skaller@m...>
Subject: recursive algebraic and class types
Someone recently posted a patch which allows class types
and algebraic types to be mixed in the same declaration,
so that they can be mutually recursive .. but I have lost
the email. Could I ask the patch be posted again?

Is there a simple workaround without the patch?

[I need something like

	type expr_t = X | Y of class_t
	class type class_t = object method lookup : expr_t -> expr_t end

BTW: when such changes to syntax are given, if applied they
will not be useful with camlp4 unless it too is patched. :-(

John Skaller    email:
		phone: 61-2-96600850
		snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia