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
If one has a file, "A" and imports a file "B" and file "B" has an error on a specific line number (such as, say, an unbound identifier) that error shows up in the current file at the line number of that error.
I propose that errors that are not in the current file should be a general error.
The text was updated successfully, but these errors were encountered:
If one has a file, "A" and imports a file "B" and file "B" has an error on a specific line number (such as, say, an unbound identifier) that error shows up in the current file at the line number of that error.
I propose that errors that are not in the current file should be a general error.
The text was updated successfully, but these errors were encountered: