Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Validation: catch syntax errors? #204

Open
fingolfin opened this issue Mar 20, 2022 · 0 comments
Open

Validation: catch syntax errors? #204

fingolfin opened this issue Mar 20, 2022 · 0 comments

Comments

@fingolfin
Copy link
Member

Sometimes packages do stuff that causes syntax errors to be printed, but GAP carries on. E.g. this warning (fixed in this PR):

gap> LoadPackage("lpres":OnlyNeeded);
Syntax warning: Unbound global variable in /Users/mhorn/Projekte/GAP/gap/pkg/lpres/read.g:22
    return( ACECosetTable( f, rels, gens : silent, hard, max := 10^8, Wo := 10^8 ) );
            ^^^^^^^^^^^^^
Loading lpres 1.0.1 ...
true

On the one hand, this warning is harmless. On the other hand it is spooky and scary and user should not have to see it, so it'd be nice to catch it, so that we can notify upstream others about it.

Not sure how to test achieve this, though. Perhaps GAP needs a --strict option which turns syntax warnings into errors?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant