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 3C98E5D5 for ; Thu, 19 Nov 2020 12:19:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.77,490,1596492000"; d="scan'208";a="478367427" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Nov 2020 13:19:10 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A1485E020F; Thu, 19 Nov 2020 13:19:10 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 96E97E020F for ; Thu, 19 Nov 2020 13:19:07 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail148161.authsmtp.com IronPort-PHdr: =?us-ascii?q?9a23=3AP6GTvxTRG8lg03C0ccaQoMzO0tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zYBeN2/xhgRfzUJnB7Loc0qyK6v+mADdfqs3f+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi0oAnLq8Ubj4lvJqk/xxbIv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4ih?= =?us-ascii?q?bYUAEvABMP5YoYfjulUAoxy+CwqjC+zzxTFGgWP20LYm0+kjHgHKwBIsE84QvH?= =?us-ascii?q?nSsd77NL0SUeewzKTQwznNYelZ2Sn86IfVbxssvfWMXbZrccrW0UkvDw3JhUiX?= =?us-ascii?q?pIP4JTOazP0Bs26F4OtuTuKikGsnpB9toje13ccslpPGiZ4Wylze6Sp5x4M1KM?= =?us-ascii?q?S+RUVmbtGqDIFeuDuGN4tqXMwiWWdotT4+x7MJpJO3YTUGxIknyRPdafGKcJaE?= =?us-ascii?q?7wz+WOqPPDp1gHZodK+jihuu7EWt1+LxWtW03VhKoCRLksfAuH4C2hHO7MWMV/?= =?us-ascii?q?Vz/kCk2TmV1gDT7PlJIUcomqXBLp4hxqQ8lp0JsUTMGCL9hUb4jLeOe0gl5OSk?= =?us-ascii?q?8fnrb7v8qpOBOIJ5iRvyPrkvl8CiGeg1MxYCU3KV9OihzrHv40P0TK9UgvA5jK?= =?us-ascii?q?XUto3RK94Bqa6jGQBV154u6xahADei19QVhX4HLE9ZeBKClYfpOlXOLO33APq8?= =?us-ascii?q?nlihkSpny+rcMb38HpXNLmPDkLL9fbZl8UJT1A0zzdVH65JVDLEOPu7zV1fwud?= =?us-ascii?q?DGFBM1LgK5z/z6BNhy1Y4SQ3+DD66EPK/KtF+H/OMvI+2CZI8Pvzb9LuAo6OP0?= =?us-ascii?q?jXAjgFMde7em3JUMaH2jG/RpPVmZbmD3gtcdC2gFogk+QPb2h12FVD5ff2yyUL?= =?us-ascii?q?4k5jEnFIKmCp/OSZy3j7yE2Ce3B5lWZmFdClCQCnrobIWFW/IUaC2IOMNhkzoE?= =?us-ascii?q?VaKgS4A7zx2uuhX6mPJbKb+e3QYRsJar8Nlu+6ebwRo78DgxC8WGz0mMSXt1ly?= =?us-ascii?q?UGXWll8rp4pBk35l6d0KQwqvhcDttL/7kBBgsgPNvawvNhI9X/RgvaYt6CSxCt?= =?us-ascii?q?RdDwUmJ5dc4439JbOxU1IN6llB2WmnPyW+ZIxYzOP4Q99+fn51a0J8t5zCyWhq?= =?us-ascii?q?48k1wvQ88WaT3/2Pc5/hXPB5XMj13fnKGvJ/xFgHz9sVybxG/Lh3l2FRZqWPyY?= =?us-ascii?q?D3USekLNsd3y5QXJSLr8Ue12YDsE8taLL+5xUvOsiFxHQPn5P9GHPjC0lnu5Hg?= =?us-ascii?q?qBzbDKZ43vKTwQ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxBABRYrZffaGUDT5igQmBUYFzgSlYM?= =?us-ascii?q?I1wkkiFP4ZehWwLAQMBCwEBHw4CBAEBhnUCHQcBBDQTAhABAQUBAQECAQMDBAE?= =?us-ascii?q?TAQEPFAiGEQxDFgGBXSkBgyACHhJMBRZSIxwBBB4FCIMPgmEpAa5+gQMxhD4Bg?= =?us-ascii?q?RiEbwaBOAGNP4EUgQeDdYsgBJxHmmCBDQqCbQOBFYd6kiqDGooXlEubbIJplVQ?= =?us-ascii?q?EAgQLAhWBa4F6cFCCaj4RGQ2XJIVEQ2gCBgoBAQMJW4hThRoBAQ?= X-IPAS-Result: =?us-ascii?q?A0BxBABRYrZffaGUDT5igQmBUYFzgSlYMI1wkkiFP4ZehWw?= =?us-ascii?q?LAQMBCwEBHw4CBAEBhnUCHQcBBDQTAhABAQUBAQECAQMDBAETAQEPFAiGEQxDF?= =?us-ascii?q?gGBXSkBgyACHhJMBRZSIxwBBB4FCIMPgmEpAa5+gQMxhD4BgRiEbwaBOAGNP4E?= =?us-ascii?q?UgQeDdYsgBJxHmmCBDQqCbQOBFYd6kiqDGooXlEubbIJplVQEAgQLAhWBa4F6c?= =?us-ascii?q?FCCaj4RGQ2XJIVEQ2gCBgoBAQMJW4hThRoBAQ?= X-IronPort-AV: E=Sophos;i="5.77,490,1596492000"; d="scan'208";a="365032601" X-MGA-submission: =?us-ascii?q?MDH5nTGcZDyyLhnQOCdNibgDQVfb2hauA5VTZB?= =?us-ascii?q?9ASRcstX9Qa9WHh3vmtj4dxZcOv2EUtp+uBBdjj/vxL55Swf98fpknl9?= =?us-ascii?q?SmyDgh5VTOh/ktrWLc0J9cRSJRpTwMvmS/moaUE+cDDKlNzPn0cEOfh3?= =?us-ascii?q?hSHC72idNSsB0h8yuYS0caiA=3D=3D?= Received: from outmail148161.authsmtp.com ([62.13.148.161]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 Nov 2020 13:19:06 +0100 Received: from punt21.authsmtp.com (punt21.authsmtp.com [62.13.128.151]) by punt17.authsmtp.com. (8.15.2/8.15.2) with ESMTP id 0AJCJ5bR011970 for ; Thu, 19 Nov 2020 12:19:05 GMT (envelope-from dra-news@metastack.com) Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt21.authsmtp.com. (8.15.2/8.15.2) with ESMTP id 0AJCJ5n5004025 for ; Thu, 19 Nov 2020 12:19:05 GMT (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (usr232-bra.static.cable.virginmedia.com [62.31.23.242] (may be forged)) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id 0AJCJ3N0092772 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 19 Nov 2020 12:19:04 GMT (envelope-from dra-news@metastack.com) Received: from Libera ([172.16.0.125]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 0AJCJ219005598 for ; Thu, 19 Nov 2020 12:19:02 GMT From: "David Allsopp" To: "OCaml List" Date: Thu, 19 Nov 2020 12:19:03 -0000 Organization: MetaStack Solutions Ltd. Message-ID: <001d01d6be6e$2fb83650$8f28a2f0$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Outlook 16.0 Thread-Index: Ada+a/ve/ahvsZR4Sc++8vMD5DgLgQ== Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 62.31.23.242 X-Server-Quench: 6a23751a-2a61-11eb-8a6b-8434971169dc X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNlEAUAAU NkdBMnJSNkcdTBdX QSgKUksqDxtuW2N3 axpQbw9ca0BOW0ts UlZKQ0xQFxtqBR4e BBsBU1dyBn81An0O ZUZrXHdcXgp5cUJ7 DEgFF24BYGYxdWJO VkFFdgIBIh5CLxkX d1h7V3cEZmQGYHM0 FBkeLyg8JzRaJSJJ SwVFK18NCUICDzkh W1gMGi9nAU0IDyI4 Jhkib0AVBkcYNFkp eUMoUlERPBIJQgxY V0ZVCSocPVQZQDEq EQRATCYA X-Authentic-SMTP: 61633634383431.1024:7600 X-AuthFastPath: 0 (Was 255) X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: [Caml-list] Experimental new layout for the ocaml-variants packages in opam-repository Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 18289 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: [With apologies for the delay between its being posted on Discuss and here] The 4.12.0 alpha1 release is out and with it is an experiment for a new layout for the ocaml-variants packages to try to reduce the number of packages needed for each compiler release and also to allow packages to depend on particular OCaml configurations. There is a fuller history of the ocaml-variants packages and the changes we're trialling in the Discuss post at https://discuss.ocaml.org/t/6779. Please feel free to treat the initial Discuss post as a blog post and still reply here on caml-list. The headline change is that where before to install an flambda switch, you would issue opam switch create ocaml-flambda ocaml-variants.4.11.1+flambda you would now issue opam switch create ocaml-flambda --packages=ocaml-variants.4.11.1+options,ocaml-option-flambda (NB We're only doing this for the 4.12 packages at the moment; in opam 2.1 you get to drop the --packages and the comma). Why are proposing to make the command line longer? Because you could then access combinations which weren't available before, e.g. a 32-bit flambda switch: opam switch create ocaml-flambda-32bit --packages=ocaml-variants.4.11.1+options,ocaml-option-flambda,ocaml-option-3 2bit and you could depend on certain OCaml configuration options. For example, if your package definitely breaks with the no-naked-pointers mode, you could conflict with ocaml-option-nnp (or, if your package only works in nnp mode, you could depend on it). This could of course lead to surprises. You might wish to ensure that you are building with flambda and could be caught out by a package installed which conflicts with ocaml-option-flambda and so rebuilds the compiler without it (possibly without your noticing). For this, we have added a series of packages called prefixed ocaml-options-only-, e.g. ocaml-options-only-flambda-fp. These packages allow only the options specified (in this case, ocaml-option-fp and ocaml-option-flambda) and conflict with all the others. Therefore if your switch base packages (or switch invariant in opam 2.1) includes this package, then installing a package which conflicts with ocaml-option-flambda will now fail, rather than attempt to rebuild the compiler without the option. As noted in Florian's announcement, we're experimenting with this layout for the 4.12 pre-release packages and a decision will be taken prior to the release of 4.12.0 as to whether we actually adopt this new scheme. Comments and suggestions on any aspect of this are most welcome, in particular whether we should backport the layout to previous releases of the compiler. Happy (hopefully!) ocaml-variants hacking, David