sorbet-runtime 0.5.9057 → 0.5.9076

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ff66a45dd43e38108828fa9182091cdb33ec982914efe52be4759caa33ed9770
-  data.tar.gz: 8cd72da317f6ee33e760f27f3f11b083cca8171d4286995f4980be205a9f7bd7
+  metadata.gz: 596cfe481f3fd2b6e621a3271d3ef373d8365badfb0e7a4bb7939bc593f785ed
+  data.tar.gz: c3506c7e55e25a5e2821f6384adc3f383a6d1aaf8762b8b7f53e0978fe0f7d0e
 SHA512:
-  metadata.gz: f60a3a327e498c8357d2960db797cd1030e8b4574882735f982f97e0e0b54f16897d4393c95136d6c0f7c84b06713e4ea29b9d1fe9419c926cb02ee9d67c13e7
-  data.tar.gz: f02fe93975b9cbc7f813bc9d8b7473207d29fa51deedb7647a0db68f1bc60574f65cc24326e87715b372cf30fb1924b17497dbb61bf789608535e29942f13d41
+  metadata.gz: 5d52a6f2beb4ff73a6c56f31bd741e37bae512aa7ce768a4fd811662a6077bad0ae1304d42c90c060114eeea60056f6299f48ef27d22ece9956ed6566cf2e1c4
+  data.tar.gz: 4a8329759522aacfb35d08f77f5c106937736e7bd75244d5bdb0b99311edfdd94e53132c3b2da07b2eca7d836a4411527bce1868e5279dc858b0951ec392f566

data/lib/sorbet-runtime.rb

@@ -112,3 +112,6 @@ require_relative 'types/struct'
 require_relative 'types/non_forcing_constants'
 
 require_relative 'types/compatibility_patches'
+
+# Sorbet Compiler support module
+require_relative 'types/private/compiler'

data/lib/types/configuration.rb

@@ -112,7 +112,7 @@ module T::Configuration
   # statically, so that methods don't have to guard themselves from being
   # called incorrectly by untyped code.
   #
-  # @param [:never, :tests, :always] default_checked_level
+  # @param [:never, :compiled, :tests, :always] default_checked_level
   def self.default_checked_level=(default_checked_level)
     T::Private::RuntimeLevels.default_checked_level = default_checked_level
   end

data/lib/types/private/casts.rb

@@ -2,14 +2,6 @@
 # typed: false
 
 module T::Private
-  # Dynamically confirm that `value` is recursively a valid value of
-  # type `type`, including recursively through collections. Note that
-  # in some cases this runtime check can be very expensive, especially
-  # with large collections of objects.
-  def self.check_type_recursive!(value, type)
-    T::Private::Casts.cast_recursive(value, type, cast_method: "T.check_type_recursive!")
-  end
-
   module Casts
     def self.cast(value, type, cast_method:)
       begin

data/lib/types/private/compiler.rb

@@ -0,0 +1,24 @@
+# frozen_string_literal: true
+# typed: true
+
+module T::Private
+  module Compiler
+    # If this code ever runs, the caller is running interpreted (or the
+    # compiler didn't see the call to `running_compiled?` statically.)
+    #
+    # The Sorbet Compiler replaces calls to this method unconditionally (no
+    # runtime guards) to return `true` when compiling a file.
+    def self.running_compiled?
+      false
+    end
+
+    # Returns `nil` because the compiler isn't running.
+    #
+    # The Sorbet Compiler replaces calls to this method unconditionally (no
+    # runtime guards) to return a String showing the Sorbet Compiler's version
+    # string.
+    def self.compiler_version
+      nil
+    end
+  end
+end

data/lib/types/private/methods/decl_builder.rb

@@ -88,8 +88,8 @@ module T::Private::Methods
       if !decl.checked.equal?(ARG_NOT_PROVIDED)
         raise BuilderError.new("You can't call .checked multiple times in a signature.")
       end
-      if level == :never && !decl.on_failure.equal?(ARG_NOT_PROVIDED)
-        raise BuilderError.new("You can't use .checked(:never) with .on_failure because .on_failure will have no effect.")
+      if (level == :never || level == :compiled) && !decl.on_failure.equal?(ARG_NOT_PROVIDED)
+        raise BuilderError.new("You can't use .checked(:#{level}) with .on_failure because .on_failure will have no effect.")
       end
       if !T::Private::RuntimeLevels::LEVELS.include?(level)
         raise BuilderError.new("Invalid `checked` level '#{level}'. Use one of: #{T::Private::RuntimeLevels::LEVELS}.")
@@ -106,8 +106,8 @@ module T::Private::Methods
       if !decl.on_failure.equal?(ARG_NOT_PROVIDED)
         raise BuilderError.new("You can't call .on_failure multiple times in a signature.")
       end
-      if decl.checked == :never
-        raise BuilderError.new("You can't use .on_failure with .checked(:never) because .on_failure will have no effect.")
+      if decl.checked == :never || decl.checked == :compiled
+        raise BuilderError.new("You can't use .on_failure with .checked(:#{decl.checked}) because .on_failure will have no effect.")
       end
 
       decl.on_failure = args
@@ -209,7 +209,7 @@ module T::Private::Methods
       end
       if decl.checked.equal?(ARG_NOT_PROVIDED)
         default_checked_level = T::Private::RuntimeLevels.default_checked_level
-        if default_checked_level == :never && !decl.on_failure.equal?(ARG_NOT_PROVIDED)
+        if (default_checked_level == :never || default_checked_level == :compiled) && !decl.on_failure.equal?(ARG_NOT_PROVIDED)
           raise BuilderError.new("To use .on_failure you must additionally call .checked(:tests) or .checked(:always), otherwise, the .on_failure has no effect.")
         end
         decl.checked = default_checked_level

data/lib/types/private/methods/signature_validation.rb

@@ -174,7 +174,7 @@ module T::Private::Methods::SignatureValidation
     return if signature.override_allow_incompatible
     return if super_signature.mode == Modes.untyped
     return unless [signature, super_signature].all? do |sig|
-      sig.check_level == :always || (sig.check_level == :tests && T::Private::RuntimeLevels.check_tests?)
+      sig.check_level == :always || sig.check_level == :compiled || (sig.check_level == :tests && T::Private::RuntimeLevels.check_tests?)
     end
     mode_noun = super_signature.mode == Modes.abstract ? 'implementation' : 'override'
 

data/lib/types/private/runtime_levels.rb

@@ -12,6 +12,9 @@ module T::Private::RuntimeLevels
     # Don't even validate in tests, b/c too expensive,
     # or b/c we fully trust the static typing
     :never,
+    # Validate the sig when the file is using the Sorbet Compiler.
+    # Behaves like :never when interpreted.
+    :compiled,
   ].freeze
 
   @check_tests = false

data/lib/types/types/fixed_hash.rb

@@ -13,15 +13,7 @@ module T::Types
 
     # @override Base
     def name
-      entries = @types.map do |(k, v)|
-        if Symbol === k && ":#{k}" == k.inspect
-          "#{k}: #{v}"
-        else
-          "#{k.inspect} => #{v}"
-        end
-      end
-
-      "{#{entries.join(', ')}}"
+      serialize_hash(@types)
     end
 
     # @override Base
@@ -59,10 +51,24 @@ module T::Types
     # @override Base
     def describe_obj(obj)
       if obj.is_a?(Hash)
-        "type {#{obj.map {|(k, v)| "#{k}: #{v.class}"}.join(', ')}}"
+        "type #{serialize_hash(obj.transform_values(&:class))}"
       else
         super
       end
     end
+
+    private
+
+    def serialize_hash(hash)
+      entries = hash.map do |(k, v)|
+        if Symbol === k && ":#{k}" == k.inspect
+          "#{k}: #{v}"
+        else
+          "#{k.inspect} => #{v}"
+        end
+      end
+
+      "{#{entries.join(', ')}}"
+    end
   end
 end

data/lib/types/utils.rb

@@ -27,6 +27,14 @@ module T::Utils
     end
   end
 
+  # Dynamically confirm that `value` is recursively a valid value of
+  # type `type`, including recursively through collections. Note that
+  # in some cases this runtime check can be very expensive, especially
+  # with large collections of objects.
+  def self.check_type_recursive!(value, type)
+    T::Private::Casts.cast_recursive(value, type, cast_method: "T.check_type_recursive!")
+  end
+
   # Returns the set of all methods (public, protected, private) defined on a module or its
   # ancestors, excluding Object and its ancestors. Overrides of methods from Object (and its
   # ancestors) are included.

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.9057
+  version: 0.5.9076
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2021-08-21 00:00:00.000000000 Z
+date: 2021-08-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -173,6 +173,7 @@ files:
 - lib/types/private/abstract/validate.rb
 - lib/types/private/casts.rb
 - lib/types/private/class_utils.rb
+- lib/types/private/compiler.rb
 - lib/types/private/decl_state.rb
 - lib/types/private/final.rb
 - lib/types/private/methods/_methods.rb