sorbet 0.5.5841

data/lib/status.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+# typed: true
+
+module Sorbet::Private::Status
+  def self.say(message, print_without_tty: true)
+    if STDOUT.isatty
+      # Carriage return to reset cursor, ANSI escape code to clear current line.
+      # (In case the new message is shorter than the old message.)
+      print "\r\033[K#{message}"
+    elsif print_without_tty
+      puts message
+    end
+  end
+
+  def self.done
+    if STDOUT.isatty
+      # Clear the require_relative output when we're done requiring.
+      print "\r\033[K"
+    end
+  end
+end

data/lib/step_interface.rb

@@ -0,0 +1,11 @@
+# frozen_string_literal: true
+
+class Sorbet; end
+module Sorbet::Private; end
+module Sorbet::Private::StepInterface
+  def self.main
+  end
+
+  def self.output_file
+  end
+end

data/lib/suggest-typed.rb

@@ -0,0 +1,59 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require_relative './step_interface'
+
+class Sorbet; end
+module Sorbet::Private; end
+class Sorbet::Private::SuggestTyped
+  include Sorbet::Private::StepInterface
+
+  def self.main
+    count = 0
+    while count < 100
+      count += 1
+      if suggest_typed
+        return true
+      end
+
+      if count == 50
+        puts "Adding `typed:` sigils did not converge after 50 tries."
+        STDOUT.write("Would you like to continue anyway? [Y/n] ")
+        if STDIN.isatty && STDOUT.isatty
+          begin
+            input = STDIN.gets&.strip
+            if input.nil? || (input != '' && input != 'y' && input != 'Y')
+              return false
+            end
+          rescue Interrupt
+            return false
+          end
+        else
+          puts "Not running interactively, continuing."
+        end
+      end
+    end
+
+    puts "Adding `typed:` sigils did not converge after 100 tries."
+    false
+  end
+
+  def self.suggest_typed
+    IO.popen(
+      [File.realpath("#{__dir__}/../bin/srb"), 'tc', '--suggest-typed', '--error-white-list=7022', '--typed=strict', '--silence-dev-message', '-a'],
+      err: [:child, :out],
+    ) do |io|
+      out = io.read
+      return true if out == "No errors! Great job.\n"
+    end
+    false
+  end
+
+  def self.output_file
+    nil
+  end
+end
+
+if $PROGRAM_NAME == __FILE__
+  Sorbet::Private::SuggestTyped.main
+end

data/lib/t.rb

@@ -0,0 +1,57 @@
+# frozen_string_literal: true
+# typed: false
+
+# This file contains runtime stubs to make `T::Sig::WithoutRuntime.sig` work in
+# the runtime. We're using `T::Sig::WithoutRuntime.sig` in this gem because we
+# don't want to have to depend on the sorbet-runtime gem.
+
+# Note that in particular because sigs are lazily evaluated and
+# `T::Sig::WithoutRuntime.sig` never forces the sig block, we don't actually
+# need implementations for anything that can only go inside the sig block.
+
+module T
+  module Sig
+    module WithoutRuntime
+      def self.sig(arg=nil, &blk); end
+    end
+  end
+
+  def self.any(type_a, type_b, *types); end
+  def self.nilable(type); end
+  def self.untyped; end
+  def self.noreturn; end
+  def self.all(type_a, type_b, *types); end
+  def self.enum(values); end
+  def self.proc; end
+  def self.self_type; end
+  def self.class_of(klass); end
+  def self.type_alias(type=nil, &blk); end
+  def self.type_parameter(name); end
+
+  def self.cast(value, type, checked: true); value; end
+  def self.let(value, type, checked: true); value; end
+  def self.assert_type!(value, type, checked: true); value; end
+  def self.unsafe(value); value; end
+  def self.must(arg, msg=nil); arg; end
+  def self.reveal_type(value); value; end
+
+  module Array
+    def self.[](type); end
+  end
+
+  module Hash
+    def self.[](keys, values); end
+  end
+
+  module Enumerable
+    def self.[](type); end
+  end
+
+  module Range
+    def self.[](type); end
+  end
+
+  module Set
+    def self.[](type); end
+  end
+end

data/lib/todo-rbi.rb

@@ -0,0 +1,48 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require 'json'
+
+require_relative './serialize'
+require_relative './step_interface'
+
+class Sorbet::Private::TodoRBI
+  OUTPUT = 'sorbet/rbi/todo.rbi'
+  HEADER = Sorbet::Private::Serialize.header('strong', 'todo')
+
+  include Sorbet::Private::StepInterface
+
+  def self.main
+    File.delete(OUTPUT) if File.exist?(OUTPUT)
+
+    IO.popen(
+      [
+        File.realpath("#{__dir__}/../bin/srb"),
+        'tc',
+        '--print=missing-constants',
+        '--stdout-hup-hack',
+        '--silence-dev-message',
+        '--no-error-count',
+      ],
+      err: '/dev/null',
+    ) do |io|
+      missing_constants = io.read.split("\n")
+
+      output = String.new
+      output << HEADER
+      missing_constants.each do |const|
+        next if const.include?("<") || const.include?("class_of")
+        output << "module #{const.gsub('T.untyped::', '')}; end\n"
+      end
+      File.write(OUTPUT, output) if output != HEADER
+    end
+  end
+
+  def self.output_file
+    OUTPUT
+  end
+end
+
+if $PROGRAM_NAME == __FILE__
+  Sorbet::Private::TodoRBI.main
+end

metadata

@@ -0,0 +1,133 @@
+--- !ruby/object:Gem::Specification
+name: sorbet
+version: !ruby/object:Gem::Version
+  version: 0.5.5841
+platform: ruby
+authors:
+- Stripe
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2020-07-22 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: sorbet-static
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 0.5.5841
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 0.5.5841
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.11'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '5.11'
+- !ruby/object:Gem::Dependency
+  name: mocha
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  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'
+description: The main entrypoint for using Sorbet
+email: sorbet@stripe.com
+executables:
+- srb-rbi
+- srb
+extensions: []
+extra_rdoc_files: []
+files:
+- bin/srb
+- bin/srb-rbi
+- lib/constant_cache.rb
+- lib/create-config.rb
+- lib/fetch-rbis.rb
+- lib/find-gem-rbis.rb
+- lib/gem-generator-tracepoint.rb
+- lib/gem-generator-tracepoint/tracepoint_serializer.rb
+- lib/gem-generator-tracepoint/tracer.rb
+- lib/gem_loader.rb
+- lib/gem_loader.rbi
+- lib/hidden-definition-finder.rb
+- lib/real_stdlib.rb
+- lib/require_everything.rb
+- lib/serialize.rb
+- lib/status.rb
+- lib/step_interface.rb
+- lib/suggest-typed.rb
+- lib/t.rb
+- lib/todo-rbi.rb
+homepage: https://sorbet.run
+licenses:
+- Apache-2.0
+metadata:
+  source_code_uri: https://github.com/sorbet/sorbet
+post_install_message: |2
+
+    Thanks for installing Sorbet! To use it in your project, first run:
+
+      bundle exec srb init
+
+    which will get your project ready to use with Sorbet.
+    After that whenever you want to typecheck your code, run:
+
+      bundle exec srb tc
+
+    For more docs see: https://sorbet.org/docs/adopting
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.3.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.5.2.3
+signing_key: 
+specification_version: 4
+summary: A Typechecker for Ruby
+test_files: []