operational semantics of == for methods

• Next message: Ian T Zimmerman: "Re: config info"
• Previous message: Eijiro Sumii: "another approach to sprintf (Re: ocaml 2.02 bug: curried printf)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

• Next message: Ian T Zimmerman: "Re: config info"
• Previous message: Eijiro Sumii: "another approach to sprintf (Re: ocaml 2.02 bug: curried printf)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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