operational semantics of == for methods

From: Olivier Bouyssou (olivier.bouyssou@wanadoo.fr)
Date: Thu Mar 18 1999 - 12:04:28 MET


Date: Thu, 18 Mar 1999 12:04:28 +0100
From: Olivier Bouyssou <olivier.bouyssou@wanadoo.fr>
To: caml-list@inria.fr
Subject: operational semantics of == for methods

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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:21 MET