Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Emit warnings on use of unknown marks #4826
One of the most common problems I see, and help debug, is typos in
Happily, there is a standard middle ground: warnings! I therefore propose to emit a warning every time an unknown name is used as an attribute of
Unless there are major objections to this plan, I'll try for an implementation over the weekend.
Took a quick look and that does not seem to be the case:
Just to complement the other answers:
What is happening that
The warning is emitted because typos in marks are a common source of mistakes: if a user mistypes
This causes a small pain now, but will prevent a lot of headaches in the future; plugins will now register their marks from the get-go, and mistypes will be immediately obvious.
Reports about the unknown marks in the respective plugin bug trackers are welcome, so plugin authors can be made aware of the missing registration.