class TypedRb::Model::TmGlobalVarAssignment

global variable assignation

Public Instance Methods

check_type(context) click to toggle source
# File lib/typed/model/tm_global_var_assignment.rb, line 8
def check_type(context)
  rvalue_type = rvalue.check_type(context)
  lvalue_type = Types::TypingContext.type_variable_for_global(lvalue.val)
  # This is always going to add just another constraint to the var that will
  # be resolved in the unification process.
  # No need to check the compatible value.
  lvalue_type.compatible?(rvalue_type, :gt)
  rvalue_type
end