From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E7C0BBB84 for ; Sat, 15 Jul 2006 20:33:14 +0200 (CEST) Received: from mail.enyo.de (mail.enyo.de [212.9.189.167]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k6FIXBjq028382 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Sat, 15 Jul 2006 20:33:14 +0200 Received: from deneb.vpn.enyo.de ([212.9.189.177] helo=deneb.enyo.de) by mail.enyo.de with esmtp id 1G1owh-0001no-1D for caml-list@yquem.inria.fr; Sat, 15 Jul 2006 20:32:55 +0200 Received: from fw by deneb.enyo.de with local (Exim 4.62) (envelope-from ) id 1G1owg-0004z7-5k for caml-list@yquem.inria.fr; Sat, 15 Jul 2006 20:32:54 +0200 From: Florian Weimer To: caml-list@yquem.inria.fr Subject: Plans for polymorphic comparison Date: Sat, 15 Jul 2006 20:32:54 +0200 Message-ID: <87y7uuzpk9.fsf@mid.deneb.enyo.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 44B934E7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ad-hoc:01 run-time:01 polymorphic:01 polymorphic:01 florian:02 library:03 comparison:04 somewhat:05 approach:07 tied:08 there:17 handling:17 comparisons:18 current:22 far:23 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Are there any plans to overhaul the current handling of polymorphic comparisons? The approach is somewhat ad-hoc and, as far as I can see, tied to implementation details of the run-time library.