Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 20:50:07 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/third_party/WebIDL
History
Exact
Jerens Lensun b05d265de5
script_binding: Add type check on servo script bindings (#38161) 
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>
2025-08-01 04:34:24 +00:00
..
tests Update WebIDL.py (#32495) 2024-06-15 04:22:42 +00:00
abstract.patch Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
array-type.patch Use patch to add arrayType in WebIDL.py (#34848) 2025-01-06 20:29:36 +00:00
builtin-array.patch Update WebIDL.py (#32495) 2024-06-15 04:22:42 +00:00
callback-location.patch Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
debug.patch Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
ext-attribute-no-value-error.patch Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
idltype-tags-type-hint.patch script_binding: Add type check on servo script bindings (#38161) 2025-08-01 04:34:24 +00:00
inline.patch Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
like-as-iterable.patch Impl Setlike and Maplike (#30237) 2023-09-06 13:08:45 +00:00
README Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
runtests.py Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
transferable.patch imagebitmap: Make ImageBitmap serializable and transferable (#37101) 2025-05-23 20:40:25 +00:00
union-typedef.patch Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
update.sh script_binding: Add type check on servo script bindings (#38161) 2025-08-01 04:34:24 +00:00
UPSTREAM Create a top-level "third_party" directory 2023-06-30 09:51:31 +02:00
WebIDL.py script_binding: Add type check on servo script bindings (#38161) 2025-08-01 04:34:24 +00:00

README 

A WebIDL parser written in Python to be used in Mozilla.