Fixes prototype of TypeSystem::inferBlock()

Issue: #17
0x7CFE · May 31, 2016 · e08da8d · e08da8d
1 parent 4d27f82
commit e08da8d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/include/inference.h b/include/inference.h
@@ -271,7 +271,7 @@ class TypeSystem {
     typedef TSymbol* TSelector;
 
     InferContext* inferMessage(TSelector selector, const Type& arguments);
-    InferContext* inferBlock(const Type& block, const Type& arguments);
+    BlockInferContext* inferBlock(const Type& block, const Type& arguments);
 
     ControlGraph* getControlGraph(TMethod* method);
 

diff --git a/src/TypeAnalyzer.cpp b/src/TypeAnalyzer.cpp
@@ -475,7 +475,7 @@ void TypeAnalyzer::doPrimitive(const InstructionNode& instruction) {
             if (instruction.getArgumentsCount() == 3)
                 arguments.pushSubType(m_context[*instruction.getArgument(2)]);
 
-            if (InferContext* invokeContext = m_system.inferBlock(block, arguments))
+            if (BlockInferContext* invokeContext = m_system.inferBlock(block, arguments))
                 primitiveResult = invokeContext->getReturnType();
             else
                 primitiveResult = Type(Type::tkPolytype);
@@ -707,7 +707,7 @@ InferContext* TypeSystem::inferMessage(TSelector selector, const Type& arguments
     return inferContext;
 }
 
-InferContext* TypeSystem::inferBlock(const Type& block, const Type& arguments) {
+BlockInferContext* TypeSystem::inferBlock(const Type& block, const Type& arguments) {
     if (block.getKind() != Type::tkMonotype || arguments.getSubTypes().empty())
         return 0;