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 CA8E25D5 for ; Wed, 7 Apr 2021 13:06:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.82,203,1613430000"; d="scan'208";a="502007820" 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 15:06:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 12F55E1D41; Wed, 7 Apr 2021 15:06:13 +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 89B99E0171 for ; Wed, 7 Apr 2021 15:06:09 +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=3AmkQxnxSR8sXq5lHP2odfxLBVwdpsomOfAWYlgqE?= =?us-ascii?q?Pu/d1aq2muq7aFwnh351FslbFUM3h5u5ejKKO6ua8AD1GuMne+yhbOLV3FDY9w?= =?us-ascii?q?f0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV?= =?us-ascii?q?6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMnIdvKKQ8xhTVrndVZ?= =?us-ascii?q?u9b2X5mKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQLJbETorLXk76NXkuhf?= =?us-ascii?q?fQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi86JmQwLmh?= =?us-ascii?q?SsbKzI09nzch8pth6xZvR2hvQRyzYDUbo+LKfRwfa3dctwGSmVcXMlcTDBBDp+?= =?us-ascii?q?mYocTE+YNIfhUoo/grFUOtxu+AgysCfvqxDBWgH/23LE10+QgEQrbwAEgBMgBs?= =?us-ascii?q?HXJp9jyLqgSSvq6zKjTwDXCdPNawzD955TIch87u/2DR65/fdDTyUk3Dg7IiEi?= =?us-ascii?q?bpoP5MT2PzOsNr3Sb4PR6VeKpk2MqqR19rDexy8kshYTHiYYYx1DA+Cln3Ys4I?= =?us-ascii?q?dm1RVN6bNO5FJZcqSGXOoR4T88/Q29ltzg3xqMbtJKnYCQG1YkryhjCYPKEa4i?= =?us-ascii?q?F+g/vWeifLDtihX9oeKizihe9/ES61+HwStG43EhIoyZfltTAqGoB2hjP5sSdS?= =?us-ascii?q?PZx4EGs0iuV2Q/J8OFLO0U0mLLbK5E/xr4wkYIesErdESDtgkn2jbSWel8j+ue?= =?us-ascii?q?06+ToeK/qqYWAOINuiAH+Krwims25AesmLggDR3WX9Oqy2bH5/ED0QK9Gg/w5n?= =?us-ascii?q?6XDrZzWOdwXpqujDA9U1oYj5Qy/DzCj0NkAh3YHN0hKeBOcgojoIFHCOvf4Auu?= =?us-ascii?q?/g1u2ijtk3ezJMqfjApXVNnTDiqvufa5h605Azwo+1cxQ6IhRCrEFOf7zXk7xt?= =?us-ascii?q?MfEDhIiKAy1w+PnCM1n2Y8EWGKPBLWZMKLIvlOS6OIvObrEWIhAnjf2LPys/Mn?= =?us-ascii?q?Jj3I1kGg38bPhiZ0WY3e8F+8gJEeUbXOqiN4bOWMHrgswTarhj1jUAhBJYHPnf?= =?us-ascii?q?K865zo7CcqPFo7CDtSkm7WA9CagWJpdZmkAA1vKE2++JNbMYOsFdC/HepwpqTc?= =?us-ascii?q?DT7X0E+cJ5VSVrAb/joFfAK/R8ywcu4jk0bBd5vaVkhoy/Hp9BIKfyzPUJ0lE2?= =?us-ascii?q?1gQTjpz55hR5ExwzlDr+bd1ibpZDppU7PNAFA4xc5zEnbQSI+C3YRrIe5KycHj?= =?us-ascii?q?jWs+vaRkwVZQ2yN8HJU92Xde63Eir4g=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ATd1FPqvAqbIMm5H9na4fxBZo7skCLoMji2hD?= =?us-ascii?q?6mlwRA09T+WznamV7ZYm/DXzjyscX2xlpMCYNMC7MAvh3LN8/IV5B9afdSb8vm?= =?us-ascii?q?/AFuFfxKvkhwbtAijvstNavJ0QF5RWLP3VIRxEgd3h4A++euxQueWv1Kyzn+/R?= =?us-ascii?q?wzNMYGhRGsRdxjx0AAqaDUF6LTMubfFSefXz2uN9qzWtYngRZMigb0N1ONTrnc?= =?us-ascii?q?HBl57tfHc9dngawTSOlj+h5frbFBWVz34lIk9y6Ioi6mTMnkjF4LyiuZiAu2Lh?= =?us-ascii?q?/lLUhq4m++fJ+59mDMyIhtN9EESXti+YIKJ7W7ODuzgpoOagrHYS+eO82CsIDo?= =?us-ascii?q?BN62jMZCWOqxPr3AXsuQxD10Pf?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BMAAATrW1gWwpAQYVaGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBARIBAQEBAQEBAQEBAQFAgVKCKypNITc4MY1GiDIgkHCLdQIJAQM?= =?us-ascii?q?BCwEBIBICBAEBhFACgXcCHQcBBDQTAhEBAQUBAQECAQMDBAEGHhVKhVANgjgig?= =?us-ascii?q?2sBAQECARIoPwULC0YQJAEFAQgUBjWCUIJmIAGgJYEEPYstgTSBAYdoIkyBDhK?= =?us-ascii?q?BJwGNTEOCC4Q1PoFOiGsEhUWNfgeRS5wrgxWDPoYlkxkjgzsBgU+PDAyQTrg+A?= =?us-ascii?q?goHBhAjgUiBfDMaCDA7gmkJRxkOli+GSDMxOAIGCgEBAwlWJhOMAgEB?= X-IPAS-Result: =?us-ascii?q?A0BMAAATrW1gWwpAQYVaGQEBAQEBAQEBAQEBAQEBAQEBARI?= =?us-ascii?q?BAQEBAQEBAQEBAQFAgVKCKypNITc4MY1GiDIgkHCLdQIJAQMBCwEBIBICBAEBh?= =?us-ascii?q?FACgXcCHQcBBDQTAhEBAQUBAQECAQMDBAEGHhVKhVANgjgig2sBAQECARIoPwU?= =?us-ascii?q?LC0YQJAEFAQgUBjWCUIJmIAGgJYEEPYstgTSBAYdoIkyBDhKBJwGNTEOCC4Q1P?= =?us-ascii?q?oFOiGsEhUWNfgeRS5wrgxWDPoYlkxkjgzsBgU+PDAyQTrg+AgoHBhAjgUiBfDM?= =?us-ascii?q?aCDA7gmkJRxkOli+GSDMxOAIGCgEBAwlWJhOMAgEB?= X-IronPort-AV: E=Sophos;i="5.82,203,1613430000"; d="scan'208";a="502007780" X-MGA-submission: =?us-ascii?q?MDF3w57SwPXvIoq4Op2wDpHviRtTvN0wLX8MCs?= =?us-ascii?q?LkEgJrgCbmTWjmZtJL9dg60LQkt1+b7wHiL3xFOpn569hWEDVoBjvUcp?= =?us-ascii?q?XT6uk2XjeVfaiIfxh7H99SaRnmKY5oaT8aTIjMPFCDUrW4O/NAzR8KvD?= =?us-ascii?q?PZJXQ+Y1SsOsD2OnZa+dqd7g=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 15:06:08 +0200 Received: from mail-pj1-f69.google.com (mail-pj1-f69.google.com [209.85.216.69]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 4A8AC36002B for ; Wed, 7 Apr 2021 22:06:07 +0900 (JST) Received: by mail-pj1-f69.google.com with SMTP id gx15so3485756pjb.6 for ; Wed, 07 Apr 2021 06:06:07 -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:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to; bh=l94Acc/3X5rH8YEq7xsvbwFAy71cf9umZ1OsLO+F+a4=; b=G4dkz8YKnERJIsWJVuG+kpFgLN85KNHiXxhnpTm+HfdvIiHdJ2qnwerCIBrpzBJM7t Yj7SkgCfz4ySVBxtyp/YeMU9c5p9IEC7ygt68/zpjA424I2hQfyCp+4Sk3CMn1TCdK8G iX85SH2SrKVSJQnZteeq5B/QOgvAfItu7V0ydq+Xqp6Uu2PgPMY1GITjZHsQIu6VRyGL hq/uUeHTKtIz+2ugBud7ErIa+v2Hfy4W8nTGivrYSDZQwHlYiob5floQWpXhWxTtATOO rW1EuQjkK2wzskdJVDSByaxW0UmRboAncnNao0i5+/oiLcKzWjHfQPvxmXmDT31lF+aM KAHg== X-Gm-Message-State: AOAM530z4I4ssXEGwTLpUnNmZDzqwFNplGaAAwOrS+76O/wU97tgHooG g+2HK5MP6gDqen6tEBir/KmTEuXoKOxBlksH2XyZ4TK7o9JJOZbPRPIwMFHW/M9uwcgzsZcUUDX 5Onx8av0ilrN0 X-Received: by 2002:a17:90a:5889:: with SMTP id j9mr3339277pji.69.1617800764369; Wed, 07 Apr 2021 06:06:04 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzdHbO8dItXMFQ4ni8+lZNVOQfQDP+sosRA/393tpHANXK3xl9XPBiojJk2RcugYGPfp9zYQQ== X-Received: by 2002:a17:90a:5889:: with SMTP id j9mr3339261pji.69.1617800764192; Wed, 07 Apr 2021 06:06:04 -0700 (PDT) Received: from localhost (KD027092090072.ppp-bb.dion.ne.jp. [27.92.90.72]) by smtp.gmail.com with ESMTPSA id x18sm2044415pfu.32.2021.04.07.06.06.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 07 Apr 2021 06:06:03 -0700 (PDT) Date: Wed, 7 Apr 2021 22:05:56 +0900 From: Kenichi Asai To: =?utf-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Cc: "caml-list@inria.fr" Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] ocaml-variants via binary patch? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18458 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: > You should be able to obtain a textual diff by using > > git diff --text boot/menhir/parser.ml Thank you, Nicola!!! That solved the problem. Fantastic. -- Kenichi Asai