* recursive algebraic and class types
@ 1999-07-14 1:38 John Skaller
0 siblings, 0 replies; only message in thread
From: John Skaller @ 1999-07-14 1:38 UTC (permalink / raw)
To: caml-list
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: skaller@maxtal.com.au
http://www.maxtal.com.au/~skaller
phone: 61-2-96600850
snail: 10/1 Toxteth Rd, Glebe NSW 2037, Australia
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-07-14 16:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-07-14 1:38 recursive algebraic and class types John Skaller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox