Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Provide help for global APIs used at top-level code. #1130
This fixes #1121.
Right now the only global this PR detects and provides help for is
For now, are there any other global symbols we should provide help for?
Ah good idea! Just added
This makes me wish we could add one of those "anonymous usage reporting" types of features that lots of consumer products have, so that we could get statistics on other kinds of errors folks are making, but that'd probably be hard to do in a way that doesn't violate privacy or otherwise weird people out. Maybe it's just best to encourage teachers to keep a spreadsheet of common errors, as suggested in #971 (comment).