We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
inline
numeric constant type not set
Hi,
Consider the following program:
.type typeUllz <: unsigned .type typeVdou <: unsigned .decl jdsc(A:typeUllz) .decl eyzg(A:typeVdou) .decl xgld(A:unsigned, E:typeVdou, G:unsigned) inline .decl prxo(A:unsigned, C:typeVdou) inline .decl weri(A:unsigned) eyzg(6). jdsc(6). xgld(D, A, A) :- eyzg(A), jdsc(D). prxo(E, E) :- xgld(I, E, I). weri(B) :- prxo(6, B). .output weri
I run it with souffle -w example.dl and get
souffle -w example.dl
souffle: /tmp/souffle/src/ast/analysis/typesystem/Type.cpp:332: souffle::ast::NumericConstant::Type souffle::ast::analysis::TypeAnalysis::getPolymorphicNumericConstantType(const souffle::ast::NumericConstant&) const: Assertion `hasValidTypeInfo(nc) && "numeric constant type not set"' failed.
But if I 1) modify the 6 in last rule to A; or 2) remove any inline in program; or 3) remove typeUllz or typeVdou, the program can execute correctly.
6
A
typeUllz
typeVdou
The text was updated successfully, but these errors were encountered:
I can reproduce this on 15b114a.
Sorry, something went wrong.
No branches or pull requests
Hi,
Consider the following program:
I run it with
souffle -w example.dl
and getBut if I 1) modify the
6
in last rule toA
; or 2) remove anyinline
in program; or 3) removetypeUllz
ortypeVdou
, the program can execute correctly.The text was updated successfully, but these errors were encountered: