From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 6CFEF7EF5E for ; Fri, 15 Jul 2016 20:50:30 +0200 (CEST) IronPort-PHdr: 9a23:esUochOQIvh6MXiMg/El6mtUPXoX/o7sNwtQ0KIMzox0Kf3+rarrMEGX3/hxlliBBdydsKMczbaK+Pm6AyQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZjrnLnoodX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysfzsqRDGBSGG/H0bQy1Cgx1UCg3P5Qv8WYbZvS7zt+470y6fa4m+bb0yVS6j7O9BTxjtwHMHOjg16mDUotB3lKVa5gqmoAU5yInRNtK7Lv17K4rZdNIcDURbX91aV2QVC4e1bo1JAfAAJu1Yh43wt1oArF21Agz6V7Cn8SNBmnKjhf5y6O8mCwyTmVV4R98= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain.frisch@lexifi.com; spf=None smtp.mailfrom=alain.frisch@lexifi.com; spf=None smtp.helo=postmaster@mx20.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx20.yaziba.net) identity=helo; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@mx20.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DmAQDyL4lXh6TM6VVchD67QYYaAoEvPBABAQEBAQEBAREBAQEKCwkJIS+CMgQBEgGCEwEFIxVBEAsYAgImAgJXBgEMCAEBiDCxUo4iAQEBAQYBAQEBI4EBhSmBeAiCTYdBgloBBJkhgV6MfYlQhWWQGQI1gjuBWYc/AQEB X-IPAS-Result: A0DmAQDyL4lXh6TM6VVchD67QYYaAoEvPBABAQEBAQEBAREBAQEKCwkJIS+CMgQBEgGCEwEFIxVBEAsYAgImAgJXBgEMCAEBiDCxUo4iAQEBAQYBAQEBI4EBhSmBeAiCTYdBgloBBJkhgV6MfYlQhWWQGQI1gjuBWYc/AQEB X-IronPort-AV: E=Sophos;i="5.28,369,1464645600"; d="scan'208";a="184938222" Received: from mx20.yaziba.net ([85.233.204.164]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Jul 2016 20:50:29 +0200 Received: from mta20.int.yaziba.net (mta20.int.yaziba.net [10.4.20.31]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx20.yaziba.net (mx10.yaziba.net) with ESMTPS id 8438F1A77F7; Fri, 15 Jul 2016 20:50:28 +0200 (CEST) Received: from mta20.int.yaziba.net (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTPS id 80523CA761; Fri, 15 Jul 2016 20:50:28 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTP id 73352CA757; Fri, 15 Jul 2016 20:50:28 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta20.int.yaziba.net Received: from mta20.int.yaziba.net ([127.0.0.1]) by localhost (mta20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id ZyxzYCQN2vhx; Fri, 15 Jul 2016 20:50:28 +0200 (CEST) Received: from [192.168.1.11] (LFbn-1-535-219.w86-245.abo.wanadoo.fr [86.245.27.219]) by mta20.int.yaziba.net (Postfix) with ESMTPSA id 3546ECA657; Fri, 15 Jul 2016 20:50:28 +0200 (CEST) To: Yotam Barnoy , Hendrik Boom References: <001701d1daa2$30f7ac30$92e70490$@metastack.com> <1468179914.25014.89.camel@e130.lan.sumadev.de> <20160714090300.GB21053@frosties> <002601d1de7e$9f5776d0$de066470$@metastack.com> <20160715161308.GB30333@topoi.pooq.com> Cc: Ocaml Mailing List From: Alain Frisch Message-ID: <0017d57b-7316-c5a8-87fc-db297d8fbb20@lexifi.com> Date: Fri, 15 Jul 2016 20:50:25 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeeltddrgeeggdduvdehucetufdoteggodetrfcurfhrohhfihhlvgemucggtfgfnhhsuhgsshgtrhhisggvpdgjtegkkfeuteenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepuffvfhfhkffffgggjggtgfesthejredttdefjeenucfhrhhomheptehlrghinhcuhfhrihhstghhuceorghlrghinhdrfhhrihhstghhsehlvgigihhfihdrtghomheqnecukfhppeekiedrvdeghedrvdejrddvudelnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Warnings opening modules (was: why is building ocaml hard?) On 15/07/2016 18:57, Yotam Barnoy wrote: > The problem seems to stem from the fact that the same open statements > which we use to import code (and which are available in every > language) are also used as part of OCaml's super-flexible module > system. This makes it hard to come up with easy, simple shortcuts for > functionality available in other languages, because it needs to fit in > the far more complex general module language. There would really be no difficulty to allow specifying which components to bring in scope in an "open" statement. One just need to decide if it is a good idea from a language design point of view, and then agree on / fight over a syntax. (One needs to distinguish of course between various kinds of components.) Alain