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 MAA06503; Thu, 13 Nov 2003 12:04:49 +0100 (MET) 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 MAA06226 for ; Thu, 13 Nov 2003 12:04:48 +0100 (MET) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hADB4l114168 for ; Thu, 13 Nov 2003 12:04:47 +0100 (MET) Received: by mailhost.ens-lyon.fr with scanned-ok (Exim 3.35 #1 (Debian)) id 1AKFHL-00034u-00 for ; Thu, 13 Nov 2003 12:04:47 +0100 Received: from mailhost.ens-lyon.fr ([127.0.0.1]) by localhost (pluvier [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 11331-08 for ; Thu, 13 Nov 2003 12:04:47 +0100 (CET) Received: from curry.ens-lyon.fr ([140.77.191.25] helo=curry) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 1AKFHK-00034k-00 for ; Thu, 13 Nov 2003 12:04:46 +0100 Date: Thu, 13 Nov 2003 12:04:43 +0100 (CET) From: POUS Damien X-X-Sender: dpous@curry To: caml-list@inria.fr Subject: [Caml-list] classes and module types Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavisd-new-20030616-p5 (Debian) at ens-lyon.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; damien:01 ens-lyon:01 damien:01 workaround:01 sig:01 module:03 module:03 classes:03 object:03 object:03 types:03 parameter:04 constraint:05 constraint:05 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, << class type m_t = object end class type ['a] c_t = object constraint 'a = #m_t end module type T = sig type t class c: [t] c_t end;; Characters 125-126: class c: [t] c_t ^ The type parameter t does not meet its constraint: it should be #m_t as 'a = < .. > >> I don't understand why this signature is rejected : I would say it's ok, since one cannot write a module with this signature without having t meeting the constraint... How can I workaround this ? thanks, damien ------------------- 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