steep 0.8.2 → 0.9.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b701d322a3c49aa1444c839bee4a2da7265776463f8963780431251ab3c96903
-  data.tar.gz: '069769e987f34a131983c2c3de966bb0f0591478bf4fa1dd79c3831213bed411'
+  metadata.gz: 05a765d5cdc7792406c32f581e041ee9e47b41c1b70dfb0d43e8db5400fbe172
+  data.tar.gz: 71e35e1516a261d82082e1278774ff0a8d36c5ffecdd8511ba8de312b93a16f8
 SHA512:
-  metadata.gz: f264922829daa436adcf0e0e18bca9cc22397928fed215005785b2e8e3142e51afdd04b4f3b819b89565d1fb4c19cab2d17087445b8f3b313299810d24554646
-  data.tar.gz: f2b6c543d8f0742b6a971a3040431162c4333e2c0db969b5de7f5e495e86c1a19378fe8b8438255ec1cc4f413a6b21dbe07a7e1acc40d7b3c71e212309093a70
+  metadata.gz: b721b3ac5bb01d3296071025ef72a7e2ab76f4900bdfb0909ee8a715642d371812185c4adc74585344a156c43af742e0e35782b8dc9f89966da6d558e7f87f83
+  data.tar.gz: 3849077a1ea0d7109eb3b148be3dc2e8260f9cc63df17cb1864235fa2137faa984947a64d95343524c1b34d75fcf4ff9ada215488e15977bcc657359da3cac4c

data/CHANGELOG.md

@@ -2,6 +2,14 @@
 
 ## master
 
+## 0.8.3 (2018-11-11)
+
+* Private methods (#72)
+* `__skip__` to skip type checking (#73)
+* Add `alias` for method types (#75)
+* Fix `Names::Base#hash` (#69 @hanachin)
+* Add `super` in method types (#76)
+
 ## 0.8.2 (2018-11-09)
 
 * Fix ElseOnExhaustiveCase error implementation

data/lib/steep/ast/method_type.rb

@@ -113,6 +113,14 @@ module Steep
         @block = block
         @return_type = return_type
       end
+
+      class Super
+        attr_reader :location
+
+        def initialize(location:)
+          @location = location
+        end
+      end
     end
   end
 end

data/lib/steep/ast/namespace.rb

@@ -56,7 +56,7 @@ module Steep
       alias eql? ==
 
       def hash
-        self.class.hath ^ path.hash ^ absolute?.hash
+        self.class.hash ^ path.hash ^ absolute?.hash
       end
 
       def to_s

data/lib/steep/ast/signature/members.rb

@@ -56,6 +56,10 @@ module Steep
           def incompatible?
             attributes.include?(:incompatible)
           end
+
+          def private?
+            attributes.include?(:private)
+          end
         end
 
         class Ivar
@@ -93,6 +97,18 @@ module Steep
             kind == :accessor
           end
         end
+
+        class MethodAlias
+          attr_reader :location
+          attr_reader :new_name
+          attr_reader :original_name
+
+          def initialize(location:, new_name:, original_name:)
+            @location = location
+            @new_name = new_name
+            @original_name = original_name
+          end
+        end
       end
     end
   end

data/lib/steep/drivers/utils/validator.rb

@@ -34,7 +34,7 @@ module Steep
 
             when AST::Signature::Module
               yield_self do
-                instance_interface = builder.build_instance(sig.name, with_initialize: true)
+                instance_interface = builder.build_instance(sig.name)
                 instance_args = instance_interface.params.map {|var| AST::Types::Var.fresh(var) }
 
                 module_interface = builder.build_module(sig.name)
@@ -58,7 +58,7 @@ module Steep
 
             when AST::Signature::Class
               yield_self do
-                instance_interface = builder.build_instance(sig.name, with_initialize: true)
+                instance_interface = builder.build_instance(sig.name)
                 instance_args = instance_interface.params.map {|var| AST::Types::Var.fresh(var) }
 
                 module_interface = builder.build_class(sig.name, constructor: true)

data/lib/steep/interface/abstract.rb

@@ -39,6 +39,30 @@ module Steep
           ivar_chains: ivar_chains.transform_values {|chain| chain.subst(subst) }
         )
       end
+
+      def without_private(option)
+        if option
+          self.class.new(
+            name: name,
+            params: params,
+            methods: methods.reject {|_, method| method.private? },
+            supers: supers,
+            ivar_chains: ivar_chains
+          )
+        else
+          self
+        end
+      end
+
+      def without_initialize
+        self.class.new(
+          name: name,
+          params: params,
+          methods: methods.reject {|_, method| method.name == :initialize },
+          supers: supers,
+          ivar_chains: ivar_chains
+        )
+      end
     end
   end
 end

data/lib/steep/interface/builder.rb

@@ -132,11 +132,11 @@ module Steep
         end
       end
 
-      def build_instance(module_name, with_initialize:)
+      def build_instance(module_name)
         assert_absolute_name! module_name
         signature = signatures.find_class_or_module(module_name, current_module: AST::Namespace.root)
-        cache_interface(instance_cache, key: [signature.name, with_initialize]) do
-          instance_to_interface(signature, with_initialize: with_initialize)
+        cache_interface(instance_cache, key: signature.name) do
+          instance_to_interface(signature)
         end
       end
 
@@ -173,8 +173,18 @@ module Steep
         new_method = Method.new(
           type_name: type_name,
           name: method.name,
-          types: method.types.map do |method_type|
-            method_type_to_method_type(method_type, current: current)
+          types: method.types.flat_map do |method_type|
+            case method_type
+            when AST::MethodType
+              [method_type_to_method_type(method_type, current: current)]
+            when AST::MethodType::Super
+              if super_method
+                super_method.types
+              else
+                Steep.logger.error "`super` specified in method type, but cannot find super method of `#{method.name}` in `#{type_name}` (#{method.location.name || "-"}:#{method.location})"
+                []
+              end
+            end
           end,
           super_method: super_method,
           attributes: method.attributes + extra_attributes
@@ -209,7 +219,7 @@ module Steep
           )
         }
 
-        klass = build_instance(AST::Builtin::Class.module_name, with_initialize: false)
+        klass = build_instance(AST::Builtin::Class.module_name)
         instantiated = klass.instantiate(
           type: AST::Types::Self.new,
           args: [],
@@ -238,7 +248,7 @@ module Steep
             end
           when AST::Signature::Members::Extend
             member_name = signatures.find_module(member.name, current_module: namespace).name
-            build_instance(member_name, with_initialize: false).yield_self do |module_interface|
+            build_instance(member_name).yield_self do |module_interface|
               merge_mixin(module_interface,
                           member.args.map {|type| absolute_type(type, current: namespace) },
                           methods: methods,
@@ -318,7 +328,7 @@ module Steep
         methods = {}
         ivar_chains = {}
 
-        module_instance = build_instance(AST::Builtin::Module.module_name, with_initialize: false)
+        module_instance = build_instance(AST::Builtin::Module.module_name)
         instantiated = module_instance.instantiate(
           type: AST::Types::Self.new,
           args: [],
@@ -341,7 +351,7 @@ module Steep
             end
           when AST::Signature::Members::Extend
             member_name = signatures.find_module(member.name, current_module: namespace).name
-            build_instance(member_name, with_initialize: false).yield_self do |module_interface|
+            build_instance(member_name).yield_self do |module_interface|
               merge_mixin(module_interface,
                           member.args.map {|type| absolute_type(type, current: namespace) },
                           methods: methods,
@@ -387,7 +397,7 @@ module Steep
         )
       end
 
-      def instance_to_interface(sig, with_initialize:)
+      def instance_to_interface(sig)
         module_name = sig.name
         namespace = module_name.namespace.append(module_name.name)
 
@@ -402,8 +412,7 @@ module Steep
             if super_class_name.relative?
               super_class_name = signatures.find_class(super_class_name, current_module: namespace).name
             end
-            super_class_interface = build_instance(super_class_name,
-                                                   with_initialize: with_initialize)
+            super_class_interface = build_instance(super_class_name)
 
             supers.push(*super_class_interface.supers)
             instantiated = super_class_interface.instantiate(
@@ -428,7 +437,7 @@ module Steep
           case member
           when AST::Signature::Members::Include
             member_name = signatures.find_module(member.name, current_module: namespace).name
-            build_instance(member_name, with_initialize: false).yield_self do |module_interface|
+            build_instance(member_name).yield_self do |module_interface|
               merge_mixin(module_interface,
                           member.args.map {|type| absolute_type(type, current: namespace) },
                           methods: methods,
@@ -443,10 +452,8 @@ module Steep
           case member
           when AST::Signature::Members::Method
             if member.instance_method?
-              if with_initialize || member.name != :initialize
-                extra_attrs = member.name == :initialize ? [:incompatible] : []
-                add_method(module_name, member, methods: methods, extra_attributes: extra_attrs, current: namespace)
-              end
+              extra_attrs = member.name == :initialize ? [:incompatible, :private] : []
+              add_method(module_name, member, methods: methods, extra_attributes: extra_attrs, current: namespace)
             end
           when AST::Signature::Members::Ivar
             merge_ivars(ivar_chains,
@@ -456,6 +463,24 @@ module Steep
           end
         end
 
+        sig.members.each do |member|
+          case member
+          when AST::Signature::Members::MethodAlias
+            method = methods[member.original_name]
+            if method
+              methods[member.new_name] =  Method.new(
+                type_name: module_name,
+                name: member.new_name,
+                types: method.types,
+                super_method: nil,
+                attributes: method.attributes
+              )
+            else
+              Steep.logger.error "Cannot alias find original method `#{member.original_name}` for `#{member.new_name}` in #{module_name} (#{member.location.name || '-'}:#{member.location})"
+            end
+          end
+        end
+
         signatures.find_extensions(sig.name).each do |ext|
           ext.members.each do |member|
             case member

data/lib/steep/interface/instantiated.rb

@@ -59,9 +59,24 @@ module Steep
         end
       end
 
+      class PrivateOverrideError < StandardError
+        attr_reader :child_type
+        attr_reader :super_type
+        attr_reader :method_name
+
+        def initialize(child_type:, super_type:, method_name:)
+          @child_type = child_type
+          @super_type = super_type
+          @method_name = method_name
+
+          super "Public method `#{method_name}` cannot overriden to private: #{child_type} <: #{super_type}"
+        end
+      end
+
       def validate(check)
         methods.each do |_, method|
-          validate_method(check, method)
+          validate_method_type(check, method)
+          validate_method_visibility method
         end
 
         ivar_chains.each do |name, chain|
@@ -92,7 +107,7 @@ module Steep
         validate_chain(check, name, chain.parent)
       end
 
-      def validate_method(check, method)
+      def validate_method_type(check, method)
         if method.super_method && !method.incompatible?
           result = check.check_method(method.name,
                                       method,
@@ -102,7 +117,7 @@ module Steep
                                       constraints: Subtyping::Constraints.empty)
 
           if result.success?
-            validate_method(check, method.super_method)
+            validate_method_type(check, method.super_method)
           else
             raise InvalidMethodOverrideError.new(type: type,
                                                  current_method: method,
@@ -112,6 +127,20 @@ module Steep
         end
       end
 
+      def validate_method_visibility(method)
+        if (super_method = method.super_method)
+          if method.private? && !super_method.private?
+            raise PrivateOverrideError.new(
+              child_type: method.type_name,
+              super_type: super_method.type_name,
+              method_name: method.name
+            )
+          end
+
+          validate_method_visibility(super_method)
+        end
+      end
+
       def select_method_type(&block)
         self.class.new(
           type: type,

data/lib/steep/interface/method.rb

@@ -28,6 +28,10 @@ module Steep
         attributes.include?(:incompatible)
       end
 
+      def private?
+        attributes.include?(:private)
+      end
+
       def closed?
         types.all?(&:closed?)
       end

data/lib/steep/names.rb

@@ -24,7 +24,7 @@ module Steep
       end
 
       def hash
-        self.class.hash ^ name.hash ^ @absolute.hash
+        self.class.hash ^ name.hash ^ namespace.hash
       end
 
       alias eql? ==

data/lib/steep/parser.y

@@ -3,7 +3,8 @@ class Steep::Parser
 token kCLASS kMODULE kINTERFACE kDEF kEND kNIL kBOOL kANY kVOID kTYPE
       kINCOMPATIBLE kAT_TYPE kAT_IMPLEMENTS kAT_DYNAMIC kCONST kVAR kRETURN
       kBLOCK kBREAK kMETHOD kSELF kSELFQ kATTR_READER kATTR_ACCESSOR kINSTANCE
-      kINCLUDE kEXTEND kINSTANCE kIVAR kCONSTRUCTOR kNOCONSTRUCTOR kEXTENSION
+      kINCLUDE kEXTEND kINSTANCE kIVAR kCONSTRUCTOR kNOCONSTRUCTOR kEXTENSION kPRIVATE kALIAS
+      kSUPER
       tARROW tBANG tBAR tCOLON tCOMMA tDOT tEQ tGT tGVAR tHAT tINT
       tINTERFACE_NAME tIVAR_NAME tLBRACE tLBRACKET tIDENT tLPAREN tLT tROCKET
       tMINUS tOPERATOR tPERCENT tPLUS tQUESTION tRBRACE tRBRACKET
@@ -11,7 +12,7 @@ token kCLASS kMODULE kINTERFACE kDEF kEND kNIL kBOOL kANY kVOID kTYPE
       type_METHOD type_SIGNATURE type_ANNOTATION type_TYPE
       tQUALIFIED_MODULE_NAME tQUALIFIED_INTERFACE_NAME tQUALIFIED_ALIAS_NAME
 
-expect 1
+expect 3
 
 rule
 
@@ -657,6 +658,7 @@ rule
                               | ivar_member
                               | attr_reader_member
                               | attr_accessor_member
+                              | alias_member
 
                    ivar_member: tIVAR_NAME tCOLON type
                                 {
@@ -751,6 +753,15 @@ rule
                                   result = AST::Signature::Members::Attr.new(location: loc, name: val[1].value, kind: :accessor, ivar: val[2], type: val[4])
                                 }
 
+                  alias_member: kALIAS method_name method_name {
+                                  loc = val[0].location + val[2].location
+                                  result = AST::Signature::Members::MethodAlias.new(
+                                    location: loc,
+                                    new_name: val[1].value,
+                                    original_name: val[2].value
+                                  )
+                                }
+
                  attr_ivar_opt: # nothing
                                 {
                                   result = nil
@@ -790,6 +801,10 @@ rule
                                 {
                                   result = val[0].value
                                 }
+                              | kPRIVATE
+                                {
+                                  result = val[0].value
+                                }
 
                    super_class: module_name
                                 {
@@ -840,6 +855,10 @@ rule
                                 {
                                   result = [val[0]]
                                 }
+                              | kSUPER
+                                {
+                                  result = [AST::MethodType::Super.new(location: val[0].location)]
+                                }
                               | method_type tBAR method_type_union
                                 {
                                   result = [val[0]] + val[2]
@@ -908,6 +927,7 @@ rule
                               | kMETHOD
                               | kBOOL
                               | kTYPE
+                              | kALIAS
                               | kCONSTRUCTOR
                                 {
                                   result = LocatedValue.new(location: val[0].location, value: :constructor)
@@ -919,6 +939,7 @@ rule
                               | kATTR_READER
                               | kATTR_ACCESSOR
                               | kINCOMPATIBLE
+                              | kPRIVATE
 
                     annotation: kAT_TYPE kVAR subject tCOLON type
                                 {
@@ -1203,6 +1224,12 @@ def next_token
     new_token(:kINSTANCE, :instance)
   when input.scan(/ivar\b/)
     new_token(:kIVAR, :ivar)
+  when input.scan(/private\b/)
+    new_token(:kPRIVATE, :private)
+  when input.scan(/alias\b/)
+    new_token(:kALIAS, :alias)
+  when input.scan(/super\b/)
+    new_token(:kSUPER, :super)
   when input.scan(/%/)
     new_token(:tPERCENT, :%)
   when input.scan(/-/)

data/lib/steep/subtyping/check.rb

@@ -603,8 +603,8 @@ module Steep
         end
       end
 
-      def resolve_instance(type, self_type:, instance_type:, module_type:, with_initialize: false)
-        abstract_interface = builder.build_instance(type.name, with_initialize: with_initialize)
+      def resolve_instance(type, self_type:, instance_type:, module_type:, with_private: false)
+        abstract_interface = builder.build_instance(type.name).without_private(!with_private)
 
         module_type = module_type || case builder.signatures.find_class_or_module(type.name)
                                      when AST::Signature::Class
@@ -621,7 +621,7 @@ module Steep
         )
       end
 
-      def resolve(type, self_type: type, instance_type: nil, module_type: nil)
+      def resolve(type, self_type: type, instance_type: nil, module_type: nil, with_private: false)
         Steep.logger.debug("Check#resolve: type=#{type}")
         case type
         when AST::Types::Any, AST::Types::Var, AST::Types::Class, AST::Types::Instance
@@ -631,14 +631,19 @@ module Steep
           resolve(type.back_type,
                   self_type: self_type,
                   instance_type: instance_type,
-                  module_type: module_type)
+                  module_type: module_type,
+                  with_private: with_private)
 
         when AST::Types::Name::Instance
-          resolve_instance(type, self_type: self_type, instance_type: instance_type, module_type: module_type)
+          resolve_instance(type,
+                           self_type: self_type,
+                           instance_type: instance_type,
+                           module_type: module_type,
+                           with_private: with_private)
 
         when AST::Types::Name::Class
           yield_self do
-            abstract_interface = builder.build_class(type.name, constructor: type.constructor)
+            abstract_interface = builder.build_class(type.name, constructor: type.constructor).without_private(!with_private)
 
             unless instance_type
               type_params = builder.signatures.find_class(type.name).params&.variables || []
@@ -662,7 +667,7 @@ module Steep
 
         when AST::Types::Name::Module
           yield_self do
-            abstract_interface = builder.build_module(type.name)
+            abstract_interface = builder.build_module(type.name).without_private(!with_private)
 
             unless instance_type
               type_params = builder.signatures.find_module(type.name).params&.variables || []
@@ -697,13 +702,17 @@ module Steep
           end
 
         when AST::Types::Name::Alias
-          resolve(expand_alias(type), self_type: self_type, instance_type: instance_type, module_type: module_type)
+          resolve(expand_alias(type),
+                  self_type: self_type,
+                  instance_type: instance_type,
+                  module_type: module_type,
+                  with_private: with_private)
 
         when AST::Types::Union
           interfaces = type.types.map do |member_type|
             fresh = AST::Types::Var.fresh(:___)
 
-            resolve(member_type, self_type: type, instance_type: fresh, module_type: fresh).select_method_type do |method_type|
+            resolve(member_type, self_type: type, instance_type: fresh, module_type: fresh, with_private: with_private).select_method_type do |method_type|
               !method_type.each_type.include?(fresh)
             end
           end
@@ -772,7 +781,9 @@ module Steep
                                       ivar_chains: {})
 
         when AST::Types::Intersection
-          interfaces = type.types.map do |type| resolve(type) end
+          interfaces = type.types.map do |type|
+            resolve(type, with_private: with_private)
+          end
 
           methods = interfaces.inject(nil) do |methods, i|
             if methods
@@ -825,7 +836,7 @@ module Steep
           yield_self do
             element_type = AST::Types::Union.build(types: type.types)
             array_type = AST::Builtin::Array.instance_type(element_type)
-            array_interface = resolve(array_type, self_type: self_type)
+            array_interface = resolve(array_type, self_type: self_type, with_private: with_private)
 
             array_interface.methods[:[]] = array_interface.methods[:[]].yield_self do |aref|
               types = type.types.map.with_index {|elem_type, index|
@@ -870,7 +881,7 @@ module Steep
           yield_self do
             key_type = AST::Types::Union.build(types: type.elements.keys.map {|val| AST::Types::Literal.new(value: val) })
             value_type = AST::Types::Union.build(types: type.elements.values)
-            hash_interface = resolve(AST::Builtin::Hash.instance_type(key_type, value_type), self_type: self_type)
+            hash_interface = resolve(AST::Builtin::Hash.instance_type(key_type, value_type), self_type: self_type, with_private: with_private)
 
             hash_interface.methods[:[]] = hash_interface.methods[:[]].yield_self do |ref|
               types = type.elements.map do |key, value_type|
@@ -915,7 +926,7 @@ module Steep
 
         when AST::Types::Proc
           yield_self do
-            proc_interface = resolve(type.back_type, self_type: self_type)
+            proc_interface = resolve(type.back_type, self_type: self_type, with_private: with_private)
             apply_type = Interface::MethodType.new(
               type_params: [],
               params: type.params,

data/lib/steep/type_construction.rb

@@ -124,7 +124,7 @@ module Steep
                                                                                                                 self_type: self_type,
                                                                                                                 instance_type: self_type,
                                                                                                                 module_type: class_type,
-                                                                                                                with_initialize: true)
+                                                                                                                with_private: true)
                                                                                      end
                                                                                    else
                                                                                      checker.resolve(self_type)
@@ -398,7 +398,7 @@ module Steep
         class_name = implement_module_name.name
         class_args = implement_module_name.args.map {|x| AST::Types::Var.new(name: x) }
 
-        _ = checker.builder.build_instance(class_name, with_initialize: true)
+        _ = checker.builder.build_instance(class_name)
 
         instance_type = AST::Types::Name::Instance.new(name: class_name, args: class_args)
         module_type = AST::Types::Name::Class.new(name: class_name, constructor: true)
@@ -525,9 +525,12 @@ module Steep
             var = node.children[0]
             rhs = node.children[1]
 
-            if var.name == :_
+            case var.name
+            when :_, :__any__
               synthesize(rhs, hint: AST::Builtin.any_type)
               typing.add_typing(node, AST::Builtin.any_type)
+            when :__skip__
+              typing.add_typing(node, AST::Builtin.any_type)
             else
               type_assignment(var, rhs, node, hint: hint)
             end
@@ -1767,7 +1770,7 @@ module Steep
 
                     else
                       begin
-                        interface = checker.resolve(receiver_type)
+                        interface = checker.resolve(receiver_type, with_private: !receiver)
 
                         method = interface.methods[method_name]
 

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "0.8.2"
+  VERSION = "0.9.0"
 end

data/smoke/extension/e.rb

@@ -0,0 +1,2 @@
+# @type var x: NumberLike
+x = 1 + NumberLike.new

data/smoke/extension/e.rbi

@@ -0,0 +1,8 @@
+class NumberLike
+  def to_number: -> Integer
+end
+
+extension Integer (NumberLike)
+  def +: (NumberLike) -> NumberLike
+       | super
+end

data/smoke/initialize/a.rb

@@ -6,7 +6,7 @@ class A
   end
 
   def foo()
-    # !expects NoMethodError: type=::A, method=initialize
+    # initialize is a private method, so can be called here
     initialize()
   end
 end

data/smoke/skip/skip.rb

@@ -0,0 +1,15 @@
+__skip__ = begin
+  self.no_such_method
+end
+
+# @type var foo: String
+
+foo = _ = begin
+  # !expects NoMethodError: type=::Object, method=no_such_method
+  self.no_such_method
+end
+
+foo = __any__ = begin
+  # !expects NoMethodError: type=::Object, method=no_such_method
+  self.no_such_method
+end

data/stdlib/builtin.rbi

@@ -413,9 +413,8 @@ module Enumerable<'a, 'b> : _Iteratable<'a, 'b>
   def collect: <'x> { ('a) -> 'x } -> Array<'x>
              | <'x> -> Enumerator<'a, Array<'x>>
 
-  def map: <'x> { ('a) -> 'x } -> Array<'x>
-         | <'x> -> Enumerator<'a, Array<'x>>
-
+  alias map collect
+  
   def flat_map: <'x> { ('a) -> Array<'x> } -> Array<'x>
               | <'x> -> Enumerator<'a, Array<'x>>
 
@@ -737,7 +736,7 @@ class Set<'a>
   def clear: -> self
 
   def collect!: { ('a) -> 'a } -> self
-  def map!: { ('a) -> 'a } -> self
+  alias map! collect!
 
   def delete: (any) -> self
   def delete?: (any) -> self?
@@ -761,7 +760,7 @@ class Set<'a>
   def keep_if: { ('a) -> any } -> self
 
   def size: -> Integer
-  def length: -> Integer
+  alias length size
 
   def merge: (_Iteratable<'a, any>) -> self
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.8.2
+  version: 0.9.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2018-11-09 00:00:00.000000000 Z
+date: 2018-11-12 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -259,6 +259,8 @@ files:
 - smoke/extension/b.rb
 - smoke/extension/c.rb
 - smoke/extension/d.rb
+- smoke/extension/e.rb
+- smoke/extension/e.rbi
 - smoke/hash/a.rb
 - smoke/hash/a.rbi
 - smoke/hash/b.rb
@@ -301,6 +303,7 @@ files:
 - smoke/rescue/a.rb
 - smoke/self/a.rb
 - smoke/self/a.rbi
+- smoke/skip/skip.rb
 - smoke/stdout/a.rb
 - smoke/stdout/a.rbi
 - smoke/super/a.rb