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
A function that only throws an exception, is expected to have return type bool.
To Reproduce
str f() = {
throw "Not implemented"; // error: Return type `str` expected, found `bool`
};
Expected behavior
I would expect this to be fine.
In general, this might require dataflow analysis. But this simple case was fine in the previous typechecker release and should be supported, I think.
Desktop (please complete the following information):
Context: VS Code plugin 0.12.0-head1137
Rascal Version 0.40.7
The text was updated successfully, but these errors were encountered:
Describe the bug
A function that only throws an exception, is expected to have return type
bool
.To Reproduce
Expected behavior
I would expect this to be fine.
In general, this might require dataflow analysis. But this simple case was fine in the previous typechecker release and should be supported, I think.
Desktop (please complete the following information):
0.12.0-head1137
0.40.7
The text was updated successfully, but these errors were encountered: