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 7B3095D5 for ; Wed, 7 Apr 2021 12:09:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,203,1613430000"; d="scan'208";a="501992719" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Apr 2021 14:09:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A1299E1D3D; Wed, 7 Apr 2021 14:09:26 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 75A94E0171 for ; Wed, 7 Apr 2021 14:09:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp IronPort-PHdr: =?us-ascii?q?A9a23=3AFsjNlBdlqxjjjkM8Qml9cWtolGM+E97LVj590bI?= =?us-ascii?q?XzolWe6HmxazJeXLljd1ThVPEFb/W9+hDw7KP9fy5CCpZvsnK6ClKWacPfidNs?= =?us-ascii?q?d8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgV?= =?us-ascii?q?vO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAHcutMLjYZgKKs9xQfFrmZVc?= =?us-ascii?q?OlK2G1kIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwX?= =?us-ascii?q?NQguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlh?= =?us-ascii?q?DsbOzM/7WrajNF7gqBGrxK7vxFxzY7abp+IOvR9cazSYc4VSHFdXspNTSFNHp+?= =?us-ascii?q?wY5cRA+cHIO1Wr5P9p1wLrRamAAejGuXvyj5UiX/23K0xzvgsERrc0wwhAtkDt?= =?us-ascii?q?27brM7vO6cTSu21zbLIwS/Eb/xK2Tfy8pLEfQo9rv2WX7JwadPcxE8yHAzKklu?= =?us-ascii?q?es5bqPy+J1usTqWib6fJtWf6shmI6pQ99vyajy8YjhITLgo8YyFLJ+Th9zYs7K?= =?us-ascii?q?9O2Rk51bN2kHZdOqyyXNIV4T8I+T29ouis3y7wLtYOmcSUM1Z8pyRnfa/mdfIi?= =?us-ascii?q?J5BLuTP6RLi1ihHJ+Zr2/nQy+8U2kyuD6S8K6005KozJYntTCuH0BzR3e58idR?= =?us-ascii?q?vZ88UqtwyuD2xzL5u1aI004j67WJ4A7zrM0ipYfq0bOEjHwlU7rlqGZbF8k9fK?= =?us-ascii?q?t6+n/YrXpuJucN4hshwDwLKshgdazAeUjMgQUWGiU5eS826f58ULjXLpGlP82k?= =?us-ascii?q?rHBvJDbI8QUuLK5DhdI3ost5RuzFTar3dQCkXQGI19JYg+Lg5TxN1HLOv/4DPO?= =?us-ascii?q?/g1q2kDdswvDLJqfuAo7XIXjCi7rhfK1951RbyAUvzdBQ/YhYBasdL/7pWE/xr?= =?us-ascii?q?MTUDgUlPAys3+bnFNJ925sCVm2VB6+ZNLresVuJ5uI0P+mBf5QVuTb4K/g9/fH?= =?us-ascii?q?il345mVkHfamox5Qbcn64Hu41a3meNHHlh9NEFWYRoiI/SvbrgRuMS219fXG3C?= =?us-ascii?q?oEx4DAwCIPuJJzKR8j5iaeI3Q+6BdtRbWBPTFmHV3XwIdbXE8wQYT6fd5cy2gc?= =?us-ascii?q?PUqKsHtdJ/SHrjxfzzv9cFsSR4jcR3briz55y7O3a0xg5sz5sXZz1+1HIdHl9m?= =?us-ascii?q?yYzfxFz2al+pUJnzVLr+aljxftTFdUV7vgPUB9obPb0/6lBE9n3Hzn5UJKJRVK?= =?us-ascii?q?hKv25DDt3T8l3xNQOagB0EJOglkKbtxc=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AiYAVdK8uDgTN8vlOgLhuk+BLI+orLtY04lQ7?= =?us-ascii?q?vn1ZYxpTb8CeioSSjO0WvCWE7wo5dVMBvZSuOKycTWi0z/RIyKQyHZPnZgnpv2?= =?us-ascii?q?O0MJpvhLGO/xTMEzDzn9QttptIXLN5DLTLYWRSqMbh/U2FFMw9y8OM66CiiY7l?= =?us-ascii?q?oEtFaSFPR+Ve4xxiCgCde3cGIDVuIZYiDpKT6o5mqlObCBYqR/+2DHUEQOTPzu?= =?us-ascii?q?ej/PnbSCULHhs2rBSJ5AnH1JfBDxOa0h0COgkv/Z4e9wH+8zDR1+GotfWjwhTz?= =?us-ascii?q?2gbonvFrpOc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DKAQBHoG1gWwpAQYVaGwEBAQEBAQEBB?= =?us-ascii?q?QEBARIBAQEDAwEBAUCBUgKCKSpNITc4MY1GiDODOZlMAgkBAwELAQEgEgIEAQG?= =?us-ascii?q?GSQIdBwEENBMCEQEBBQEBAQIBAwMEAQYzSoVQDUMBEAGBYyKEAyiBMCQBBQEIT?= =?us-ascii?q?4JQgwYBnESBBD2LLYE0gQGHayJMgQ4SgScBjUxDgguGQYNBhSoEg1WBRAgsBI1?= =?us-ascii?q?yB5FLnCuDFYM+hiWTGSOFC48MDJBOuD4CCgcGECOBSCGBWzMaCDCDJAlHGQ6WL?= =?us-ascii?q?4ZIMzE4AgYKAQEDCVYmE4NUiC4BAQ?= X-IPAS-Result: =?us-ascii?q?A0DKAQBHoG1gWwpAQYVaGwEBAQEBAQEBBQEBARIBAQEDAwE?= =?us-ascii?q?BAUCBUgKCKSpNITc4MY1GiDODOZlMAgkBAwELAQEgEgIEAQGGSQIdBwEENBMCE?= =?us-ascii?q?QEBBQEBAQIBAwMEAQYzSoVQDUMBEAGBYyKEAyiBMCQBBQEIT4JQgwYBnESBBD2?= =?us-ascii?q?LLYE0gQGHayJMgQ4SgScBjUxDgguGQYNBhSoEg1WBRAgsBI1yB5FLnCuDFYM+h?= =?us-ascii?q?iWTGSOFC48MDJBOuD4CCgcGECOBSCGBWzMaCDCDJAlHGQ6WL4ZIMzE4AgYKAQE?= =?us-ascii?q?DCVYmE4NUiC4BAQ?= X-IronPort-AV: E=Sophos;i="5.82,203,1613430000"; d="scan'208";a="501992686" X-MGA-submission: =?us-ascii?q?MDFN0MB5ESxROgmUmROgt8O6rc+mIhMh32R8Xj?= =?us-ascii?q?KZ2SMDWXTkpk22evwhxLvIq/UEHs+mBTSqZFsKtyY2lKhLiJ37DMddur?= =?us-ascii?q?23ZdISrV7ORpvX81i0oET/HoELESyN2mU0RnstTScKSnFFNNzsTJqfgl?= =?us-ascii?q?5I7wiGMwdS7hznlKkL+zuaoQ=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 07 Apr 2021 14:09:19 +0200 Received: from mail-pj1-f71.google.com (mail-pj1-f71.google.com [209.85.216.71]) by web.is.ocha.ac.jp (Postfix) with ESMTP id C6F4036002B for ; Wed, 7 Apr 2021 21:09:16 +0900 (JST) Received: by mail-pj1-f71.google.com with SMTP id oc10so3387888pjb.8 for ; Wed, 07 Apr 2021 05:09:16 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition; bh=RRuMs773+grt/LmzSonyJSggyMI35ZL502Pq2Mojj9E=; b=YkXNOedznartHsSX+gAXtcfLRl8EdqyqW7+HEGbbrHVa5/ew/Wt/GXjXGy9d98voZV PbOfABeHR5OHPRzyv46Jb/HzCIRn/OVOzBzaA3hYZ9SNoGFalgKErMfrf7RPzastwOos dIP4LI05g5tYMjmBX/TAwHPZUbWm03dxeZtHOh9n/br4ONyBXE3oD5mMs6fDa2YAuFu9 IKWpnpbkC2v2IBbfEgIjkJRxlJg57xV7aq0t7x2KjrOiCJ2RTO7dPAVWRcAMssIVvrvu EanHr6QR8eUj+QMM6BsFzrV+bsZOn1F0d35v+haqy3Zxu624Kki+X8iOomn0mNHGhZxx xjpQ== X-Gm-Message-State: AOAM531VXtNpacNsSsk682FccQ+qm6Rbtq9fOqeo5TNFe49X1MT8m4Is NdtEWJHkNUd7Tn3mbF92WyjPAVzGwA8k3affiFAZ/r8EqkCZXtYYqvkpVIOlvgJ81R52BPWkYpI qYjYQGljkrhDT X-Received: by 2002:a63:3244:: with SMTP id y65mr3092785pgy.197.1617797356201; Wed, 07 Apr 2021 05:09:16 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzanov3c8k5vLzAdMyUPbKl8ORa4DJuEiuMZJAh5ByADghyK8+KGcWpHp3adMf1qjgSrRibvA== X-Received: by 2002:a63:3244:: with SMTP id y65mr3092771pgy.197.1617797356028; Wed, 07 Apr 2021 05:09:16 -0700 (PDT) Received: from localhost (KD027092090072.ppp-bb.dion.ne.jp. [27.92.90.72]) by smtp.gmail.com with ESMTPSA id w6sm5295280pjl.49.2021.04.07.05.09.15 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 07 Apr 2021 05:09:15 -0700 (PDT) Date: Wed, 7 Apr 2021 21:09:07 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] ocaml-variants via binary patch? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18455 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: I am trying to create an ocaml-variant (a type debugger) in which parser.mly is modified. Since OCaml uses menhir, I have to run "make promote-menhir" to obtain "boot/menhir/parser.ml". After that, I created a patch against the original OCaml source. This way, I wanted to obtain the variant by specifying the patch in the opam file. However, git diff somehow considers "boot/menhir/parser.ml" as a binary file. Now I got stuck. If I create a patch via: git diff --binary the patch program (launched by "opam switch create") says git binary diff is not supported. Is there a way to pass "--binary" to patch launched by opam? Or, is there a way to obtain non-binary diff for "boot/menhir/parser.ml"? (The file appears to be an OCaml file, with some very long lines.) I then tried to include "make promote-menhir" into the build process of opam, but opam says "menhir: command not found". Sure, menhir will be built after the switch which I am now trying to create, leading to circular dependency. What can I do? -- Kenichi Asai