tapioca 0.8.3 → 0.9.2

data/lib/tapioca/sorbet_ext/name_patch.rb

@@ -1,18 +1,28 @@
 # typed: true
 # frozen_string_literal: true
 
-# We need sorbet to compile the signature for `qualified_name_of` before applying
-# the patch to avoid an infinite loop.
-T::Utils.signature_for_method(::Tapioca::Runtime::Reflection.method(:qualified_name_of))
-
 module T
   module Types
     class Simple
       module NamePatch
+        NAME_METHOD = T.let(Module.instance_method(:name), UnboundMethod)
+
         def name
           # Sorbet memoizes this method into the `@name` instance variable but
           # doing so means that types get memoized before this patch is applied
-          ::Tapioca::Runtime::Reflection.qualified_name_of(@raw_type)
+          qualified_name_of(@raw_type)
+        end
+
+        def qualified_name_of(constant)
+          name = NAME_METHOD.bind_call(constant)
+          name = nil if name&.start_with?("#<")
+          return if name.nil?
+
+          if name.start_with?("::")
+            name
+          else
+            "::#{name}"
+          end
         end
       end
 

data/lib/tapioca/sorbet_ext/proc_bind_patch.rb

@@ -0,0 +1,40 @@
+# typed: true
+# frozen_string_literal: true
+
+module T
+  module Types
+    module ProcBindPatch
+      def initialize(arg_types, returns, bind = T::Private::Methods::ARG_NOT_PROVIDED)
+        super(arg_types, returns)
+
+        unless bind == T::Private::Methods::ARG_NOT_PROVIDED
+          @bind = T.let(T::Utils.coerce(bind), T::Types::Base)
+        end
+      end
+
+      def name
+        name = super
+        name = name.sub("T.proc", "T.proc.bind(#{@bind})") unless @bind.nil?
+        name
+      end
+    end
+
+    Proc.prepend(ProcBindPatch)
+  end
+end
+
+module T
+  module Private
+    module Methods
+      module ProcBindPatch
+        def finalize_proc(decl)
+          super
+
+          T.unsafe(T::Types::Proc).new(decl.params, decl.returns, decl.bind)
+        end
+      end
+
+      singleton_class.prepend(ProcBindPatch)
+    end
+  end
+end

data/lib/tapioca/static/requires_compiler.rb

@@ -1,8 +1,6 @@
 # typed: strict
 # frozen_string_literal: true
 
-require "spoom"
-
 module Tapioca
   module Static
     class RequiresCompiler

data/lib/tapioca/static/symbol_loader.rb

@@ -1,9 +1,6 @@
 # typed: strict
 # frozen_string_literal: true
 
-require "json"
-require "tempfile"
-
 module Tapioca
   module Static
     module SymbolLoader
@@ -22,12 +19,21 @@ module Tapioca
           T.must(@payload_symbols)
         end
 
-        sig { returns(T::Set[String]) }
-        def engine_symbols
-          unless @engine_symbols
-            @engine_symbols = T.let(load_engine_symbols, T.nilable(T::Set[String]))
+        sig { params(gem: Gemfile::GemSpec).returns(T::Set[String]) }
+        def engine_symbols(gem)
+          gem_engine = engines.find do |engine|
+            gem.contains_path?(engine.config.root.to_s)
+          end
+
+          return Set.new unless gem_engine
+
+          paths = gem_engine.config.eager_load_paths.flat_map do |load_path|
+            Pathname.glob("#{load_path}/**/*.rb")
           end
-          T.must(@engine_symbols)
+
+          symbols_from_paths(paths)
+        rescue
+          Set.new
         end
 
         sig { params(gem: Gemfile::GemSpec).returns(T::Set[String]) }
@@ -37,31 +43,21 @@ module Tapioca
 
         private
 
-        sig { params(input: String, table_type: String).returns(String) }
-        def symbol_table_json_from(input, table_type: "symbol-table-json")
-          sorbet("--no-config", "--quiet", "--print=#{table_type}", input).out
-        end
-
-        sig { returns(T::Set[String]) }
-        def load_engine_symbols
-          return Set.new unless Object.const_defined?("Rails::Engine")
-
-          engine = descendants_of(Object.const_get("Rails::Engine"))
-            .reject(&:abstract_railtie?)
-            .find do |klass|
-              name = name_of(klass)
-              !name.nil? && payload_symbols.include?(name)
-            end
+        sig { returns(T::Array[T.class_of(Rails::Engine)]) }
+        def engines
+          @engines = T.let(@engines, T.nilable(T::Array[T.class_of(Rails::Engine)]))
 
-          return Set.new unless engine
-
-          paths = engine.config.eager_load_paths.flat_map do |load_path|
-            Pathname.glob("#{load_path}/**/*.rb")
+          @engines ||= if Object.const_defined?("Rails::Engine")
+            descendants_of(Object.const_get("Rails::Engine"))
+              .reject(&:abstract_railtie?)
+          else
+            []
           end
+        end
 
-          symbols_from_paths(paths)
-        rescue
-          Set.new
+        sig { params(input: String, table_type: String).returns(String) }
+        def symbol_table_json_from(input, table_type: "symbol-table-json")
+          sorbet("--no-config", "--quiet", "--print=#{table_type}", input).out
         end
 
         sig { params(paths: T::Array[Pathname]).returns(T::Set[String]) }

data/lib/tapioca/static/symbol_table_parser.rb

@@ -1,9 +1,6 @@
 # typed: strict
 # frozen_string_literal: true
 
-require "json"
-require "tempfile"
-
 module Tapioca
   module Static
     class SymbolTableParser

data/lib/tapioca/version.rb

@@ -2,5 +2,5 @@
 # frozen_string_literal: true
 
 module Tapioca
-  VERSION = "0.8.3"
+  VERSION = "0.9.2"
 end

data/lib/tapioca.rb

@@ -43,6 +43,9 @@ module Tapioca
     "activesupport" => "false",
   }.freeze, T::Hash[String, String])
 
+  DEFAULT_RBI_MAX_LINE_LENGTH = 120
+  DEFAULT_ENVIRONMENT = "development"
+
   CENTRAL_REPO_ROOT_URI = "https://raw.githubusercontent.com/Shopify/rbi-central/main"
   CENTRAL_REPO_INDEX_PATH = "index.json"
   CENTRAL_REPO_ANNOTATIONS_DIR = "rbi/annotations"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: tapioca
 version: !ruby/object:Gem::Version
-  version: 0.8.3
+  version: 0.9.2
 platform: ruby
 authors:
 - Ufuk Kayserilioglu
@@ -11,7 +11,7 @@ authors:
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2022-06-28 00:00:00.000000000 Z
+date: 2022-07-19 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -27,6 +27,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 1.17.3
+- !ruby/object:Gem::Dependency
+  name: netrc
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.11.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.11.0
 - !ruby/object:Gem::Dependency
   name: parallel
   requirement: !ruby/object:Gem::Requirement
@@ -153,10 +167,11 @@ files:
 - lib/tapioca/cli.rb
 - lib/tapioca/commands.rb
 - lib/tapioca/commands/annotations.rb
+- lib/tapioca/commands/check_shims.rb
 - lib/tapioca/commands/command.rb
+- lib/tapioca/commands/configure.rb
 - lib/tapioca/commands/dsl.rb
 - lib/tapioca/commands/gem.rb
-- lib/tapioca/commands/init.rb
 - lib/tapioca/commands/require.rb
 - lib/tapioca/commands/todo.rb
 - lib/tapioca/dsl.rb
@@ -192,13 +207,14 @@ files:
 - lib/tapioca/dsl/extensions/frozen_record.rb
 - lib/tapioca/dsl/helpers/active_record_column_type_helper.rb
 - lib/tapioca/dsl/helpers/active_record_constants_helper.rb
-- lib/tapioca/dsl/helpers/param_helper.rb
 - lib/tapioca/dsl/pipeline.rb
 - lib/tapioca/executor.rb
+- lib/tapioca/gem.rb
 - lib/tapioca/gem/events.rb
 - lib/tapioca/gem/listeners.rb
 - lib/tapioca/gem/listeners/base.rb
 - lib/tapioca/gem/listeners/dynamic_mixins.rb
+- lib/tapioca/gem/listeners/foreign_constants.rb
 - lib/tapioca/gem/listeners/methods.rb
 - lib/tapioca/gem/listeners/mixins.rb
 - lib/tapioca/gem/listeners/remove_empty_payload_scopes.rb
@@ -208,22 +224,22 @@ files:
 - lib/tapioca/gem/listeners/sorbet_required_ancestors.rb
 - lib/tapioca/gem/listeners/sorbet_signatures.rb
 - lib/tapioca/gem/listeners/sorbet_type_variables.rb
+- lib/tapioca/gem/listeners/source_location.rb
 - lib/tapioca/gem/listeners/subconstants.rb
 - lib/tapioca/gem/listeners/yard_doc.rb
 - lib/tapioca/gem/pipeline.rb
 - lib/tapioca/gemfile.rb
 - lib/tapioca/helpers/cli_helper.rb
 - lib/tapioca/helpers/config_helper.rb
+- lib/tapioca/helpers/env_helper.rb
 - lib/tapioca/helpers/gem_helper.rb
+- lib/tapioca/helpers/rbi_files_helper.rb
 - lib/tapioca/helpers/rbi_helper.rb
-- lib/tapioca/helpers/shims_helper.rb
-- lib/tapioca/helpers/signatures_helper.rb
 - lib/tapioca/helpers/sorbet_helper.rb
 - lib/tapioca/helpers/test/content.rb
 - lib/tapioca/helpers/test/dsl_compiler.rb
 - lib/tapioca/helpers/test/isolation.rb
 - lib/tapioca/helpers/test/template.rb
-- lib/tapioca/helpers/type_variable_helper.rb
 - lib/tapioca/internal.rb
 - lib/tapioca/rbi_ext/model.rb
 - lib/tapioca/rbi_formatter.rb
@@ -240,6 +256,7 @@ files:
 - lib/tapioca/sorbet_ext/fixed_hash_patch.rb
 - lib/tapioca/sorbet_ext/generic_name_patch.rb
 - lib/tapioca/sorbet_ext/name_patch.rb
+- lib/tapioca/sorbet_ext/proc_bind_patch.rb
 - lib/tapioca/static/requires_compiler.rb
 - lib/tapioca/static/symbol_loader.rb
 - lib/tapioca/static/symbol_table_parser.rb

data/lib/tapioca/dsl/helpers/param_helper.rb

@@ -1,55 +0,0 @@
-# typed: strict
-# frozen_string_literal: true
-
-require "tapioca/helpers/signatures_helper"
-
-module Tapioca
-  module Dsl
-    module Helpers
-      module ParamHelper
-        extend T::Sig
-        include SignaturesHelper
-
-        sig { params(name: String, type: String).returns(RBI::TypedParam) }
-        def create_param(name, type:)
-          create_typed_param(RBI::Param.new(name), type)
-        end
-
-        sig { params(name: String, type: String, default: String).returns(RBI::TypedParam) }
-        def create_opt_param(name, type:, default:)
-          create_typed_param(RBI::OptParam.new(name, default), type)
-        end
-
-        sig { params(name: String, type: String).returns(RBI::TypedParam) }
-        def create_rest_param(name, type:)
-          create_typed_param(RBI::RestParam.new(name), type)
-        end
-
-        sig { params(name: String, type: String).returns(RBI::TypedParam) }
-        def create_kw_param(name, type:)
-          create_typed_param(RBI::KwParam.new(name), type)
-        end
-
-        sig { params(name: String, type: String, default: String).returns(RBI::TypedParam) }
-        def create_kw_opt_param(name, type:, default:)
-          create_typed_param(RBI::KwOptParam.new(name, default), type)
-        end
-
-        sig { params(name: String, type: String).returns(RBI::TypedParam) }
-        def create_kw_rest_param(name, type:)
-          create_typed_param(RBI::KwRestParam.new(name), type)
-        end
-
-        sig { params(name: String, type: String).returns(RBI::TypedParam) }
-        def create_block_param(name, type:)
-          create_typed_param(RBI::BlockParam.new(name), type)
-        end
-
-        sig { params(param: RBI::Param, type: String).returns(RBI::TypedParam) }
-        def create_typed_param(param, type)
-          RBI::TypedParam.new(param: param, type: sanitize_signature_types(type))
-        end
-      end
-    end
-  end
-end

data/lib/tapioca/helpers/shims_helper.rb

@@ -1,115 +0,0 @@
-# typed: strict
-# frozen_string_literal: true
-
-module Tapioca
-  module ShimsHelper
-    extend T::Sig
-    extend T::Helpers
-
-    requires_ancestor { Thor::Shell }
-
-    SORBET_PAYLOAD_URL = "https://github.com/sorbet/sorbet/tree/master/rbi"
-
-    sig { params(index: RBI::Index, dir: String).void }
-    def index_payload(index, dir)
-      return unless Dir.exist?(dir)
-
-      say("Loading Sorbet payload... ")
-      files = Dir.glob("#{dir}/**/*.rbi").sort
-      parse_and_index_files(index, files)
-      say(" Done", :green)
-    end
-
-    sig { params(index: RBI::Index, kind: String, dir: String).void }
-    def index_rbis(index, kind, dir)
-      return unless Dir.exist?(dir) && !Dir.empty?(dir)
-
-      say("Loading #{kind} RBIs from #{dir}... ")
-      files = Dir.glob("#{dir}/**/*.rbi").sort
-      parse_and_index_files(index, files)
-      say(" Done", :green)
-    end
-
-    sig { params(index: RBI::Index, shim_rbi_dir: String).returns(T::Hash[String, T::Array[RBI::Node]]) }
-    def duplicated_nodes_from_index(index, shim_rbi_dir)
-      duplicates = {}
-      say("Looking for duplicates... ")
-      index.keys.each do |key|
-        nodes = index[key]
-        next unless shims_have_duplicates?(nodes, shim_rbi_dir)
-
-        duplicates[key] = nodes
-      end
-      say(" Done", :green)
-      duplicates
-    end
-
-    sig { params(loc: RBI::Loc, path_prefix: T.nilable(String)).returns(String) }
-    def location_to_payload_url(loc, path_prefix:)
-      return loc.to_s unless path_prefix
-
-      url = loc.file || ""
-      return loc.to_s unless url.start_with?(path_prefix)
-
-      url = url.sub(path_prefix, SORBET_PAYLOAD_URL)
-      url = "#{url}#L#{loc.begin_line}"
-      url
-    end
-
-    private
-
-    sig { params(index: RBI::Index, files: T::Array[String]).void }
-    def parse_and_index_files(index, files)
-      trees = files.map do |file|
-        RBI::Parser.parse_file(file)
-      rescue RBI::ParseError => e
-        say_error("\nWarning: #{e} (#{e.location})", :yellow)
-      end.compact
-      index.visit_all(trees)
-    end
-
-    sig { params(nodes: T::Array[RBI::Node], shim_rbi_dir: String).returns(T::Boolean) }
-    def shims_have_duplicates?(nodes, shim_rbi_dir)
-      return false if nodes.size == 1
-
-      shims = extract_shims(nodes, shim_rbi_dir)
-      return false if shims.empty?
-
-      props = extract_methods_and_attrs(shims)
-      return false if props.empty?
-
-      shims_with_sigs = extract_nodes_with_sigs(props)
-      shims_with_sigs.each do |shim|
-        shim_sigs = shim.sigs
-
-        extract_methods_and_attrs(nodes).each do |node|
-          next if node == shim
-          return true if shim_sigs.all? { |sig| node.sigs.include?(sig) }
-        end
-
-        return false
-      end
-
-      true
-    end
-
-    sig { params(nodes: T::Array[RBI::Node], shim_rbi_dir: String).returns(T::Array[RBI::Node]) }
-    def extract_shims(nodes, shim_rbi_dir)
-      nodes.select do |node|
-        node.loc&.file&.start_with?(shim_rbi_dir)
-      end
-    end
-
-    sig { params(nodes: T::Array[RBI::Node]).returns(T::Array[T.any(RBI::Method, RBI::Attr)]) }
-    def extract_methods_and_attrs(nodes)
-      T.cast(nodes.select do |node|
-        node.is_a?(RBI::Method) || node.is_a?(RBI::Attr)
-      end, T::Array[T.any(RBI::Method, RBI::Attr)])
-    end
-
-    sig { params(nodes: T::Array[T.any(RBI::Method, RBI::Attr)]).returns(T::Array[T.any(RBI::Method, RBI::Attr)]) }
-    def extract_nodes_with_sigs(nodes)
-      nodes.reject { |node| node.sigs.empty? }
-    end
-  end
-end

data/lib/tapioca/helpers/signatures_helper.rb

@@ -1,17 +0,0 @@
-# typed: strict
-# frozen_string_literal: true
-
-module Tapioca
-  module SignaturesHelper
-    extend T::Sig
-
-    sig { params(sig_string: String).returns(String) }
-    def sanitize_signature_types(sig_string)
-      sig_string
-        .gsub(".returns(<VOID>)", ".void")
-        .gsub("<VOID>", "void")
-        .gsub("<NOT-TYPED>", "T.untyped")
-        .gsub(".params()", "")
-    end
-  end
-end

data/lib/tapioca/helpers/type_variable_helper.rb

@@ -1,43 +0,0 @@
-# typed: strict
-# frozen_string_literal: true
-
-module Tapioca
-  module TypeVariableHelper
-    extend T::Sig
-    extend SorbetHelper
-
-    sig do
-      params(
-        type: String,
-        variance: Symbol,
-        fixed: T.nilable(String),
-        upper: T.nilable(String),
-        lower: T.nilable(String)
-      ).returns(String)
-    end
-    def self.serialize_type_variable(type, variance, fixed, upper, lower)
-      variance = nil if variance == :invariant
-
-      bounds = []
-      bounds << "fixed: #{fixed}" if fixed
-      bounds << "lower: #{lower}" if lower
-      bounds << "upper: #{upper}" if upper
-
-      parameters = []
-      block = []
-
-      parameters << ":#{variance}" if variance
-
-      if sorbet_supports?(:type_variable_block_syntax)
-        block = bounds
-      else
-        parameters.concat(bounds)
-      end
-
-      serialized = type.dup
-      serialized << "(#{parameters.join(", ")})" unless parameters.empty?
-      serialized << " { { #{block.join(", ")} } }" unless block.empty?
-      serialized
-    end
-  end
-end