Fixed all type-getting appearances for nc except in type analyses.

souffle-lang · Nov 2, 2020 · 30ee2e6 · 30ee2e6
1 parent 97e0100
commit 30ee2e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/ast/analysis/PolymorphicObjects.cpp b/src/ast/analysis/PolymorphicObjects.cpp
@@ -30,7 +30,7 @@ void PolymorphicObjectsAnalysis::run(const TranslationUnit& translationUnit) {
     visitDepthFirst(program, [&](const NumericConstant& numericConstant) {
         // Constant has a fixed type
         if (numericConstant.hasFixedType()) {
-            constantType[&numericConstant] = numericConstant.getType().value();
+            constantType[&numericConstant] = numericConstant.getFixedType().value();
             return;
         }
 

diff --git a/src/parser/parser.yy b/src/parser/parser.yy
@@ -698,7 +698,7 @@ arg
         auto nested_arg = *$nested_arg;
         const auto* asNumeric = dynamic_cast<const ast::NumericConstant*>(&*nested_arg);
         if (asNumeric && !isPrefix("-", asNumeric->getConstant())) {
-            $$ = mk<ast::NumericConstant>("-" + asNumeric->getConstant(), asNumeric->getType(), @nested_arg);
+            $$ = mk<ast::NumericConstant>("-" + asNumeric->getConstant(), asNumeric->getFixedType(), @nested_arg);
         } else { // Otherwise, create a functor.
             $$ = mk<ast::IntrinsicFunctor>(@$, FUNCTOR_INTRINSIC_PREFIX_NEGATE_NAME, std::move(nested_arg));
         }