Contents

module Steep
  module AST
    module Types
      class Instance
        extend SharedInstance

        def ==(other)
          other.is_a?(Instance)
        end

        def hash
          self.class.hash
        end

        alias eql? ==

        def subst(s)
          if s.instance_type
            s.instance_type
          else
            self
          end
        end

        @@fvs = Set[instance]
        def free_variables
          @@fvs
        end

        include Helper::NoChild

        def to_s
          "instance"
        end

        def level
          [0]
        end
      end
    end
  end
end

Version data entries

10 entries across 10 versions & 1 rubygems

Version	Path
steep-1.9.1	lib/steep/ast/types/instance.rb
steep-1.9.0	lib/steep/ast/types/instance.rb
steep-1.9.0.dev.2	lib/steep/ast/types/instance.rb
steep-1.9.0.dev.1	lib/steep/ast/types/instance.rb
steep-1.8.3	lib/steep/ast/types/instance.rb
steep-1.8.2	lib/steep/ast/types/instance.rb
steep-1.8.1	lib/steep/ast/types/instance.rb
steep-1.8.0	lib/steep/ast/types/instance.rb
steep-1.8.0.pre.2	lib/steep/ast/types/instance.rb
steep-1.8.0.pre.1	lib/steep/ast/types/instance.rb