typeprof 0.2.0 → 0.5.0

data/smoke/hash-merge-bang.rb

@@ -0,0 +1,11 @@
+def foo
+  h = { a: 42 }
+  h0 = h.merge!({ b: "str" })
+  return h0, h
+end
+
+__END__
+# Classes
+class Object
+  def foo : -> ([{b: Integer | String, a: Integer | String}, {a: Integer}])
+end

data/smoke/hash1.rb

@@ -13,6 +13,6 @@ bar
 __END__
 # Classes
 class Object
-  def foo : -> {:int=>Integer, :str=>String}
+  def foo : -> {int: Integer, str: String}
   def bar : -> ({Integer=>Integer | String, String=>String})
 end

data/smoke/hash3.rb

@@ -9,5 +9,5 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> {:int=>Integer, :str=>String}
+  def foo : -> {int: Integer, str: String}
 end

data/smoke/hash4.rb

@@ -6,5 +6,5 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> Hash
+  def foo : -> {}
 end

data/smoke/instance_eval.rb

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

data/smoke/int_times.rb

@@ -1,7 +1,7 @@
 def foo(n)
   z = "str"
   n.times {|i| z = i }
-  # TODO: n.times { z = 42 }
+  n.times { z = 42 }
   z
 end
 

data/smoke/ivar2.rb

@@ -24,7 +24,7 @@ __END__
 # Classes
 class Foo
   attr_reader array : Array[:sym | Integer | String]
-  attr_reader hash : {:a=>Integer, :b=>String, :c=>:sym}
+  attr_reader hash : {a: Integer, b: String, c: :sym}
   def initialize : -> {}
   def set : -> :sym
 end

data/smoke/keyword3.rb

@@ -1,4 +1,3 @@
-# TODO: foo should accept "s: String | [Integer]"?
 def foo(n: 42, s: [n])
   [n, s]
 end
@@ -8,5 +7,5 @@ foo(n: 42, s: "str")
 __END__
 # Classes
 class Object
-  def foo : (?n: Integer, ?s: String) -> ([Integer, String | [Integer]])
+  def foo : (?n: Integer, ?s: String | [Integer]) -> ([Integer, String | [Integer]])
 end

data/smoke/keyword4.rb

@@ -7,5 +7,5 @@ foo(n: 42, s: "str")
 __END__
 # Classes
 class Object
-  def foo : (**{:n=>Integer, :s=>String}) -> nil
+  def foo : (**{n: Integer, s: String}) -> {n: Integer, s: String}
 end

data/smoke/kwsplat1.rb

@@ -37,6 +37,6 @@ smoke/kwsplat1.rb:30: [error] undefined method: Object#any
 class Object
   def foo : (k: Integer) -> nil
   def bar : (int: Integer, str: String) -> nil
-  def baz : (**{:int=>Integer, :str=>String}) -> nil
+  def baz : (**{int: Integer, str: String}) -> nil
   def qux : (**{untyped=>untyped}) -> nil
 end

data/smoke/kwsplat2.rb

@@ -8,5 +8,5 @@ foo(*a, **h)
 __END__
 # Classes
 class Object
-  def foo : (*Integer | {:k=>Integer}, k: Integer) -> nil
+  def foo : (*Integer | {k: Integer}, k: Integer) -> nil
 end

data/smoke/module4.rb

@@ -25,8 +25,10 @@ module M2
 end
 
 module M1
+  extend M2
   def foo : -> :m1_foo
 end
 
 class C
+  extend M1
 end

data/smoke/multiple-superclass.rb

@@ -14,6 +14,10 @@ __END__
 smoke/multiple-superclass.rb:9: [warning] superclass is not a class; Object is used instead
 
 # Classes
+class Object
+  Base : A.class | B.class
+end
+
 class A
 end
 

data/smoke/next2.rb

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

data/smoke/optional1.rb

@@ -9,5 +9,5 @@ foo("A", "B", "C", "Z")
 __END__
 # Classes
 class Object
-  def foo : (String, ?String, ?String, String) -> ([String, Integer | String, Integer | String, String])
+  def foo : (String, ?Integer | String, ?Integer | String, String) -> ([String, Integer | String, Integer | String, String])
 end

data/smoke/optional2.rb

@@ -11,5 +11,5 @@ foo("A", "B", "C", "D", "E", "Z")
 __END__
 # Classes
 class Object
-  def foo : (String, ?String, ?String, *String, String) -> ([String, Integer | String, Integer | String, Array[String], String])
+  def foo : (String, ?Integer | String, ?Integer | String, *String, String) -> ([String, Integer | String, Integer | String, Array[String], String])
 end

data/smoke/optional3.rb

@@ -0,0 +1,10 @@
+def foo(n = 1)
+end
+
+foo("str")
+
+__END__
+# Classes
+class Object
+  def foo : (?Integer | String) -> nil
+end

data/smoke/pattern-match1.rb

@@ -0,0 +1,23 @@
+# RUBY_VERSION >= 3.0
+
+def foo
+  case [:a, :b, :c]
+  in [a, b, :c]
+    # Due to very subtle detail of bytecode, the variables "a" and "b" could be nil
+    return a, b
+  end
+end
+
+foo
+
+__END__
+# Errors
+smoke/pattern-match1.rb:5: [error] undefined method: nil#length
+smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
+smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
+smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
+
+# Classes
+class Object
+  def foo : -> ([:a | untyped, :b | untyped])
+end

data/smoke/pattern-match2.rb

@@ -0,0 +1,15 @@
+# RUBY_VERSION >= 3.0
+
+def foo
+  case { a: :A, b: :B, c: :C }
+  in { a:, b: bb, c: :C }
+    return a, bb
+  end
+end
+
+foo
+__END__
+# Classes
+class Object
+  def foo : -> [:A, :B]
+end

data/smoke/proc4.rb

@@ -7,5 +7,5 @@ foo(-> x { "str" })
 __END__
 # Classes
 class Object
-  def foo : (Proc[(Integer) -> String]) -> String
+  def foo : (^(Integer) -> String) -> String
 end

data/smoke/rbs-extend.rb

@@ -0,0 +1,9 @@
+def log
+  C.foo
+end
+
+__END__
+# Classes
+class Object
+  def log : -> Integer
+end

data/smoke/rbs-extend.rbs

@@ -0,0 +1,7 @@
+module M
+  def foo: -> Integer
+end
+
+class C
+  extend M
+end

data/smoke/rbs-interface.rb

@@ -0,0 +1,24 @@
+def get_module
+  C.new.get_module
+end
+
+def get_module_foo
+  C.new.get_module.foo
+end
+
+def get_interface
+  C.new.get_interface
+end
+
+def get_interface_foo
+  C.new.get_interface.foo
+end
+
+__END__
+# Classes
+class Object
+  def get_module : -> M
+  def get_module_foo : -> Integer
+  def get_interface : -> _I
+  def get_interface_foo : -> Integer
+end

data/smoke/rbs-interface.rbs

@@ -0,0 +1,12 @@
+module M
+  def foo: -> Integer
+end
+
+interface _I
+  def foo: -> Integer
+end
+
+class C
+  def get_module : -> M
+  def get_interface : -> _I
+end

data/smoke/rbs-proc1.rb

@@ -0,0 +1,9 @@
+def log
+  Foo.new.foo.call(42)
+end
+
+__END__
+# Classes
+class Object
+  def log : -> Integer
+end

data/smoke/rbs-proc1.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: -> ^(Integer) -> Integer
+end

data/smoke/rbs-proc2.rb

@@ -0,0 +1,20 @@
+# two issues:
+# (1) TypedProc should call `-> n { log1(n) }` with an Integer, but not implemented yet
+# (2) log1 returns a String, which is inconsistent and should be reported
+
+def log1(n)
+  n.to_s # XXX: should be reported as "inconsistent with RBS"
+end
+
+def log2
+  Foo.new.foo(-> n { log1(n) })
+end
+
+log2
+
+__END__
+# Classes
+class Object
+  def log1 : (untyped) -> untyped
+  def log2 : -> String
+end

data/smoke/rbs-proc2.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: (^(Integer) -> Integer) -> String
+end

data/smoke/rbs-proc3.rb

@@ -0,0 +1,13 @@
+def log(foo)
+  foo.get.call
+end
+
+foo = Foo.new
+foo.set(1)
+log(foo)
+
+__END__
+# Classes
+class Object
+  def log : (Foo[Integer]) -> Integer
+end

data/smoke/rbs-proc3.rbs

@@ -0,0 +1,4 @@
+class Foo[X]
+  def set: (X) -> void
+  def get: -> ^() -> X
+end

data/smoke/rbs-record.rb

@@ -0,0 +1,17 @@
+def test_foo
+  h = C.new.foo
+  return h[:aaa], h[:bbb]
+end
+
+def test_bar
+  h = { }
+  h[:a] = 42
+  C.new.bar(h)
+end
+
+__END__
+# Classes
+class Object
+  def test_foo : -> [Integer, String]
+  def test_bar : -> Integer
+end

data/smoke/rbs-record.rbs

@@ -0,0 +1,4 @@
+class C
+  def foo: -> { aaa: Integer, bbb: String }
+  def bar: ({ a: Integer }) -> Integer
+end

data/smoke/rbs-tyvar.rb

@@ -0,0 +1,18 @@
+def foo
+  cell = Cell.new("str")
+  cell.set_elem(42) if rand < 0.5
+  cell
+end
+
+def bar
+  foo.get_elem
+end
+
+bar
+
+__END__
+# Classes
+class Object
+  def foo : -> (Cell[Integer | String])
+  def bar : -> (Integer | String)
+end

data/smoke/rbs-tyvar.rbs

@@ -0,0 +1,5 @@
+class Cell[T]
+  def initialize : (T) -> void
+  def set_elem : (T) -> void
+  def get_elem : -> T
+end

data/smoke/rbs-tyvar2.rb

@@ -0,0 +1,20 @@
+def foo
+  cell = Cell.new(:a1, :b1, :c1)
+  cell.set_a(:a2)
+  cell.set_b(:b2)
+  cell.set_c(:c2)
+  cell
+end
+
+def bar
+  foo.get_b
+end
+
+bar
+
+__END__
+# Classes
+class Object
+  def foo : -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
+  def bar : -> (:b1 | :b2)
+end

data/smoke/rbs-tyvar2.rbs

@@ -0,0 +1,9 @@
+class Cell[A, B, C]
+  def initialize : (A, B, C) -> void
+  def set_a : (A) -> void
+  def set_b : (B) -> void
+  def set_c : (C) -> void
+  def get_a : -> A
+  def get_b : -> B
+  def get_c : -> C
+end

data/smoke/rbs-tyvar3.rb

@@ -0,0 +1,17 @@
+def foo
+  cell = Cell.new(42)
+  cell.map {|s| (s + 1).to_s }
+end
+
+def bar
+  cell = Cell.new(42)
+  cell.map! {|s| (s + 1).to_s }
+  cell
+end
+
+__END__
+# Classes
+class Object
+  def foo : -> Cell[String]
+  def bar : -> (Cell[Integer | String])
+end

data/smoke/rbs-tyvar3.rbs

@@ -0,0 +1,5 @@
+class Cell[T]
+  def initialize : (T) -> void
+  def map: [A] { (T) -> A } -> Cell[A]
+  def map!: { (T) -> T } -> self
+end

data/smoke/rbs-tyvar4.rb

@@ -0,0 +1,36 @@
+# This code is created by simplifying matrix.rb.
+# The issue occurs when `Array.new` creates a cell-type container,
+# so this test will be obsolete, but keep it just for case of regression.
+#
+# https://github.com/ruby/typeprof/issues/14
+
+class Foo
+  def initialize(ivar)
+    @ivar = ivar
+  end
+
+  def foo(n)
+    @ivar.each_with_index { }
+    nil
+  end
+end
+
+Foo.new([])
+
+rows = Array.new(1) do |i|
+  Array.new(1) do |j|
+    "str"
+  end
+end
+obj = Foo.new(rows)
+
+obj.foo(:a)
+obj.foo(:b)
+
+__END__
+# Classes
+class Foo
+  @ivar : Array[Array[String]]
+  def initialize : (Array[Array[String]]) -> Array[Array[String]]
+  def foo : (:a | :b) -> nil
+end