You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Generate dynamic type-checking code as part of the generated bindings, so that users get language-specific error messages when they fail to comply with the type requirements of members.
Since this language is statically type-checked by the compiler, runtime type-checking is only useful/necessary in places where type unions are involved (those being implemented as opaque types in the language).
The text was updated successfully, but these errors were encountered:
Comments on closed issues are hard for our team to see.
If you need more assistance, please either tag a team member or open a new issue that references this one.
If you wish to keep having a conversation with other community members under this issue feel free to do so.
Generate dynamic type-checking code as part of the generated bindings, so that users get language-specific error messages when they fail to comply with the type requirements of members.
Since this language is statically type-checked by the compiler, runtime type-checking is only useful/necessary in places where type unions are involved (those being implemented as opaque types in the language).
The text was updated successfully, but these errors were encountered: