RubyGems - typeprof - Versions diffs - 0.9.2 → 0.14.0 - Mend

typeprof 0.9.2 → 0.14.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 (189) 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 +201 -104
data/lib/typeprof/block.rb +39 -4
data/lib/typeprof/builtin.rb +217 -70
data/lib/typeprof/cli.rb +7 -0
data/lib/typeprof/config.rb +30 -14
data/lib/typeprof/container-type.rb +24 -0
data/lib/typeprof/export.rb +134 -74
data/lib/typeprof/import.rb +87 -39
data/lib/typeprof/iseq.rb +116 -41
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/break4.rb +17 -0
data/smoke/class_eval.rb +22 -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/define_method7.rb +18 -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/extended.rb +38 -0
data/smoke/fib.rb +2 -2
data/smoke/flow1.rb +1 -1
data/smoke/flow10.rb +17 -0
data/smoke/flow11.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/included.rb +38 -0
data/smoke/inheritance.rb +4 -4
data/smoke/inherited.rb +26 -0
data/smoke/initialize.rb +3 -2
data/smoke/instance_eval.rb +2 -2
data/smoke/instance_eval4.rb +12 -0
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 +1 -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 +1 -0
data/smoke/manual-rbs3.rb +1 -0
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 +1 -1
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 +25 -5

data/smoke/class_method.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

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

data/smoke/cvar.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

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

data/smoke/define_method4.rb CHANGED Viewed

@@ -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 Viewed

@@ -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/define_method7.rb ADDED Viewed

@@ -0,0 +1,18 @@
+class Human
+  define_method(:fo) { }
+  [:a, :b].each { |m|
+    define_method(m) { }
+  }
+end
+Human.new.a
+Human.new.b
+__END__
+# Classes
+class Human
+  def fo: -> nil
+  def a: -> nil
+  def b: -> nil
+end

data/smoke/demo.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

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

data/smoke/demo4.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

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

data/smoke/dummy-execution1.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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/extended.rb ADDED Viewed

@@ -0,0 +1,38 @@
+module Foo
+  @extended = []
+  def self.extended(klass)
+    @extended << klass
+  end
+end
+class C
+  extend Foo
+end
+class D
+  extend Foo
+end
+class E
+  extend Foo
+end
+__END__
+# Classes
+module Foo
+  self.@extended: Array[singleton(C) | singleton(D) | singleton(E)]
+  def self.extended: (singleton(C) | singleton(D) | singleton(E) klass) -> (Array[singleton(C) | singleton(D) | singleton(E)])
+end
+class C
+  extend Foo
+end
+class D
+  extend Foo
+end
+class E
+  extend Foo
+end

data/smoke/fib.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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/flow11.rb ADDED Viewed

@@ -0,0 +1,17 @@
+def foo(arg)
+  if Integer === arg
+    arg
+  else
+    42
+  end
+end
+foo("str")
+foo(1)
+__END__
+# Classes
+class Object
+  private
+  def foo: (Integer | String arg) -> Integer
+end

data/smoke/flow2.rb CHANGED Viewed

@@ -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 Viewed

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

data/smoke/flow5.rb CHANGED Viewed

@@ -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 Viewed

@@ -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 Viewed

@@ -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