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 sympa.inria.fr (Postfix) with ESMTPS id BB49C822B8 for ; Tue, 25 Dec 2018 10:01:10 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=elfring@users.sourceforge.net; spf=Pass smtp.mailfrom=elfring@users.sourceforge.net; spf=None smtp.helo=postmaster@mout-xforward.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of elfring@users.sourceforge.net) identity=pra; client-ip=82.165.159.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of elfring@users.sourceforge.net designates 82.165.159.4 as permitted sender) identity=mailfrom; client-ip=82.165.159.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="elfring@users.sourceforge.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout-xforward.web.de) identity=helo; client-ip=82.165.159.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="elfring@users.sourceforge.net"; x-sender="postmaster@mout-xforward.web.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEttVTxRqhTNrmoEA+DcZMI7lEdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYRSN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRcDI2i?= =?us-ascii?q?YYsBD+kPM+hWoIbypVQBsRSwCBKwBO7s0DJEmmP60KM43uknDArI3BYgH9ULsH?= =?us-ascii?q?nMsdv7NLoZX+evw6nSzjXDcuhW0iry5ojMfBAhu/CMXbR/ccHMzkQgCQfFjluK?= =?us-ascii?q?qYzkOTOV2f8As3WA7+V+T+KvkHQrqxp2ojiy3McjlpfGhowSylDe+iV23pw5Jd?= =?us-ascii?q?umR05neNOpFoZbuSKCN4ZuQc4uXXtktDs7x7AGo5K3YSgHxZA9yxPQc/CKd4aF?= =?us-ascii?q?7gj+WOufPzt0nmxpdbOlixqv9UWs1OvxXdSu3llQtCpKiNzMu2gN1xPN7siHTe?= =?us-ascii?q?Nw/kKm2TaSywDf8+5FIU4zlarBJZ8u2KQwmYcJvUXNACD5g1/6g7KIeUk8++io?= =?us-ascii?q?7froYqn+q5KfKYN4kBzyP6Uul8ClHOg1MgwDU3KU9Oik0b3s50z5QLFEjv0sla?= =?us-ascii?q?nZtYjXKtofpq63GQ9V04Aj6xmkAje7y9QXg2MHLElfdBKciIjpJkvOL+zmAvex?= =?us-ascii?q?hFSsijhryO7cMr3nHJrNMmDPkK39crZl905c1A0zwMhD6J1OD7EBJOv/WkvwtN?= =?us-ascii?q?zDEh80KBe0wubiCNVlzIwSQ2OPAqmDMKPTq1CE/OwvI/PfLLMS7RXwLf4o+/6m?= =?us-ascii?q?pHMwnBc4fK2t0IFfPHO1GPJrP0WQbXPph9YFFWoQlgU7Re3uzlaFVGgASWy1Wv?= =?us-ascii?q?cHyHkeAZilEJyLa4Sjmr2H02/vE5lYfGFABXiRCnrybMOfXOoWYy+cJdVun3oC?= =?us-ascii?q?WKT3GNxp7g2nqAKvk+kvFeHT4CBN8Mu7jIEktd2Wrgk78HlPN+rY1miMS29umW?= =?us-ascii?q?ZSHG0rx61lugpmzUqZ2qV2hOZXGJpV6u8bC15mZ66Z9PRzDpXJYiyEZs2AEg30?= =?us-ascii?q?X86rGyp3VdUs2dQDbUFnFNjkiB3fjXLzXu0l0oeTDZlxyZrymnj8I8EnkSTD07?= =?us-ascii?q?Q9ykkoRdFQPHeqwLFy/U7fCtyRng=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0DgCo8CFcVASfpVJjHAEBAQQBAQcEA?= =?us-ascii?q?QGBZYFbKSNGfyeDfpVxLZleggSCdQKCdBoHAQQ0EgEDAQECAQEBAQEGARkLCgQ?= =?us-ascii?q?eCAEFIwyCOikBgmcBBAEjDwENAQE3AQQLCxoCJgICQxQGDQgBAReDB4FqAw0Mp?= =?us-ascii?q?i1wgS+CdgEBBYJDgjIiggAIgQuLNBEGgX+BOII2NYEoGQGDK4McglehTQmRYwY?= =?us-ascii?q?YiXsMBYdanAaBd00uCjuCbIIbGIEKAQmCdIohPjOMEoJMAQE?= X-IPAS-Result: =?us-ascii?q?A0A0DgCo8CFcVASfpVJjHAEBAQQBAQcEAQGBZYFbKSNGfye?= =?us-ascii?q?DfpVxLZleggSCdQKCdBoHAQQ0EgEDAQECAQEBAQEGARkLCgQeCAEFIwyCOikBg?= =?us-ascii?q?mcBBAEjDwENAQE3AQQLCxoCJgICQxQGDQgBAReDB4FqAw0Mpi1wgS+CdgEBBYJ?= =?us-ascii?q?DgjIiggAIgQuLNBEGgX+BOII2NYEoGQGDK4McglehTQmRYwYYiXsMBYdanAaBd?= =?us-ascii?q?00uCjuCbIIbGIEKAQmCdIohPjOMEoJMAQE?= X-IronPort-AV: E=Sophos;i="5.56,395,1539640800"; d="scan'208";a="361733746" Received: from mout-xforward.web.de ([82.165.159.4]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Dec 2018 10:01:10 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1545728468; bh=aAYGdEGxkDLzgGcAffFX/lnaSg+vl9H6VaeObmCZum4=; h=X-UI-Sender-Class:Subject:To:References:Cc:From:Date:In-Reply-To; b=DkVPTcM7l6CbrT8bbQl/+24g3uistXPbodcnZcNuCeabtAXBVJZM1diLKYwUqushg 7ac69oerPeOlgffGejlGk55r1WiyH7wlbZR1gro2aJ4MVRUXu6pKNcEY8XjgiOaYeR z9z1vbNBoXcBR6Rc6x2Ju20MuFTVDe/VF3fiKUz0= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([93.132.26.192]) by smtp.web.de (mrweb003 [213.165.67.108]) with ESMTPSA (Nemesis) id 0Ldn19-1h2DiR1YLD-00j1qA; Tue, 25 Dec 2018 10:01:08 +0100 To: Kenneth Adam Miller References: Cc: caml-list@inria.fr From: SF Markus Elfring Message-ID: Date: Tue, 25 Dec 2018 10:00:58 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K1:rkuSaVJvYHljWa+ZIoZMBOUF0nXk97OMvf5B9TOvDdVFsKzubt5 TBD43JhiKh7et/ZWQ27Fekaq6wmZQ2NuIpSaHctfyeuP38NLZChkgsFx2+C9uprI8XyRFP8 jn4kczc5c2/SDO21QpK7yA3APBolKNwd881g+APiNcpqFI0g6CPgQ587UqiIuMN574qsW6+ 3Xh13Q68Ueq0FKIfX9MTg== X-Spam-Flag: YES X-UI-Out-Filterresults: junk:10;V03:K0:+6yUjxk3M4w=:xvU8HqG7GTZvdjJZgjeCdqVX QdpeVLHzFIU3oj4P/P46RVcOU2eh06s+2WKawE7ivgxxLFvJ4AaW5vh9qMwkPXpRWP9FgSLQX GbpzWGyXLnczaZrW2tST8irqD8jfAQRT8ScO0h1uUxbhybJiH8rC4OiPA7UdAdUyDoW8P9XVG QPCE1hNK/bbDoC48ez/y7/hs+8JGvqh+6AsgdmO3U6fAFkgDNhH2pEwMTb2P+yZpIflAM2C4C TeeMxj++TowuBOZry5f+ghgJ3rDr4/Ex7MT5T2Ja1czlEc75MGOFoR7GbkOtrkZASyV0GFdF3 s+sfK2/gno/SwuWTcfZsrZ/PGYpn46a7irobaMOkGVoKH/IJs4ejXyl7sqkWKNQibL+VppD6E kYCZLikEwiEDFTb1J4561UUWSwoarFsF6YcpaSWlRAGDOJCOFFYVVeVMgk5X7ggP+ZKSt87MI lf3Oca6/xFLghSh8zVaS7qVjyebos6IdT6ZnaVgR5RthCsBkf37fOqx9lV+Tzpn3fuMyuZKnN 3MNnfHdzxIvWZsMBPNGf8XGujIyqNGZNHk89OSABJT8ECysHdYRAS20dF/kpGMyz0YPf7yQEc XXgOROAl7v8As8yV+yIETmOr/CtlLMYQVJGFk5MdqJZKXlPlLceKj6fDJ4UbfuzLH+pGMwGAU cC/RlN8Hn0ZkFa9381sj7I1G+3SjFbxNMvO9HKwL0DQr6jXdPM93U89JYsJLXfe8TDQgIE/ky DSGtuU2HixJGtdCOVbhpgXs5gc3YYe6KYEl0GoK9XOzSEgj7qpimlMlmeSD4OlhzPZ9hufqg7 GSDB2NsUIKiHU5DOcJDuUI8kBtl1xXSov7jZ0JbVcMYNQa7+jB7Dq8qks6KMFcDc5ieZOnoDD SaUXwpikG6DETBXVw8IaisSiNSNjEADYvva/W9KAJyt3ckRa8U3L6OrtUddZd/aav+O1y+1FW i1EeKm+HONUhvGtpo+cP4GXZ5cDkmrxuKFzkWeFoOB/IaDkQiepD1lebPwX1EA6CIwTLpQBjq xFIbx0sgmbixgTd3NDPqtX5Tav5/LBJbBQXmXLXeihKa9SeR18k9xuxEogS4F9Og== Subject: Re: [Caml-list] Opam improvement request > I don't want to manage specification files, … I propose to take another look around consequences for such a wish. > And that's because I don't care if I have even 20 times as much space consumed > by opam because opam is keeping old states. Are there any circumstances under which you would start to care (or become concerned about corresponding storage allocation challenges)? > All I'm saying is I don't want to have some dependency version mismatch > cause the current system to become inoperable, … I can generally follow such a desire to some degree. But safe dependency management can also require to express expectations for system properties in precise ways, can't it? Would you like to fiddle with application binary interfaces? > Again, opam packages change all the time, and if you don't regularly stay > up to date, it's really easy to get downwind of drastic changes; > leaping many versions for a given package can trigger the kinds of > unexpected breaks that I'm talking about. There are more challenges to consider from usual software evolution. > It makes sense to me to think of opam package installs as being in a kind of > git staging area, where I can consider them tentatively and test it against > a particular package, but easily and quickly revert back to other built packages You might stumble on target conflicts which will make it harder to find and agree on a solution. > (without needing to rebuild something again unnecessarily) that I know are working. It can take a while until it is noticed that something is finally not working as expected, can't it? Regards, Markus