scripts: Add unicodeVersion to generated file

Lysxia · Bodigrim · commit d82559453fd3 · 2025-12-29T23:43:39.000Z
diff --git a/scripts/CaseMapping.hs b/scripts/CaseMapping.hs
@@ -1,3 +1,5 @@
+import Data.List (stripPrefix)
+import Data.Maybe (fromJust)
 import System.Environment
 import System.IO
 
@@ -21,6 +23,7 @@ main = do
   h <- openFile oname WriteMode
   let comments = map ("--" ++) $
                  take 2 (cfComments cfs) ++ take 2 (scComments scs)
+      version = parseVersion (cfComments cfs)
   mapM_ (hPutStrLn h) $
                       ["-- AUTOMATICALLY GENERATED - DO NOT EDIT"
                       ,"-- Generated by scripts/CaseMapping.hs"] ++
@@ -31,6 +34,9 @@ main = do
                       ,"module Data.Text.Internal.Fusion.CaseMapping where"
                       ,"import GHC.Int"
                       ,"import GHC.Exts"
+                      ,"import Data.Version (Version, makeVersion)"
+                      ,"unicodeVersion :: Version"
+                      ,"unicodeVersion = makeVersion " ++ version
                       ,"unI64 :: Int64 -> _ {- unboxed Int64 -}"
                       ,"unI64 (I64# n) = n"
                       ,""]
@@ -39,3 +45,14 @@ main = do
   mapM_ (hPutStrLn h) (mapSC "title" title toTitle scs)
   mapM_ (hPutStrLn h) (mapCF cfs)
   hClose h
+
+-- Parse version from CaseFolding comments
+-- and render it as a list (an argument of makeVersion)
+parseVersion :: [String] -> String
+parseVersion comments = fromJust $ do
+  line' : _ <- pure comments
+  line'' <- stripPrefix " CaseFolding-" line'
+  let (v1, line1) = span isDigit line''
+      (v2, line2) = span isDigit (drop 1 line1)
+      (v3, _) = span isDigit (drop 1 line2)
+  pure $ "[" ++ v1 ++ ", " ++ v2 ++ ", " ++ v3 ++ "]"
