From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id C3E495D4 for ; Mon, 24 Aug 2020 09:19:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.76,347,1592863200"; d="scan'208";a="464447867" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Aug 2020 11:18:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A95ACE0C57; Mon, 24 Aug 2020 11:18:58 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 13F88E01C5 for ; Mon, 24 Aug 2020 11:18:55 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@cirse-smtp-out.extra.cea.fr IronPort-PHdr: =?us-ascii?q?9a23=3Af723XxX8tbVXNHa/jrvjHd0hYZbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRWCt8tkgFKBZ4jH8fUM07OQ7/m+HzVZsd3Z6TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrAjdrNQajZZhJ6o+1hfFv2ZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJi3YDUboGbOvlwcKzTctwVR3ZOUMlKWixdAY6x?= =?us-ascii?q?dZcDA/YPMOtaqYT2ulsArQG5BQmpHO7hyiVIiWXw3aoi1OQhEBrG0xQ9EtIJq3?= =?us-ascii?q?vUq8n1P7oVXOC71qnH1zPDYO9R2Tf884jEaAsuofaXUrJ3bcrc0lUgGB3fgVmK?= =?us-ascii?q?p4zlJSqY2+IQuGeU8+RuT/igi3I7qw5vuDivwN8hh4bHiI4J11zK+jl0zZs7KN?= =?us-ascii?q?O3SEN3fd+pHZVUuiyUNIZ6X8wvTWF0tSs4ybAKpZy2cTYXxJg62RLTdv+KfouI?= =?us-ascii?q?7x/lSe2fLzB4hHd/d7K+gRa/6UegyuzgVsm0zVZFtTBJncXLtnAIzxDc9tKISv?= =?us-ascii?q?5n8ki7xTmDzR3T6uJCLEsplqTbM4YszqM+m5YNq0jPAy77lUfsgKOLckgo5PKk?= =?us-ascii?q?5/nob7jlvpOQKoF5hh/kPqgzm8GyAP40PhUKUmSF4+iwyaPv8EvkS7tQlPI2iL?= =?us-ascii?q?PWsJXCKMQbuKG5BwhV354/5Ba+FTemy8oXkWAcLFJAZBKHl5HlO1bTIPDkF/uw?= =?us-ascii?q?nVutkCtxx//cJLHuHovCIWLZnLfvZ7Zx809cyAwtwtBD/59YF78MLOzpVkPstd?= =?us-ascii?q?HVDAU1PxGwzur5Etlxy4wTVGGXDq+cKqzSsFuI5uw1I+mLYY8YoDj9K+I/6P7o?= =?us-ascii?q?kXA5nl4dfbKz0ZQMb3C3BfNmI1mCbHXwnNgOC30GvgQkTODykl2NTSZTZ2quX6?= =?us-ascii?q?I7/jw0FJipDYLHRoy0hLyB3Ty7HoFNa2BdClGMFG/oeJ+eV/cNbiKSOM5hnSYe?= =?us-ascii?q?WbivUY9ynS2p4QTzzr4iKuvP5gUZs4ji3Z57/b79jxY3oBJuBsIS1GCWeEtzlG?= =?us-ascii?q?QUD2s4xql5qkt80RGJ1qJ/n9RTGNUV6ekfAVRyDoLV0+EvU4O6YQnGZNrcEA/3?= =?us-ascii?q?EOXjOik4S5cK+/FLZk98H9u4iRWTjSGnCvkbje7SXcBmwufnx3H0Yv1F5TPezq?= =?us-ascii?q?Bx3VIrS41BLz/+3/Mtx03oH4fM1n6hueOqeKAbhn+f/2aZ1mfLp0RESEt3TLmD?= =?us-ascii?q?UGADfEKQptnwoE3YHeej?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BkAAD4hENfh5TAp4RfFgYBAQEBAQEHA?= =?us-ascii?q?QESAQEEBAEBQIE5BAEBCwGDGVYBMCyEN4kBiA0lg3mSN4VsCwEDAQwjCgIEAQG?= =?us-ascii?q?ETAKCRAIcBwEEMwYOAhABAQUBAQECAQMDBAETAQEBCgsJCCmFYwyCNyKDGQEBA?= =?us-ascii?q?QIBASMPAUsLCxgCAiYCAlcTCAEBEIMSAYJcIA+vFXaBMoQ7AYEWg2h+BoEOKgG?= =?us-ascii?q?NIYIbgTgMgi8uPoJcAgGCK4JKgmAEtj8HgVCBFohkkTQFCh6RcI5CmjOCWJUng?= =?us-ascii?q?WqBe00nTIJpUBkNjjmDV4d6gl5AATECATQCBgEJAQEDCVuQQwEB?= X-IPAS-Result: =?us-ascii?q?A0BkAAD4hENfh5TAp4RfFgYBAQEBAQEHAQESAQEEBAEBQIE?= =?us-ascii?q?5BAEBCwGDGVYBMCyEN4kBiA0lg3mSN4VsCwEDAQwjCgIEAQGETAKCRAIcBwEEM?= =?us-ascii?q?wYOAhABAQUBAQECAQMDBAETAQEBCgsJCCmFYwyCNyKDGQEBAQIBASMPAUsLCxg?= =?us-ascii?q?CAiYCAlcTCAEBEIMSAYJcIA+vFXaBMoQ7AYEWg2h+BoEOKgGNIYIbgTgMgi8uP?= =?us-ascii?q?oJcAgGCK4JKgmAEtj8HgVCBFohkkTQFCh6RcI5CmjOCWJUngWqBe00nTIJpUBk?= =?us-ascii?q?NjjmDV4d6gl5AATECATQCBgEJAQEDCVuQQwEB?= X-IronPort-AV: E=Sophos;i="5.76,347,1592863200"; d="scan'208";a="464447819" X-MGA-submission: =?us-ascii?q?MDFdgeouuh9+Xli55KBixGIGxUJsarqTa0J/Ut?= =?us-ascii?q?klHdCmEImeEPdKvi+118l6ymkfS7jW434zrWrfQ8f0HBCq7tbxwTId2k?= =?us-ascii?q?d0F7Oo7JSRVjIRDoaEEXoE/EP/5DriBxRizO/MwaJqlwK9j2w9opv71b?= =?us-ascii?q?ZfMsmo59KC42OFpwBwHg1bdQ=3D=3D?= Received: from cirse-smtp-out.extra.cea.fr ([132.167.192.148]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Aug 2020 11:18:54 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 07O9IsW4010701 for ; Mon, 24 Aug 2020 11:18:54 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 7590C20421A for ; Mon, 24 Aug 2020 11:18:54 +0200 (CEST) Received: from muguet1-smtp-out.intra.cea.fr (muguet1-smtp-out.intra.cea.fr [132.166.192.12]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 6AA11203B20 for ; Mon, 24 Aug 2020 11:18:54 +0200 (CEST) Received: from [10.8.35.72] (is231324.intra.cea.fr [10.8.35.72]) by muguet1-sys.intra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id 07O9Isw1019941 for ; Mon, 24 Aug 2020 11:18:54 +0200 To: caml-list@inria.fr References: <71ff7d61-6899-9b05-4c01-3984d47698ca@cea.fr> <20200821135246.rccrpa36gyj5gasg@topoi.pooq.com> From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: Date: Mon, 24 Aug 2020 11:18:54 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 In-Reply-To: <20200821135246.rccrpa36gyj5gasg@topoi.pooq.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Tools for helping backward compatibility? Reply-To: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= X-Loop: caml-list@inria.fr X-Sequence: 18228 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Le 21/08/2020 à 15:52, Hendrik Boom a écrit : > On Fri, Aug 21, 2020 at 02:19:10PM +0200, François Bobot wrote: >> Hi all, >> >> Backward compatibility helps a lot a community of packages to move forward. There are other >> possibilities like being able to co-install multiple version of a library, but having backward >> compatibility is still a huge simplification of the problem. > > I forget if OCaml lets you specify just exactly which names you import > from a module. Since https://github.com/ocaml/ocaml/pull/2147, which implements https://www.cl.cam.ac.uk/~jdy22/papers/extending-ocamls-open.pdf it is possible to restrict easily the names you are importing but you need to specify the type of each of them, which is quite verbose. > But if it does, some editor features would be useful: > > Yes, these changes will likely need deep interaction between the editor > and the compiler. It could be fun to have the information automatically updated during the edition. The refreshing of the precise import could also be done just once before any release. Best, -- François