[Caml-list] Possible bug in module and class?

[Bow-Yaw Wang <bywang@saul.cis.upenn.edu>]

Hi,

I don't know if anyone has encountered this. But I'm able
to hang both ocamltop and ocamlc (v 3.06) by the following
code:

class type my_obj_type = 
  object ('a) 
    method me : 'a 
  end

module type EQ_TYPE = 
  sig 
    val you : (#my_obj_type as 'a) -> 'a 
  end

module Eq : EQ_TYPE = struct let you o = o end

class my_obj : my_obj_type = 
  object (self) 
    method me = Eq.you self 
  end

ocamltop doesn't return after I key in my_obj. If I 
separate the code into .mli and .ml, ocamlc hangs
while compiling my_obj. :(

Sorry about the silly code segment. It is in fact
a simplified version of real code. Any help will
be appreciated.

Thanks,

Bow-Yaw


-------------------
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