From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 DFF8DBC69 for ; Wed, 18 Jul 2007 16:24:18 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.176]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6IEOHhf022841 for ; Wed, 18 Jul 2007 16:24:18 +0200 Received: by wa-out-1112.google.com with SMTP id m34so357165wag for ; Wed, 18 Jul 2007 07:24:17 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=qfCXvLzKdijvhS9VcQJmZSgRhAshNLhjFCakoRtAudJ/Ij9EayrU1Nn72MtTS6TLze53L0Du4zdkyVNTg6r2pP5AUcqererqb0xjU2uM58z1BwPO36ntu6YhxKIPUeKZQdhLNv5gV8weI0sIp4PLoCW4j6KpG+1DrFYzh+oeO7Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=NhliMalLlPQpPu9wUyL27svUuNi/QiifPqZvGh2SFjO+h2+69ltt2gNnaWX1kAWo2WbWz+F5qrCYeQUxUjCnhEojODrhmIwsXnR9sOOWNLOm6etk6Av8wIQlEO3yfwH9vorScX6AXxjGCrUYn4O9Zu6tX9XJmUWn4dhLXAC2tP8= Received: by 10.114.92.2 with SMTP id p2mr1537632wab.1184768656985; Wed, 18 Jul 2007 07:24:16 -0700 (PDT) Received: by 10.114.235.10 with HTTP; Wed, 18 Jul 2007 07:24:16 -0700 (PDT) Message-ID: <875c7e070707180724j7e6b5faue890f9b9bb86568d@mail.gmail.com> Date: Wed, 18 Jul 2007 10:24:16 -0400 From: "Chris King" To: "Caml List" Subject: Interface manipulation patches MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 469E2291.001 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 469E2291.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 compiler:01 cmo:01 o'caml:01 caml-list:01 interfaces:01 interfaces:01 caml:02 tree:02 types:03 module:03 module:03 patches:03 patches:03 library:03 Back in December Piotr Wieczorek sent a couple patches for the O'Caml compiler to the mailing list [1]. They dealt mostly with manipulating interfaces, in particular adding the ability to 1) "export" a module when packing 2) treat .cmis as module types 3) import interfaces sans selected fields 4) retype .cmo files These patches are great for a library developer... in the library I am currently developing (O'Caml RT) I have an immediate use for (1), (3), and (4), and I have had a need for (2) in the past. I'm wondering if these patches have been considered for inclusion in the official O'Caml tree, and, if not, what it would take to get them included. - Chris [1] http://caml.inria.fr/pub/ml-archives/caml-list/2006/12/c7461312202053f2213a9bb33206fcb8.en.html