steep 1.3.0.pre.2 → 1.3.1

data/rbs_collection.steep.lock.yaml

@@ -11,7 +11,7 @@ gems:
   source:
     type: stdlib
 - name: rbs
-  version: 2.8.0.pre.1
+  version: 2.8.0
   source:
     type: rubygems
 - name: dbm
@@ -19,11 +19,11 @@ gems:
   source:
     type: stdlib
 - name: activesupport
-  version: '6.0'
+  version: '7.0'
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 94fcc911186b127cffdfd7a378b5e0b511196089
+    revision: 3cdcbea7f7a2a2ba5dffce3ee71f938f8b301687
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: ast
@@ -31,7 +31,15 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 94fcc911186b127cffdfd7a378b5e0b511196089
+    revision: 3cdcbea7f7a2a2ba5dffce3ee71f938f8b301687
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    repo_dir: gems
+- name: concurrent-ruby
+  version: '1.1'
+  source:
+    type: git
+    name: ruby/gem_rbs_collection
+    revision: 8f2be26c03ad81a7124927ebc4f8e066ba94b92b
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: csv
@@ -47,7 +55,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 94fcc911186b127cffdfd7a378b5e0b511196089
+    revision: 3cdcbea7f7a2a2ba5dffce3ee71f938f8b301687
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: json
@@ -59,7 +67,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 94fcc911186b127cffdfd7a378b5e0b511196089
+    revision: 3cdcbea7f7a2a2ba5dffce3ee71f938f8b301687
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: logger
@@ -75,7 +83,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 94fcc911186b127cffdfd7a378b5e0b511196089
+    revision: 3cdcbea7f7a2a2ba5dffce3ee71f938f8b301687
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: rainbow
@@ -83,7 +91,7 @@ gems:
   source:
     type: git
     name: ruby/gem_rbs_collection
-    revision: 94fcc911186b127cffdfd7a378b5e0b511196089
+    revision: 3cdcbea7f7a2a2ba5dffce3ee71f938f8b301687
     remote: https://github.com/ruby/gem_rbs_collection.git
     repo_dir: gems
 - name: securerandom
@@ -110,19 +118,19 @@ gems:
   version: '0'
   source:
     type: stdlib
-- name: monitor
+- name: date
   version: '0'
   source:
     type: stdlib
-- name: date
+- name: monitor
   version: '0'
   source:
     type: stdlib
-- name: singleton
+- name: mutex_m
   version: '0'
   source:
     type: stdlib
-- name: mutex_m
+- name: singleton
   version: '0'
   source:
     type: stdlib

data/sig/steep/ast/builtin.rbs

@@ -59,7 +59,7 @@ module Steep
 
       def self.top_type: () -> Types::Top
 
-      def self.optional: (Types::t `type`) -> Types::Union
+      def self.optional: (Types::t) -> Types::t
 
       def self.true_type: () -> Types::Literal
 

data/sig/steep/ast/types/any.rbs

@@ -6,15 +6,15 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution s) -> Any
 
-        def to_s: () -> "untyped"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
@@ -22,7 +22,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Any
       end
     end
   end

data/sig/steep/ast/types/boolean.rbs

@@ -6,15 +6,15 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution) -> Boolean
 
-        def to_s: () -> "bool"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
@@ -22,9 +22,9 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Boolean
 
-        def back_type: () -> untyped
+        def back_type: () -> t
       end
     end
   end

data/sig/steep/ast/types/bot.rbs

@@ -6,15 +6,15 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution) -> Bot
 
-        def to_s: () -> "bot"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
@@ -22,7 +22,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Bot
       end
     end
   end

data/sig/steep/ast/types/class.rbs

@@ -6,23 +6,24 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def to_s: () -> "class"
+        def to_s: () -> String
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> untyped
+        def subst: (Interface::Substitution s) -> t
 
-        def free_variables: () -> untyped
+        @@fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::NoChild
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Class
 
         self.@instance: Class
         def self.instance: () -> Class

data/sig/steep/ast/types/helper.rbs

@@ -7,9 +7,9 @@ module Steep
         end
 
         module NoFreeVariables
-          @fvs: Set[Symbol]
+          @fvs: Set[variable]
 
-          def free_variables: () -> Set[Symbol]
+          def free_variables: () -> Set[variable]
         end
 
         module NoChild

data/sig/steep/ast/types/instance.rbs

@@ -6,19 +6,20 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> untyped
+        def subst: (Interface::Substitution s) -> t
 
-        def free_variables: () -> untyped
+        @@fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::NoChild
 
-        def to_s: () -> "instance"
+        def to_s: () -> String
 
         def level: () -> Array[Integer]
 

data/sig/steep/ast/types/intersection.rbs

@@ -2,33 +2,36 @@ module Steep
   module AST
     module Types
       class Intersection
-        attr_reader types: untyped
+        attr_reader types: Array[t]
 
         attr_reader location: untyped
 
-        def initialize: (types: untyped, ?location: untyped?) -> void
+        def initialize: (types: Array[t], ?location: untyped?) -> void
 
         def self.build: (types: Array[t], ?location: untyped?) -> t
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        @hash: Integer
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> untyped
+        def subst: (Interface::Substitution s) -> t
 
-        def to_s: () -> ::String
+        def to_s: () -> String
 
-        def free_variables: () -> untyped
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::ChildrenLevel
 
-        def each_child: () ?{ () -> untyped } -> untyped
+        def each_child: () { (t) -> void } -> void
+                      | () -> Enumerator[t, void]
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Intersection
       end
     end
   end

data/sig/steep/ast/types/literal.rbs

@@ -4,9 +4,11 @@ module Steep
       class Literal
         attr_reader location: untyped
 
-        attr_reader value: untyped
+        type value = Integer | String | Symbol | TrueClass | FalseClass
 
-        def initialize: (value: untyped, ?location: untyped?) -> void
+        attr_reader value: value
+
+        def initialize: (value: value, ?location: untyped?) -> void
 
         def ==: (untyped other) -> bool
 
@@ -14,7 +16,7 @@ module Steep
 
         alias eql? ==
 
-        def subst: (Interface::Substitution s) -> self
+        def subst: (Interface::Substitution s) -> Literal
 
         def to_s: () -> String
 
@@ -24,7 +26,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> self
+        def with_location: (untyped new_location) -> Literal
 
         def back_type: () -> AST::Types::Name::Instance
       end

data/sig/steep/ast/types/logic.rbs

@@ -2,24 +2,22 @@ module Steep
   module AST
     module Types
       module Logic
-        type loc = RBS::Location[untyped, untyped]
-
         class Base
           attr_reader location: untyped
 
-          def subst: (untyped s) -> self
+          def subst: (Interface::Substitution s) -> self
 
-          def free_variables: () -> untyped
+          include Helper::NoFreeVariables
 
           include Helper::NoChild
 
-          def hash: () -> untyped
+          def hash: () -> Integer
 
-          def ==: (untyped other) -> untyped
+          def ==: (untyped other) -> bool
 
           alias eql? ==
 
-          def to_s: () -> ::String
+          def to_s: () -> String
 
           def level: () -> Array[Integer]
         end
@@ -62,7 +60,7 @@ module Steep
 
           attr_reader type: t
 
-          def initialize: (truthy: TypeInference::TypeEnv, falsy: TypeInference::TypeEnv, type: t, ?location: loc?) -> void
+          def initialize: (truthy: TypeInference::TypeEnv, falsy: TypeInference::TypeEnv, type: t, ?location: untyped) -> void
 
           def ==: (untyped other) -> bool
 
@@ -70,7 +68,7 @@ module Steep
 
           def hash: () -> Integer
 
-          def inspect: () -> ::String
+          def inspect: () -> String
 
           alias to_s inspect
         end

data/sig/steep/ast/types/name.rbs

@@ -1,6 +1,8 @@
 module Steep
   module AST
     module Types
+      # Types with names
+      #
       module Name
         class Base
           attr_reader location: untyped
@@ -25,15 +27,17 @@ module Steep
 
           alias eql? ==
 
+          @hash: Integer
           def hash: () -> Integer
 
           def to_s: () -> ::String
 
-          def with_location: (untyped new_location) -> untyped
+          def with_location: (untyped new_location) -> self
 
           def subst: (Steep::Interface::Substitution s) -> self
 
-          def free_variables: () -> Set[Symbol]
+          @fvs: Set[variable]
+          def free_variables: () -> Set[variable]
 
           def each_child: () { (t) -> void } -> void
                         | () -> Enumerator[t, void]
@@ -52,7 +56,7 @@ module Steep
 
           def to_s: () -> ::String
 
-          def with_location: (untyped new_location) -> untyped
+          def with_location: (untyped new_location) -> Singleton
 
           include Helper::NoChild
         end

data/sig/steep/ast/types/nil.rbs

@@ -6,15 +6,15 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution s) -> Nil
 
-        def to_s: () -> "nil"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
@@ -22,9 +22,9 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Nil
 
-        def back_type: () -> untyped
+        def back_type: () -> Name::Instance
       end
     end
   end

data/sig/steep/ast/types/proc.rbs

@@ -22,18 +22,23 @@ module Steep
 
         def to_s: () -> ::String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::ChildrenLevel
 
         def level: () -> Array[Integer]
 
-        def closed?: () -> bool
-
         def with_location: (untyped new_location) -> Proc
 
         def map_type: () { (AST::Types::t) -> AST::Types::t } -> Proc
 
+        # Returns true if the proc requires exactly one argument
+        #
+        # * One required argument,
+        # * No optional/rest argument, and
+        # * No keywords
+        #
         def one_arg?: () -> bool
 
         def back_type: () -> AST::Types::t

data/sig/steep/ast/types/record.rbs

@@ -2,15 +2,13 @@ module Steep
   module AST
     module Types
       class Record
-        type loc = RBS::Location[untyped, untyped]
-
         type key = Symbol | String | Integer
 
-        attr_reader location: loc?
+        attr_reader location: untyped
 
         attr_reader elements: Hash[key, t]
 
-        def initialize: (elements: Hash[key, t], ?location: loc?) -> void
+        def initialize: (elements: Hash[key, t], ?location: untyped) -> void
 
         def ==: (untyped other) -> bool
 
@@ -18,11 +16,12 @@ module Steep
 
         alias eql? ==
 
-        def subst: (Interface::Substitution s) -> self
+        def subst: (Interface::Substitution s) -> Record
 
-        def to_s: () -> ::String
+        def to_s: () -> String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::ChildrenLevel
 
@@ -31,7 +30,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (loc new_location) -> self
+        def with_location: (untyped new_location) -> Record
       end
     end
   end

data/sig/steep/ast/types/self.rbs

@@ -6,23 +6,24 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def to_s: () -> "self"
+        def to_s: () -> String
 
         include Helper::NoChild
 
-        def subst: (untyped s) -> untyped
+        def subst: (Interface::Substitution s) -> t
 
-        def free_variables: () -> untyped
+        @@fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Self
 
         self.@instance: Self
         def self.instance: () -> Self

data/sig/steep/ast/types/top.rbs

@@ -6,23 +6,23 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution s) -> Top
 
-        def to_s: () -> "top"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
         include Helper::NoChild
 
         def level: () -> Array[Integer]
-        
-        def with_location: (untyped new_location) -> untyped
+
+        def with_location: (untyped new_location) -> Top
       end
     end
   end

data/sig/steep/ast/types/tuple.rbs

@@ -4,9 +4,9 @@ module Steep
       class Tuple
         attr_reader types: Array[t]
 
-        attr_reader location: RBS::Location[untyped, untyped]?
+        attr_reader location: untyped
 
-        def initialize: (types: Array[t], ?location: RBS::Location[untyped, untyped]?) -> void
+        def initialize: (types: Array[t], ?location: untyped) -> void
 
         def ==: (untyped other) -> bool
 
@@ -18,7 +18,8 @@ module Steep
 
         def to_s: () -> ::String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::ChildrenLevel
 
@@ -27,7 +28,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (RBS::Location[untyped, untyped] new_location) -> Tuple
+        def with_location: (untyped new_location) -> Tuple
       end
     end
   end

data/sig/steep/ast/types/union.rbs

@@ -4,25 +4,25 @@ module Steep
       class Union
         attr_reader types: Array[t]
 
-        type loc = RBS::Location[untyped, untyped]
+        attr_reader location: untyped
 
-        attr_reader location: loc?
+        def initialize: (types: Array[t], ?location: untyped) -> void
 
-        def initialize: (types: Array[t], ?location: loc?) -> void
-
-        def self.build: (types: Array[t], ?location: loc?) -> t
+        def self.build: (types: Array[t], ?location: untyped) -> t
 
         def ==: (untyped other) -> bool
 
+        @hash: Integer
         def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (Interface::Substitution s) -> Union
+        def subst: (Interface::Substitution s) -> t
 
         def to_s: () -> ::String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         def each_child: () { (t) -> void } -> void
                       | () -> Enumerator[t, void]
@@ -31,7 +31,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (loc new_location) -> Union
+        def with_location: (untyped new_location) -> Union
       end
     end
   end