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 sympa.inria.fr (Postfix) with ESMTPS id 6DEB8822B9 for ; Sun, 28 Apr 2019 08:52:34 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=zandoye@gmail.com; spf=Pass smtp.mailfrom=zandoye@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of zandoye@gmail.com) identity=pra; client-ip=209.85.160.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zandoye@gmail.com"; x-sender="zandoye@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of zandoye@gmail.com designates 209.85.160.172 as permitted sender) identity=mailfrom; client-ip=209.85.160.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zandoye@gmail.com"; x-sender="zandoye@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt1-f172.google.com) identity=helo; client-ip=209.85.160.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="zandoye@gmail.com"; x-sender="postmaster@mail-qt1-f172.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ABAF77x2BUJs4egNasmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0TKfad9pjvdHbS+e9qxAeQG9mCsrQZ2qGP6vqocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbalyIRiyogndq9QajZV/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljj?= =?us-ascii?q?oMOTwk/2HNksF+kqJVrg+iqRJxzYHbb52aOvVlc6PBZNMXX3ZNUtpfWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TypEcDowOjDgeiA+PgyCFHjWLx0Kw7yeshFxzJ3AsgHt0Qq3?= =?us-ascii?q?nUo9D1O70TUeCx1qXH0TLDb/ZP1Dr79YPGfBchofSWUrJxd8rc0UYvFwLZjlWQ?= =?us-ascii?q?tIzqJCmZ2fgKs2ie6edrSOGhi3Y/pg1vvjSiwt0gh4rJi44P11zJ9Dl1zJwoKd?= =?us-ascii?q?C6VkJ3ecOoHZROuy2AM4Z7TNkuT3xrtSok0LEKpJG2cS4Xw5o93RHfceaIc42Q?= =?us-ascii?q?7xLjSumRJTB4iWpgeL2lhhay9VGsyvTgVsWpyVpKoDdJn9vSunwX2BzT7c+HSv?= =?us-ascii?q?R5/ki/wzqAywfT6uRcLUA1k6rUNYIhz6YumpYPtUnPBCz7lUXsgKOLd0go5vKk?= =?us-ascii?q?5/nlb7n4vpOcMpV7igD6MqQggMy/BuE4PxAPXmeB/+Szybrj/E3nT7hRgf02l7?= =?us-ascii?q?PWsJHeJcgBuqG5BApV3p456xmjFzemzMgYnX4fIV1ZYh2HiozpN0jKIPD5Fve/?= =?us-ascii?q?n0+hkCxrxvDDJr3uGI/BLnnFkLf7fLZy8VRQyAQpzYMX25UBAbgEJLf3W1TtnN?= =?us-ascii?q?3eFB4wdQKukMj9D9Ao5Ko4EU6IM6LRZLHbt1OP9+8HLOyFZYtTszH4fat2r8Xy?= =?us-ascii?q?hGM0zAdONZKi2oEaPSjhQqZWZn6BaH+pue8vVH8Qt1NnHuPvgVyGFzVUYiTqBv?= =?us-ascii?q?9u1nQAEIujSLz7aMWtjbiGhnnpG5RXYiVfFgnJHy63LcOLXPADbC/UKchkwGRd?= =?us-ascii?q?BOqRDrQ53BTrjzfUjr9uL+7a4Cod7Mux29185umVnhY3p2V5?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CQAAC+TMVchqygVdFmHgEGBwaBUwcLA?= =?us-ascii?q?QGCd1JahBCVAQiEA4ZlhGOJKhSBZw4BASWKfBsHAQQyBw4BAwEBBAEBAgEBAQE?= =?us-ascii?q?TAQEBCAsLCBsOIwxCAQwBgWoigxgdARseAxIQDwImAiURAQUBLwgBARCDDgGBa?= =?us-ascii?q?AEDHA+gfDyLHYESBQEXgnoFhDEKGScNXQOBOQIBBgkBCHknAYtJF4FAP4E4DII?= =?us-ascii?q?xg00CAoEngQWCPYJYBJMlk1IJggtVhTyMHAYbgX2JdBKJIwGSTo4MAgQCBAUCB?= =?us-ascii?q?g8hgTUBggZwFTsxgjsTgXwag1WKYDIzg1GQDQEB?= X-IPAS-Result: =?us-ascii?q?A0CQAAC+TMVchqygVdFmHgEGBwaBUwcLAQGCd1JahBCVAQi?= =?us-ascii?q?EA4ZlhGOJKhSBZw4BASWKfBsHAQQyBw4BAwEBBAEBAgEBAQETAQEBCAsLCBsOI?= =?us-ascii?q?wxCAQwBgWoigxgdARseAxIQDwImAiURAQUBLwgBARCDDgGBaAEDHA+gfDyLHYE?= =?us-ascii?q?SBQEXgnoFhDEKGScNXQOBOQIBBgkBCHknAYtJF4FAP4E4DIIxg00CAoEngQWCP?= =?us-ascii?q?YJYBJMlk1IJggtVhTyMHAYbgX2JdBKJIwGSTo4MAgQCBAUCBg8hgTUBggZwFTs?= =?us-ascii?q?xgjsTgXwag1WKYDIzg1GQDQEB?= X-IronPort-AV: E=Sophos;i="5.60,404,1549926000"; d="scan'208";a="380661281" X-MGA-submission: =?us-ascii?q?MDHO5ATTTAK0Cq+gKdtKQcPaW0D2BSZgGUWGla?= =?us-ascii?q?m79Qu5xlSAZn5yduqbl0lGriaD6QJ5MVYeZWAYc2TpCoeWbytdLkIEmU?= =?us-ascii?q?7m0LRASAyye2Xhtag7S+/DAz1NCo8nNHUtt8R2A9A9JTu+y8tTmzPIy6?= =?us-ascii?q?50XA4r+itXGSe2Ko2r1mvjZQ=3D=3D?= Received: from mail-qt1-f172.google.com ([209.85.160.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Apr 2019 08:52:33 +0200 Received: by mail-qt1-f172.google.com with SMTP id d13so8680916qth.5 for ; Sat, 27 Apr 2019 23:52:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:openpgp:autocrypt:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=VHnDb1p8cn+GSW9OnOoSCrsBv9+TN+2inWoyGBqT3I4=; b=WQjwWJoRAjO2f+SRiXq6yggEiTXBAgBaaIi7uucMVSXa/4BXN41VfY1Dvlrf/5k7pr DeAffdM9m8/2ZMFv26F35s9rdRUxnB4DzkF5pqD7SoDP6C0jqnbXHfeYSgvixjD7zSfG +Kf5gca5U0ngYsh2aYiKfUZ8jHtL7K76JcoxSGzIwu5+DVngqK1cX3Q5zp7DAmxLKl2c o+kpJh2YRgdGGJGiFgkUxTdsyj4/E7h9t3XAjhZJRzuK/XRj0VVttw4nEOV+O598sknv ekzIgn4ABaOtWsR9ElvHc7f8AD+WtKOuGjsHfuC+5rVs59ouhdFtKp8k4ubIVQnGUN+x Wc9Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:openpgp:autocrypt:message-id :date:user-agent:mime-version:content-transfer-encoding :content-language; bh=VHnDb1p8cn+GSW9OnOoSCrsBv9+TN+2inWoyGBqT3I4=; b=FxuRP4booPEkpimSpxwU2aNTWTuz6J6MTjys8eVKVKNqLCK0+aEJP4m4B7zIeAajdo aMRc2LAn7Gnkd2DNNs13jgiLKZeLy+M3qHik0BIf7PJdNZVq3tdM/D7gNKtV5NEihzn3 KMDopDxdn+1M+RV1ysPHj8XuZ0L182+5WbCt50WDoSlRZgUGqibZtNDVah967cF3sxar 8+1C5NajBJALXnjgK4EHdPx/bP4Nqv7vILgB6PtL/AC1ylleD4hzNpqtYgRyH2v8l2Xt ixebYLr1NDXoLJ0kJ1htrPculFkjcYDbKBlMVaAXR0TCiaYToX/x6pb4maWutxhtT6NH J8Qw== X-Gm-Message-State: APjAAAW5epL5OJaRscvbGmy1Fwa9iD+APhdNtrSl5e+Z0QeqMcHQAY8b bv014R7NiNEXANI6zsWfHuEtGimLsrc= X-Google-Smtp-Source: APXvYqy3S1RVX//CpVVwbP8Bq/jkJsTkKuCBBea8Zqn3limXNsOF5AFAyn65j7hE9Yo6CDr1gew40g== X-Received: by 2002:a0c:8af1:: with SMTP id 46mr4726179qvw.223.1556434352259; Sat, 27 Apr 2019 23:52:32 -0700 (PDT) Received: from [0.0.0.0] ([142.93.182.14]) by smtp.gmail.com with ESMTPSA id v8sm1681158qkj.80.2019.04.27.23.52.29 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 27 Apr 2019 23:52:31 -0700 (PDT) To: caml-list@inria.fr From: ZAN DoYe Openpgp: preference=signencrypt Autocrypt: addr=zandoye@gmail.com; keydata= mQENBFDSn3sBCADFIWQMbemByG2PVXQoLEKRcZXbQjakqRTJoaSx/fpHtsFYhgfx3qnVcKgq J5EOHnYFEBhWqJTbESTqcgQ9BsEztLzeQ9w10nuxP8DNoqEHjQlYm00jGqPilZ27IoCB96Ph P+sQIYTSkJjA3Kcy0cZrD08jQeVqSABsUYzzqJ6OiRLQXKr4ypsH2XdD+L/B73yJx9QZN3Bw 7lHfoZUmeYZ3t/S64Z8nxyY/AsrQNR5LBxsNzLenB6q0YVrkpAxNy2U5Nec5D+543ntkHbOx TdpvyLcUwLPuftryVL+gg9CyDp0EaOGb2Ix1YjbrpvIItxM96JM0v1q4xYoNVdd4OTDdABEB AAG0HFpBTiBEb1llIDx6YW5kb3llQGdtYWlsLmNvbT6JATsEEwECACUCGwMGCwkIBwMCBhUI AgkKCwQWAgMBAh4BAheABQJSiC6fAhkBAAoJEO7KZpZtnkJhUr4H/je7nrqrhUlI7V6zRi/7 3bpR4FIswVeo7tCbRJEYBu1BdvQgy7OLQ7HoVi0HqwuG6ebzD6cUyxkPSidZYwabUczJ1Nge DGro92ADu35hv7if58vCvlwzlMTal4bT7LyZegRWYhJgLVQLlcHxRZbFsIRB1xPH9HDxwRk1 f1MfjZrsOTBZ2eRZiqvKycCvU5mIpjDxtSe3m7r5Kr30BBKAv59hwZac6jJF+OGIebl+a/J+ AOjG4K+ud+WjNl5sL+6HZrhqEZag/fpI6FSDBk1GBd1SmMaZ5z2/qFZ81SaHusANTA6KbfFi FNPnEE1EL5lC1P/ikgO+7HA3ooxs9vnlLc+5AQ0EUNKfewEIAMATqDOvgC2GYYSelr4r1UZD yOxAVxppeKPK61u3TZeLd+f8YyS+ZiXjXYkRe7yRr64aUDqH8K7kIZH4SOZlXCV4jDxYyLVQ vEUF56JOYtfWh5IQzhSwQFw4GC7mexticePeBTsrRc4wmQbswflZ3LvTOe75Ea5UM7pGOz3G 78qDxqRo7Kly4Is5CB3cPlIhfTjBIXcOHrlNw/mu1AWwdwe5q4/dVGAlkjsoWLy8QvVLOIaf 0W6m8h+0D9OmiZ29bVjTQSbwVs+6E5rcmEfDbTdqia4z0i+hOm9kicoyhoqh96NxBfj+uCEK G3NxchV0be5UlpAZaQRmoV32MOxQRu8AEQEAAYkBHwQYAQIACQUCUNKfewIbDAAKCRDuymaW bZ5CYSJ6B/44WVUbrkodpvzwePEw7bLVBM9GoabhsWT/2xSiyH1hQII+SBXT0aJScVNMNvgf eIUUQgeDQFz/E+Xs9NKBwiVHOSn/TK/AVWmfg74QQmvQgMYq4mqfIC0Uv7pWSEgn/3Tet3p6 pNLQz32zU2A8an7kHdVC/A4EWdXN/Pr4kC0LVaIuEkKVx2ycP25/whCOh3eLuvHgshMhA8B8 SAMllVmiRuAnJPLnjeCkzHXqwX7MxTM+s95rr3J1CRDiw6HcSh5E1+29j5RsPo7CJAuvv6d7 ClIjsgqENteB4sI9Q6VodUGlS3SvIhFgHVbfKP80vPs9/8SQQix5Am4XHQnfMZZ2 Message-ID: <5a8d668c-0222-08b1-32cf-d473bdf8ae04@gmail.com> Date: Sun, 28 Apr 2019 14:52:27 +0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Content-Language: en-US Subject: [Caml-list] [WIP] Unicode support improvements in zed, lambda-term and utop Dear caml-list, We are working on improving unicode support in zed, lambda-term and utop. These new improvements retrofit the concept of what the essential element should be, from UChar.t, an individual unicode character to Zed_char.t, a new type representing a glyph in the unicode standard. So non-latin script and combined glyphes will be better supported. For more information and the preview releases of these projects, see https://github.com/ocaml-community/lambda-term/issues/2#issuecomment-487348= 878