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
Depends on #1110
Capture the next tmp locations when entering a block in a stack
When doing a BR of that block, move the yielding value to the location and give that block the corresponding type.
This way a block will have a type and you can type check with every br yields and also the last block statement
The text was updated successfully, but these errors were encountered:
Depends on #1110
Capture the next tmp locations when entering a block in a stack
When doing a BR of that block, move the yielding value to the location and give that block the corresponding type.
This way a block will have a type and you can type check with every br yields and also the last block statement
The text was updated successfully, but these errors were encountered: