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

Bug missing prefix #14

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

Bug missing prefix #14

wants to merge 6 commits into from

Conversation

wouterbeek
Copy link
Collaborator

No description provided.

This is done before I make any content-wise changes, so as to avoid unclear merge requests in the future.
…arations.

This may result in fewer bugs where a specific prefix declaration is missing from a specific function (see previous commit).
This approach avoids unnecessarily repeating the variable whose bound state is checked.
…erties.

These improved versions are more robust against incorrect input, e.g. things like zero or negative indices (rdf:_-1) and leading zero's (rdf:_01) now return as unbound.
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

Successfully merging this pull request may close these issues.

2 participants