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 QAA11406; Sun, 27 Oct 2002 16:34:11 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA11676 for <caml-list@pauillac.inria.fr>; Sun, 27 Oct 2002 16:34:10 +0100 (MET)
X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com
Received: from opus.davidb.org (24-165-4-233.san.rr.com [24.165.4.233])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g9RFY9D16122
	for <caml-list@inria.fr>; Sun, 27 Oct 2002 16:34:09 +0100 (MET)
Received: from davidb by opus.davidb.org with local (Exim 3.31 #1 (Debian))
	id 185pQO-00014l-00; Sun, 27 Oct 2002 07:34:00 -0800
Date: Sun, 27 Oct 2002 07:34:00 -0800
From: David Brown <caml-list@davidb.org>
To: Alessandro Baretta <alex@baretta.com>
Cc: Ocaml <caml-list@inria.fr>
Subject: Re: [Caml-list] On the equality of functional values
Message-ID: <20021027153400.GA2047@opus.davidb.org>
References: <3DBBF3F3.8080600@baretta.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <3DBBF3F3.8080600@baretta.com>
User-Agent: Mutt/1.4i
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On Sun, Oct 27, 2002 at 03:10:59PM +0100, Alessandro Baretta wrote:

> # (=) = (=) ;;
> Exception: Invalid_argument "equal: functional value".
> # let x = (=) in x = x ;;
> - : bool = true

# let x = (=) and y = (=) in x = y;;
Exception: Invalid_argument "equal: functional value".

I suspect that the x = x is getting handled specially.

Dave Brown
-------------------
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