# File lib/type_checker.rb, line 550 def process_gasgn(exp) var = exp.shift val = process exp.shift var_type = @genv.lookup var rescue nil if var_type.nil? then @genv.add var, val.sexp_type else val.sexp_type.unify var_type end return t(:gasgn, var, val, val.sexp_type) end