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
Is accepted without complaints. The type arguments are seemingly ignored. It should be a compile-time error (this is invalid syntax). The test language_2/named_constructor_test exposes this.
The text was updated successfully, but these errors were encountered:
This feature has been on the official wishlist (insofar as such a thing exists ;-) for a long time. It would be justified to introduce a check for this situation and emit an error message, but there's certainly no need to change or delete parts of the parser in such a way that it makes those type arguments a syntax error at a deeper level (that is, such that the effort of re-introducing support for this syntax gets bigger).
Agreed. From the perspective of recovery, the parser is doing the right thing (other than the fact that no error message is emitted). We actually want to parse them, and eventually we should resolve them as well.
Is accepted without complaints. The type arguments are seemingly ignored. It should be a compile-time error (this is invalid syntax). The test
language_2/named_constructor_test
exposes this.The text was updated successfully, but these errors were encountered: