mirror of
https://github.com/servo/servo.git
synced 2025-08-03 20:50:07 +01:00
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> |
||
---|---|---|
.. | ||
tests | ||
abstract.patch | ||
array-type.patch | ||
builtin-array.patch | ||
callback-location.patch | ||
debug.patch | ||
ext-attribute-no-value-error.patch | ||
idltype-tags-type-hint.patch | ||
inline.patch | ||
like-as-iterable.patch | ||
README | ||
runtests.py | ||
transferable.patch | ||
union-typedef.patch | ||
update.sh | ||
UPSTREAM | ||
WebIDL.py |
A WebIDL parser written in Python to be used in Mozilla.