RubyGems - typeprof - Versions diffs - 0.9.0 → 0.12.0 - Mend

typeprof 0.9.0 → 0.12.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (182) hide show

checksums.yaml +4 -4
data/.github/workflows/main.yml +1 -1
data/Gemfile.lock +6 -5
data/doc/demo.md +2 -2
data/doc/todo.md +133 -0
data/lib/typeprof/analyzer.rb +89 -37
data/lib/typeprof/block.rb +34 -0
data/lib/typeprof/builtin.rb +169 -66
data/lib/typeprof/cli.rb +7 -0
data/lib/typeprof/config.rb +25 -3
data/lib/typeprof/container-type.rb +24 -0
data/lib/typeprof/export.rb +130 -69
data/lib/typeprof/import.rb +82 -38
data/lib/typeprof/iseq.rb +23 -4
data/lib/typeprof/method.rb +29 -7
data/lib/typeprof/type.rb +75 -13
data/lib/typeprof/version.rb +1 -1
data/smoke/alias.rb +4 -4
data/smoke/alias2.rb +3 -1
data/smoke/arguments.rb +2 -2
data/smoke/arguments2.rb +5 -5
data/smoke/array-each.rb +1 -1
data/smoke/array-each3.rb +1 -1
data/smoke/array-map.rb +1 -1
data/smoke/array-map2.rb +1 -1
data/smoke/array-map3.rb +3 -3
data/smoke/array-mul.rb +2 -2
data/smoke/array-plus1.rb +1 -1
data/smoke/array-plus2.rb +1 -0
data/smoke/array-range-aref.rb +11 -11
data/smoke/array-replace.rb +1 -1
data/smoke/array1.rb +5 -5
data/smoke/array10.rb +1 -1
data/smoke/array11.rb +1 -1
data/smoke/array12.rb +1 -1
data/smoke/array14.rb +1 -1
data/smoke/array15.rb +1 -1
data/smoke/array2.rb +2 -2
data/smoke/array3.rb +1 -0
data/smoke/array6.rb +2 -1
data/smoke/array8.rb +1 -1
data/smoke/array9.rb +1 -1
data/smoke/attr-module.rb +1 -0
data/smoke/attr-vis.rb +43 -0
data/smoke/attr-vis.rbs +4 -0
data/smoke/attr.rb +2 -2
data/smoke/block-ambiguous.rb +4 -4
data/smoke/block-args1-rest.rb +6 -5
data/smoke/block-args1.rb +5 -5
data/smoke/block-args2-rest.rb +6 -5
data/smoke/block-args2.rb +5 -5
data/smoke/block-args3-rest.rb +7 -6
data/smoke/block-args3.rb +6 -6
data/smoke/block-blockarg.rb +3 -3
data/smoke/block-kwarg.rb +4 -4
data/smoke/block1.rb +1 -1
data/smoke/block10.rb +1 -1
data/smoke/block11.rb +2 -2
data/smoke/block2.rb +1 -1
data/smoke/block3.rb +1 -1
data/smoke/block5.rb +1 -0
data/smoke/block_given.rb +37 -0
data/smoke/class_method.rb +2 -2
data/smoke/class_method2.rb +2 -2
data/smoke/constant2.rb +3 -2
data/smoke/context-sensitive1.rb +1 -1
data/smoke/cvar.rb +3 -2
data/smoke/define_method.rb +2 -2
data/smoke/define_method3.rb +1 -0
data/smoke/define_method4.rb +1 -1
data/smoke/define_method6.rb +19 -0
data/smoke/demo.rb +6 -6
data/smoke/demo1.rb +1 -1
data/smoke/demo11.rb +1 -1
data/smoke/demo2.rb +1 -1
data/smoke/demo3.rb +1 -1
data/smoke/demo4.rb +3 -3
data/smoke/demo5.rb +1 -1
data/smoke/demo6.rb +2 -1
data/smoke/demo7.rb +1 -1
data/smoke/demo9.rb +1 -0
data/smoke/dummy-execution1.rb +1 -1
data/smoke/dummy-execution2.rb +1 -1
data/smoke/dummy_element.rb +1 -1
data/smoke/ensure1.rb +1 -1
data/smoke/enum_for.rb +15 -0
data/smoke/enum_for2.rb +17 -0
data/smoke/fib.rb +2 -2
data/smoke/flow1.rb +1 -1
data/smoke/flow10.rb +17 -0
data/smoke/flow2.rb +1 -1
data/smoke/flow3.rb +1 -1
data/smoke/flow5.rb +1 -1
data/smoke/flow6.rb +1 -1
data/smoke/flow7.rb +1 -1
data/smoke/flow8.rb +1 -1
data/smoke/flow9.rb +1 -1
data/smoke/function.rb +1 -1
data/smoke/gvar.rb +1 -1
data/smoke/gvar2.rb +1 -1
data/smoke/hash-fetch.rb +3 -3
data/smoke/inheritance.rb +4 -4
data/smoke/initialize.rb +3 -2
data/smoke/instance_eval.rb +1 -1
data/smoke/int_times.rb +1 -1
data/smoke/integer.rb +1 -1
data/smoke/ivar.rb +3 -2
data/smoke/ivar2.rb +2 -2
data/smoke/ivar3.rb +2 -1
data/smoke/ivar4.rb +21 -0
data/smoke/kernel-class.rb +1 -1
data/smoke/keyword4.rb +1 -1
data/smoke/kwrest.rb +1 -0
data/smoke/kwsplat1.rb +2 -2
data/smoke/kwsplat2.rb +1 -1
data/smoke/manual-rbs.rb +2 -1
data/smoke/manual-rbs3.rb +1 -0
data/smoke/method_in_branch.rb +1 -1
data/smoke/method_missing.rb +4 -3
data/smoke/module3.rb +1 -1
data/smoke/module4.rb +1 -0
data/smoke/module5.rb +1 -1
data/smoke/module_function1.rb +3 -2
data/smoke/module_function2.rb +3 -2
data/smoke/multiple-include.rb +1 -0
data/smoke/next1.rb +1 -1
data/smoke/object-send1.rb +3 -3
data/smoke/optional1.rb +1 -1
data/smoke/optional2.rb +1 -1
data/smoke/optional3.rb +1 -1
data/smoke/parameterizedd-self.rb +2 -1
data/smoke/prepend1.rb +33 -0
data/smoke/prepend2.rb +10 -0
data/smoke/prepend2.rbs +9 -0
data/smoke/primitive_method.rb +19 -0
data/smoke/proc4.rb +1 -1
data/smoke/public.rb +4 -0
data/smoke/range.rb +1 -1
data/smoke/rbs-attr.rb +2 -2
data/smoke/rbs-proc2.rb +1 -1
data/smoke/rbs-proc3.rb +1 -1
data/smoke/rbs-tyvar4.rb +3 -2
data/smoke/rbs-tyvar6.rb +3 -3
data/smoke/redo1.rb +1 -1
data/smoke/redo2.rb +1 -1
data/smoke/rescue1.rb +1 -1
data/smoke/rescue2.rb +1 -1
data/smoke/rescue3.rb +1 -0
data/smoke/rescue4.rb +1 -1
data/smoke/respond_to.rb +1 -1
data/smoke/rest1.rb +2 -2
data/smoke/rest2.rb +1 -1
data/smoke/rest3.rb +6 -6
data/smoke/rest4.rb +2 -2
data/smoke/rest5.rb +1 -1
data/smoke/rest6.rb +1 -1
data/smoke/retry1.rb +2 -2
data/smoke/simple.rb +12 -0
data/smoke/step.rb +3 -3
data/smoke/struct-keyword_init.rb +6 -16
data/smoke/struct.rb +1 -1
data/smoke/struct2.rb +1 -1
data/smoke/struct3.rb +1 -1
data/smoke/struct4.rb +1 -1
data/smoke/struct5.rb +2 -2
data/smoke/struct6.rb +2 -2
data/smoke/struct7.rb +1 -1
data/smoke/super1.rb +4 -4
data/smoke/super3.rb +3 -2
data/smoke/super4.rb +7 -5
data/smoke/super5.rb +6 -4
data/smoke/symbol-proc-attr.rb +1 -1
data/smoke/tap1.rb +2 -2
data/smoke/toplevel.rb +1 -1
data/smoke/type_var.rb +3 -3
data/smoke/user-demo.rb +1 -1
data/smoke/wrong-extend.rb +1 -0
data/smoke/wrong-include.rb +1 -0
data/smoke/wrong-include2.rb +1 -1
data/testbed/goodcheck-Gemfile.lock +1 -1
data/typeprof.gemspec +1 -1
metadata +19 -5

data/smoke/class_method.rb CHANGED

@@ -20,6 +20,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo: (Integer) -> Integer
-  def self.bar: (String) -> String
+  def self.foo: (Integer x) -> Integer
+  def self.bar: (String x) -> String
 end

data/smoke/class_method2.rb CHANGED

@@ -16,6 +16,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo: (Integer) -> Integer
-  def self.bar: (String) -> String
+  def self.foo: (Integer | String x) -> (Integer | String)
+  alias self.bar self.foo
 end

data/smoke/constant2.rb CHANGED

@@ -25,9 +25,10 @@ smoke/constant2.rb:15: [warning] already initialized constant Object::BAR
 # Classes
 class Object
   BAR: String
   private
-  def foo: (Integer | untyped) -> nil
-  def log: (String) -> nil
+  def foo: (Integer | untyped x) -> nil
+  def log: (String x) -> nil
 end
 class C

data/smoke/context-sensitive1.rb CHANGED

@@ -9,5 +9,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer) -> Integer
+  def foo: (Integer x) -> Integer
 end

data/smoke/cvar.rb CHANGED

@@ -19,12 +19,13 @@ __END__
 # Classes
 class Object
   private
-  def log1: (Integer) -> nil
-  def log2: (Integer) -> nil
+  def log1: (Integer x) -> nil
+  def log2: (Integer x) -> nil
 end
 class A
   FOO: Integer
   @@var: Integer
   def foo: -> nil
 end

data/smoke/define_method.rb CHANGED

@@ -11,6 +11,6 @@ end
 __END__
 # Classes
 class Foo
-  def bar: (:FOO | untyped) -> :BAR
-  def foo: (untyped) -> :BAR
+  def bar: (:FOO | untyped n) -> :BAR
+  def foo: (untyped n) -> :BAR
 end

data/smoke/define_method3.rb CHANGED

@@ -9,5 +9,6 @@ __END__
 # Classes
 class Foo
   @log: Integer
 # def foo: () -> void
 end

data/smoke/define_method4.rb CHANGED

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Foo
 # def foo: () -> NilClass
-  def bar: (*untyped, **Hash[untyped, untyped]) -> nil
+  def bar: (*untyped messages, **untyped) -> nil
 end

data/smoke/define_method6.rb ADDED

@@ -0,0 +1,19 @@
+class A
+  %i[a b].each.with_index { |sym, i| define_method(sym) { i } }
+end
+def foo
+  A.new.a + A.new.b
+end
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Integer
+end
+class A
+  def a: -> Integer
+  def b: -> Integer
+end

data/smoke/demo.rb CHANGED

@@ -66,16 +66,16 @@ __END__
 # Classes
 class Object
   private
-  def foo: (bool) -> (Integer | String)
-  def identity: (:sym | Integer | String) -> (:sym | Integer | String)
-  def fib: (Integer) -> Integer
+  def foo: (bool x) -> (Integer | String)
+  def identity: (:sym | Integer | String x) -> (:sym | Integer | String)
+  def fib: (Integer x) -> Integer
 end
 class A
-  def foo: (Integer | String) -> nil
-  def bar: (Integer | String) -> nil
+  def foo: (Integer | String x) -> nil
+  def bar: (Integer | String x) -> nil
 end
 class B < A
-  def bar: (Integer | String) -> nil
+  def bar: (Integer | String x) -> nil
 end

data/smoke/demo1.rb CHANGED

@@ -13,5 +13,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (bool) -> (Integer | String)
+  def foo: (bool x) -> (Integer | String)
 end

data/smoke/demo11.rb CHANGED

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def swap: ([Integer, String]) -> [String, Integer]
+  def swap: ([Integer, String] a) -> [String, Integer]
 end

data/smoke/demo2.rb CHANGED

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Object
   private
-  def my_to_s: (:sym | Integer | String) -> String
+  def my_to_s: (:sym | Integer | String x) -> String
 end

data/smoke/demo3.rb CHANGED

@@ -13,5 +13,5 @@ __END__
 # Classes
 class Object
   private
-  def fib: (Integer) -> Integer
+  def fib: (Integer x) -> Integer
 end

data/smoke/demo4.rb CHANGED

@@ -18,10 +18,10 @@ B.new.foo("str")
 __END__
 # Classes
 class A
-  def foo: (Integer | String) -> nil
-  def bar: (Integer | String) -> nil
+  def foo: (Integer | String x) -> nil
+  def bar: (Integer | String x) -> nil
 end
 class B < A
-  def bar: (Integer | String) -> nil
+  def bar: (Integer | String x) -> nil
 end

data/smoke/demo5.rb CHANGED

@@ -9,7 +9,7 @@ B.foo(Integer)
 __END__
 # Classes
 class A
-  def self.foo: (Integer | singleton(Integer)) -> String
+  def self.foo: (Integer | singleton(Integer) x) -> String
 end
 class B < A

data/smoke/demo6.rb CHANGED

@@ -16,6 +16,7 @@ __END__
 # Classes
 class Foo
   @foo: Integer | String
-  def foo=: (Integer | String) -> (Integer | String)
+  def foo=: (Integer | String x) -> (Integer | String)
   def foo: -> (Integer | String)
 end

data/smoke/demo7.rb CHANGED

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer) { (Integer) -> String } -> String
+  def foo: (Integer x) { (Integer) -> String } -> String
 end

data/smoke/demo9.rb CHANGED

@@ -12,6 +12,7 @@ __END__
 # Classes
 class Object
   F: ^(Integer) -> String
   private
   def foo: { (:sym) -> String } -> String
 end

data/smoke/dummy-execution1.rb CHANGED

@@ -10,6 +10,6 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer | untyped) -> (Integer | untyped)
+  def foo: (Integer | untyped n) -> (Integer | untyped)
   def bar: -> (Integer | untyped)
 end

data/smoke/dummy-execution2.rb CHANGED

@@ -11,6 +11,6 @@ end
 __END__
 # Classes
 class Foo
-  def foo: (Integer | untyped) -> (Integer | untyped)
+  def foo: (Integer | untyped n) -> (Integer | untyped)
   def self.bar: -> (Integer | untyped)
 end

data/smoke/dummy_element.rb CHANGED

@@ -10,5 +10,5 @@ Foo.new.f
 __END__
 # Classes
 class Foo
-  def f: (**Hash[untyped, untyped]) -> nil
+  def f: (**untyped) -> nil
 end

data/smoke/ensure1.rb CHANGED

@@ -16,6 +16,6 @@ __END__
 # Classes
 class Object
   private
-  def foo: ((:sym | Integer | String)?) -> Integer
+  def foo: ((:sym | Integer | String)? x) -> Integer
   def bar: -> :sym
 end

data/smoke/enum_for.rb ADDED

@@ -0,0 +1,15 @@
+def log
+  nn = nil
+  ary = [1, "str"].to_enum.map do |n|
+    nn = n
+    n.to_s
+  end
+  return nn, ary
+end
+__END__
+# Classes
+class Object
+  private
+  def log: -> ([(Integer | String)?, Array[String]])
+end

data/smoke/enum_for2.rb ADDED

@@ -0,0 +1,17 @@
+class Foo
+  def int_and_str_enum
+    return enum_for(__method__) unless block_given?
+    yield 1
+    yield 2
+    yield 3
+    1.0
+  end
+end
+__END__
+# Classes
+class Foo
+  def int_and_str_enum: ?{ (Integer) -> untyped } -> (Enumerator[Integer, untyped] | Float)
+end

data/smoke/fib.rb CHANGED

@@ -23,6 +23,6 @@ Fib.new.fib_rec(42)
 __END__
 # Classes
 class Fib
-  def fib_loop: (Integer) -> Integer
-  def fib_rec: (Integer) -> Integer
+  def fib_loop: (Integer x) -> Integer
+  def fib_rec: (Integer x) -> Integer
 end

data/smoke/flow1.rb CHANGED

@@ -13,5 +13,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer | String) -> (Integer | String)
+  def foo: (Integer | String n) -> (Integer | String)
 end

data/smoke/flow10.rb ADDED

@@ -0,0 +1,17 @@
+def foo
+  if block_given?
+    yield 42
+  else
+    1.0
+  end
+end
+foo
+foo {|n| n.to_s }
+__END__
+# Classes
+class Object
+  private
+  def foo: ?{ (Integer) -> String } -> (Float | String)
+end

data/smoke/flow2.rb CHANGED

@@ -11,5 +11,5 @@ smoke/flow2.rb:5: [error] undefined method: Object#unknown
 # Classes
 class Object
   private
-  def foo: (untyped) -> Integer
+  def foo: (untyped x) -> Integer
 end

data/smoke/flow3.rb CHANGED

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer?) -> Integer?
+  def foo: (Integer? x) -> Integer?
 end

data/smoke/flow5.rb CHANGED

@@ -16,5 +16,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer | String) -> Integer
+  def foo: (Integer | String x) -> Integer
 end

data/smoke/flow6.rb CHANGED

@@ -16,5 +16,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer | String) -> String
+  def foo: (Integer | String x) -> String
 end

data/smoke/flow7.rb CHANGED

@@ -17,5 +17,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (:sym | Integer | String) -> (:sym | Integer | String)
+  def foo: (:sym | Integer | String n) -> (:sym | Integer | String)
 end

data/smoke/flow8.rb CHANGED

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer?) -> Integer
+  def foo: (Integer? n) -> Integer
 end

data/smoke/flow9.rb CHANGED

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (untyped) -> String?
+  def foo: (untyped obj) -> String?
 end

data/smoke/function.rb CHANGED

@@ -13,5 +13,5 @@ __END__
 class Object
   private
   def no_argument: -> String
-  def one_argument: (Integer) -> nil
+  def one_argument: (Integer x) -> nil
 end

data/smoke/gvar.rb CHANGED

@@ -10,5 +10,5 @@ $foo: Integer | String
 # Classes
 class Object
   private
-  def log: (Integer | String) -> nil
+  def log: (Integer | String x) -> nil
 end

data/smoke/gvar2.rb CHANGED

@@ -6,7 +6,7 @@ end
 __END__
 # Errors
-smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared global variable
+smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared variable
 # Global variables
 #$foo: String

data/smoke/hash-fetch.rb CHANGED

@@ -22,7 +22,7 @@ __END__
 # Classes
 class Object
   private
-  def foo: ({a: :A, b: :B}) -> (:A | :B)
-  def bar: ({a: :A, b: :B}) -> (:A | :B | :C)
-  def baz: ({a: :A, b: :B}) -> ([:A | :B | :C, (:a | :b)?])
+  def foo: ({a: :A, b: :B} h) -> (:A | :B)
+  def bar: ({a: :A, b: :B} h) -> (:A | :B | :C)
+  def baz: ({a: :A, b: :B} h) -> ([:A | :B | :C, (:a | :b)?])
 end

data/smoke/inheritance.rb CHANGED

@@ -24,11 +24,11 @@ B.test("str")
 __END__
 # Classes
 class A
-  def foo: (Integer | String) -> nil
-  def bar: (Integer | String) -> nil
-  def self.test: (Integer | String) -> nil
+  def foo: (Integer | String x) -> nil
+  def bar: (Integer | String x) -> nil
+  def self.test: (Integer | String x) -> nil
 end
 class B < A
-  def bar: ((Integer | String)?) -> nil
+  def bar: ((Integer | String)? x) -> nil
 end

data/smoke/initialize.rb CHANGED

@@ -16,12 +16,13 @@ __END__
 # Classes
 class Object
   private
-  def log: (A) -> nil
+  def log: (A x) -> nil
 end
 class A
   @int: Integer
   @str: String
   @val: (Integer | String)?
-  def initialize: ((Integer | String)?) -> ((Integer | String)?)
+  def initialize: ((Integer | String)? x) -> ((Integer | String)?)
 end

data/smoke/instance_eval.rb CHANGED

@@ -14,5 +14,5 @@ __END__
 # Classes
 class C
   def self.foo: { (C) -> nil } -> C
-  def log: (Integer) -> nil
+  def log: (Integer n) -> nil
 end