stringio has to be imported for Ruby 3

.github/workflows/test.yml

@@ -0,0 +1,29 @@
+name: RDL Test
+
+on:
+  push:
+    branches: [ master, dev ]
+  pull_request:
+    branches: [ master, dev ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    strategy:
+      matrix:
+        ruby-version: ['2.7.6', '3.2.2']
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up Ruby
+      uses: ruby/setup-ruby@v1
+      with:
+        ruby-version: ${{ matrix.ruby-version }}
+        bundler-cache: true
+    - name: Run Tests
+      run: |
+        gem install bundler
+        bundle install --jobs 4 --retry 3
+        bundle exec rake test

.gitignore

@@ -1,45 +1,46 @@
-{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210
-{\fonttbl\f0\fnil\fcharset0 Consolas;}
-{\colortbl;\red255\green255\blue255;\red38\green38\blue38;}
-\margl1440\margr1440\vieww10800\viewh8400\viewkind0
-\deftab720
-\pard\pardeftab720
+###################
+*.com
+*.class
+*.dll
+*.exe
+*.o
+*.so
 
-\f0\fs24 \cf2 # Compiled source #\
-###################\
-*.com\
-*.class\
-*.dll\
-*.exe\
-*.o\
-*.so\
-\'a0\
-# Packages #\
-############\
-# it's better to unpack these files and commit the raw source\
-# git has its own built in compression methods\
-*.7z\
-*.dmg\
-*.gz\
-*.iso\
-*.jar\
-*.rar\
-*.tar\
-*.zip\
-*.gem\
-\'a0\
-# Logs and databases #\
-######################\
-*.log\
-*.sql\
-*.sqlite\
-\'a0\
-# OS generated files #\
-######################\
-.DS_Store\
-.DS_Store?\
-._*\
-.Spotlight-V100\
-.Trashes\
-ehthumbs.db\
-Thumbs.db}
+# Packages #
+############
+# it's better to unpack these files and commit the raw source
+# git has its own built in compression methods
+*.7z
+*.dmg
+*.gz
+*.iso
+*.jar
+*.rar
+*.tar
+*.zip
+*.gem
+
+# Logs and databases #
+######################
+*.log
+*.sql
+*.sqlite
+
+# OS generated files #
+######################
+.DS_Store
+.DS_Store?
+._*
+.Spotlight-V100
+.Trashes
+ehthumbs.db
+Thumbs.db
+
+### Editors
+.#*
+
+### Ruby
+*.gem
+
+### RDL
+*.csv

.rubocop.yml

@@ -0,0 +1,5 @@
+Metrics/MethodLength:
+  Max: 30
+
+Lint/BooleanSymbol:
+  Enabled: false

CHANGES.md

@@ -2,7 +2,7 @@
 
 ## [Unreleased]
 
-## [2.2.0] - 2019-06-07
+## [2.2.0] - 2019-06-09
 
 ### Fixed
 - Dynamic type checking of initialize method

Gemfile

@@ -0,0 +1,4 @@
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in rdl.gemspec
+gemspec

Gemfile.lock

@@ -0,0 +1,47 @@
+PATH
+  remote: .
+  specs:
+    rdl (2.2.0)
+      colorize (~> 0.8, >= 0.8.1)
+      method_source
+      parlour (~> 2.1.0, >= 2.1.0)
+      parser (~> 3.2, >= 3.2.2.4)
+      sql-parser (~> 0.0.2)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    ast (2.4.2)
+    coderay (1.1.3)
+    colorize (0.8.1)
+    commander (4.6.0)
+      highline (~> 2.0.0)
+    highline (2.0.3)
+    method_source (1.0.0)
+    minitest (5.20.0)
+    parlour (2.1.0)
+      commander (~> 4.5)
+      parser
+      rainbow (~> 3.0)
+      sorbet-runtime (>= 0.5)
+    parser (3.2.2.4)
+      ast (~> 2.4.1)
+      racc
+    racc (1.7.3)
+    rainbow (3.1.1)
+    rake (13.0.6)
+    sorbet-runtime (0.5.11132)
+    sql-parser (0.0.2)
+      racc
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  coderay (~> 1.1, >= 1.1.2)
+  minitest (~> 5.10)
+  rake (~> 13.0.1)
+  rdl!
+
+BUNDLED WITH
+   2.3.22

README.md

@@ -580,7 +580,7 @@ Value types can also be declared as optional, indicating that the key/value pair
 ```ruby
 type MyClass, :foo, '(a: Integer, b: ?String) { () -> %any } -> %any'
 ```
-With this type, `foo` takes a hash where key `:a` is mapped to an `Integer`, and furthermore the hash may or may not include a key `:b` that is mapped to a `String`. 
+With this type, `foo` takes a hash where key `:a` is mapped to an `Integer`, and furthermore the hash may or may not include a key `:b` that is mapped to a `String`.
 
 RDL also allows a "rest" type in finite hashes (of course, they're not so finite if they use it!):
 ```ruby
@@ -734,7 +734,7 @@ RDL uses the same approach for hashes: hash literals are treated as finite hashe
 
 ## Other Features and Limitations
 
-*Displaying types.* As an aid to debugging, the method `RDL.note_type e` will display the type of `e` during type checking. At run time, this method returns its argument. Note that in certain cases RDL may type check the same code repeatedly, in which case an expression's type could be printed multiple times.
+* *Displaying types.* As an aid to debugging, the method `RDL.note_type e` will display the type of `e` during type checking. At run time, this method returns its argument. Note that in certain cases RDL may type check the same code repeatedly, in which case an expression's type could be printed multiple times.
 
 * *Conditional guards and singletons.* If an `if` or `unless` guard has a singleton type, RDL will typecheck both branches but not include types from the unrealizable branch in the expression type. For example, `if true then 1 else 'two' end` has type `1`. RDL behaves similarly for `&&` and `||`. However, RDL does not implement this logic for `case`.
 
@@ -762,6 +762,7 @@ RDL's static type checker makes some assumptions that should hold unless your Ru
 * `Class#===` is not redefined
 * `Proc#call` is not redefined
 * `Object#class` is not redefined
+* Methods that take blocks with externally visible effects do not store those blocks and then call them later
 
 (More assumptions will be added here as they are added to RDL...)
 
@@ -989,7 +990,7 @@ it matches the latest gem version.
 
 # Authors
 
-* [Jeffrey S. Foster](http://www.cs.umd.edu/~jfoster/)
+* [Jeffrey S. Foster](http://www.cs.tufts.edu/~jfoster/)
 * [Brianna M. Ren](https://www.cs.umd.edu/~bren/)
 * [T. Stephen Strickland](https://www.cs.umd.edu/~sstrickl/)
 * Alexander T. Yu

lib/rdl.rb

@@ -1,5 +1,6 @@
 # This wrapper file allows us to completely disable RDL in certain modes.
 if defined?(Rails)
+  require 'active_record' if !defined?(ActiveRecord)
   require 'rdl/boot_rails'
 else
   require 'rdl/boot'