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 13B407EF1E for ; Tue, 19 Jul 2016 18:23:51 +0200 (CEST) IronPort-PHdr: 9a23:8VBtWhBTxD934icn8ceHUyQJP3N1i/DPJgcQr6AfoPdwSP/7pMbcNUDSrc9gkEXOFd2CrakV06yL6uuxByQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd+KyZnunLHss7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWcQCH0u/MDgqTXESAKO4DNcDjRXwVJ0BF3r5RvgX5z8+g/3/sRwwzKTO9G+GZ49Uy6j5KotbBLfhiocLDc/7EnWjNZxheRVukTyiQZ4xtvlZ52cMbJUd7nbesJSEXtGQs9UXSVbBIStR4QKBusFe+1fqt+u9BM1sRKiCFz0V6vUwThSiyqzgPQ3 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yotambarnoy@gmail.com; spf=Pass smtp.mailfrom=yotambarnoy@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f177.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yotambarnoy@gmail.com) identity=pra; client-ip=209.85.161.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yotambarnoy@gmail.com designates 209.85.161.177 as permitted sender) identity=mailfrom; client-ip=209.85.161.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="yotambarnoy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f177.google.com) identity=helo; client-ip=209.85.161.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yotambarnoy@gmail.com"; x-sender="postmaster@mail-yw0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D2AQA7U45XhrGhVdFdhBV8BqcskTqBeiKFeAKBKQc6EgEBAQEBAQEBEQEBAQgLCwkhL4IyBAESghQBBRIRHQEbEgsBAwwGBQsNAgIJCBUCAiEBAREBBQEKEgYTEhCHcwEDFw6hB4EyPjGLO4FqgloFhEgKGScDClKDTAEBAQEBAQQBAQEBAQEZAgYQcYUphE2CQ4I8gkKCWgWGVgySDjSGE4Yxgh6Ba06EC4hziCWGOhIegQ8lDYItEQuBaCAyiCUBAQE X-IPAS-Result: A0D2AQA7U45XhrGhVdFdhBV8BqcskTqBeiKFeAKBKQc6EgEBAQEBAQEBEQEBAQgLCwkhL4IyBAESghQBBRIRHQEbEgsBAwwGBQsNAgIJCBUCAiEBAREBBQEKEgYTEhCHcwEDFw6hB4EyPjGLO4FqgloFhEgKGScDClKDTAEBAQEBAQQBAQEBAQEZAgYQcYUphE2CQ4I8gkKCWgWGVgySDjSGE4Yxgh6Ba06EC4hziCWGOhIegQ8lDYItEQuBaCAyiCUBAQE X-IronPort-AV: E=Sophos;i="5.28,390,1464645600"; d="scan'208";a="185251540" Received: from mail-yw0-f177.google.com ([209.85.161.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Jul 2016 18:23:49 +0200 Received: by mail-yw0-f177.google.com with SMTP id i12so20775206ywa.1; Tue, 19 Jul 2016 09:23:49 -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; bh=Ye1iA4Hl/XXdyzN+cwueL0pfJ8kOvZJOxd0Xsudt9ng=; b=XurVcO4UZ45+Ub/SqvLiV7m+yPeImSJ8d0gmp58std0MGvaxRFYaHEYy9saXEQzXC9 aBg5kaqGJQJLJXLLt7vW5cefBeicz4L+ZkNa26QeLRMKbn8vQxFhIfLlu25FAExOtEtu 2DZjU4suyxwrnfedQLhzLRn/FfPpsBbNYCEUnPiITyyiQJ5L7qRHp5fynzGojdYVAaQc gXI1LzAuQro3j41mkNWRWxoth7NhknB19CrgEZH0J9xTs6LV/b2Qixq7JfKuuxJqFwWf bQ85ON6vITOdzvN450Gof4K96fU8MF6q3gFXxb5LSB8JFvCShxmVXQ0M8afFfIo7NYYT ijZA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=Ye1iA4Hl/XXdyzN+cwueL0pfJ8kOvZJOxd0Xsudt9ng=; b=Ucenp1tEvutPyiSExvZYvCN2nLdsVBkw8CUol2YmJn2aOduYv8uRZDuyv9L9i686ta 1Q2xi6o1kcnq4Zw8dKoZZ9G68VWMitwT0uIBoK/Ho74CdN8lfXdcIEamh9rxIOwXaM7B Bti9k2bFmZd/hg2KROc6zal2xHFfHIigrdnBIIIiii84PcQdIFUr9aqVnzf4uC3RNA/3 yxu0bXyBZVQuF6n2JPN9fHU6Ky6WUKJ7TE35nDsGfWnD1hVFPSYpKZOvWq3zS1qwirRr +ZoPtbAN1eKhex7kzp4UvcUuibjl4qbgRH5nUIhtBvTcFQ5TXEXkAV/l6R11mRKWGwzm PT1w== X-Gm-Message-State: ALyK8tKQ6rhnhbGtScF1vDSP49fQP1TFp0VLBYex4K7KSPiqPRE1yMajijMMEJlTFyBUOsTLyMlPLvgGaCb6uA== X-Received: by 10.37.22.68 with SMTP id 65mr25464990ybw.3.1468945428016; Tue, 19 Jul 2016 09:23:48 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.214.204 with HTTP; Tue, 19 Jul 2016 09:23:28 -0700 (PDT) In-Reply-To: References: From: Yotam Barnoy Date: Tue, 19 Jul 2016 12:23:28 -0400 Message-ID: To: Fabrice Le Fessant Cc: Ocaml Mailing List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Recent hooks design and general github PR issues See the comments at the bottom of https://github.com/ocaml/ocaml/pull/668 by avsm and gasche, which can be seen as asking question about the whole feature (not just the PR). See also Shinwell's concerns at the bottom of https://github.com/ocaml/ocaml/pull/647. And note that since they are on separate PRs, they most likely did not see each others' comments, which is a problem. In general, I think the process has to be refined. As this is all part of one feature, that feature should be discussed first before any merging begins. And merging should not be done by the person suggesting the feature. -Yotam On Tue, Jul 19, 2016 at 11:36 AM, Fabrice Le Fessant wrote: > Hi, > >> several core members trying to voice concerns about the feature in one >> PR, while other member PRs were simply merged into the tree > > Could you be more specific ? I think I have taken the time to discuss all > these PRs (for 20 days for 2 of them, 13 days for the other one), I have > modified the PRs to follow the requests that were voiced (for example, by > removing the default -fPIC) and they were all reviewed by other core > developers. If you think some concerns have not been taken into account, > please, tell me. > >> yet I have not seen it or its costs vs benefits being discussed fully in >> any particular place > > Probably because the cost vs benefit is very hard to measure in most PR: the > benefit might be small for some users, and big for other ones; some features > might be hard to understand and to use, yet one developer can use them to > develop a tool that can be used by many users; some features might look of > little use at the beginning, yet, once they are present, other users might > find usages that were not foreseen in the PR discussion. > > --Fabrice > > > On Tue, Jul 19, 2016 at 5:09 PM Yotam Barnoy wrote: >> >> I would like to alert the list to a potential problem with github PRs, >> and a recent example of such a problem. >> >> I've noticed that recently, there has been an insertion of a >> particular feature into the compiler. This feature involves >> potentially long-term commitment in terms of maintenance, and yet I >> have not seen it or its costs vs benefits being discussed fully in any >> particular place. I'm specifically talking about PRs >> https://github.com/ocaml/ocaml/pull/648, >> https://github.com/ocaml/ocaml/pull/668 and >> https://github.com/ocaml/ocaml/pull/647. >> >> The problem with github PRs is that they allow you to insert features >> piecemeal. This splits up the discussion across multiple PRs, making >> it very difficult to have a discussion about the feature as a whole, >> and making it seem like there is consensus when there might not be. >> >> As a rule, I recommend that any such large feature spanning multiple >> PRs first require discussion either on the list or on mantis, to >> concentrate discussion in one place. >> >> It may also be worthwhile to say that except for rare exceptions >> (mostly bug fixes), PRs should not be merged by the same person who >> authored them, as this makes the process seem biased and questionable. >> >> I don't know if this feature in itself is problematic, but I've seen >> several core members trying to voice concerns about the feature in one >> PR, while other member PRs were simply merged into the tree. In my >> opinion, questions on sub-PRs of a feature should inhibit merging any >> parts of said feature. >> >> This may be a false alert, but I think it is worth clarifying if it is >> indeed one, and at the very least, the protocol should be set for the >> future. >> >> -Yotam >> >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs