# File lib/type_checker.rb, line 836 def process_return(exp) result = t(:return, Type.void) # TODO why void - cuz this is a keyword result << process(exp.shift) unless exp.empty? return result end