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.

Sign up for GitHub

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

Jump to bottom

LoadError: sanity check failed. #290

Closed
rayegun opened this issue Apr 22, 2021 · 2 comments
Closed

LoadError: sanity check failed. #290

rayegun opened this issue Apr 22, 2021 · 2 comments

Comments

@rayegun
Copy link

rayegun commented Apr 22, 2021

sanity check failed. [REASON]: use the same name clingo_symbol_type for struct CLCursor (Clang.CLEnumDecl) clingo_symbol_type at /home/will/.julia/artifacts/1e309d9f5e2efe88a12072f45b428baae9bc8b20/include/clingo.h:306:6 and function CLCursor (Clang.CLFunctionDecl) clingo_symbol_type(clingo_symbol_t) at /home/will/.julia/artifacts/1e309d9f5e2efe88a12072f45b428baae9bc8b20/include/clingo.h:421:48. The C code use the same name for structs and functions, which is not a good code-style, please fix it in the upstream.

Is there any way around this? In many cases it's not feasible to fix something in the upstream like this. This is on master.
@Gnimuc
Copy link
Member

Gnimuc commented Apr 22, 2021

Looks like this has already been fixed in the upstream: potassco/clingo@7c5b26c 😉

@rayegun
Copy link
Author

rayegun commented Apr 22, 2021

Perfect, thanks for your help :)

@rayegun rayegun closed this as completed Apr 22, 2021
@Gnimuc Gnimuc mentioned this issue Aug 8, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Gnimuc @rayegun