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
We report most of errors and warnings by taking the message from the message kind and prefixing it with "Warning: " and "Error: ", depending on the context (CANNOT_RESOLVE_TYPE is an example which is used both in an error and a warning).
We should have fields containing different messages for errors, warnings and perhaps hints/info. This allows us to very wording depending on the context and makes the messages easier to translate.
The text was updated successfully, but these errors were encountered:
We report most of errors and warnings by taking the message from the message kind and prefixing it with "Warning: " and "Error: ", depending on the context (CANNOT_RESOLVE_TYPE is an example which is used both in an error and a warning).
We should have fields containing different messages for errors, warnings and perhaps hints/info. This allows us to very wording depending on the context and makes the messages easier to translate.
The text was updated successfully, but these errors were encountered: