Regenerate case mapping in accordance to Unicode 13.0

Author: Bodigrim

scripts/CaseMapping.hs

@@ -8,7 +8,7 @@ import SpecialCasing
 main = do
   args <- getArgs
   let oname = case args of
-                [] -> "../Data/Text/Internal/Fusion/CaseMapping.hs"
+                [] -> "../src/Data/Text/Internal/Fusion/CaseMapping.hs"
                 [o] -> o
   psc <- parseSC "SpecialCasing.txt"
   pcf <- parseCF "CaseFolding.txt"

src/Data/Text/Internal/Fusion/CaseMapping.hs

@@ -1,10 +1,10 @@
 {-# LANGUAGE Rank2Types #-}
 -- AUTOMATICALLY GENERATED - DO NOT EDIT
 -- Generated by scripts/CaseMapping.hs
--- CaseFolding-9.0.0.txt
--- Date: 2016-03-02, 18:54:54 GMT
--- SpecialCasing-9.0.0.txt
--- Date: 2016-03-02, 18:55:13 GMT
+-- CaseFolding-13.0.0.txt
+-- Date: 2019-09-08, 23:30:59 GMT
+-- SpecialCasing-13.0.0.txt
+-- Date: 2019-09-08, 23:31:24 GMT
 
 module Data.Text.Internal.Fusion.CaseMapping where
 import Data.Char
@@ -563,16 +563,12 @@ foldMapping '\x1ff6' s = Yield '\x03c9' (CC s '\x0342' '\x0000')
 foldMapping '\x1ff7' s = Yield '\x03c9' (CC s '\x0342' '\x03b9')
 -- GREEK CAPITAL LETTER OMEGA WITH PROSGEGRAMMENI
 foldMapping '\x1ffc' s = Yield '\x03c9' (CC s '\x03b9' '\x0000')
--- LATIN CAPITAL LETTER SMALL CAPITAL I
-foldMapping '\xa7ae' s = Yield '\x026a' (CC s '\x0000' '\x0000')
--- LATIN CAPITAL LETTER J WITH CROSSED-TAIL
-foldMapping '\xa7b2' s = Yield '\x029d' (CC s '\x0000' '\x0000')
--- LATIN CAPITAL LETTER CHI
-foldMapping '\xa7b3' s = Yield '\xab53' (CC s '\x0000' '\x0000')
--- LATIN CAPITAL LETTER BETA
-foldMapping '\xa7b4' s = Yield '\xa7b5' (CC s '\x0000' '\x0000')
--- LATIN CAPITAL LETTER OMEGA
-foldMapping '\xa7b6' s = Yield '\xa7b7' (CC s '\x0000' '\x0000')
+-- LATIN CAPITAL LETTER D WITH SHORT STROKE OVERLAY
+foldMapping '\xa7c7' s = Yield '\xa7c8' (CC s '\x0000' '\x0000')
+-- LATIN CAPITAL LETTER S WITH SHORT STROKE OVERLAY
+foldMapping '\xa7c9' s = Yield '\xa7ca' (CC s '\x0000' '\x0000')
+-- LATIN CAPITAL LETTER REVERSED HALF H
+foldMapping '\xa7f5' s = Yield '\xa7f6' (CC s '\x0000' '\x0000')
 -- CHEROKEE SMALL LETTER A
 foldMapping '\xab70' s = Yield '\x13a0' (CC s '\x0000' '\x0000')
 -- CHEROKEE SMALL LETTER E
@@ -757,246 +753,4 @@ foldMapping '\xfb15' s = Yield '\x0574' (CC s '\x056b' '\x0000')
 foldMapping '\xfb16' s = Yield '\x057e' (CC s '\x0576' '\x0000')
 -- ARMENIAN SMALL LIGATURE MEN XEH
 foldMapping '\xfb17' s = Yield '\x0574' (CC s '\x056d' '\x0000')
--- OSAGE CAPITAL LETTER A
-foldMapping '\x104b0' s = Yield '\x104d8' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER AI
-foldMapping '\x104b1' s = Yield '\x104d9' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER AIN
-foldMapping '\x104b2' s = Yield '\x104da' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER AH
-foldMapping '\x104b3' s = Yield '\x104db' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER BRA
-foldMapping '\x104b4' s = Yield '\x104dc' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER CHA
-foldMapping '\x104b5' s = Yield '\x104dd' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER EHCHA
-foldMapping '\x104b6' s = Yield '\x104de' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER E
-foldMapping '\x104b7' s = Yield '\x104df' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER EIN
-foldMapping '\x104b8' s = Yield '\x104e0' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER HA
-foldMapping '\x104b9' s = Yield '\x104e1' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER HYA
-foldMapping '\x104ba' s = Yield '\x104e2' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER I
-foldMapping '\x104bb' s = Yield '\x104e3' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER KA
-foldMapping '\x104bc' s = Yield '\x104e4' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER EHKA
-foldMapping '\x104bd' s = Yield '\x104e5' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER KYA
-foldMapping '\x104be' s = Yield '\x104e6' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER LA
-foldMapping '\x104bf' s = Yield '\x104e7' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER MA
-foldMapping '\x104c0' s = Yield '\x104e8' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER NA
-foldMapping '\x104c1' s = Yield '\x104e9' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER O
-foldMapping '\x104c2' s = Yield '\x104ea' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER OIN
-foldMapping '\x104c3' s = Yield '\x104eb' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER PA
-foldMapping '\x104c4' s = Yield '\x104ec' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER EHPA
-foldMapping '\x104c5' s = Yield '\x104ed' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER SA
-foldMapping '\x104c6' s = Yield '\x104ee' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER SHA
-foldMapping '\x104c7' s = Yield '\x104ef' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER TA
-foldMapping '\x104c8' s = Yield '\x104f0' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER EHTA
-foldMapping '\x104c9' s = Yield '\x104f1' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER TSA
-foldMapping '\x104ca' s = Yield '\x104f2' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER EHTSA
-foldMapping '\x104cb' s = Yield '\x104f3' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER TSHA
-foldMapping '\x104cc' s = Yield '\x104f4' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER DHA
-foldMapping '\x104cd' s = Yield '\x104f5' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER U
-foldMapping '\x104ce' s = Yield '\x104f6' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER WA
-foldMapping '\x104cf' s = Yield '\x104f7' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER KHA
-foldMapping '\x104d0' s = Yield '\x104f8' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER GHA
-foldMapping '\x104d1' s = Yield '\x104f9' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER ZA
-foldMapping '\x104d2' s = Yield '\x104fa' (CC s '\x0000' '\x0000')
--- OSAGE CAPITAL LETTER ZHA
-foldMapping '\x104d3' s = Yield '\x104fb' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER A
-foldMapping '\x10c80' s = Yield '\x10cc0' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER AA
-foldMapping '\x10c81' s = Yield '\x10cc1' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EB
-foldMapping '\x10c82' s = Yield '\x10cc2' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER AMB
-foldMapping '\x10c83' s = Yield '\x10cc3' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EC
-foldMapping '\x10c84' s = Yield '\x10cc4' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ENC
-foldMapping '\x10c85' s = Yield '\x10cc5' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ECS
-foldMapping '\x10c86' s = Yield '\x10cc6' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ED
-foldMapping '\x10c87' s = Yield '\x10cc7' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER AND
-foldMapping '\x10c88' s = Yield '\x10cc8' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER E
-foldMapping '\x10c89' s = Yield '\x10cc9' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER CLOSE E
-foldMapping '\x10c8a' s = Yield '\x10cca' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EE
-foldMapping '\x10c8b' s = Yield '\x10ccb' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EF
-foldMapping '\x10c8c' s = Yield '\x10ccc' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EG
-foldMapping '\x10c8d' s = Yield '\x10ccd' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EGY
-foldMapping '\x10c8e' s = Yield '\x10cce' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EH
-foldMapping '\x10c8f' s = Yield '\x10ccf' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER I
-foldMapping '\x10c90' s = Yield '\x10cd0' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER II
-foldMapping '\x10c91' s = Yield '\x10cd1' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EJ
-foldMapping '\x10c92' s = Yield '\x10cd2' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EK
-foldMapping '\x10c93' s = Yield '\x10cd3' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER AK
-foldMapping '\x10c94' s = Yield '\x10cd4' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER UNK
-foldMapping '\x10c95' s = Yield '\x10cd5' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EL
-foldMapping '\x10c96' s = Yield '\x10cd6' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ELY
-foldMapping '\x10c97' s = Yield '\x10cd7' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EM
-foldMapping '\x10c98' s = Yield '\x10cd8' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EN
-foldMapping '\x10c99' s = Yield '\x10cd9' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ENY
-foldMapping '\x10c9a' s = Yield '\x10cda' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER O
-foldMapping '\x10c9b' s = Yield '\x10cdb' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER OO
-foldMapping '\x10c9c' s = Yield '\x10cdc' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER NIKOLSBURG OE
-foldMapping '\x10c9d' s = Yield '\x10cdd' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER RUDIMENTA OE
-foldMapping '\x10c9e' s = Yield '\x10cde' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER OEE
-foldMapping '\x10c9f' s = Yield '\x10cdf' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EP
-foldMapping '\x10ca0' s = Yield '\x10ce0' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EMP
-foldMapping '\x10ca1' s = Yield '\x10ce1' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ER
-foldMapping '\x10ca2' s = Yield '\x10ce2' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER SHORT ER
-foldMapping '\x10ca3' s = Yield '\x10ce3' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ES
-foldMapping '\x10ca4' s = Yield '\x10ce4' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ESZ
-foldMapping '\x10ca5' s = Yield '\x10ce5' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ET
-foldMapping '\x10ca6' s = Yield '\x10ce6' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ENT
-foldMapping '\x10ca7' s = Yield '\x10ce7' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ETY
-foldMapping '\x10ca8' s = Yield '\x10ce8' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ECH
-foldMapping '\x10ca9' s = Yield '\x10ce9' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER U
-foldMapping '\x10caa' s = Yield '\x10cea' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER UU
-foldMapping '\x10cab' s = Yield '\x10ceb' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER NIKOLSBURG UE
-foldMapping '\x10cac' s = Yield '\x10cec' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER RUDIMENTA UE
-foldMapping '\x10cad' s = Yield '\x10ced' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EV
-foldMapping '\x10cae' s = Yield '\x10cee' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EZ
-foldMapping '\x10caf' s = Yield '\x10cef' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER EZS
-foldMapping '\x10cb0' s = Yield '\x10cf0' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER ENT-SHAPED SIGN
-foldMapping '\x10cb1' s = Yield '\x10cf1' (CC s '\x0000' '\x0000')
--- OLD HUNGARIAN CAPITAL LETTER US
-foldMapping '\x10cb2' s = Yield '\x10cf2' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER ALIF
-foldMapping '\x1e900' s = Yield '\x1e922' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER DAALI
-foldMapping '\x1e901' s = Yield '\x1e923' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER LAAM
-foldMapping '\x1e902' s = Yield '\x1e924' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER MIIM
-foldMapping '\x1e903' s = Yield '\x1e925' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER BA
-foldMapping '\x1e904' s = Yield '\x1e926' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER SINNYIIYHE
-foldMapping '\x1e905' s = Yield '\x1e927' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER PE
-foldMapping '\x1e906' s = Yield '\x1e928' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER BHE
-foldMapping '\x1e907' s = Yield '\x1e929' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER RA
-foldMapping '\x1e908' s = Yield '\x1e92a' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER E
-foldMapping '\x1e909' s = Yield '\x1e92b' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER FA
-foldMapping '\x1e90a' s = Yield '\x1e92c' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER I
-foldMapping '\x1e90b' s = Yield '\x1e92d' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER O
-foldMapping '\x1e90c' s = Yield '\x1e92e' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER DHA
-foldMapping '\x1e90d' s = Yield '\x1e92f' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER YHE
-foldMapping '\x1e90e' s = Yield '\x1e930' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER WAW
-foldMapping '\x1e90f' s = Yield '\x1e931' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER NUN
-foldMapping '\x1e910' s = Yield '\x1e932' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER KAF
-foldMapping '\x1e911' s = Yield '\x1e933' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER YA
-foldMapping '\x1e912' s = Yield '\x1e934' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER U
-foldMapping '\x1e913' s = Yield '\x1e935' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER JIIM
-foldMapping '\x1e914' s = Yield '\x1e936' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER CHI
-foldMapping '\x1e915' s = Yield '\x1e937' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER HA
-foldMapping '\x1e916' s = Yield '\x1e938' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER QAAF
-foldMapping '\x1e917' s = Yield '\x1e939' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER GA
-foldMapping '\x1e918' s = Yield '\x1e93a' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER NYA
-foldMapping '\x1e919' s = Yield '\x1e93b' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER TU
-foldMapping '\x1e91a' s = Yield '\x1e93c' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER NHA
-foldMapping '\x1e91b' s = Yield '\x1e93d' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER VA
-foldMapping '\x1e91c' s = Yield '\x1e93e' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER KHA
-foldMapping '\x1e91d' s = Yield '\x1e93f' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER GBE
-foldMapping '\x1e91e' s = Yield '\x1e940' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER ZAL
-foldMapping '\x1e91f' s = Yield '\x1e941' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER KPO
-foldMapping '\x1e920' s = Yield '\x1e942' (CC s '\x0000' '\x0000')
--- ADLAM CAPITAL LETTER SHA
-foldMapping '\x1e921' s = Yield '\x1e943' (CC s '\x0000' '\x0000')
 foldMapping c s = Yield (toLower c) (CC s '\0' '\0')