typerb 0.4.0 → 0.5.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 540b60be5aed7792e525d276c23d892343db1ea43db239d5c4b6df3664011d65
-  data.tar.gz: 9176075161a22f47297e406854b58f7420832630a8792c70b8dd0c49a0049860
+  metadata.gz: 548c823e7f9d7185d069b2bb18f370bdcb8b18603e82de22b78712c251dc4a14
+  data.tar.gz: 637a184fa56802fdb93a60020e7eb633692e606726215dce533de62367edd3fe
 SHA512:
-  metadata.gz: 68ab68e33e41b5f07790814d387bd74f6924445ee44b5faf78d4a80077466ffd8c323fdff4850e746cb2ed8a08bfc3b11c576fdd6ad29014a7f116d0b758bf2e
-  data.tar.gz: 4bc5f3c347f2a61006e3097af2a96684a80fcc8b3471957be016466844667083092b050a2bebe564ded578365ec901ef5f11a9a1d14dfb86e21a331a2cb97c6a
+  metadata.gz: d1cf6e4223cae7543e133ede58d02a0016e8566501e1642afd85aa36ffea47e09ce3a0135fe81bd805461dc5dd163c546d5b65148f19bc1ebbab75694dbb05bf
+  data.tar.gz: '0486a293dea0eca23bdd4aa56f02a0a7fdd4c35d7d317a3c34683930f5642b903714c974a63a2b06533809703fecb549716e8e300b5d4248b1b84d4a7ce1ee3f'

data/CHANGELOG.md

@@ -0,0 +1,18 @@
+# Changelog
+
+## 0.5.0
+
+- Variable name detection rewritten: the whole caller file is parsed instead of a single stripped line.
+  Prism is used on Ruby 3.3+, `RubyVM::AbstractSyntaxTree` on 3.0-3.2. Both backends behave identically.
+- Fixed `SyntaxError` escaping from `type!` and friends when the call spanned several lines
+  (leading-dot chains, multi-line argument lists).
+- Variable name is now reported for multi-line calls, assignments, string interpolation and chained
+  receivers (`h.fetch(:a).type!(String)`).
+- `subset_of!` raises `ArgumentError` instead of `NoMethodError` when the receiver is not `Enumerable`.
+- Variable names are reported correctly on lines containing multibyte characters.
+- Minimum Ruby is 3.0.
+- Removed Guard from development dependencies.
+
+## 0.4.0
+
+- Added `subset_of!`.

data/README.md

@@ -1,9 +1,9 @@
 [![Gem Version](https://badge.fury.io/rb/typerb.svg)](https://badge.fury.io/rb/typerb)
-[![CI RSpec & Rubocop](https://github.com/olegantonyan/typerb/actions/workflows/tests.yml/badge.svg)](https://github.com/olegantonyan/typerb/actions/workflows/tests.yml)
+[![CI](https://github.com/olegantonyan/typerb/actions/workflows/tests.yml/badge.svg)](https://github.com/olegantonyan/typerb/actions/workflows/tests.yml)
 
 # Typerb
 
-Proof of concept type-checking library for Ruby 2.6. Works with previous versions too with some limitation (see below).
+Typecheck sugar for Ruby. Requires Ruby 3.0 or newer.
 
 ```ruby
 class A
@@ -22,32 +22,33 @@ class A
   end
 
   def call_with_subset(arg)
-    arg.subset_of!([:one, :two])
+    arg.subset_of!(%i[one two])
   end
 end
 
-A.new.call(1) #=> TypeError: `some_arg` should be String or Symbol, not Integer
-A.new.call_with_respond_checks(1) #=> TypeError: 'Integer should respond to all methods: strip'
-A.new.call_with_enum(:three) #=> TypeError: 'Symbol (`arg`) should be one of: [one, two], not three'
-A.new.call_with_subset([:one, :three]) #=> TypeError: 'Array (`arg`) should be subset of: [:one, :two], not [:one, :three]'
+A.new.call(1)                              #=> TypeError: `some_arg` should be String or Symbol, not Integer (1)
+A.new.call_with_respond_checks(1)          #=> TypeError: Integer (`some_arg`) should respond to all methods: strip
+A.new.call_with_enum(:three)               #=> TypeError: Symbol (`arg`) should be one of: [one, two], not three
+A.new.call_with_subset(%i[one three])      #=> TypeError: Array (`arg`) should be subset of: [:one, :two], not [:one, :three]
 ```
 
 This is equivalent to:
+
 ```ruby
 class A
   def call(some_arg)
-    raise TypeError, "`some_arg` should be String or Symbol, not #{some_arg.class}" unless [String, Symbol].include?(some_arg.class)
+    raise TypeError, "`some_arg` should be String or Symbol, not #{some_arg.class}" unless some_arg.is_a?(String) || some_arg.is_a?(Symbol)
   end
 
   def call_with_respond_checks(some_arg)
-    raise TypeError, "#{some_arg.class} should respond to all methods: strip" unless [:strip].all{|meth| some_arg.respond_to?(meth)}
+    raise TypeError, "#{some_arg.class} should respond to all methods: strip" unless %i[strip].all? { |meth| some_arg.respond_to?(meth) }
   end
 end
 ```
 
-But without boilerplate.
+But without the boilerplate.
 
-It also has `not_nil!` method, similar to Crystal language.
+There is also a `not_nil!` method, similar to the Crystal language.
 
 ```ruby
 class A
@@ -58,13 +59,15 @@ class A
   end
 end
 
-A.new.call(nil) #=> TypeError: expected not nil, but got nil
+A.new.call(nil) #=> TypeError: `some_arg` should not be nil
 ```
 
+Every method returns `self` when the check passes, so checks can be chained or inlined into assignments.
+
 ## Why?
 
-1. Catch error as early as possible (especially nils);
-2. Additional documentation: you're telling other people more about interfaces.
+1. Catch errors as early as possible (especially nils);
+2. Additional documentation: you're telling other people more about your interfaces.
 
 ## Installation
 
@@ -82,20 +85,9 @@ Or install it yourself as:
 
     $ gem install typerb
 
-If this fails with error
-```
-ERROR:  Error installing typerb:
-        There are no versions of typerb (>= 0) compatible with your Ruby & RubyGems
-        typerb requires Ruby version >= 2.6.0.pre.preview3. The current ruby version is 2.6.0.
-```
-even when you have Ruby 2.6.0-preview3 installed, then try installing it through Gemfile from git:
-```ruby
-gem 'typerb', github: 'olegantonyan/typerb'
-```
-
 ## Usage
 
-1. Add `using Typerb` to a class where you want to have type check.
+1. Add `using Typerb` to a class where you want to have type checks.
 2. Call `.type!()` on any object to assert its type.
 3. PROFIT! No more "NoMethodError for nil" 10 methods up the stack. You'll know exactly where this nil came from.
 
@@ -112,33 +104,44 @@ class A
 end
 ```
 
-If you're unfamiliar with `using` keyword - this is refinement - a relatively new feature in Ruby (since 2.0). It's kind of monkey-patch, but with strict scope. Learn more about [refinements](https://ruby-doc.org/core-2.5.3/doc/syntax/refinements_rdoc.html).
+If you're unfamiliar with the `using` keyword - this is a refinement, a kind of monkey patch with a strict
+scope. Learn more about [refinements](https://docs.ruby-lang.org/en/master/syntax/refinements_rdoc.html).
+
+The refinement adds `type!`, `not_nil!`, `respond_to!`, `enum!` and `subset_of!` to `BasicObject`, so
+they can be called on any object.
+
+`type!` raises a `TypeError` unless `self` is an instance of one of the classes passed as arguments.
+The tricky part is getting the name of the variable it was called on, so that the error message points at
+the exact variable instead of being an abstract `TypeError`. Typerb does that by parsing the source file
+of the caller: with [Prism](https://github.com/ruby/prism) on Ruby 3.3+, and with `RubyVM::AbstractSyntaxTree`
+on older versions. If neither is available, or the source cannot be read, the check still works - the message
+just doesn't name the variable.
 
-This refinement adds `type!()` and `not_nil!` methods to `BasicObject` class so you can call it on any object.
+| Ruby      | Parser                       |
+| --------- | ---------------------------- |
+| 3.3+      | Prism                        |
+| 3.0 - 3.2 | `RubyVM::AbstractSyntaxTree` |
 
-The method will raise an exception if `self` is not an instance of one of the classes passed as arguments. The tricky part, however, is to get the variable name on which it's called. You need this to get a nice error message telling you exactly which variable has wrong type, not just an abstract `TypeError`. That's why we need Ruby 2.6 with its new `RubyVM::AST` (https://ruby-doc.org/core-2.6.0.preview3/RubyVM/AST.html).
+Both parsers produce the same messages, and CI runs the suite against every supported version.
 
 ## Limitations
 
-Full functionality Ruby 2.6.0-preview3. Relies on `RubyVM::AST` which may change in release version. So, expect breaking changes in Ruby. Previous versions also supported, but without variable name in exception message.
+The variable name is omitted (the check itself still works) in two cases.
 
-Known limitations:
+1. Several checks on the same line - there is no way to tell which one raised:
 
-1. Multi-line method call:
 ```ruby
 class A
   using Typerb
 
-  def call(some_arg)
-    some_arg.
-            type!(String)
-    # this won't work. type!() call must be on the same line with the variable it's called on - raise error message without variable name
-    # some_arg.    type!(String) is ok though
+  def initialize(arg1, arg2)
+    arg1.type!(Integer); arg2.type!(String)
   end
 end
 ```
 
-2. Method defined in console:
+2. Code whose source file cannot be read - `eval`, a console session, or a file deleted after being loaded:
+
 ```ruby
 [1] pry(main)> class A
 [1] pry(main)*   using Typerb
@@ -147,34 +150,26 @@ end
 [1] pry(main)*   end
 [1] pry(main)* end
 [2] pry(main)> A.new.call(1)
-TypeError: expected Hash, got Integer
-# here we cannot get the source code for a line containing "a.type!(Hash)", so cannot see the variable name
-```
-
-3. Multiple arguments on the same line:
-```ruby
-class A
-  using Typerb
-
-  def initialize(arg1, arg2)
-    arg1.type!(Integer); arg2.type!(String)
-    # no way to tell the variable - raise error message without variable name
-    # same error will be raised on Ruby < 2.6.0 because there is no RubyVM::AST
-  end
-end
+TypeError: expected Hash, got Integer (1)
 ```
 
-These limitations shouldn't be a problem in any case. Please, file an issue if you know a scenario where one of these could be a real problem.
+Please file an issue if you know a scenario where one of these is a real problem.
 
 ## Development
 
-After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake spec` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+After checking out the repo, run `bin/setup` to install dependencies. Then run `rake test` to run the tests.
+You can also run `bin/console` for an interactive prompt that will allow you to experiment.
 
-To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+To install this gem onto your local machine, run `bundle exec rake install`. To release a new version,
+update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git
+tag for the version, push git commits and tags, and push the `.gem` file to
+[rubygems.org](https://rubygems.org).
 
 ## Contributing
 
-Bug reports and pull requests are welcome on GitHub at https://github.com/olegantonyan/typerb. This project is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the [Contributor Covenant](http://contributor-covenant.org) code of conduct.
+Bug reports and pull requests are welcome on GitHub at https://github.com/olegantonyan/typerb. This project
+is intended to be a safe, welcoming space for collaboration, and contributors are expected to adhere to the
+[Contributor Covenant](http://contributor-covenant.org) code of conduct.
 
 ## License
 
@@ -182,4 +177,5 @@ The gem is available as open source under the terms of the [MIT License](https:/
 
 ## Code of Conduct
 
-Everyone interacting in the Typerb project’s codebases, issue trackers, chat rooms and mailing lists is expected to follow the [code of conduct](https://github.com/olegantonyan/typerb/blob/master/CODE_OF_CONDUCT.md).
+Everyone interacting in the Typerb project's codebases, issue trackers, chat rooms and mailing lists is
+expected to follow the [code of conduct](https://github.com/olegantonyan/typerb/blob/master/CODE_OF_CONDUCT.md).

data/lib/typerb/exceptional.rb

@@ -1,27 +1,11 @@
 # frozen_string_literal: true
 
-module Typerb
-  class Exceptional # NOTE: don't want to collide with 'Exception' class name
-    class << self
-      def klasses_text(klasses)
-        klasses.size > 1 ? klasses.map(&:name).join(' or ') : klasses.first.name
-      end
-
-      def methods_text(methods)
-        methods.join(', ')
-      end
-
-      def elements_text(elements)
-        '[' + elements.join(', ') + ']'
-      end
+require 'typerb/variable_name'
 
-      def superset_text(enumerable)
-        enumerable.to_s
-      end
-    end
-
-    def raise_with(backtrace, exception_text)
-      exception = TypeError.new(exception_text)
+module Typerb
+  module Exceptional # NOTE: don't want to collide with 'Exception' class name
+    def self.raise_type_error(backtrace, location, method_name)
+      exception = TypeError.new(yield(VariableName.new(location, method_name).get))
       exception.set_backtrace(backtrace)
       raise exception
     end

data/lib/typerb/prism_parser.rb

@@ -0,0 +1,67 @@
+# frozen_string_literal: true
+
+begin
+  require 'prism'
+rescue LoadError # rubocop: disable Lint/SuppressedException
+end
+
+require 'typerb/source_cache'
+
+module Typerb
+  module PrismParser
+    RECEIVER_NODE_NAMES = %w[
+      LocalVariableReadNode
+      InstanceVariableReadNode
+      ClassVariableReadNode
+      GlobalVariableReadNode
+      ConstantReadNode
+      ConstantPathNode
+      CallNode
+    ].freeze
+
+    class << self
+      def available?
+        defined?(::Prism) && ::Prism.respond_to?(:parse_file)
+      end
+
+      def receiver_sources(file, line, method_name)
+        calls(root(file), line, method_name).map { |node| receiver_source(node) }
+      end
+
+      private
+
+      def root(file)
+        SourceCache.read(file, :prism) { ::Prism.parse_file(file).value }
+      end
+
+      def calls(root, line, method_name)
+        found = []
+        stack = [root]
+        until stack.empty?
+          node = stack.pop
+          found << node if call?(node, line, method_name)
+          stack.concat(node.compact_child_nodes)
+        end
+        found
+      end
+
+      def call?(node, line, method_name)
+        node.is_a?(::Prism::CallNode) &&
+          node.name.to_sym == method_name &&
+          node.message_loc&.start_line == line
+      end
+
+      def receiver_source(node)
+        receiver = node.receiver
+        return nil unless receiver_nodes.any? { |kls| receiver.is_a?(kls) }
+
+        receiver.slice
+      end
+
+      def receiver_nodes
+        @receiver_nodes ||= RECEIVER_NODE_NAMES.select { |name| ::Prism.const_defined?(name) }
+                                               .map { |name| ::Prism.const_get(name) }
+      end
+    end
+  end
+end

data/lib/typerb/ruby_vm_parser.rb

@@ -0,0 +1,57 @@
+# frozen_string_literal: true
+
+require 'typerb/source_cache'
+
+module Typerb
+  module RubyVmParser
+    CALL_TYPES = %i[CALL QCALL].freeze
+    RECEIVER_TYPES = %i[LVAR DVAR IVAR CVAR GVAR CONST COLON2 COLON3 CALL QCALL VCALL FCALL ITER].freeze
+
+    class << self
+      def available?
+        defined?(::RubyVM::AbstractSyntaxTree) && ::RubyVM::AbstractSyntaxTree.respond_to?(:parse_file)
+      end
+
+      def receiver_sources(file, line, method_name)
+        calls(root(file), line, method_name).map { |node| receiver_source(file, node) }
+      end
+
+      private
+
+      def root(file)
+        SourceCache.read(file, :ruby_vm) { ::RubyVM::AbstractSyntaxTree.parse_file(file) }
+      end
+
+      def calls(root, line, method_name)
+        found = []
+        stack = [root]
+        until stack.empty?
+          node = stack.pop
+          found << node if call?(node, line, method_name)
+          stack.concat(node.children.grep(::RubyVM::AbstractSyntaxTree::Node))
+        end
+        found
+      end
+
+      def call?(node, line, method_name)
+        CALL_TYPES.include?(node.type) &&
+          node.children[1] == method_name &&
+          (node.first_lineno..node.last_lineno).cover?(line)
+      end
+
+      def receiver_source(file, node)
+        receiver = node.children.first
+        return nil unless receiver.is_a?(::RubyVM::AbstractSyntaxTree::Node)
+        return nil unless RECEIVER_TYPES.include?(receiver.type)
+        return nil unless receiver.first_lineno == receiver.last_lineno
+
+        line = lines(file)[receiver.first_lineno - 1]
+        line&.byteslice(receiver.first_column...receiver.last_column) # AST columns are byte offsets
+      end
+
+      def lines(file)
+        SourceCache.read(file, :lines) { File.readlines(file) }
+      end
+    end
+  end
+end

data/lib/typerb/source_cache.rb

@@ -0,0 +1,30 @@
+# frozen_string_literal: true
+
+module Typerb
+  module SourceCache
+    LIMIT = 32
+
+    class << self
+      def read(file, kind)
+        stat = File.stat(file)
+        key = [file, kind, stat.mtime, stat.size]
+        mutex.synchronize do
+          return store[key] if store.key?(key)
+
+          store.shift while store.size >= LIMIT
+          store[key] = yield
+        end
+      end
+
+      private
+
+      def store
+        @store ||= {}
+      end
+
+      def mutex
+        @mutex ||= Mutex.new
+      end
+    end
+  end
+end

data/lib/typerb/variable_name.rb

@@ -1,30 +1,34 @@
 # frozen_string_literal: true
 
+require 'typerb/prism_parser'
+require 'typerb/ruby_vm_parser'
+
 module Typerb
   class VariableName
-    attr_reader :file, :line
+    BACKENDS = [PrismParser, RubyVmParser].freeze
+
+    attr_reader :file, :line, :method_name
 
-    def initialize(caller_loc)
-      @file = caller_loc[0].path
-      @line = caller_loc[0].lineno
+    def initialize(location, method_name)
+      @file = location&.path
+      @line = location&.lineno
+      @method_name = method_name
     end
 
     def get
-      return unless defined?(RubyVM::AbstractSyntaxTree)
-      return unless File.exist?(file)
+      return unless backend
+      return unless file && line && File.exist?(file)
 
-      caller_method = caller_locations(1, 1)[0].label.to_sym
-      from_ast(caller_method)
+      receivers = backend.receiver_sources(file, line, method_name)
+      receivers.first if receivers.size == 1
+    rescue StandardError, ScriptError
+      nil
     end
 
     private
 
-    def from_ast(caller_method) # rubocop: disable Metrics/AbcSize not worth fixing
-      code = File.read(file).lines[line - 1].strip
-      node = RubyVM::AbstractSyntaxTree.parse(code)
-      if node.children.last.children.size == 3 && node.children.last.children[1] == caller_method # rubocop: disable Style/IfUnlessModifier, Style/GuardClause
-        node.children.last.children.first.children.first
-      end
+    def backend
+      BACKENDS.find(&:available?)
     end
   end
 end

data/lib/typerb/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Typerb
-  VERSION = '0.4.0'
+  VERSION = '0.5.0'
 end

data/lib/typerb.rb

@@ -1,7 +1,6 @@
 # frozen_string_literal: true
 
 require 'typerb/version'
-require 'typerb/variable_name'
 require 'typerb/exceptional'
 
 module Typerb
@@ -10,69 +9,51 @@ module Typerb
       raise ArgumentError, 'provide at least one class' if klasses.empty?
       return self if klasses.any? { |kls| is_a?(kls) }
 
-      klasses_text = Typerb::Exceptional.klasses_text(klasses)
-      exception_text = if (var_name = Typerb::VariableName.new(caller_locations(1, 1)).get)
-                         "`#{var_name}` should be #{klasses_text}, not #{self.class} (#{self})"
-                       else
-                         "expected #{klasses_text}, got #{self.class} (#{self})"
-                       end
-
-      Typerb::Exceptional.new.raise_with(caller, exception_text)
+      klasses_text = klasses.join(' or ')
+      Typerb::Exceptional.raise_type_error(caller, caller_locations(1, 1)[0], :type!) do |var_name|
+        var_name ? "`#{var_name}` should be #{klasses_text}, not #{self.class} (#{self})" : "expected #{klasses_text}, got #{self.class} (#{self})"
+      end
     end
 
     def not_nil!
-      return self unless self.nil? # rubocop: disable Style/RedundantSelf rubocop breaks without reundant self
-
-      exception_text = if (var_name = Typerb::VariableName.new(caller_locations(1, 1)).get)
-                         "`#{var_name}` should not be nil"
-                       else
-                         'expected not nil, got nil'
-                       end
+      return self unless self.nil? # rubocop: disable Style/RedundantSelf
 
-      Typerb::Exceptional.new.raise_with(caller, exception_text)
+      Typerb::Exceptional.raise_type_error(caller, caller_locations(1, 1)[0], :not_nil!) do |var_name|
+        var_name ? "`#{var_name}` should not be nil" : 'expected not nil, got nil'
+      end
     end
 
     def respond_to!(*methods)
       raise ArgumentError, 'provide at least one method' if methods.empty?
       return self if methods.all? { |meth| respond_to?(meth) }
 
-      methods_text = Typerb::Exceptional.methods_text(methods)
-      exception_text = if (var_name = Typerb::VariableName.new(caller_locations(1, 1)).get)
-                         "#{self.class} (`#{var_name}`) should respond to all methods: #{methods_text}"
-                       else
-                         "#{self.class} should respond to all methods: #{methods_text}"
-                       end
-
-      Typerb::Exceptional.new.raise_with(caller, exception_text)
+      methods_text = methods.join(', ')
+      Typerb::Exceptional.raise_type_error(caller, caller_locations(1, 1)[0], :respond_to!) do |var_name|
+        var_name ? "#{self.class} (`#{var_name}`) should respond to all methods: #{methods_text}" : "#{self.class} should respond to all methods: #{methods_text}"
+      end
     end
 
     def enum!(*elements)
       raise ArgumentError, 'provide at least one enum element' if elements.empty?
       return self if elements.include?(self)
 
-      elements_text = Typerb::Exceptional.elements_text(elements)
-      exception_text = if (var_name = Typerb::VariableName.new(caller_locations(1, 1)).get)
-                         "#{self.class} (`#{var_name}`) should be one of: #{elements_text}, not #{self}"
-                       else
-                         "#{self.class} expected one of: #{elements_text}, got #{self}"
-                       end
-
-      Typerb::Exceptional.new.raise_with(caller, exception_text)
+      elements_text = "[#{elements.join(', ')}]"
+      Typerb::Exceptional.raise_type_error(caller, caller_locations(1, 1)[0], :enum!) do |var_name|
+        var_name ? "#{self.class} (`#{var_name}`) should be one of: #{elements_text}, not #{self}" : "#{self.class} expected one of: #{elements_text}, got #{self}"
+      end
     end
 
     def subset_of!(superset)
+      raise ArgumentError, 'receiver must be Enumerable' unless is_a?(Enumerable)
       raise ArgumentError, 'superset must be Enumerable' unless superset.is_a?(Enumerable)
-      raise ArgumentError, 'provide at least one superset element' if superset.empty?
-      return self if (self - superset).empty?
 
-      superset_text = Typerb::Exceptional.superset_text(superset)
-      exception_text = if (var_name = Typerb::VariableName.new(caller_locations(1, 1)).get)
-                         "#{self.class} (`#{var_name}`) should be subset of: #{superset_text}, not #{self}"
-                       else
-                         "#{self.class} expected subset of: #{superset_text}, got #{self}"
-                       end
+      elements = superset.to_a
+      raise ArgumentError, 'provide at least one superset element' if elements.empty?
+      return self if (to_a - elements).empty?
 
-      Typerb::Exceptional.new.raise_with(caller, exception_text)
+      Typerb::Exceptional.raise_type_error(caller, caller_locations(1, 1)[0], :subset_of!) do |var_name|
+        var_name ? "#{self.class} (`#{var_name}`) should be subset of: #{superset}, not #{self}" : "#{self.class} expected subset of: #{superset}, got #{self}"
+      end
     end
   end
 end

metadata

@@ -1,59 +1,16 @@
 --- !ruby/object:Gem::Specification
 name: typerb
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Oleg Antonyan
-autorequire:
-bindir: exe
+bindir: bin
 cert_chain: []
-date: 2022-01-17 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
-  name: bundler
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '1.17'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '1.17'
-- !ruby/object:Gem::Dependency
-  name: guard
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: guard-rspec
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '0'
-- !ruby/object:Gem::Dependency
-  name: pry
+  name: minitest
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -68,34 +25,6 @@ dependencies:
         version: '0'
 - !ruby/object:Gem::Dependency
   name: rake
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '10.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '10.0'
-- !ruby/object:Gem::Dependency
-  name: rspec
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '3.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '3.0'
-- !ruby/object:Gem::Dependency
-  name: rubocop
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -109,7 +38,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: super_awesome_print
+  name: rubocop
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -122,36 +51,33 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
-description: Typecheck sugar for Ruby.
+description: Refinement adding type!, not_nil!, respond_to!, enum! and subset_of!
+  assertions that name the variable they failed on.
 email:
 - oleg.b.antonyan@gmail.com
 executables: []
 extensions: []
 extra_rdoc_files: []
 files:
-- ".github/workflows/tests.yml"
-- ".gitignore"
-- ".rspec"
-- ".rubocop.yml"
+- CHANGELOG.md
 - CODE_OF_CONDUCT.md
-- Gemfile
-- Gemfile.lock
-- Guardfile
 - LICENSE.txt
 - README.md
-- Rakefile
-- bin/console
-- bin/setup
 - lib/typerb.rb
 - lib/typerb/exceptional.rb
+- lib/typerb/prism_parser.rb
+- lib/typerb/ruby_vm_parser.rb
+- lib/typerb/source_cache.rb
 - lib/typerb/variable_name.rb
 - lib/typerb/version.rb
-- typerb.gemspec
 homepage: https://github.com/olegantonyan/typerb
 licenses:
 - MIT
-metadata: {}
-post_install_message:
+metadata:
+  source_code_uri: https://github.com/olegantonyan/typerb
+  changelog_uri: https://github.com/olegantonyan/typerb/blob/master/CHANGELOG.md
+  bug_tracker_uri: https://github.com/olegantonyan/typerb/issues
+  rubygems_mfa_required: 'true'
 rdoc_options: []
 require_paths:
 - lib
@@ -159,15 +85,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '2.4'
+      version: '3.0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.3
-signing_key:
+rubygems_version: 4.0.16
 specification_version: 4
 summary: Typecheck sugar for Ruby.
 test_files: []

data/.github/workflows/tests.yml

@@ -1,24 +0,0 @@
-name: CI RSpec & Rubocop
-
-on: [push, pull_request]
-
-jobs:
-  build:
-    runs-on: ubuntu-latest
-
-    strategy:
-      matrix:
-        ruby-version: [2.5.3, 2.6.0, 2.7.4, 3.0.1, 3.1.0]
-
-    steps:
-      - uses: actions/checkout@v2
-      - name: Set up Ruby ${{ matrix.ruby-version }}
-        uses: ruby/setup-ruby@v1
-        with:
-          ruby-version: ${{ matrix.ruby-version }}
-      - name: Install dependencies
-        run: bundle install
-      - name: Run Rubocop
-        run: bundle exec rubocop -DP
-      - name: Run tests
-        run: bundle exec rspec

data/.gitignore

@@ -1,15 +0,0 @@
-/.bundle/
-/.yardoc
-/_yardoc/
-/coverage/
-/doc/
-/pkg/
-/spec/reports/
-/tmp/
-/vendor/
-*.gem
-
-# rspec failure tracking
-.rspec_status
-
-.ruby-version

data/.rspec

@@ -1,3 +0,0 @@
---format documentation
---color
---require spec_helper

data/.rubocop.yml

@@ -1,35 +0,0 @@
-AllCops:
-  TargetRubyVersion: 3.1
-  NewCops: enable
-  SuggestExtensions: false
-  Exclude:
-    - 'bin/**/*'
-    - 'Guardfile'
-
-inherit_mode:
-  merge:
-    - Exclude
-
-Style/CommentedKeyword:
-  Enabled: false
-
-Style/Documentation:
-  Enabled: false
-
-Style/Semicolon:
-  Enabled: false
-
-Style/StringConcatenation:
-  Enabled: false
-
-Layout/SpaceAroundMethodCallOperator:
-  Enabled: false
-
-Gemspec/RequiredRubyVersion:
-  Enabled: false
-
-Layout/LineLength:
-  Max: 170
-
-Gemspec/RequireMFA:
-  Enabled: false

data/Gemfile

@@ -1,8 +0,0 @@
-# frozen_string_literal: true
-
-source 'https://rubygems.org'
-
-git_source(:github) { |repo_name| "https://github.com/#{repo_name}" }
-
-# Specify your gem's dependencies in typerb.gemspec
-gemspec

data/Gemfile.lock

@@ -1,97 +0,0 @@
-PATH
-  remote: .
-  specs:
-    typerb (0.4.0)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    ast (2.4.2)
-    awesome_print (1.9.2)
-    coderay (1.1.3)
-    diff-lcs (1.5.0)
-    ffi (1.15.5)
-    formatador (0.3.0)
-    guard (2.18.0)
-      formatador (>= 0.2.4)
-      listen (>= 2.7, < 4.0)
-      lumberjack (>= 1.0.12, < 2.0)
-      nenv (~> 0.1)
-      notiffany (~> 0.0)
-      pry (>= 0.13.0)
-      shellany (~> 0.0)
-      thor (>= 0.18.1)
-    guard-compat (1.2.1)
-    guard-rspec (4.7.3)
-      guard (~> 2.1)
-      guard-compat (~> 1.1)
-      rspec (>= 2.99.0, < 4.0)
-    listen (3.7.1)
-      rb-fsevent (~> 0.10, >= 0.10.3)
-      rb-inotify (~> 0.9, >= 0.9.10)
-    lumberjack (1.2.8)
-    method_source (1.0.0)
-    nenv (0.3.0)
-    notiffany (0.1.3)
-      nenv (~> 0.1)
-      shellany (~> 0.0)
-    parallel (1.21.0)
-    parser (3.1.0.0)
-      ast (~> 2.4.1)
-    pry (0.14.1)
-      coderay (~> 1.1)
-      method_source (~> 1.0)
-    rainbow (3.1.1)
-    rake (13.0.6)
-    rb-fsevent (0.11.0)
-    rb-inotify (0.10.1)
-      ffi (~> 1.0)
-    regexp_parser (2.2.0)
-    rexml (3.2.5)
-    rspec (3.10.0)
-      rspec-core (~> 3.10.0)
-      rspec-expectations (~> 3.10.0)
-      rspec-mocks (~> 3.10.0)
-    rspec-core (3.10.1)
-      rspec-support (~> 3.10.0)
-    rspec-expectations (3.10.2)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-mocks (3.10.2)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-support (3.10.3)
-    rubocop (1.24.1)
-      parallel (~> 1.10)
-      parser (>= 3.0.0.0)
-      rainbow (>= 2.2.2, < 4.0)
-      regexp_parser (>= 1.8, < 3.0)
-      rexml
-      rubocop-ast (>= 1.15.1, < 2.0)
-      ruby-progressbar (~> 1.7)
-      unicode-display_width (>= 1.4.0, < 3.0)
-    rubocop-ast (1.15.1)
-      parser (>= 3.0.1.1)
-    ruby-progressbar (1.11.0)
-    shellany (0.0.1)
-    super_awesome_print (0.2.5)
-      awesome_print
-    thor (1.2.1)
-    unicode-display_width (2.1.0)
-
-PLATFORMS
-  ruby
-
-DEPENDENCIES
-  bundler (>= 1.17)
-  guard
-  guard-rspec
-  pry
-  rake (>= 10.0)
-  rspec (>= 3.0)
-  rubocop
-  super_awesome_print
-  typerb!
-
-BUNDLED WITH
-   2.3.5

data/Guardfile

@@ -1,36 +0,0 @@
-# A sample Guardfile
-# More info at https://github.com/guard/guard#readme
-
-## Uncomment and set this to only include directories you want to watch
-# directories %w(app lib config test spec features) \
-#  .select{|d| Dir.exists?(d) ? d : UI.warning("Directory #{d} does not exist")}
-
-## Note: if you are using the `directories` clause above and you are not
-## watching the project directory ('.'), then you will want to move
-## the Guardfile to a watched dir and symlink it back, e.g.
-#
-#  $ mkdir config
-#  $ mv Guardfile config/
-#  $ ln -s config/Guardfile .
-#
-# and, you'll have to watch "config/Guardfile" instead of "Guardfile"
-guard :rspec, cmd: "bundle exec rspec" do
-  require "guard/rspec/dsl"
-  dsl = Guard::RSpec::Dsl.new(self)
-
-  # Feel free to open issues for suggestions and improvements
-
-  # RSpec files
-  rspec = dsl.rspec
-  watch(rspec.spec_helper) { rspec.spec_dir }
-  watch(rspec.spec_support) { rspec.spec_dir }
-  watch(rspec.spec_files)
-
-  # Ruby files
-  ruby = dsl.ruby
-  dsl.watch_spec_files_for(ruby.lib_files)
-
-
-  # watch(rails.routes)          { "#{rspec.spec_dir}/routing" }
-  # watch(rails.app_controller)  { "#{rspec.spec_dir}/controllers" }
-end

data/Rakefile

@@ -1,8 +0,0 @@
-# frozen_string_literal: true
-
-require 'bundler/gem_tasks'
-require 'rspec/core/rake_task'
-
-RSpec::Core::RakeTask.new(:spec)
-
-task default: :spec

data/bin/console

@@ -1,14 +0,0 @@
-#!/usr/bin/env ruby
-
-require 'bundler/setup'
-require 'typerb'
-
-# You can add fixtures and/or initialization code here to make experimenting
-# with your gem easier. You can also use a different console, if you like.
-
-# (If you use this, don't forget to add pry to your Gemfile!)
-require 'pry'
-Pry.start
-
-# require "irb"
-# IRB.start(__FILE__)

data/bin/setup

@@ -1,8 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-IFS=$'\n\t'
-set -vx
-
-bundle install
-
-# Do any other automated setup that you need to do here

data/typerb.gemspec

@@ -1,37 +0,0 @@
-# frozen_string_literal: true
-
-lib = File.expand_path('lib', __dir__)
-$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
-require 'typerb/version'
-
-Gem::Specification.new do |spec|
-  spec.name          = 'typerb'
-  spec.version       = Typerb::VERSION
-  spec.authors       = ['Oleg Antonyan']
-  spec.email         = ['oleg.b.antonyan@gmail.com']
-
-  spec.summary       = 'Typecheck sugar for Ruby.'
-  spec.description   = 'Typecheck sugar for Ruby.'
-  spec.homepage      = 'https://github.com/olegantonyan/typerb'
-  spec.license       = 'MIT'
-
-  # Specify which files should be added to the gem when it is released.
-  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
-  spec.files         = Dir.chdir(File.expand_path(__dir__)) do
-    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
-  end
-  spec.bindir        = 'exe'
-  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
-  spec.require_paths = ['lib']
-
-  spec.add_development_dependency 'bundler', '>= 1.17'
-  spec.add_development_dependency 'guard'
-  spec.add_development_dependency 'guard-rspec'
-  spec.add_development_dependency 'pry'
-  spec.add_development_dependency 'rake', '>= 10.0'
-  spec.add_development_dependency 'rspec', '>= 3.0'
-  spec.add_development_dependency 'rubocop'
-  spec.add_development_dependency 'super_awesome_print'
-
-  spec.required_ruby_version = '>= 2.4'
-end