# File lib/type_checker.rb, line 569 def process_gvar(exp) name = exp.shift type = @genv.lookup name rescue nil if type.nil? then type = Type.unknown @genv.add name, type end return t(:gvar, name, type) end