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 NAA11204; Fri, 5 Dec 2003 13:03:02 +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 NAA10508 for ; Fri, 5 Dec 2003 13:03:00 +0100 (MET) Received: from lcavsun1.epfl.ch (lcavsun1.epfl.ch [128.178.8.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hB5C2xr00607 for ; Fri, 5 Dec 2003 13:03:00 +0100 (MET) Received: from lcmpc4.epfl.ch (lcmpc4.epfl.ch [128.178.8.59]) by lcavsun1.epfl.ch (8.8.8+Sun/8.8.8) with ESMTP id MAA14983 for ; Fri, 5 Dec 2003 12:34:29 +0100 (MET) Date: Fri, 5 Dec 2003 12:34:29 +0100 (CET) From: Henri Dubois-Ferriere X-X-Sender: henridf@lcmpc4.epfl.ch Reply-To: Henri DF To: caml-list@inria.fr Subject: [Caml-list] coercing to a #-type Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; henridf:01 lcavsun:01 coercing:01 coercing:01 coerce:01 int:01 henri:03 identical:03 henri:03 object:03 object:03 types:03 epfl:05 equivalent:05 somewhat:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk can coercing an object to a #-type ever change the type of the object? [i tried to come up with some instance where this would happen, but could not, and on thinking about it i would guess that since a #-type is 'open', it makes no sense to coerce to such a type.] A somewhat related question: class a = object method bla = 1 end are the types #a and < bla : int; ..> equivalent? (in the sense that using on instead of the other will always give identical results) Thanks Henri ------------------- 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