Folds arguments of SmallInt primitives

Issue: #17 Issue: #92
0x7CFE · Jul 5, 2016 · 31ff87f · 31ff87f
1 parent d74c752
commit 31ff87f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/TypeAnalyzer.cpp b/src/TypeAnalyzer.cpp
@@ -1012,8 +1012,8 @@ void TypeAnalyzer::doPrimitive(const InstructionNode& instruction) {
         case primitive::smallIntEqual:
         case primitive::smallIntLess:
         {
-            const Type& self = m_context[*instruction.getArgument(0)];
-            const Type& arg  = m_context[*instruction.getArgument(1)];
+            const Type& self = m_context[*instruction.getArgument(0)].fold();
+            const Type& arg  = m_context[*instruction.getArgument(1)].fold();
             static const Type smallInt(globals.smallIntClass, Type::tkMonotype);
 
             if (isSmallInteger(self.getValue()) && isSmallInteger(arg.getValue())) {