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
Reactivate the generation of the lines of the form:
default: throw "No matching case for switch";
by having js_of_pattern return an additional boolean
indicating whether there was a default case or not.
This is needed to detect bugs in the spec where the
switch are missing useful cases.
The text was updated successfully, but these errors were encountered:
From #26 :
Reactivate the generation of the lines of the form:
default: throw "No matching case for switch";
by having js_of_pattern return an additional boolean
indicating whether there was a default case or not.
This is needed to detect bugs in the spec where the
switch are missing useful cases.
The text was updated successfully, but these errors were encountered: