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 ESMTPS id 4CB505D4 for ; Fri, 21 Aug 2020 13:53:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.76,335,1592863200"; d="scan'208";a="464235743" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Aug 2020 15:52:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8CAEEE0C5A; Fri, 21 Aug 2020 15:52: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 32D6EE0AD1 for ; Fri, 21 Aug 2020 15:52:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com IronPort-PHdr: =?us-ascii?q?9a23=3AsfzCOBU3ntOpJov4YMhR+Ymbzz3V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBWHt8tkgFKBZ4jH8fUM07OQ7/m+HzVZu93c4DgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrAjdrNQajZZ8Jqo+yhbEoWZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJxw4DafpybOvlwfqzSYdwVWGVPUcRfWCFaHoOx?= =?us-ascii?q?bJECA/YdMetCsoXwoUYFoxukBQmrAePi0j1GiWHw3aInyeQhEALG1xE9EtIJt3?= =?us-ascii?q?TUqcj+OaASUe+ryqnH0C/Db/JV2Trm9IjIdQghofaNXb5qacrRzk4vFxrfglqM?= =?us-ascii?q?rozlOiqY2+IQuGeU8+RuT/igi3I7qw5vuDivwN8hh43Xi44Iyl7J6SV0zZspKN?= =?us-ascii?q?O4SEN2YdCqHZVNuiyHN4Z7Q8wvTmNntis517EItpC1ciYOxZg7yBPTdviKfoaK?= =?us-ascii?q?7x/lSe2fIi94iWpkdb+7nRq+7Emtx+3mWsWp3ltGszBJnsTCu30C0RHY99KJRe?= =?us-ascii?q?Fn/ki73DaCzwDT5f9AIUAzjafUMYYhwqQxlpoXq0jDAij2mF3xjK+XbEkk4u+o?= =?us-ascii?q?6+P+Yrn8upCcMIp0hhn/MqQohMO/Hfw1PwkKUmSB5Oix1b3u8VfkTLhEk/E6iL?= =?us-ascii?q?TVvZ7VKMgDo662GQ5V0oIt6xalCDem1cwVnXkZI1JDZR2HlYnpO1LVLfDkCve/?= =?us-ascii?q?m1OskDZxy/DeOb3hBYzNImLfn7fmeLZx81RcxxYrzdBD+5JUDakML+7pVU/0sN?= =?us-ascii?q?zUFxs5Mw2vw+b7E9h9zYMfWWeXAqCDKq/SsFmI5vguI+aWfoMVtiz9eLAZ4Kvl?= =?us-ascii?q?hHo93FscZrWB3J0NaXn+EO41DV+eZC/Mj9ENC2YJ9iA5S+mi3F2PVzJJZnWaQ6?= =?us-ascii?q?Uk4TB9EIWhFMHIQYX70+/J5zuyApADPjMOMVuLC3q9L9zYCcdJUzqbJ4paqhJB?= =?us-ascii?q?TaKoEtFzyRa2sw68071gN6zf/ShK7cuyhugw3PXakFQJzRIxCs2c12+XSGQtwD?= =?us-ascii?q?EUQCcx3eZnpktkjFyE1Pog2qEKJZlo//pMFzwCG9vcwuh9UYqgUxrbf9PPVFG+?= =?us-ascii?q?RdTgGTY2V5Q6xNpcO0s=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ApAAAj0T9f/4aDpUVfHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQFAgTYHAQELAYNtIRKNBGCIM5odgX0LAQMBOAECBAEBhEwCgkUdBgY?= =?us-ascii?q?wCQ4CEAEBBQEBAQIBAwMEAWyFaII3IoMaAQUyAVYLGC4sKy2GD7AZgTSFUoNkg?= =?us-ascii?q?UCBOAGNPIIAgUeCLC4+hQqFKgSaDpwvgm2BDpkHDyGBDp8ktAU6gVczGggbFTu?= =?us-ascii?q?Cak8ZDZ0CKGcCBgEJAQEDCVkBAZA4AQE?= X-IPAS-Result: =?us-ascii?q?A0ApAAAj0T9f/4aDpUVfHAEBAQEBAQcBARIBAQQEAQFAgTY?= =?us-ascii?q?HAQELAYNtIRKNBGCIM5odgX0LAQMBOAECBAEBhEwCgkUdBgYwCQ4CEAEBBQEBA?= =?us-ascii?q?QIBAwMEAWyFaII3IoMaAQUyAVYLGC4sKy2GD7AZgTSFUoNkgUCBOAGNPIIAgUe?= =?us-ascii?q?CLC4+hQqFKgSaDpwvgm2BDpkHDyGBDp8ktAU6gVczGggbFTuCak8ZDZ0CKGcCB?= =?us-ascii?q?gEJAQEDCVkBAZA4AQE?= X-IronPort-AV: E=Sophos;i="5.76,335,1592863200"; d="scan'208";a="464235696" X-MGA-submission: =?us-ascii?q?MDGMVrEBFCNO91t8J7fyEYrJYxdDnveAfwQl/K?= =?us-ascii?q?M2sbopuwp918g1p/v5rgGNcWXvW8Mj62fzhTgMHlSr9Hjic4gcO+6Wbc?= =?us-ascii?q?yul6Kn9VAVh56zNQLuxETy/RpsFlCAoq52lrT1VFXFDSDJ+2lgRABID1?= =?us-ascii?q?8TkgGiTAbZbUPy9Yh9lREDyQ=3D=3D?= Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Aug 2020 15:52:49 +0200 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id E8133C20C8; Fri, 21 Aug 2020 09:52:46 -0400 (EDT) Date: Fri, 21 Aug 2020 09:52:46 -0400 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20200821135246.rccrpa36gyj5gasg@topoi.pooq.com> References: <71ff7d61-6899-9b05-4c01-3984d47698ca@cea.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <71ff7d61-6899-9b05-4c01-3984d47698ca@cea.fr> User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] Tools for helping backward compatibility? Reply-To: Hendrik Boom X-Loop: caml-list@inria.fr X-Sequence: 18225 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: 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. But if it does, some editor features would be useful: * to add code to an import specifying exactly the features that are currently exported from the module to protect against future name clashes if the module is augmented. * same with explicit specification of the types of imported names to detect future tye changes) * (this might need a compiler change) * Or the same, listing only the names currently used by the importer. Yes, these changes will likely need deep interaction between the editor and the compiler. -- hendrik