# File lib/type_checker.rb, line 884 def process_super(exp) args = process exp.shift # TODO try to look up the method in our superclass? return t(:super, args, Type.unknown) end