* operational semantics of == for methods
@ 1999-03-18 11:04 Olivier Bouyssou
0 siblings, 0 replies; only message in thread
From: Olivier Bouyssou @ 1999-03-18 11:04 UTC (permalink / raw)
To: caml-list
Here a example :
Objective Caml version 2.02
# class test () =
object
method f () = ()
end;;
class test : unit -> object method f : unit -> unit end
# let o = new test () ;;
val o : test = <obj>
# let f = o#f ;;
val f : unit -> unit = <fun>
# f == o#f ;;
- : bool = false
Why the last expression return false ?
Thanks in advance.
--
Olivier Bouyssou (F1NXH), Sobel olivier.bouyssou@wanadoo.fr
22 rue paul verlaine 31570 st Foy d'Aigrefeuille
Tel : +33.5.62.18.81.82 Fax : +33.4.68.94.54.16
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1999-03-19 18:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-03-18 11:04 operational semantics of == for methods Olivier Bouyssou
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).