# 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