typeprof 0.5.3 → 0.8.0

data/smoke/rest6.rb

@@ -7,5 +7,6 @@ foo("x", "x")
 __END__
 # Classes
 class Object
+  private
   def foo : (?Integer | String, *String) -> [Array[String]]
 end

data/smoke/retry1.rb

@@ -15,6 +15,7 @@ foo(42)
 __END__
 # Classes
 class Object
+  private
   def bar : (Integer | String) -> (Integer | String)
   def foo : (Integer | String) -> (Integer | String)
 end

data/smoke/return.rb

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

data/smoke/step.rb

@@ -11,6 +11,7 @@ log3(1.step(5))
 __END__
 # Classes
 class Object
+  private
   def log1 : (Integer | Numeric) -> nil
   def log2 : (void) -> nil
   def log3 : (Enumerator[Integer | Numeric]) -> nil

data/smoke/string-split.rb

@@ -7,5 +7,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> Array[Integer]
 end

data/smoke/struct.rb

@@ -5,9 +5,9 @@ end
 Foo.new.a = 1
 __END__
 # Classes
-class (Anonymous Struct) < Struct
+class AnonymousStruct_generated_1 < Struct
   attr_accessor a() : untyped
 end
 
-class Foo < (Anonymous Struct)
+class Foo < AnonymousStruct_generated_1
 end

data/smoke/struct2.rb

@@ -14,6 +14,7 @@ foobar.bar = :sym
 __END__
 # Classes
 class Object
+  private
   def gen_foobar : -> FooBar
 end
 

data/smoke/super1.rb

@@ -34,6 +34,7 @@ Baz.new.f(A.new)
 __END__
 # Classes
 class Object
+  private
   def log : (Baz) -> nil
 end
 

data/smoke/super4.rb

@@ -0,0 +1,43 @@
+module M1
+  def f(m); super :M1; end
+end
+module M2
+  def f(m); super :M2; end
+end
+class C
+  def f(m); end
+end
+class D < C
+  def f(m); super :D; end
+  include M1
+end
+class E < D
+  def f(m); super :E; end
+  include M2
+end
+
+E.new.f(:top)
+
+__END__
+# Classes
+module M1
+  def f : (:D) -> nil
+end
+
+module M2
+  def f : (:E) -> nil
+end
+
+class C
+  def f : (:M1) -> nil
+end
+
+class D < C
+  include M1
+  def f : (:M2) -> nil
+end
+
+class E < D
+  include M2
+  def f : (:top) -> nil
+end

data/smoke/super5.rb

@@ -0,0 +1,36 @@
+module M
+  def f(m); super :M; end
+end
+class C
+  def f(m); end
+end
+class D < C
+  def f(m); super :D; end
+  include M
+end
+class E < D
+  def f(m); super :E; end
+  include M
+end
+
+E.new.f(:top)
+
+__END__
+# Classes
+module M
+  def f : (:D | :E) -> nil
+end
+
+class C
+  def f : (:M) -> nil
+end
+
+class D < C
+  include M
+  def f : (:M) -> nil
+end
+
+class E < D
+  include M
+  def f : (:top) -> nil
+end

data/smoke/svar1.rb

@@ -8,5 +8,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> [String?, String?]
 end

data/smoke/symbol-proc.rb

@@ -15,6 +15,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> Array[String]
   def bar : -> Array[:foo]
 end

data/smoke/tap1.rb

@@ -12,6 +12,7 @@ foo(1)
 __END__
 # Classes
 class Object
+  private
   def bar : (Integer) -> nil
   def foo : (Integer) -> Integer
 end

data/smoke/toplevel.rb

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

data/smoke/two-map.rb

@@ -12,6 +12,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> Array[String]
   def bar : -> Array[Integer]
 end

data/smoke/type_var.rb

@@ -6,5 +6,6 @@ number?('string')
 __END__
 # Classes
 class Object
+  private
   def number? : (String) -> nil
 end

data/smoke/typed_method.rb

@@ -11,5 +11,6 @@ smoke/typed_method.rb:6: [error] undefined method: Object#unknown
 
 # Classes
 class Object
+  private
   def foo : -> Float
 end

data/smoke/uninitialize-var.rb

@@ -8,5 +8,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> nil
 end

data/smoke/union-recv.rb

@@ -21,11 +21,11 @@ end
 __END__
 # Classes
 class SuperBase
-  def self.foo : -> (A.class | B.class)
+  def self.foo : -> (singleton(A) | singleton(B))
 end
 
 class Base < SuperBase
-  def self.foo : -> (A.class | B.class)
+  def self.foo : -> (singleton(A) | singleton(B))
 end
 
 class A < Base

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.5.3
+  version: 0.8.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-11-17 00:00:00.000000000 Z
+date: 2020-12-01 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -84,6 +84,7 @@ files:
 - smoke/array-plus1.rb
 - smoke/array-plus2.rb
 - smoke/array-pop.rb
+- smoke/array-range-aref.rb
 - smoke/array-replace.rb
 - smoke/array-s-aref.rb
 - smoke/array1.rb
@@ -101,6 +102,7 @@ files:
 - smoke/array8.rb
 - smoke/array9.rb
 - smoke/attr.rb
+- smoke/autoload.rb
 - smoke/backtrace.rb
 - smoke/block-ambiguous.rb
 - smoke/block-args1-rest.rb
@@ -145,6 +147,8 @@ files:
 - smoke/context-sensitive1.rb
 - smoke/cvar.rb
 - smoke/cvar2.rb
+- smoke/define_method.rb
+- smoke/define_method2.rb
 - smoke/demo.rb
 - smoke/demo1.rb
 - smoke/demo10.rb
@@ -201,6 +205,8 @@ files:
 - smoke/keyword3.rb
 - smoke/keyword4.rb
 - smoke/keyword5.rb
+- smoke/kwrest.rb
+- smoke/kwrest.rbs
 - smoke/kwsplat1.rb
 - smoke/kwsplat2.rb
 - smoke/manual-rbs.rb
@@ -213,6 +219,7 @@ files:
 - smoke/masgn2.rb
 - smoke/masgn3.rb
 - smoke/method_in_branch.rb
+- smoke/method_missing.rb
 - smoke/module1.rb
 - smoke/module2.rb
 - smoke/module3.rb
@@ -229,6 +236,7 @@ files:
 - smoke/optional2.rb
 - smoke/optional3.rb
 - smoke/parameterizedd-self.rb
+- smoke/parameterizedd-self2.rb
 - smoke/pathname1.rb
 - smoke/pathname2.rb
 - smoke/pattern-match1.rb
@@ -243,6 +251,8 @@ files:
 - smoke/rbs-alias.rbs
 - smoke/rbs-attr.rb
 - smoke/rbs-attr.rbs
+- smoke/rbs-attr2.rb
+- smoke/rbs-attr2.rbs
 - smoke/rbs-extend.rb
 - smoke/rbs-extend.rbs
 - smoke/rbs-interface.rb
@@ -264,6 +274,10 @@ files:
 - smoke/rbs-tyvar4.rb
 - smoke/rbs-tyvar5.rb
 - smoke/rbs-tyvar5.rbs
+- smoke/rbs-tyvar6.rb
+- smoke/rbs-tyvar6.rbs
+- smoke/rbs-tyvar7.rb
+- smoke/rbs-tyvar7.rbs
 - smoke/rbs-vars.rb
 - smoke/rbs-vars.rbs
 - smoke/redo1.rb
@@ -292,6 +306,8 @@ files:
 - smoke/super1.rb
 - smoke/super2.rb
 - smoke/super3.rb
+- smoke/super4.rb
+- smoke/super5.rb
 - smoke/svar1.rb
 - smoke/symbol-proc.rb
 - smoke/tap1.rb