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

Relations with names that conflict with built-ins #10

Open
langston-barrett opened this issue Oct 22, 2022 · 0 comments
Open

Relations with names that conflict with built-ins #10

langston-barrett opened this issue Oct 22, 2022 · 0 comments
Labels
bug Something isn't working help wanted Extra attention is needed semver/patch Requires a patch version bump (i.e., bugfix)

Comments

@langston-barrett
Copy link
Owner

langston-barrett commented Oct 22, 2022

The parser can't handle relations with names that shadow the names of built-ins, like in the following example. The parse error is demonstrated by the benchmark souffle-bench/benchmarks/sequences/sequences.dl. Here's a minimized version that now appears in #20 as an expected failure case:

log(x) :- exp(x).
@langston-barrett langston-barrett added bug Something isn't working help wanted Extra attention is needed labels Oct 22, 2022
@langston-barrett langston-barrett added the semver/patch Requires a patch version bump (i.e., bugfix) label Oct 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working help wanted Extra attention is needed semver/patch Requires a patch version bump (i.e., bugfix)
Projects
None yet
Development

No branches or pull requests

1 participant