Sha256: d4994ffa7a3a855e84c174af592d23aa5ade6cd1508ca1afc4a65ea04bce52b9
Contents?: true
Size: 713 Bytes
Versions: 31
Compression:
Stored size: 713 Bytes
Contents
module Steep
module AST
module Types
class Instance
attr_reader :location
def initialize(location: nil)
@location = location
end
def ==(other)
other.is_a?(Instance)
end
def hash
self.class.hash
end
alias eql? ==
def subst(s)
s.instance_type or raise "Unexpected substitution: #{inspect}"
end
def free_variables
Set.new
end
def to_s
"instance"
end
def level
[0]
end
def with_location(new_location)
self.class.new(location: new_location)
end
end
end
end
end
Version data entries
31 entries across 31 versions & 1 rubygems