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 SAA27962; Mon, 31 Mar 2003 18:40:48 +0200 (MET DST) 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 SAA29537 for ; Mon, 31 Mar 2003 18:40:47 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from h00045a4799d6.ne.client2.attbi.com (h00045a4799d6.ne.client2.attbi.com [65.96.179.155]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2VGeb505841 for ; Mon, 31 Mar 2003 18:40:41 +0200 (MET DST) Received: by h00045a4799d6.ne.client2.attbi.com (Postfix, from userid 500) id 94A812A390; Mon, 31 Mar 2003 11:51:09 -0500 (EST) From: Neel Krishnaswami MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16008.29181.437301.517752@h00045a4799d6.ne.client2.attbi.com> Date: Mon, 31 Mar 2003 11:51:09 -0500 To: Ocaml Mailing List Subject: [Caml-list] How can I check for the use of polymorphic equality? X-Mailer: VM 7.04 under 21.4 (patch 8) "Honest Recruiter" XEmacs Lucid X-Spam: no; 0.00; neel:01 krishnaswami:01 neelk:01 bug:01 compiler:01 equality:01 polymorphic:01 exception:02 comparison:02 types:03 raise:05 function:09 tries:09 rather:09 custom:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I spent the last few hours tracking down a bug that was the result of accidentally using the polymorphic equality rather than a custom comparison function. Is there any way I can tell the compiler not to allow the use of polymorphic equality at certain types, or even just to raise an exception when it tries to compare values of those types? -- Neel Krishnaswami neelk@alum.mit.edu ------------------- 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