tapioca 0.4.14 → 0.4.19

data/lib/tapioca/internal.rb

@@ -0,0 +1,21 @@
+# typed: strict
+# frozen_string_literal: true
+
+require "tapioca"
+require "tapioca/loader"
+require "tapioca/constant_locator"
+require "tapioca/generic_type_registry"
+require "tapioca/sorbet_ext/generic_name_patch"
+require "tapioca/config"
+require "tapioca/config_builder"
+require "tapioca/generator"
+require "tapioca/cli"
+require "tapioca/cli/main"
+require "tapioca/gemfile"
+require "tapioca/compilers/sorbet"
+require "tapioca/compilers/requires_compiler"
+require "tapioca/compilers/symbol_table_compiler"
+require "tapioca/compilers/symbol_table/symbol_generator"
+require "tapioca/compilers/symbol_table/symbol_loader"
+require "tapioca/compilers/todos_compiler"
+require "tapioca/compilers/dsl_compiler"

data/lib/tapioca/loader.rb

@@ -99,17 +99,28 @@ module Tapioca
 
     sig { void }
     def eager_load_rails_app
+      rails = Object.const_get("Rails")
+      application = rails.application
+
       if Object.const_defined?("ActiveSupport")
         Object.const_get("ActiveSupport").run_load_hooks(
           :before_eager_load,
-          Object.const_get("Rails").application
+          application
         )
       end
+
       if Object.const_defined?("Zeitwerk::Loader")
         zeitwerk_loader = Object.const_get("Zeitwerk::Loader")
         zeitwerk_loader.eager_load_all
       end
-      Object.const_get("Rails").autoloaders.each(&:eager_load)
+
+      if rails.respond_to?(:autoloaders) && rails.autoloaders.zeitwerk_enabled?
+        rails.autoloaders.each(&:eager_load)
+      end
+
+      if application.config.respond_to?(:eager_load_namespaces)
+        application.config.eager_load_namespaces.each(&:eager_load!)
+      end
     end
 
     sig { void }

data/lib/tapioca/sorbet_ext/generic_name_patch.rb

@@ -0,0 +1,66 @@
+# typed: true
+# frozen_string_literal: true
+
+require "tapioca/sorbet_ext/name_patch"
+
+module T
+  module Generic
+    # This module intercepts calls to generic type instantiations and type variable definitions.
+    # Tapioca stores the data from those calls in a `GenericTypeRegistry` which can then be used
+    # to look up the original call details when we are trying to do code generation.
+    #
+    # We are interested in the data of the `[]`, `type_member` and `type_template` calls which
+    # are all needed to generate good generic information at runtime.
+    module TypeStoragePatch
+      def [](*types)
+        # `T::Generic#[]` just returns `self`, so let's call and store it.
+        constant = super
+        # `register_type` method builds and returns an instantiated clone of the generic type
+        # so, we just return that from this method as well.
+        Tapioca::GenericTypeRegistry.register_type(constant, types)
+      end
+
+      def type_member(variance = :invariant, fixed: nil, lower: T.untyped, upper: BasicObject)
+        # `T::Generic#type_member` just instantiates a `T::Type::TypeMember` instance and returns it.
+        # We use that when registering the type member and then later return it from this method.
+        type_member = super
+        Tapioca::GenericTypeRegistry.register_type_member(self, type_member, fixed, lower, upper)
+        type_member
+      end
+
+      def type_template(variance = :invariant, fixed: nil, lower: T.untyped, upper: BasicObject)
+        # `T::Generic#type_template` just instantiates a `T::Type::TypeTemplate` instance and returns it.
+        # We use that when registering the type template and then later return it from this method.
+        type_template = super
+        Tapioca::GenericTypeRegistry.register_type_template(self, type_template, fixed, lower, upper)
+        type_template
+      end
+    end
+
+    prepend TypeStoragePatch
+  end
+
+  module Types
+    class Simple
+      # This module intercepts calls to the `name` method for
+      # simple types, so that it can ask the name to the type if
+      # the type is generic, since, by this point, we've created
+      # a clone of that type with the `name` method returning the
+      # appropriate name for that specific concrete type.
+      module GenericNamePatch
+        def name
+          if T::Generic === @raw_type
+            # for types that are generic, use the name
+            # returned by the "name" method of this instance
+            @name ||= T.unsafe(@raw_type).name.freeze
+          else
+            # otherwise, fallback to the normal name lookup
+            super
+          end
+        end
+      end
+
+      prepend GenericNamePatch
+    end
+  end
+end

data/lib/tapioca/sorbet_ext/name_patch.rb

@@ -0,0 +1,16 @@
+# typed: true
+# frozen_string_literal: true
+
+module T
+  module Types
+    class Simple
+      module NamePatch
+        def name
+          @name ||= Module.instance_method(:name).bind(@raw_type).call.freeze
+        end
+      end
+
+      prepend NamePatch
+    end
+  end
+end

data/lib/tapioca/version.rb

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: tapioca
 version: !ruby/object:Gem::Version
-  version: 0.4.14
+  version: 0.4.19
 platform: ruby
 authors:
 - Ufuk Kayserilioglu
@@ -11,7 +11,7 @@ authors:
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-02-12 00:00:00.000000000 Z
+date: 2021-03-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -125,6 +125,7 @@ files:
 - exe/tapioca
 - lib/tapioca.rb
 - lib/tapioca/cli.rb
+- lib/tapioca/cli/main.rb
 - lib/tapioca/compilers/dsl/action_controller_helpers.rb
 - lib/tapioca/compilers/dsl/action_mailer.rb
 - lib/tapioca/compilers/dsl/active_record_associations.rb
@@ -155,7 +156,11 @@ files:
 - lib/tapioca/core_ext/class.rb
 - lib/tapioca/gemfile.rb
 - lib/tapioca/generator.rb
+- lib/tapioca/generic_type_registry.rb
+- lib/tapioca/internal.rb
 - lib/tapioca/loader.rb
+- lib/tapioca/sorbet_ext/generic_name_patch.rb
+- lib/tapioca/sorbet_ext/name_patch.rb
 - lib/tapioca/version.rb
 homepage: https://github.com/Shopify/tapioca
 licenses: