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 SAA04201; Thu, 18 Sep 2003 18:20:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA06050 for ; Thu, 18 Sep 2003 18:20:00 +0200 (MET DST) Received: from smtp.wp.pl (smtp.wp.pl [212.77.101.161]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h8IGJx524864 for ; Thu, 18 Sep 2003 18:19:59 +0200 (MET DST) Received: (WP-SMTPD 27786 invoked from network); 18 Sep 2003 16:19:59 -0000 Received: from pc238.legnica.cvx.ppp.tpnet.pl (HELO ppp) (luk_stafi@[213.77.239.238]) (envelope-sender ) by smtp.wp.pl (wp-smtpd) with SMTP for ; 18 Sep 2003 16:19:58 -0000 Message-ID: <000701c37e00$af476f60$c617fea9@ppp> From: "Lukasz Stafiniak" To: Subject: [Caml-list] Polymorphic class recursion (?) Date: Thu, 18 Sep 2003 18:19:08 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-2" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-AntiVirus: skaner antywirusowy poczty Wirtualnej Polski S. A. X-WP-ChangeAV: 0 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lukasz:01 luk:99 recursion:01 val:01 val:01 lukasz:01 bool:01 bool:01 polymorphic:01 unit:03 unit:03 object:03 object:03 types:03 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, # class c1 = object val v1 : unit #c2 option = None val v2 : bool #c2 option = None end and ['a] c2 = object val v1 : #c1 option = None end;; Characters 59-67: class c1 = object val v1 : unit #c2 option = None val v2 : bool #c2 option = None end and ['a] c2 = object val v1 : #c1 option = None end;; ^^^^^^^^ This type unit should be an instance of type bool Why? This works for records. (Switching to class types (class --> class type, without = parts) doesn't help.) Thanks in advance, Best Regards, Lukasz ------------------- 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