Add Steep for type checking

Author: sferik

.github/workflows/steep.yml

@@ -0,0 +1,17 @@
+name: steep
+
+on: [push, pull_request]
+
+jobs:
+  steep:
+    name: Type check
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v6
+    - name: Set up Ruby
+      uses: ruby/setup-ruby@v1
+      with:
+        ruby-version: ruby
+        bundler-cache: true
+    - name: Run Steep
+      run: bundle exec rake steep

Gemfile

@@ -3,5 +3,6 @@ source "https://rubygems.org"
 gemspec
 
 gem "rake"
+gem "steep"
 gem "test-unit"
 gem "test-unit-ruby-core"

Rakefile

@@ -7,4 +7,9 @@ Rake::TestTask.new(:test) do |t|
   t.test_files = FileList["test/**/test_*.rb"]
 end
 
+desc "Type check with Steep"
+task :steep do
+  sh "steep check"
+end
+
 task :default => :test

Steepfile

@@ -0,0 +1,23 @@
+target :lib do
+  check "lib"
+  signature "sig"
+
+  library "uri"
+  library "openssl"
+  library "zlib"
+  library "timeout"
+  library "socket"
+  library "resolv"
+  library "strscan"
+  library "securerandom"
+  library "tempfile"
+  library "cgi"
+
+  d = Steep::Diagnostic::Ruby.default.dup
+  d[Steep::Diagnostic::Ruby::ArgumentTypeMismatch] = :information
+  d[Steep::Diagnostic::Ruby::BlockTypeMismatch] = :information
+  d[Steep::Diagnostic::Ruby::NoMethod] = :information
+  d[Steep::Diagnostic::Ruby::UnexpectedPositionalArgument] = :information
+  d[Steep::Diagnostic::Ruby::UnresolvedOverloading] = :information
+  configure_code_diagnostics(d)
+end