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 LAA00601; Fri, 4 Apr 2003 11:25:17 +0200 (MET DST) 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 LAA00626 for ; Fri, 4 Apr 2003 11:25:16 +0200 (MET DST) Received: from indyio.rz.uni-saarland.de (indyio.rz.uni-saarland.de [134.96.7.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h349PG523907 for ; Fri, 4 Apr 2003 11:25:16 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by indyio.rz.uni-saarland.de (8.9.3p2/8.9.3) with ESMTP id LAA1840320 for ; Fri, 4 Apr 2003 11:25:15 +0200 (CEST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.9/2003020700) with ESMTP id h349PFvr014199 for ; Fri, 4 Apr 2003 11:25:15 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.9/2003020700) with ESMTP id h349M5CE011423 for ; Fri, 4 Apr 2003 11:25:14 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.9/2003020700) with ESMTP id h349Amrh017822 for ; Fri, 4 Apr 2003 11:10:48 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (zoidberg.ps.uni-sb.de [134.96.186.121]) by ps.uni-sb.de (8.11.6/8.11.0) with ESMTP id h349AmV21483; Fri, 4 Apr 2003 11:10:48 +0200 Message-ID: <3E8D4C18.8080204@ps.uni-sb.de> Date: Fri, 04 Apr 2003 11:10:48 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.1) Gecko/20021003 X-Accept-Language: de, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] How can I check for the use of polymorphic equality? References: <3E8C8F27.1070001@cs.caltech.edu> <4.3.2.7.2.20030403125225.04a69d30@localhost> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; rossberg:01 uni-sb:01 caml-list:01 hecker:01 implementer:01 abstraction:01 darkened:01 munching:01 repetitive:01 kristian:01 chris:01 equality:01 polymorphic:01 listening:02 comparison:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Chris Hecker wrote: > >> You probably will catch every reasonable usage of ( = ) that way... >> Simple, no ? > > But that a) requires you to put it in scope at the top of each file, and > more importantly b) means you can't use = anywhere, doesn't it? And c) puts the responsibility to avoid misuses of structural comparison into the hands of the clients of an abstract type, instead of enabling its implementer to prevent them. That counters the very idea of type abstraction and is hence not The Right Thing. ;-) - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. ------------------- 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