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 FAA08418; Thu, 28 Jun 2001 05:04:39 +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 FAA07573 for ; Thu, 28 Jun 2001 05:04:37 +0200 (MET DST) Received: from smtp3-cm.mail.eni.net (smtp3-cm.mail.eni.net [216.133.226.136]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5S34aH03066 for ; Thu, 28 Jun 2001 05:04:36 +0200 (MET DST) Received: from checkerlap.d6.com (node-d8e9cca2.powerinter.net [216.233.204.162]) by smtp3-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id UAA10788; Wed, 27 Jun 2001 20:04:34 -0700 Message-Id: <4.3.2.7.2.20010627200413.0277b5e0@shell16.ba.best.com> X-Sender: def6@shell16.ba.best.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Wed, 27 Jun 2001 20:06:34 -0700 To: Brian Rogoff From: Chris Hecker Subject: Re: [Caml-list] checking for same ctor type? Cc: caml-list@inria.fr In-Reply-To: References: <200106280240.TAA14693@smtp2-cm.mail.eni.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >let ctor_equal a b = > match a,b with > String(_),String(_) | Float(_),Float(_) -> true | _,_ -> false Right, I should have added "without writing out all the cases". :) > Yes, but there's only one implementation, right? Unless they never update it again, then "implementation dependent" is usually a bad thing, in my book (and the ocaml folks shouldn't want people depending on implementation details either, since it makes their lives miserable when it comes time to update stuff). Chris ------------------- 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