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 B2B065D5 for ; Fri, 14 Jan 2022 18:57:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.88,289,1635199200"; d="scan'208,217";a="15910550" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jan 2022 19:57:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AF7FAE0266; Fri, 14 Jan 2022 19:57:12 +0100 (CET) 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 03802E00C9 for ; Fri, 14 Jan 2022 19:57:07 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm@gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm@gmail.com; spf=None smtp.helo=postmaster@mail-ed1-f48.google.com IronPort-SDR: BMBNUrgxHKWXJsP0YUtk+T229UOQjeYwstZNN80UKLhaI675q76nkSGLwAGT4uiYdJr2kL+V15 ooLxuN3UyLqJegbFQJkLmlCqM3eQUq9Jkfbz3zROhKvba6iVZ2hnxHFDEyG7/8Dhiy8ZBI02b0 WczrjLzJIfYiY9y/5RM09fNRgo2tjN/6wrziZqX4hcI/LLUrMQQuqFNDl7v57CQReauhrObr7v uKbq28PvHuBz+xoYgqj33XwgSfOunw7XavaXP31tvmluW8svL0Ki8gDsuXs6W8pySDjnavP7fk TNr4dGWYjp57kThpiCVi1bPl X-IPAS-Result: =?us-ascii?q?A0D8HQADx+FhfzDQVdFaHAEBATwBAQQEAQECAQEHAQGBc?= =?us-ascii?q?IE6AgEBAQEBZTNLViwECzGER4EejVCFUIh7iW2GPYF7CwEDAQ0SAQEjCgQBA?= =?us-ascii?q?YUFg0wCHQcBBEcBAgQBAQEBAwIDAQEBAQEBAwEBBQEBAQIBAQIDBAETAQENC?= =?us-ascii?q?xAICgcOE2ABYQMBRIFPgU8lCwMxDYI1IoQEER0BGx4DEgMGBzcCJAERAQUBI?= =?us-ascii?q?jWCY4JkAQMuD5BAjHqCH4EEPYsygRUFF4EBggkGhEkKGSgNZgOBWAIHEoEmA?= =?us-ascii?q?wEBAQEBAYYDgSABAYcHJ4IpgUuFCIENAoINgmuCZQSSGRMsgRjBMweDR4E8i?= =?us-ascii?q?T2UVDODcIwMl3KWQY0IhFmUaxAjEoFWA4FncIEBgjgJRQECAQEBDQECAQEDA?= =?us-ascii?q?QIBAgkBAQKOKRaDT4peRDA4AgYBCgEBAwmQLQEB?= IronPort-PHdr: A9a23:VxLLMR34/ZeSetVCsmDOMA4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaFo60wxw6ZFcWDsrQY0bOQ6/ihEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCSjbb9oM Bm7rQrdu80VjIB/Lqo91gbFrmFHduhI2G9kP06fkwr56syt4JNt7iNctu47+cVdS6v6ZaM4T bJZDDQiLW844dDguAfAQwWS+HYSS30anRVUDQfL6hH6RYrxvTDhtuVhwimaPNb5Qq4yVD+/8 qpkUh7oiCMANz4k7GHaj9F7gaxHrB69oRF03ojZa5yXOvVjZKPQZdwVS2pPUMhSSiJPHJ+zY pAVAOYdJ+tVtZXxq0cMoBa4GAKiBPnvyjhNhnLu2K06zuchHh/d3AwgAtkOrHXUrdvvO6cIU OC+0a7FzTDeb/NVxzj984jIcgwgofCCR71wa8vRxVMuFwPEj1WQtYnlMiia1uQIqWeb7u5gW fizhG4grgF8uz6izdojhYfVnIwa0EzE9Tlnz4YvI921UFJ3bNCmHZZeqy2XKpd7T8whTmxsu Ss31KALtJ25cSYE1pgq2RHRZfKJfoWW4x/tWuecLCp6iX9heLyzmQq+/Eumx+bhWMe011NKo TBEktnKrn0CzQfT6tSbSvt6+Ueh3S2P2xrW6uFAOUw0mqvbK4Ihwr4tjZUfq1jMHijzmEjwk aSYdV0k9/C25+j7ZrjqvJyROo9uhg3gLqgjmdazDOs7PwUIQmOV4/6z1Kf58k38WLhKjuM5k q3esJ3CIMQUvK+5AwtM3ok99hmzEi6q0NoXkHQENl5FdxWHj4/mO1HKPv/0F+uwg1OpkDtzx vDGOKPuAonVI3TdjLvseaxx5k1cxQYp09xT+5FZBqsOLf/wQkPxscbXDh49Mwy62ebnD9B92 5sbWWKSAa+WLrjSsV+U5uIuLeiDfpUVuDfnJ/gk5v7ujGM5mVoGcKmm2JsYcnG4HvB8L0qFZ nrsh88NEX0WsQomUOzqlFqCXCZPaHmoWqI84ig3CIanDYfYWoCgm6eB3Se+Hp1OfG9KEFGME XHyd4WFQfgAciySItUy2gADALOoTotpyAqjrhSyn7FuK+6R/iwDqbri0sJ07qvdj0dh2yZzC pGYzmKAVGE8gmIXTiU3lPR6vE9w0Vef0Ldxmf0eFN1S+/ZhXQIzNJqaxOt/XYOhEjndd8uEH Q71Cu6tBis8G4pZK74mZk98H4/nlRXfx2+wBLRTkbWXBZsy+6aa3n7rJs87xWyVnLI5gQwAR c1CfXajmrY57xLaUovUkEiCl7qraq0G3WjM9WafyEKBuUhZVEh7VqCWFWsHaB7upM/irljHU 6foDL0mNgVbzsvXL7ZJZ8bpkVRZTe3iftXfYn60s2i1DBeMgLiLadmiYH0TiQPaDkVMiAUP5 TCGOAw5Uz+muH7bBSdyGEjHZkrt9axzpCr+QBNkiQ6NaEJl2vy+/Rt9aeW0bfQV0/pEvS4gr 28xB1Ohx5fMDNHGoQN9faJaaNd74VFd1GufuRYvdpqnZ7tvgFITaWEV9wvnygl3B4NckMMrs GJizQx8Lrid2U9AcDXQ1I75O7neIG3/tB61bKue1lbb2deQsqABjZZw41D+vwyyFlYj7Hx90 p9U0nqA473FCQMTVdT6VUN2vxl2qrfGYzUsspvO3C4JU+H8uTvD1tQ1Qeo9n0z4LpEPbeXeT F+0T51JYqrmYPYnkFWocB8eaeVb9apuetija+PDwqmgeuBpgDOhi21DpoF7yEOFsSRmGYuql 94Ixe+V2gyfWnLyllCk54ryhINJfjEOH3W20ymiBY9QeqhacoMCCGPoKMqyjIYb5dalSztD+ VivCklTksq0eheJb0D8wgRK1AIWoH27nAO3yjV1l3ciqa/Vj0msi6zyMREAPGBMXmxri1zhd JO1g94tV0+tdwE1lRGh6C4W3oBjrb9kZynWSEZMJW3tKn16F7G3vfyEatJO75UhtWNWVv69a BaUUOy1rxwf2iLlV2xQoVJzPzS3uZjinwB7l2uHLTByrXvFfOl/wB7e4JrXQvsZ0jcdRSZ+g CXaHRDmZ4jvrYjSzc+T9LzuH2u6M/8bOTHm14aBqDe26SVxDBuzkury0tzrHA4m0DPqgtxjV CHGthH5McHg06W3N/4if1E9XgetrZonXNsmws1s1MJ1uzBSnJie8HsZnH2mNNxa3fi7d38RX XsRxNWT5gH52UplJ3bPxoTjV3zbzNEyArvyKm4QxC856NhHTamO67kR1y5ooVejrR7QfvFnn 3EcyPoy7VYVhugIvEwmySDXUdVwVQFIeDfhkRiF9YX0qbhUaX2vbbmv3VB/29GgDa2Hig5ZU Xf9PJwlGGUji6c3eEKJ23r15Ib+fdDWZt9GrRyYnSDLiO1NIY4wnP4H1mJ3fHjwtno/x6snn ARjiNuk6ZOfJTwnr8fbSlZIcyf4bMQJ9nTxgLZCy4yIipu3EMwpGy1XDsC1C6v5SHRI6auhb 0HUTHU9sivJR+aZR1TErh449zSXVMn6UhPfbHgBkYc8Gl/EfBYZ2EZMG29i1p8hSlL0moq7L BY/tmhXvhmi8lNN0r46aEO5CzuZ/VbyLG9zEcj6TlIe7xketRiJd5XEs6QrWXkfp8PprRTRe DXDN0IRUj5PCgrcQAq6dri2uYuZrLPeX7viaaOIOfLX94k8H7+J3c79iNM3uWbRcJzVbj86S KRkkktbASIjQpqfxmVJEn1N0XqKNp/TpQ/gqHcu8Iblq6WtA1ipvczWWt4weZ158hSyy89vL sa2gyB0YXZd35IInzrTzaQHmUQVgGdofiWsFrIJsWjMSrjRk+lZFUxTbSQ7L8ZO468mu2sFc cfGltP40KJ5hf8pGh9EU1LmgMSgec0NJSm0KlrGAE+BMLnOKyfMxon7Zqa1SLsYi+sx1VX4o TGAD0rqJSiOjRHsXhGrdOxA1WSVYEwYt4a6fRJgT2PkSZOuaxG2NsN2kSxjwbAwgSCvVyZUO jx9fkVR67yIuHkA07MvRiobtiojcbnX/kTRp/PVIZsXr/ZxVyF9luYApW8/16MQ9iZPAvp8h CrVqNdq5VCgiOiGjDR9A38s4n5GgpyGuUJ6NODX7J5FDDzB4REA9mWMCgsDvdojC9zup6V4x d3Glaa1IzBHuYGxn4NUF43PJcSLPWB0ewLuAyLRBRAZQCSDMGjegwlQnKjX+CHF6Jc9rZfol dwFTboRBzlXXrsKT09iGtIFOpJ+WDgpxKWagMA/7n27tBDNRc9es/gvs9qdBPzuLHCSirwWP 3PgIJv9JIUXc4D3gglsNgk8k4PNFE7dG9tKp385BufbiEpI+Xl6CGY03hC8Aj4= IronPort-Data: A9a23:XkdM16IhpdsXCqM1FE+R+ZMlxSXFcZb7ZxGr2PjKsXjdYENS0GNVy zNOXzqBPvbcMGr3e9x+PY/ipk4D75HRn9BrS1Ed+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0Iz8wIFqtQw24LhWlrR4 YiaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhg45Qy ugS67+MZAovJovBxconXyFdOnQrVUFG0OevzXmXtMWSywjLfyKpzak+Sk4xOoIc96B8BmQmG f4wcmhcKEDewbjukPTnGoGAhex7RCXvFIYCuXx7zS3YEv88QNbCQqTW4PdX2T4xgoZFGvO2i 88xMGc+NUydOEUn1lE/NL9jt7mxl3bGeTRV80OQ+qxoslTI01kkuFTqGIONJobiqd9utk2Ro 2aD+2XiHjkBJdmHwHyE9Gitj6nBh0vGtJk6EbS58rtnjATWyDBDThIRUlS/rL+yjUvWt89jx 1I85nQPr5Vtqm+XY9T7Rzu1/VC+siYZco8FewEl0z2lxq3R6gefI2ELSD9dddAr3PPaoxR6h zdlePu5VVRSXK2ppWG1rejL8GvjUcQBBSpTOn9eFFptD8zL+dlr1nryosBf/LlZZ+AZ9Bn1y jGO6SUy3vAd0Z5N2KK88lTKxTmro/AlrzLZBC2HDgpJDSsjPOZJgrBED3CFvZ6sy67HETG8U IAswZT20Qz3JcjleNaxaOsMBqq1wP2OLSfRh1Vid7F4qWj3oy/zI9gIumAnTKuMDiriUW+4C KM0kVMBjKK/wFP3BUOKS97rUp51kPSI+SrND6qLMYImjmdNmP+vpXkyPyZ8Lkjil08jlaxXB HtoWZfEMJruMow+lGDeb75Fj9cDn3lirUuOG82T50n4idK2OS/NIZ9YYQDmRr1ovMu5TPD9q Yk32z2ikEUBDoUTo0D/reYuELz9BSNqWsCt9Z0GL77rz8gPMDhJNsI9CIgJI+RN95m5XM+Rl p1kckMHmlf5m1PdLgCGNiJqZL/1DMRwqHs6OWonOlPxgyovZoOm7aE+cZorfOl/pLYzk6IsF /RVKd+dBvlvSyjc/2tPYJT4qrtkfkv5iA+LOR2jfzViLYVrQBbE+4O/cwa2rHsOAyO7uNEQu bql0g+HE5MPSx4zXsnTYfOriVi2uCFFyu51WkLJJPhVeVntoNA6cXyv0qdvLphVexvZxzac2 wKHOjsipLHA890v7d3EpaGYtIP2QeZzG0xtGWOEv7u7MC/t+HX6nd1NXeOOSjDqVG3u/ZKka +gIner3N+cKnQoTvodxT+RrwKY564e9rrNW1F4/TnDCblDuB785Z3fajY9AsapCwrIfsgyzA xrd9t5fMLSPGcXkDF9Be1Z/P7rbjakZymvI8PA4AETm/ysrrrCJZkNfYkuXgytHIbopbY4on bU7tMgN51DtgxYmKIzd3CVd9mDJI3BZFqt75tcVB4jkjgdtwVZHOMSOBijz6ZCJStNNLkh6f WPO1fSa3+xRlhjYbn4+NXnRxu4B154AjxZHkQ0ZLFOTl9uZ2/I60XW9K9jsoti5E/mG7w5yB oSvH0h8JKHL8jsxwcYfDyajHAZOABDf8Uv0o7fMeKs1UGHwPlEh7kVkUQpOwKzd221Zdzlfu rqfzQ4JlB70Kdrp0HJatVFN8pTeoB8YyuEGsM+iFsWBWZI9ZFIJR0NoiXUg83PaPC/6uKELS SSGMgq9hW0X+BP8e5EGNrQ= IronPort-HdrOrdr: A9a23:uceYSa0Lo1zTm8S8xPQQUAqjBL8kLtp133Aq2lEZdPU1SL3+qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.88,289,1635199200"; d="scan'208,217";a="15910530" X-MGA-submission: =?us-ascii?q?MDFJdi8gRUhjiYfAW3xpzQY5++Pz1TDrgEn8HY?= =?us-ascii?q?iKVO4GOr5oVOYTI5yKjCqYA81Ush2hoG/nDhDU747hEGq3GpGhCWNAlp?= =?us-ascii?q?EiVX8+K7NqIRiL1l0N5DhBODrTGf5TK8yjt4TveGa9l8Dn7v+OHoYQ1k?= =?us-ascii?q?ALB2/culSHUnI2yoxPr26XnQ=3D=3D?= Received: from mail-ed1-f48.google.com ([209.85.208.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Jan 2022 19:57:07 +0100 Received: by mail-ed1-f48.google.com with SMTP id c71so37309584edf.6 for ; Fri, 14 Jan 2022 10:57:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=2k/v8o+eQ7s2PNmDfNutsWqx2E9azrbkK/T/3MhpdLQ=; b=NLAT4wz3LJsimjyVKSEXm+qFKqI/6Rkmw0ZzklKB0+7FnZMFlQ22yqPQyTe0fqXxlq T2KwI7dDXi654b8W2PHEqHS9BiDZ6gXHryVjD88sUM/Vl9nxxIWGOFrxwbB0RpR0tAbN es1yPPqNjs5xhdgJcFuxuI95gz4EVGxDpUGnGLbA/5asXR1IKpBsNN9cb9AilY2ojidP RkZ+v74hZMxTkVPllGBzwLp/mOhh5NZQJOfUHFm+1uNIFoCEtzL76JAbVhL6Guo4cjhN PJwKV55F3KpGldzr94dcp7HqFkOxS8JPkxbSbtPjJFEWd3dUsZUNkba/609m3uAIy/cR PJgA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=2k/v8o+eQ7s2PNmDfNutsWqx2E9azrbkK/T/3MhpdLQ=; b=XQGrYiiZyuqH6vF4b2uQ2mKhGsJY3TRlvZ4YPTjYkw3iy2cPRcpGDgdlzvypfM9S8c cyQLRBtcqoBp/P/Xo1eECQTuibGByytf8N2DCG0cMV1EsFL1/yQzphDc3hxuaH6vxniV 4PXv2vzDBLu12uarIVdR9NvSFCXlvJSaNxXmvABvHHGPE0owH8TTMrWEcSHX/Xg9EVmA TIrk4idMGElbOgKcwpR3kaK1CUGnefi0u9DHomLEQxVSXSPeqOAwDdyjIjCBRrGkk5dG DMxCT/ASViYLYOIu54+itpxRn6yfGSQOlygMSjMof3On44fyIVNRNWtlEW7Jkrbq/D3u 16cg== X-Gm-Message-State: AOAM5320GLHEPFEMK0epOjETE7IbVCDiqlu2A9X/auHaabXnVP1kdMhy WjktZrPgINOLw4pUxkEU5rDlmQGuugYYgRWXgq92XgnSujxI83ui X-Google-Smtp-Source: ABdhPJyuRZKVWWCCTnUtpAKFRF3SUzcXIMEQXAsu2A4py3bHOw3T4fYJbdbE/xKlhWoV/wfRRRCOQqLEm6+LPtMHins= X-Received: by 2002:a17:906:c212:: with SMTP id d18mr8184987ejz.48.1642186626400; Fri, 14 Jan 2022 10:57:06 -0800 (PST) MIME-Version: 1.0 From: mukesh tiwari Date: Fri, 14 Jan 2022 18:56:55 +0000 Message-ID: To: caml users Content-Type: multipart/alternative; boundary="00000000000085849b05d58f5efa" Subject: [Caml-list] Type Error in OCaml Code Reply-To: mukesh tiwari X-Loop: caml-list@inria.fr X-Sequence: 18646 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: --00000000000085849b05d58f5efa Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi everyone, My Coq project depends on a OCaml library [1] --the original library [2]-- which used to compile without any error in the past, but now it's no more. If you run 'make all' in the ocaml-java directory, it throws an error ' *This expression has type Parsetree.pattern but an expression was expected of type Migrate_parsetree.Ast_406.Parsetree.pattern' * Could someone please tell me how to get rid of this error? (To me it seems like some code restructuring in ocaml-migrate-parsetree). Best, Mukesh ocaml-java git:(master) =E2=9C=97 make all File "ppx/ast_tools.ml", line 31, characters 36-55: 31 | let mk_let id expr =3D [%stri let [%p Pat.var (mk_loc id)] =3D [%e exp= r]] ^^^^^^^^^^^^^^^^^^^ Error: *This expression has type Parsetree.pattern but an expression was expected of type Migrate_parsetree.Ast_406.Parsetree.pattern* make[1]: *** [bin/ppx/ast_tools.cmo] Error 2 make: *** [bin/ocaml-java-ppx] Error 2 [1] https://github.com/mukeshtiwari/EncryptionSchulze/tree/master/code/Workingc= ode/ocaml-java [2] https://github.com/Julow/ocaml-java/ --00000000000085849b05d58f5efa Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi everyone,

My Coq project depends on a OCaml= library [1] --the original library [2]--=C2=A0 which used to compile witho= ut any error in the past, but now it's no more. If you run 'make al= l' in the ocaml-java directory, it throws an error 'This express= ion has type Parsetree.pattern
=C2=A0 =C2=A0 =C2=A0 =C2=A0but an express= ion was expected of type
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Migrate_parse= tree.Ast_406.Parsetree.pattern'

Could someone please tell me how to get rid of this error? (To me it seem= s like some code restructuring in ocaml-migrate-parsetree).
<= b>

Best,
Mukesh
<= br>
ocaml-java git:(master) =E2=9C=97 make all

File "ppx/<= a href=3D"http://ast_tools.ml">ast_tools.ml", line 31, characters = 36-55:
31 | let mk_let id expr =3D [%stri let [%p Pat.var (mk_loc id)] = =3D [%e expr]]
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0^^^^^^^^^^^^^^^^^^^
Error: This expression has type = Parsetree.pattern
=C2=A0 =C2=A0 =C2=A0 =C2=A0but an expression was expec= ted of type
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0Migrate_parsetree.Ast_406.= Parsetree.pattern
make[1]: *** [bin/ppx/ast_tools.cmo] Error 2
ma= ke: *** [bin/ocaml-java-ppx] Error 2



--00000000000085849b05d58f5efa--