mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
b05d265de5
Introduce type checking with Pyrefly in `components/script_bindings` This commit adds Pyrefly-based type checking to the `components/script_bindings` directory. The primary goal is to catch type inconsistencies early and reduce the likelihood of unexpected runtime errors. This change affects the `webidl` component, as these script bindings are responsible for connecting WebIDL specifications to the Rust codebase. Testing: `./mach test-wpt webidl` Fixes: *Link to an issue this pull requests fixes or remove this line if there is no issue* --------- Signed-off-by: Jerens Lensun <jerensslensun@gmail.com>
17 lines
553 B
Bash
Executable file
17 lines
553 B
Bash
Executable file
wget https://hg.mozilla.org/mozilla-central/raw-file/tip/dom/bindings/parser/WebIDL.py -O WebIDL.py
|
|
patch < abstract.patch
|
|
patch < debug.patch
|
|
patch < callback-location.patch
|
|
patch < union-typedef.patch
|
|
patch < inline.patch
|
|
patch < like-as-iterable.patch
|
|
patch < builtin-array.patch
|
|
patch < array-type.patch
|
|
patch < transferable.patch
|
|
patch < idltype-tags-type-hint.patch
|
|
|
|
wget https://hg.mozilla.org/mozilla-central/archive/tip.zip/dom/bindings/parser/tests/ -O tests.zip
|
|
rm -r tests
|
|
mkdir tests
|
|
unzip -d tests -j tests.zip
|
|
rm tests.zip WebIDL.py.orig
|