# File lib/type_checker.rb, line 169 def process_args(exp) formals = t(:args) types = [] until exp.empty? do arg = exp.shift type = Type.unknown @env.add arg, type formals << t(arg, type) types << type end return formals end