# File lib/type_checker.rb, line 395 def process_cvar(exp) # TODO: we should treat these as globals and have them in the top scope name = exp.shift return t(:cvar, name, Type.unknown) end