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 907477EEA4 for ; Wed, 11 Mar 2020 10:54:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=Pass smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@relay1-d.mail.gandi.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=217.70.183.193; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of daniel.buenzli@erratique.ch designates 217.70.183.193 as permitted sender) identity=mailfrom; client-ip=217.70.183.193; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; 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@relay1-d.mail.gandi.net) identity=helo; client-ip=217.70.183.193; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@relay1-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AfyHAXxRQzUhh2nxiLgP2xzMhitpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6ybRyN2/xhgRfzUJnB7Loc0qyK6vymADZaqs7f+Fk5M7VyFDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMnIduNLg9xhTVrnZJZu?= =?us-ascii?q?9b2X5mKVWPkhnz4cu94IRt+DlKtfI78M5AX6T6f6AmQrFdET8rLWM76tD1uBfa?= =?us-ascii?q?VQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi66BrSAL0iC?= =?us-ascii?q?oCKjU0/n3bhtB2galGux+quQBxzJDIb4GULPp+f73SfdUGRWpaQ81dUzVNDp6g?= =?us-ascii?q?Y4cTCuYMO/tToYvgqFsUtRawCwmiCv3sxDFViXD5waI03Pk6HAHaxQwtBc4CvG?= =?us-ascii?q?jIoNj3MqoZTOC7zLPPzTXGd/5Y1y3y6I7Jch8/pfGDRa99adbXyUguEwPFj0ib?= =?us-ascii?q?pIv4MDyP0OQNsnaU7+56We20lm4otQdxozmrxsctkYTGmJgVykre+iVlwYY1PM?= =?us-ascii?q?C4R1BhbdG4EJtdrieXPJZ4TMMlRmFnoic6yrsetJ6meigKyYgoxxnCZPOZaYSI?= =?us-ascii?q?5QjjVOmJLThmnnJlYqiwhwqz8Ui51+3zSNO430pKridDj9LCtWgN2gTN5sSaSP?= =?us-ascii?q?Zx5EWs1SqV2wzO6exJL1o4mbffJpMv2rI8i5gevEfZEiPrnEj7jrWaelsq9+Wn?= =?us-ascii?q?8ejrfKjqqoKaOoRpkA/xKL4ulda6AekgMggBQWyb+eOk2b3540L5RK9Fj/0rnq?= =?us-ascii?q?XArZ/WP8EbqbS4Aw9RyIoj5AywDzG739QZh3UHKkxKeA6fg4joPVHBPuz4AO+h?= =?us-ascii?q?j1ixkjpn3fLLMqH7DpnQLXXOnq3tcat55kNS0AYzyMpQ55NQCrEPOvLzXUrxuc?= =?us-ascii?q?TFARAjNQy0wvjoCNFn2owFRGKAHKmZMaLWsV+J/e8gPfOMZJUPtzbhKvgl/uPu?= =?us-ascii?q?gmEjlVABfamlxYEXZ2ygHvR6P0WZZmLhjcsbHmcPugoyVejqiFyZUT5PfHuyRK?= =?us-ascii?q?I95jQjCI28F4vDR4atgKaA3CihBJFWaHpGWRiwFiLjfoCAHvMNcz66I8l7kzVC?= =?us-ascii?q?W6LyZZUm0ESCvQn7xr5QBH7S6CkZ/cbv3d506umVnww/8y5wDuyQyXuEU2Btg2?= =?us-ascii?q?5OTD9gj/M3mlB01lrWifswuPdfD9EGoqoRCl5rZ66Z9PRzDpXJYiyEe96ITFi8?= =?us-ascii?q?RdD/XWM8VMg4394Xfks7ENXw10mejRrvOKcckvmwPLJx8q/Y2CKsddxwz3/Xje?= =?us-ascii?q?wtyVwvQ88JOmSgiq858QXPVdaQzxep0p2yfKFZ5xbjsX+ZxDPS7kxCSgdsULzY?= =?us-ascii?q?UDYUZhmOoA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CaAgBytGheh8G3RtllHgELHIUQVjEqC?= =?us-ascii?q?oQLYY4ogWybYwkBAwEMJQgCBAEBgU+CdIINHAcBBDQTAhABAQUBAQECAQIDBAE?= =?us-ascii?q?TAQEBCA0JCCmFXQyCOykBgwMlUAY1AiYCSYNPAYJ/C6lWgTKENQETQUCEB4EEg?= =?us-ascii?q?Q4qhSENhn6CGoFEgjODRQsBAgECgT8BAW2CRC6CMASNXoMJn0cHgUl2hmprjzO?= =?us-ascii?q?CSoEBi3GLfosThTeHMJJ+gWlmgRSELAkJPhgNjjeDMYU8hUJBMgKBBiGMNgGBD?= =?us-ascii?q?wEB?= X-IPAS-Result: =?us-ascii?q?A0CaAgBytGheh8G3RtllHgELHIUQVjEqCoQLYY4ogWybYwk?= =?us-ascii?q?BAwEMJQgCBAEBgU+CdIINHAcBBDQTAhABAQUBAQECAQIDBAETAQEBCA0JCCmFX?= =?us-ascii?q?QyCOykBgwMlUAY1AiYCSYNPAYJ/C6lWgTKENQETQUCEB4EEgQ4qhSENhn6CGoF?= =?us-ascii?q?EgjODRQsBAgECgT8BAW2CRC6CMASNXoMJn0cHgUl2hmprjzOCSoEBi3GLfosTh?= =?us-ascii?q?TeHMJJ+gWlmgRSELAkJPhgNjjeDMYU8hUJBMgKBBiGMNgGBDwEB?= X-IronPort-AV: E=Sophos;i="5.70,540,1574118000"; d="scan'208";a="439801869" X-MGA-submission: =?us-ascii?q?MDHql5mI9wSRbeqnJ0HYut/VVLO33fRyHseQqw?= =?us-ascii?q?JD7G8Q9Oz5xBLp+6G73U9TJCf9w55DyCVcz+lUXgAz9aKNSAqtY9u4VS?= =?us-ascii?q?XQIPkWoWzEiFi9zJBS+hUOvP65i2E5eP2yY3fLj+Ods34P9lHixqglml?= =?us-ascii?q?kMQ3l7/CgCWLjQruXIJ5N3Pg=3D=3D?= Received: from relay1-d.mail.gandi.net ([217.70.183.193]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Mar 2020 10:54:33 +0100 X-Originating-IP: 178.197.234.211 Received: from hehey.local.mail (211.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.234.211]) (Authenticated sender: daniel.buenzli@erratique.ch) by relay1-d.mail.gandi.net (Postfix) with ESMTPSA id 775DB240012; Wed, 11 Mar 2020 09:54:32 +0000 (UTC) Date: Wed, 11 Mar 2020 10:54:31 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Cc: =?utf-8?Q?David_Kaloper_Mer=C5=A1injak?= Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: [Caml-list] Unicode 13.0.0 update for Uucd, Uucp, Uunf and Uuseg Hello,=C2=A0 Unicode 13.0.0=C2=A0was released on the 10th of march. It adds 5390 characters to the standard including graphic symbols for legac= y computing. If you were looking for characters representing seven-segment = decimal digits, now you [have them][0]. For the curious, the [encoding prop= osal][1] has the motivation and source of these new symbols. For more infor= mation about all the other additions, see [this page][2].=C2=A0 Accordingly the libraries mentioned at the end of this message had to be up= dated, consult the individual release notes for details. Both Uucd and Uucp= are incompatible releases sinces new script and block enumerants had to be= added. Uucp has a new Emoji module with the new emoji properties introduced in 13.= 0.0 which are now used by Uuseg to improve emoji segmentation. The overall = compiled size of Uucp shrinked a bit; here uucp.cmxs went from 7.8Mo to 4.6= Mo. Further reduction can likely be achieved with more work. Thanks to Davi= d Kaloper Mer=C5=A1injak for helping on this. A periodic reminder, if Unicode still puzzles you, read an absolute minimal= Unicode introduction and OCaml Unicode tips on [this page][3] (also availa= ble via `odig doc uucp`). Happy retro computing, Daniel P.S. The OCaml compiler [detected][4] an obsolete rule in the 13.0.0 update= of the Unicode line breaking algorithm. [0]:=C2=A0https://www.unicode.org/charts/PDF/U1FB00.pdf [1]:=C2=A0https://www.unicode.org/L2/L2019/19025-terminals-prop.pdf [2]:=C2=A0http://blog.unicode.org/2020/03/announcing-unicode-standard-versi= on-130.html [3]:=C2=A0https://erratique.ch/software/uucp/doc/unicode.html [4]:=C2=A0https://www.unicode.org/mail-arch/unicode-ml/y2020-m03/0000.html --- Uucd 13.0.0 Unicode character database decoder for OCaml. http://erratique.ch/software/uucd Uucp 13.0.0 Unicode character properties for OCaml. http://erratique.ch/software/uucp Uunf 13.0.0 Unicode text normalization for OCaml. http://erratique.ch/software/uunf Uuseg 13.0.0 Unicode text segmentation for OCaml. http://erratique.ch/software/uuseg