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 TAA25278; Thu, 8 Nov 2001 19:34:06 +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 TAA25203 for ; Thu, 8 Nov 2001 19:34:05 +0100 (MET) Received: from draco.dyndns.org (pc-62-30-67-37-az.blueyonder.co.uk [62.30.67.37]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA8IY5X03893 for ; Thu, 8 Nov 2001 19:34:05 +0100 (MET) Received: from jim by draco.dyndns.org with local (Exim 3.32 #1 (Debian)) id 161u04-0000lu-00 for ; Thu, 08 Nov 2001 18:34:04 +0000 Content-Type: text/plain; charset="iso-8859-1" From: Jim Farrand To: caml-list@pauillac.inria.fr Subject: [Caml-list] Some things are more equal than others Date: Thu, 8 Nov 2001 18:34:04 +0000 X-Mailer: KMail [version 1.2] MIME-Version: 1.0 Message-Id: <01110818340400.02726@draco> Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Silly newbie question coming up... What's the difference between (=) and (==)? I know that this is almost certainly a case of RTFM, but I can't seem to find the right place. 6.7.4 mentions "structural" and "physical" equality, but doesn't define either. My guess is that "physical" equality is "are these the same object", and structural equality is "are these objects equivelent". Hence: # "Jim"=="Jim";; - : bool = false # "Jim"="Jim";; - : bool = true€ I thought I'd better check I'm guessing right, or I will almost certainly fall over this sometime in the future. :) TIA, Jim ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr