typeprof 0.1.0

data/smoke/array-mul.rb

@@ -0,0 +1,17 @@
+def foo(a)
+  a * 3
+end
+
+def bar(a)
+  a * "join"
+end
+
+foo([1, 2, 3])
+bar([1, 2, 3])
+
+__END__
+# Classes
+class Object
+  def foo : ([Integer, Integer, Integer]) -> Array[Integer]
+  def bar : ([Integer, Integer, Integer]) -> String
+end

data/smoke/array-plus1.rb

@@ -0,0 +1,10 @@
+def log(x)
+end
+
+log([1] + ["str"] + [2] + [:sym])
+
+__END__
+# Classes
+class Object
+  def log : (Array[:sym | Integer | String]) -> nil
+end

data/smoke/array-plus2.rb

@@ -0,0 +1,15 @@
+class Foo
+  def foo
+    @var = [1]
+    @var = @var + [2]
+  end
+end
+
+Foo.new.foo
+
+__END__
+# Classes
+class Foo
+  @var : Array[Integer]
+  def foo : -> Array[Integer]
+end

data/smoke/array-pop.rb

@@ -0,0 +1,11 @@
+def foo
+  [1, "str", :sym].pop()
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> (:sym | Integer | String)
+end

data/smoke/array-replace.rb

@@ -0,0 +1,12 @@
+def foo(a)
+  a.replace(["str"])
+  a
+end
+
+foo([1, 2, 3])
+
+__END__
+# Classes
+class Object
+  def foo : ([Integer, Integer, Integer]) -> (Array[Integer | String])
+end

data/smoke/array-s-aref.rb

@@ -0,0 +1,11 @@
+def foo
+  Array[42, "str"]
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> (Array[Integer | String])
+end

data/smoke/array1.rb

@@ -0,0 +1,26 @@
+def foo(a)
+  a[0]
+end
+def bar(n); end
+def baz(n); end
+def qux(n); end
+def quux(n); end
+
+a = [42, "str"]
+foo(a)
+bar(a[0])
+n = 1
+baz(a[n])
+qux(a[2])
+n = 0+0
+quux(a[n])
+
+__END__
+# Classes
+class Object
+  def foo : ([Integer, String]) -> Integer
+  def bar : (Integer) -> nil
+  def baz : (String) -> nil
+  def qux : (nil) -> nil
+  def quux : (Integer | String) -> nil
+end

data/smoke/array10.rb

@@ -0,0 +1,14 @@
+def foo(a)
+  1.times do
+    x, y = a
+    return x
+  end
+end
+
+foo([:a, :b, :c])
+
+__END__
+# Classes
+class Object
+  def foo : ([:a, :b, :c]) -> :a
+end

data/smoke/array11.rb

@@ -0,0 +1,13 @@
+def array(obj)
+    Array(obj)
+end
+
+array({1=>1})
+array([1]+[2])
+array("foo")
+
+__END__
+# Classes
+class Object
+  def array : (Array[Integer] | String | {Integer=>Integer}) -> (Array[Integer | String | {Integer=>Integer}])
+end

data/smoke/array12.rb

@@ -0,0 +1,24 @@
+def bar(x)
+end
+
+def test_yield
+  yield
+end
+
+def foo
+  a = [1]
+  test_yield do
+    bar(a)
+  end
+  a
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def bar : ([Integer]) -> nil
+  def test_yield : { () -> nil } -> nil
+  def foo : -> [Integer]
+end

data/smoke/array13.rb

@@ -0,0 +1,30 @@
+def tuple_set
+  ary = [:a, :b, :c]
+  ary[-1] = :z
+  ary
+end
+
+def tuple_get
+  ary = [:a, :b, :c]
+  ary[-1]
+end
+
+def seq_set
+  ary = [:a, :b, :c] + []
+  ary[-1] = :z
+  ary
+end
+
+def seq_get
+  ary = [:a, :b, :c] + []
+  ary[-1]
+end
+
+__END__
+# Classes
+class Object
+  def tuple_set : -> [:a, :b, :z]
+  def tuple_get : -> :c
+  def seq_set : -> (Array[:a | :b | :c | :z])
+  def seq_get : -> (:a | :b | :c)
+end

data/smoke/array14.rb

@@ -0,0 +1,13 @@
+def f(a, b, c)
+  ary = [nil]
+  foo, bar, ary[0] = a, b, c
+  ary[0]
+end
+
+f(:a, :b, :c)
+
+__END__
+# Classes
+class Object
+  def f : (:a, :b, :c) -> :c
+end

data/smoke/array2.rb

@@ -0,0 +1,27 @@
+def foo
+  a = [[42]]
+  a[0][0] = "str"
+  a
+end
+
+def bar(a)
+  a[0][0] = "str"
+  a
+end
+
+def log(a)
+end
+
+foo
+a = [[42]]
+bar(a)
+# limitation: a is kept as [[Integer]]
+log(a)
+
+__END__
+# Classes
+class Object
+  def foo : -> [[String]]
+  def bar : ([[Integer]]) -> [[String]]
+  def log : ([[Integer]]) -> nil
+end

data/smoke/array3.rb

@@ -0,0 +1,25 @@
+class Foo
+  def initialize
+    @ary = [1, "str", :sym]
+  end
+
+  def foo
+    @ary[1]
+  end
+
+  def bar
+    @ary[1] = nil
+  end
+end
+
+Foo.new.foo
+Foo.new.bar
+
+__END__
+# Classes
+class Foo
+  @ary : [Integer, String?, :sym]
+  def initialize : -> [Integer, String, :sym]
+  def foo : -> String?
+  def bar : -> nil
+end

data/smoke/array4.rb

@@ -0,0 +1,14 @@
+def foo
+  while 1+1
+    a = [1]
+  end
+  a
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> [Integer]?
+end

data/smoke/array5.rb

@@ -0,0 +1,13 @@
+def foo
+  a = [[nil]]
+  a[0] = a
+  a
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> [untyped]
+end

data/smoke/array6.rb

@@ -0,0 +1,14 @@
+ARY = []
+
+def foo(i, v)
+  ARY[i] = v
+  ARY
+end
+
+foo(1, "str")
+
+__END__
+# Classes
+class Object
+  def foo : (Integer, String) -> []
+end

data/smoke/array7.rb

@@ -0,0 +1,13 @@
+def foo
+  a = [1]
+  a[1] = "str"
+  a
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> (Array[Integer | String])
+end

data/smoke/array8.rb

@@ -0,0 +1,13 @@
+class Foo
+  def self.foo(a)
+    a
+  end
+
+  foo([])
+end
+
+__END__
+# Classes
+class Foo
+  def self.foo : ([]) -> []
+end

data/smoke/array9.rb

@@ -0,0 +1,12 @@
+def foo(a)
+end
+
+foo([:a, :b, :c])
+foo([:a, :b])
+foo([:a])
+
+__END__
+# Classes
+class Object
+  def foo : (Array[:a | :b | :c]) -> nil
+end

data/smoke/attr.rb

@@ -0,0 +1,28 @@
+class Foo
+  def initialize(a)
+    @a = a
+  end
+  attr_reader :a
+
+  attr_writer :b
+  def get_b
+    @b
+  end
+
+  attr_accessor :c
+end
+
+foo = Foo.new(:aaa)
+foo.b = :bbb
+foo.get_b
+foo.c = :ccc
+
+__END__
+# Classes
+class Foo
+  attr_reader a : :aaa
+  attr_writer b : :bbb
+  attr_accessor c : :ccc
+  def initialize : (:aaa) -> :aaa
+  def get_b : -> :bbb
+end

data/smoke/backtrace.rb

@@ -0,0 +1,32 @@
+def foo
+  unknown_method
+end
+
+def bar
+  foo
+end
+
+def baz
+  bar
+end
+
+baz
+
+# smoke/backtrace.rb:2: [error] undefined method: Object#unknown_method
+#         from smoke/backtrace.rb:6
+#         from smoke/backtrace.rb:10
+#         from smoke/backtrace.rb:13
+# Object#baz :: () -> any
+# Object#bar :: () -> any
+# Object#foo :: () -> any
+
+__END__
+# Errors
+smoke/backtrace.rb:2: [error] undefined method: Object#unknown_method
+
+# Classes
+class Object
+  def foo : -> untyped
+  def bar : -> untyped
+  def baz : -> untyped
+end

data/smoke/block1.rb

@@ -0,0 +1,22 @@
+def foo(x)
+  yield x
+  yield 1
+end
+
+foo("str") do |x|
+  x
+end
+
+foo(:sym) do |x|
+  if 1+1
+    x
+  else
+    1
+  end
+end
+
+__END__
+# Classes
+class Object
+  def foo : (:sym | String) { (:sym | Integer | String) -> (:sym | Integer | String) } -> (:sym | Integer | String)
+end