From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id CBzXMTE40l96fgAA0tVLHw (envelope-from ) for ; Thu, 10 Dec 2020 15:01:05 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id QC26LTE40l/iKAAAbx9fmQ (envelope-from ) for ; Thu, 10 Dec 2020 15:01:05 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 3CB769402B6 for ; Thu, 10 Dec 2020 15:01:05 +0000 (UTC) Received: from localhost ([::1]:49834 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1knNRH-0002vz-In for larch@yhetil.org; Thu, 10 Dec 2020 10:01:03 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:43918) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1knNOL-0008Dl-UC for guix-patches@gnu.org; Thu, 10 Dec 2020 09:58:01 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:55678) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1knNOL-00015C-LG for guix-patches@gnu.org; Thu, 10 Dec 2020 09:58:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1knNOL-0006Xl-KK for guix-patches@gnu.org; Thu, 10 Dec 2020 09:58:01 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#45133] Add ocaml reactiveData Resent-From: divoplade Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 10 Dec 2020 14:58:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45133 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: To: zimoun , Julien Lepiller Received: via spool by 45133-submit@debbugs.gnu.org id=B45133.160761223825093 (code B ref 45133); Thu, 10 Dec 2020 14:58:01 +0000 Received: (at 45133) by debbugs.gnu.org; 10 Dec 2020 14:57:18 +0000 Received: from localhost ([127.0.0.1]:38991 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1knNNe-0006We-DQ for submit@debbugs.gnu.org; Thu, 10 Dec 2020 09:57:18 -0500 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:51585) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1knNNc-0006WO-Io for 45133@debbugs.gnu.org; Thu, 10 Dec 2020 09:57:17 -0500 X-Originating-IP: 86.233.155.91 Received: from divoplade.home (lfbn-poi-1-192-91.w86-233.abo.wanadoo.fr [86.233.155.91]) (Authenticated sender: d@divoplade.fr) by relay7-d.mail.gandi.net (Postfix) with ESMTPSA id C275B20005; Thu, 10 Dec 2020 14:57:08 +0000 (UTC) Message-ID: From: divoplade Date: Thu, 10 Dec 2020 15:57:07 +0100 In-Reply-To: <86pn3hhgbj.fsf@gmail.com> References: <071FCE1F-5CBA-47E3-98B2-952FFFFAE217@lepiller.eu> <874kkuoo75.fsf@gmail.com> <2986b776fa7dd8b813ecc5c3afc32cfce01e3f95.camel@divoplade.fr> <1dcecaea52ad5d96b93fe7ef5675e5f5a52065b9.camel@divoplade.fr> <322C6C39-C571-4871-B3B1-D58D67913EEE@lepiller.eu> <86pn3hhgbj.fsf@gmail.com> Content-Type: multipart/mixed; boundary="=-jiH2OEt0Dg1y+Vt/9Z0b" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 45133@debbugs.gnu.org Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -1.20 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 3CB769402B6 X-Spam-Score: -1.20 X-Migadu-Scanner: scn1.migadu.com X-TUID: Y/sd0aCtmGL8 --=-jiH2OEt0Dg1y+Vt/9Z0b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit Le jeudi 10 décembre 2020 à 15:43 +0100, zimoun a écrit : > > I've tried to reproduce the changes of simon but I'm not sure I > > reproduced the indentation correctly (it's different from what > > etc/indent.el does, but a lot of ocaml packages are not indented > > according to that script). > > Ahah! Let use the one of etc/indent.el for the ocaml-reactivedata > and > see the other ones later. Weird, this indentation is still correct. Maybe etc/indent.el fails to convert tabs? Anyway. > It is a matter of taste. You can read the thread starting here: > > < > https://yhetil.org/guix-devel/CAJ3okZ0v3VvmT=eWAVeAQoFqZh4L3H4tUkEJn1-5EXcJgRB_tQ@mail.gmail.com > > > > The main advantages of git-fetch over url-fetch are, IMHO: > > - lint saves to SWH; no SWH fallback with url-fetch > - easy to try any other commit (--with-commit) > - with specified commit–as it is here– avoid the in-place upstream > replacement annoyance I'm convinced, although we should keep in mind that future commits use dune as a build system, so we wont be able to explore the future that easily. --=-jiH2OEt0Dg1y+Vt/9Z0b Content-Disposition: attachment; filename="0001-gnu-add-ocaml-reactivedata.patch" Content-Type: text/x-patch; name="0001-gnu-add-ocaml-reactivedata.patch"; charset="UTF-8" Content-Transfer-Encoding: base64 RnJvbSA1ODFmOTkyZDFlMzE3MmYzOTA4ODkxMzI3MGIwZjRjZTMxNGRiZmFkIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBkaXZvcGxhZGUgPGRAZGl2b3BsYWRlLmZyPgpEYXRlOiBUaHUs IDEwIERlYyAyMDIwIDE1OjA2OjUwICswMTAwClN1YmplY3Q6IFtQQVRDSF0gZ251OiBhZGQgb2Nh bWwtcmVhY3RpdmVkYXRhCgoJKiBvY2FtbC5zY20gKG9jYW1sLXJlYWN0aXZlZGF0YSk6IGFkZCBv Y2FtbC1yZWFjdGl2ZWRhdGEKLS0tCiBnbnUvcGFja2FnZXMvb2NhbWwuc2NtIHwgNDMgKysrKysr KysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrCiAxIGZpbGUgY2hhbmdlZCwgNDMg aW5zZXJ0aW9ucygrKQoKZGlmZiAtLWdpdCBhL2dudS9wYWNrYWdlcy9vY2FtbC5zY20gYi9nbnUv cGFja2FnZXMvb2NhbWwuc2NtCmluZGV4IDJiZmRhNzMwN2UuLmZhYzRlMzFjZTUgMTAwNjQ0Ci0t LSBhL2dudS9wYWNrYWdlcy9vY2FtbC5zY20KKysrIGIvZ251L3BhY2thZ2VzL29jYW1sLnNjbQpA QCAtNTg1OSwzICs1ODU5LDQ2IEBAIExhYmxHTCksIGdub21lY2FudmFzLCBnbm9tZXVpLCBndGtz b3VyY2V2aWV3LCBndGtzcGVsbCwgbGliZ2xhZGUgKGFuZCBpdCBjYW4KIGdlbmVyYXRlIE9DYW1s IGNvZGUgZnJvbSAuZ2xhZGUgZmlsZXMpLCBsaWJwYW5lbCwgbGlicnN2ZyBhbmQgcXVhcnR6LiIp CiAgICAgOzsgVmVyc2lvbiAyIG9ubHksIHdpdGggbGlua2luZyBleGNlcHRpb24uCiAgICAgKGxp Y2Vuc2UgbGljZW5zZTpsZ3BsMi4wKSkpCisKKyhkZWZpbmUtcHVibGljIG9jYW1sLXJlYWN0aXZl ZGF0YQorICA7OyBGdXR1cmUgcmVsZWFzZXMgd2lsbCB1c2UgZHVuZS4KKyAgKHBhY2thZ2UKKyAg ICAobmFtZSAib2NhbWwtcmVhY3RpdmVkYXRhIikKKyAgICAodmVyc2lvbiAiMC4yLjIiKQorICAg IChzb3VyY2UgKG9yaWdpbgorICAgICAgICAgICAgICAobWV0aG9kIGdpdC1mZXRjaCkKKyAgICAg ICAgICAgICAgKHVyaSAoZ2l0LXJlZmVyZW5jZQorICAgICAgICAgICAgICAgICAgICAodXJsICJo dHRwczovL2dpdGh1Yi5jb20vb2NzaWdlbi9yZWFjdGl2ZURhdGEiKQorICAgICAgICAgICAgICAg ICAgICAoY29tbWl0IHZlcnNpb24pKSkKKyAgICAgICAgICAgICAgKHNoYTI1NgorICAgICAgICAg ICAgICAgKGJhc2UzMgorICAgICAgICAgICAgICAgICIwbDV6MGZzY2txa3l3amJuMm53eTNzNTVo ODV5eDhzY2M0aHE5cXpyOWlnM2hycTFtZmIwIikpKSkKKyAgICAoYXJndW1lbnRzCisgICAgIGAo IzpwaGFzZXMKKyAgICAgICAobW9kaWZ5LXBoYXNlcworICAgICAgICAgICAlc3RhbmRhcmQtcGhh c2VzCisgICAgICAgICAoZGVsZXRlICdjb25maWd1cmUpCisgICAgICAgICAoYWRkLWJlZm9yZSAn YnVpbGQgJ2ZpeC1kZXByZWNhdGVkCisgICAgICAgICAgIChsYW1iZGEgXworICAgICAgICAgICAg IChzdWJzdGl0dXRlKgorICAgICAgICAgICAgICAgICAic3JjL3JlYWN0aXZlRGF0YS5tbCIKKyAg ICAgICAgICAgICAgICgoIlBlcnZhc2l2ZXMuY29tcGFyZSIpICJjb21wYXJlIikpCisgICAgICAg ICAgICAgI3QpKQorICAgICAgICAgKGFkZC1iZWZvcmUgJ2luc3RhbGwgJ2ZvcmdldC1tYWtlZmls ZQorICAgICAgICAgICAobGFtYmRhIF8KKyAgICAgICAgICAgICAoZGVsZXRlLWZpbGUgIk1ha2Vm aWxlIikKKyAgICAgICAgICAgICAjdCkpKSkpCisgICAgKGJ1aWxkLXN5c3RlbSBvY2FtbC1idWls ZC1zeXN0ZW0pCisgICAgKG5hdGl2ZS1pbnB1dHMKKyAgICAgYCgoIm9jYW1sYnVpbGQiICxvY2Ft bGJ1aWxkKQorICAgICAgICgib3BhbSIgLG9wYW0pKSkKKyAgICAocHJvcGFnYXRlZC1pbnB1dHMK KyAgICAgYCgoIm9jYW1sLXJlYWN0IiAsb2NhbWwtcmVhY3QpKSkKKyAgICAoaG9tZS1wYWdlICJo dHRwczovL2dpdGh1Yi5jb20vb2NzaWdlbi9yZWFjdGl2ZURhdGEiKQorICAgIChzeW5vcHNpcyAi RGVjbGFyYXRpdmUgZXZlbnRzIGFuZCBzaWduYWxzIGZvciBPQ2FtbCIpCisgICAgKGRlc2NyaXB0 aW9uCisgICAgICJSZWFjdCBpcyBhbiBPQ2FtbCBtb2R1bGUgZm9yIGZ1bmN0aW9uYWwgcmVhY3Rp dmUgcHJvZ3JhbW1pbmcgKEZSUCkuIEl0Citwcm92aWRlcyBzdXBwb3J0IHRvIHByb2dyYW0gd2l0 aCB0aW1lIHZhcnlpbmcgdmFsdWVzIDogZGVjbGFyYXRpdmUgZXZlbnRzIGFuZAorIHNpZ25hbHMu IFJlYWN0IGRvZXNuJ3QgZGVmaW5lIGFueSBwcmltaXRpdmUgZXZlbnQgb3Igc2lnbmFsLCBpdCBs ZXRzIHRoZQorY2xpZW50IGNob29zZXMgdGhlIGNvbmNyZXRlIHRpbWVsaW5lLiIpCisgICAgKGxp Y2Vuc2UgbGljZW5zZTpsZ3BsMi4xKykpKQotLSAKMi4yOS4yCgo= --=-jiH2OEt0Dg1y+Vt/9Z0b--