English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] coercing to a #-type
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-12-05 (12:03)
From: Henri Dubois-Ferriere <henridf@l...>
Subject: [Caml-list] coercing to a #-type
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 



< bla : int; ..> 

equivalent? (in the sense that using on instead of the other will 
always give identical results)


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