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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 1CCAF7ED34 for ; Sat, 7 Jul 2012 11:07:40 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.160.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.160.182 as permitted sender) identity=mailfrom; client-ip=209.85.160.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-gh0-f182.google.com) identity=helo; client-ip=209.85.160.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-gh0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoCAJf790/RVaC2kGdsb2JhbAAqGqZTkQQIIgEBAQEJCQ0HFAQjghgBAQEEEgIsARsSCwEDDAYFCw0NISIBEQEFAQoSBhMICgkHh1oBAwsLKZsyCQOMI4JxhHUKGScDCleIcQEFDIs0hgwDlTaBEo0WPoQA X-IronPort-AV: E=Sophos;i="4.77,542,1336341600"; d="scan'208";a="149924879" Received: from mail-gh0-f182.google.com ([209.85.160.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Jul 2012 11:07:39 +0200 Received: by ghbz22 with SMTP id z22so13519341ghb.27 for ; Sat, 07 Jul 2012 02:07:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=XEuPEYlUlyIQFgiAFbtNnZLOM5p9OMM42C4UFdZ6VhU=; b=tPtZ9SoQ+xBHpfPgBM5ZCfQs+WoTSTjS5R0KEt74ps48cS8kzm+iCfMt5OCA7msw6o OW4O4xhpiNQ+Ctqc1GKTvhmODb2nCx/gNVnNOjGPkCZeiIYn6KQWN0drvpWdHWxNPlSG eIYwvrwM9JzUCjoH/sFf++iLtrKBaFhM/UhbwmUgtccJIZQJIR7X15N2OHDQtEy9W1pd IHIJGe7SZ/ucS0VvsTyfO5HQZnVLmDXbYEbrMOSPB+3Ah/846kI72jIV+WnkA0FRfvuf xVhBMALphsplO7c0YI3WlDmaJtGgEc4NH09lQmF5uP3K2YDUcUxZQF+GYR0lxt10iV6+ ej4w== Received: by 10.50.202.8 with SMTP id ke8mr4384538igc.6.1341652057844; Sat, 07 Jul 2012 02:07:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.50.94.39 with HTTP; Sat, 7 Jul 2012 02:06:57 -0700 (PDT) In-Reply-To: <4FF7DF55.7080201@inria.fr> References: <15AA452B-980F-45C2-9DDD-21E0993ACDE5@inria.fr> <20120706131531.GA12737@annexia.org> <4FF7DF55.7080201@inria.fr> From: Gabriel Scherer Date: Sat, 7 Jul 2012 11:06:57 +0200 Message-ID: To: Xavier Leroy Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] 4.00.0 is coming To be fair, I'm not sure PR#5628 is the aspect of the change Richard has in mind. I thought he was talking about the fact that he had to manually edit the build system of programs using Toploop to add an explicit `-I compiler-libs`. I don't think that's a "bug", but it means some upgrade burden on library authors or packagers. I think the reason for this change is that the move to compiler-libs/ was precisely to enforce a coherent location for libraries exported from the compiler; keeping toploop in both stdlib/ and stdlib/compiler-libs/ would confuse the setting, and this backward compatibility hack would probably stay with us for too long. So indeed I classify this change as "not a bug". Gerd in PR#5268 complained that adding `#directory "+compiler_libs"` just to #load "toploop.cma" would result in some form of namespace solution. The #remove_directory directive will fix this problem, but won't change (what I understand to be) Richard's issue, and also won't fix the "namespace pollution" aspect for compiled, rather than interactive programs. Program using `-I +compiler_libs` directly have to add this path before any other path that contains module names that would conflict with one of the module in +compiler_libs. Other options that could improve this have been discussed in this bugtracker thread, but they will probably have to wait for after the release. On Sat, Jul 7, 2012 at 9:03 AM, Xavier Leroy wrote: > On 07/06/2012 03:15 PM, Richard W.M. Jones wrote: > >> I don't know if there was officially a bug filed for the >> "toploop library is now in compiler-libs" issue, or even if >> it's a bug. It's the main issue we found, although relatively >> easy to fix in the packages themselves. >> However, has this been resolved or changed, and if so how? > > It's PR#5628: http://caml.inria.fr/mantis/view.php?id=5628 > and it will be addressed by providing a #remove_directory "/path" > toplevel directive and the corresponding function > Toploop.dir_remove_directory. > > - Xavier Leroy > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >