Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Possible bug in module and class?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Bow-Yaw Wang <bywang@s...>
Subject: [Caml-list] Possible bug in module and class?

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