Sha256: 01a6b33c9aa7dffb4efc370db1b590a254329e23311c65191c2e54ef13ce7b24
Contents?: true
Size: 730 Bytes
Versions: 26
Compression:
Stored size: 730 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()
@fvs = Set.new([self])
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
26 entries across 26 versions & 1 rubygems