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 E24745D4 for ; Tue, 19 May 2020 14:38:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,410,1583190000"; d="scan'208";a="450442346" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2020 16:38:35 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A78CDE1E84; Tue, 19 May 2020 16:38:35 +0200 (CEST) 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 0800CE1E77 for ; Tue, 19 May 2020 16:38:33 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=david.declerck@origin-labs.com; spf=Neutral smtp.mailfrom=david.declerck@origin-labs.com; spf=None smtp.helo=postmaster@soyoustart2013.ocamlpro.com IronPort-PHdr: =?us-ascii?q?9a23=3AMMXjbxyh83zXKCHXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2ukWIJqq85mqBkHD//Il1AaPAdyGrasc1KGJ7OjJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVhDexe65+IAm0oAnetMQbg5ZpJ7osxBfOvnZGYf?= =?us-ascii?q?ldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbD?= =?us-ascii?q?VheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulS?= =?us-ascii?q?wJNSM28HvPh8JwkaxVvhWhqR9xzYHab46aKPVwc7jBfd4YX2dNQtpdWiJDD466?= =?us-ascii?q?coABD/ABPeFdr4TlqVUBtwW+BQixC+jyxDFHmGP53akk3OQ7DQ7G3xErEtUTv3?= =?us-ascii?q?vOstX1NbodXfqow6bW0TrDa+1Z2S3h54jLaR0hpuuMXbN/ccrQz0kjDgfFgU+L?= =?us-ascii?q?poz+JT+ayuMNs22C4udmSOmghHIppRtrrTiz2scjlJPJhoQNx13Y6Sl3zoY7KN?= =?us-ascii?q?K5RUN7ZdOqHpVduS6UOodqXs8sTGFltTg0xLAGpJO3YDQGxpQ6yhLDd/GKfIeG?= =?us-ascii?q?7gz+WeuSIzp1gm9udry4hxa360egy+v8W9Gx0FlUsyVFk8TMtnUX2xPP7ciHT/?= =?us-ascii?q?1w9Vqi1zaXzw3e7u5JLVoqmafVMZIt3KM8mocJvUjeHiL7l136gLKUe0gl4OSk?= =?us-ascii?q?9ufqb7f8qpKYK4N4kBzyP6sul8G5HO82KBIBX3KB9uS5zLDj/VP2QLFNjvAuia?= =?us-ascii?q?nZt5DbJcMGpq6iHw9ayJwj6wqhAzu6zdgVk2MLLFVZdx2diojpP0nOIOr/Dful?= =?us-ascii?q?n1uslzJry+jHPr3nHJrNMmDOnbPucLpn9UJRxhA/wc5C655JEL0NPfL+V0DpuN?= =?us-ascii?q?zdFBA5Mgi0w+j9CNV604MTQX+ADbWHMKPTrFCE/P8gLPeQa48Rpjn9MeQq5/31?= =?us-ascii?q?gH8+g18dfKap3ZoRaHyhGvRpOV6WYWH2jtgdFmcKuxIyTPb2h12aTT5Te3GyUr?= =?us-ascii?q?og6T4hDYKmCZ7PRoSsgLyawCe2BYZWZ2BDClCUC3jkbYSEW/EWaCKTOMBtiDIE?= =?us-ascii?q?VaLyA7MmgBqnsQu/z7t8MsLV/DcZvNTtzotb/erWwD076z14R+iQ2GWAVWp31j?= =?us-ascii?q?cETiE30OZzrEd5x02I0oB/mf1XFNoW4/pDSUExMpuKnL8yMMz7Rg+UJoTBc12h?= =?us-ascii?q?WNjzWWhsHOJ0+McHZgNGI/vnjh3H2HD7UaQShruWH4A96L6GhyGqYcF2wnPCzL?= =?us-ascii?q?MmyVIhR5kXbDz0tutE7wHWQrXxvQCcnqeue74b2XeSpmCZzGWPugRcWQRrF67C?= =?us-ascii?q?WCJFPxeEnZHC/krHCoSWJ/E/KAIYlpyFMKpFa9usiVxMX7HoP9GMO28=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B+HwCt7sNe/5rTF15mgQmBSYMZA1IgE?= =?us-ascii?q?oRQiQGHZ5oPE4FlAgsBAwEMJQoEAQGEPwOCLQUHNgQNAhABAQUBAQECAQIDBAF?= =?us-ascii?q?shVYMgjsigz5NAT0CJgJsCAEBgyIBgwALoyWPBoEyhVGDO4E6BoEOKowvIoFMP?= =?us-ascii?q?4E4DIIvhQCBB4JHgmAEmSqJS5AbB4JTBH0EgW+FMpAbI4JMjVyNLpouk2QsgWw?= =?us-ascii?q?ME4FWTSODOk8YDZQyilg/agIGCAEBAwmPFwEB?= X-IPAS-Result: =?us-ascii?q?A0B+HwCt7sNe/5rTF15mgQmBSYMZA1IgEoRQiQGHZ5oPE4F?= =?us-ascii?q?lAgsBAwEMJQoEAQGEPwOCLQUHNgQNAhABAQUBAQECAQIDBAFshVYMgjsigz5NA?= =?us-ascii?q?T0CJgJsCAEBgyIBgwALoyWPBoEyhVGDO4E6BoEOKowvIoFMP4E4DIIvhQCBB4J?= =?us-ascii?q?HgmAEmSqJS5AbB4JTBH0EgW+FMpAbI4JMjVyNLpouk2QsgWwME4FWTSODOk8YD?= =?us-ascii?q?ZQyilg/agIGCAEBAwmPFwEB?= X-IronPort-AV: E=Sophos;i="5.73,410,1583190000"; d="scan'208";a="349077955" X-MGA-submission: =?us-ascii?q?MDGxyEs9/+F5VvfkB4Uh4a4teQN5PzX9GYnrwg?= =?us-ascii?q?jUYjxnpxAh9sLRp+NFPxXkiKiX+VUEztX60U2WPVjwD0T0v8AynvF7If?= =?us-ascii?q?qp6b4kyHo392U3odpdXRurK0DZObsaH47c3sA8U3GcfU/6f2W6cvZXJZ?= =?us-ascii?q?4zg5XOOt1+kpe/Ls2A5mlQcA=3D=3D?= Received: from ssh.ocamlpro.com (HELO soyoustart2013.ocamlpro.com) ([94.23.211.154]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 19 May 2020 16:38:32 +0200 Received: from [176.187.90.145] (helo=[192.168.1.92]) by mail.soyoustart2013.ocamlpro.com with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1jb3O3-0007Ln-Bl for caml-list@inria.fr; Tue, 19 May 2020 16:38:31 +0200 From: David Declerck To: caml-list@inria.fr Organization: Origin Labs Message-ID: <326f98a8-ee6a-7c1f-5059-ba110d4f274e@origin-labs.com> Date: Tue, 19 May 2020 16:38:25 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Content-Language: en-US X-Authenticated-Sender: david Subject: [Caml-list] Solidity parser in OCaml with Menhir Reply-To: David Declerck X-Loop: caml-list@inria.fr X-Sequence: 18150 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: Dear OCaml users, We just released a parser & printer for the Solidity language: https://medium.com/dune-network/a-solidity-parser-in-ocaml-with-menhir-e1064f94e76b Solidity is one of the most used languages for smart contracts, and popularized by the Ethereum blockchain. This work is a step towards native support of Solidity in the Dune Network blockchain, and developed in a partnership between Origin-Labs and OCamlPro. The library is released under LGPLv3 with Static Linking exception. Enjoy !