-
-
Notifications
You must be signed in to change notification settings - Fork 6
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
Add "occurs-check" functionality #36
Labels
bug
Something isn't working
enhancement
New feature or request
help wanted
Extra attention is needed
important
Comments
This looks like an "occurs-check"-related issue appearing in |
FYI: I labeled this a bug for the time being, but, since |
brandonwillard
changed the title
Add "occurs-check" functionality
Aug 4, 2022
kanren
hangs on a simple example
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
bug
Something isn't working
enhancement
New feature or request
help wanted
Extra attention is needed
important
I am trying to reproduce the examples in The Reasoned Schemer using
kanren
, and example 45 ("a variable cannot be equal to a list in which it occurs") hangs:The following also hangs:
I am not sure this is a bug, so posting before investigating further.
The text was updated successfully, but these errors were encountered: