search

WebAssembly / interface-types

Other
641 stars 57 forks source link

Specify validation typing rules and/or algorithm #29

Open fitzgen opened 5 years ago

fitzgen commented 5 years ago

From the explainer:

Validating a Web IDL Bindings section primarily involves type checking all the contained binding expressions relative to the respective source and destination tuple types of the WebAssembly or Web IDL function signatures of the function binding. Although the precise static semantics are outside the scope of this [explainer] document, they should be able to follow the same general validation conventions as core WebAssembly.

This is a placeholder issue for specifying the typing rules and context and/or the algorithm for validating a webidl-bindings, since I didn't see an issue already open.

pchickey commented 5 years ago

The proposal has evolved since this issue was filed and there are no longer binding expressions or WebIDL function signatures involved. However, we still need to describe validation rules for the interface types and adapter expressions.