Fetches the latest Unicode Character Database DerivedCoreProperties.txt,
compares its version against the one last processed
(priv/unicode/VERSION), and — if newer — regenerates the
IDENT_START/IDENT_CONT/IDENTIFIER ranges spliced into
priv/grammar/dxn.aether (see Dextrin.Unicode.RangeGenerator for
the pure text-processing logic this task wraps with file/network I/O).
This is a deliberate, reviewed action, never run automatically at
build time or gated on by CI — a human invokes this task and reviews
the resulting diff to priv/grammar/dxn.aether before committing,
same as any other dependency version bump.
$ mix dextrin.gen.unicode
$ mix dextrin.gen.unicode --file /path/to/DerivedCoreProperties.txt
$ mix dextrin.gen.unicode --force
Options
--file PATH— read UCD data from a local file instead of fetching it from unicode.org (offline use, or testing against a specific file).--force— regenerate even if the version hasn't changed.