From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA26522; Fri, 18 Oct 2002 22:16:49 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA26364 for <caml-list@pauillac.inria.fr>; Fri, 18 Oct 2002 22:16:48 +0200 (MET DST)
Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9IKGl521322
	for <caml-list@inria.fr>; Fri, 18 Oct 2002 22:16:47 +0200 (MET DST)
Received: from saul.cis.upenn.edu (localhost [127.0.0.1])
	by saul.cis.upenn.edu (8.12.5/8.12.5) with ESMTP id g9IKGksx024727
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <caml-list@inria.fr>; Fri, 18 Oct 2002 16:16:46 -0400 (EDT)
Received: (from bywang@localhost)
	by saul.cis.upenn.edu (8.12.5/8.12.5/Submit) id g9IKGjec024716;
	Fri, 18 Oct 2002 16:16:45 -0400 (EDT)
Date: Fri, 18 Oct 2002 16:16:45 -0400 (EDT)
Message-Id: <200210182016.g9IKGjec024716@saul.cis.upenn.edu>
From: Bow-Yaw Wang <bywang@saul.cis.upenn.edu>
To: caml-list@inria.fr
Subject: [Caml-list] Possible bug in module and class?
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


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