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 HAA13684; Fri, 23 Jul 2004 07:11:36 +0200 (MET DST) 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 HAA16906 for ; Fri, 23 Jul 2004 07:11:35 +0200 (MET DST) Received: from ptb-relay03.plus.net (ptb-relay03.plus.net [212.159.14.214]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i6N5BYEV016863 for ; Fri, 23 Jul 2004 07:11:34 +0200 Received: from [80.229.56.224] (helo=chetara) by ptb-relay03.plus.net with esmtp (Exim) id 1Bnry1-000Gac-Vp for caml-list@inria.fr; Fri, 23 Jul 2004 04:47:34 +0000 From: Jon Harrop To: "caml-list" Subject: [Caml-list] Hunting polymorphic function applications Date: Fri, 23 Jul 2004 05:44:55 +0100 User-Agent: KMail/1.6.2 MIME-Version: 1.0 Content-Disposition: inline Message-Id: <200407230544.55323.postmaster@jdh30.plus.com> Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 41009E06.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; postmaster:99 asts:01 run-time:01 equality:01 polymorphic:01 polymorphic:01 ast:02 ast:02 comparison:02 argument:03 let:04 alter:95 functions:05 functional:06 cheers:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk For elegance, I've been using the built-in polymorphic comparisons (particularly equality) to compare ASTs. I just added some metadata to my AST type and now it needs its own comparison function (or polymorphic compare bails at run-time with Invalid_argument "equal: functional value"). Is there an easy way, or does anyone have a tool, which will let me track down all applications of polymorphic functions to my AST type so that I can alter them to use my customised versions? Cheers, Jon. ------------------- 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