fixed silly issue with index calculation in synthesiser for type info

souffle-lang · Aug 12, 2020 · 1c74ea7 · 1c74ea7
1 parent 01fab76
commit 1c74ea7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/synthesiser/SynthesiserRelation.cpp b/src/synthesiser/SynthesiserRelation.cpp
@@ -233,7 +233,7 @@ void SynthesiserDirectRelation::generateTypeStruct(std::ostream& out) {
             out << "  return ";
             std::function<void(size_t)> gencmp = [&](size_t i) {
                 size_t attrib = ind[i];
-                const auto& typecast = typecasts[i];
+                const auto& typecast = typecasts[attrib];
 
                 out << "(" << typecast << "(a[" << attrib << "]) < " << typecast << "(b[" << attrib
                     << "])) ? -1 : (" << typecast << "(a[" << attrib << "]) > " << typecast << "(b[" << attrib
@@ -251,7 +251,7 @@ void SynthesiserDirectRelation::generateTypeStruct(std::ostream& out) {
             out << "  return ";
             std::function<void(size_t)> genless = [&](size_t i) {
                 size_t attrib = ind[i];
-                const auto& typecast = typecasts[i];
+                const auto& typecast = typecasts[attrib];
 
                 out << "(" << typecast << "(a[" << attrib << "]) < " << typecast << "(b[" << attrib << "]))";
                 if (i + 1 < bound) {
@@ -267,7 +267,7 @@ void SynthesiserDirectRelation::generateTypeStruct(std::ostream& out) {
             out << "return ";
             std::function<void(size_t)> geneq = [&](size_t i) {
                 size_t attrib = ind[i];
-                const auto& typecast = typecasts[i];
+                const auto& typecast = typecasts[attrib];
 
                 out << "(" << typecast << "(a[" << attrib << "]) == " << typecast << "(b[" << attrib << "]))";
                 if (i + 1 < bound) {