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