hello caml-list,
I would like to do something like this:
module A (X: sig type t end) =
struct
class c =
object
val b = (None : X.t option)
end
end
class d =
module Y = A(struct type t = d end)
object
inherit Y.c
end
which, of course, gives me a syntax error. is it possible to bind a module inside a class?
--Jacques