typeprof 0.1.0

data/smoke/block10.rb

@@ -0,0 +1,14 @@
+def foo(ary1, ary2)
+  ary1.each do |x|
+    ary2[0] = x
+  end
+  ary2
+end
+
+foo([1], ["str"])
+
+__END__
+# Classes
+class Object
+  def foo : ([Integer], [String]) -> [Integer]
+end

data/smoke/block11.rb

@@ -0,0 +1,39 @@
+def log1(x)
+end
+def log2(x)
+end
+
+def foo
+  x = nil
+  1.times do |_|
+    x = 1
+    log1(x)
+  end
+  x
+end
+
+def test_yield
+  yield
+end
+
+def bar
+  x = nil
+  test_yield do
+    x = 1
+    log2(x)
+  end
+  x
+end
+
+foo
+bar
+
+__END__
+# Classes
+class Object
+  def log1 : (Integer?) -> nil
+  def log2 : (Integer?) -> nil
+  def foo : -> Integer?
+  def test_yield : { () -> nil } -> nil
+  def bar : -> Integer?
+end

data/smoke/block12.rb

@@ -0,0 +1,22 @@
+def foo
+  1.times do |_|
+    return [:foo]
+  end
+end
+
+def bar
+  a = [:bar]
+  1.times do |_|
+    return a
+  end
+end
+
+foo
+bar
+
+__END__
+# Classes
+class Object
+  def foo : -> [:foo]
+  def bar : -> [:bar]
+end

data/smoke/block2.rb

@@ -0,0 +1,14 @@
+def foo(x)
+  yield 42
+end
+
+s = "str"
+foo(1) do |x|
+  s
+end
+
+__END__
+# Classes
+class Object
+  def foo : (Integer) { (Integer) -> String } -> String
+end

data/smoke/block3.rb

@@ -0,0 +1,38 @@
+class Common
+  def func(x)
+    yield 1
+  end
+end
+
+class Foo
+  def foo
+    Common.new.func("str") do |x|
+      1
+    end
+  end
+end
+
+class Bar
+  def bar
+    Common.new.func(:sym) do |x|
+      :sym2
+    end
+  end
+end
+
+Foo.new.foo
+Bar.new.bar
+
+__END__
+# Classes
+class Common
+  def func : (:sym | String) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
+end
+
+class Foo
+  def foo : -> (:sym2 | Integer)
+end
+
+class Bar
+  def bar : -> (:sym2 | Integer)
+end

data/smoke/block4.rb

@@ -0,0 +1,18 @@
+def foo
+  yield "str"
+end
+
+def bar
+  yield :sym
+end
+
+blk = -> x { x }
+foo(&blk)
+bar(&blk)
+
+__END__
+# Classes
+class Object
+  def foo : { (String) -> (:sym | String) } -> (:sym | String)
+  def bar : { (:sym) -> (:sym | String) } -> (:sym | String)
+end

data/smoke/block5.rb

@@ -0,0 +1,18 @@
+F = -> x { "str" }
+
+def foo(&blk)
+  blk.call(:sym, &F)
+end
+
+foo do |dummy, &blk|
+  blk.call(42)
+end
+
+# truly expected:
+# Object#foo :: (&Proc[(Symbol, &Proc[(Integer) -> String]) -> String]) -> String
+
+__END__
+# Classes
+class Object
+  def foo : { (:sym) { (Integer) -> String } -> String } -> String
+end

data/smoke/block6.rb

@@ -0,0 +1,20 @@
+def bar
+  yield
+end
+
+def foo
+  x = 42
+  bar do
+    x = "STR"
+  end
+  x
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def bar : { () -> String } -> String
+  def foo : -> (Integer | String)
+end

data/smoke/block7.rb

@@ -0,0 +1,20 @@
+def foo
+  yield
+end
+
+any = undefined_method
+foo(&any)
+
+foo(&1)
+
+__END__
+# Errors
+smoke/block7.rb:5: [error] undefined method: Object#undefined_method
+smoke/block7.rb:8: [error] wrong argument type Integer<1> (expected Proc)
+smoke/block7.rb:2: [warning] non-iseq-proc is passed as a block
+smoke/block7.rb:2: [warning] non-iseq-proc is passed as a block
+
+# Classes
+class Object
+  def foo : -> untyped
+end

data/smoke/block8.rb

@@ -0,0 +1,27 @@
+def bar
+  baz do
+    yield
+  end
+end
+
+def baz
+  yield
+end
+
+def foo
+  a = 42
+  bar do
+    a = "str"
+  end
+  a
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def bar : -> String
+  def baz : { () -> String } -> String
+  def foo : -> (Integer | String)
+end

data/smoke/block9.rb

@@ -0,0 +1,12 @@
+def foo(&b)
+  b = 1
+  b
+end
+
+foo { }
+
+__END__
+# Classes
+class Object
+  def foo : -> Integer
+end

data/smoke/blown.rb

@@ -0,0 +1,12 @@
+def foo(&blk)
+  [blk]
+end
+
+foo { }
+foo { }
+
+__END__
+# Classes
+class Object
+  def foo : -> ([Proc[] | Proc[]])
+end

data/smoke/break1.rb

@@ -0,0 +1,18 @@
+def foo
+  yield 42
+end
+
+def bar
+  foo do |n|
+    break n.to_s
+  end
+end
+
+bar
+
+__END__
+# Classes
+class Object
+  def foo : { (Integer) -> bot } -> bot
+  def bar : -> String
+end

data/smoke/break2.rb

@@ -0,0 +1,15 @@
+def foo
+  1.times do |n|
+    raise
+  rescue
+    break "str"
+  end
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> (Integer | String)
+end

data/smoke/case.rb

@@ -0,0 +1,16 @@
+def foo
+  case "foo"
+  when "foo"
+    1
+  when "bar", "baz"
+    :sym
+  end
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> ((:sym | Integer)?)
+end

data/smoke/case2.rb

@@ -0,0 +1,17 @@
+def foo
+  ary = ["bar", "baz"]
+  case "foo"
+  when "foo"
+    1
+  when *ary
+    :sym
+  end
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> ((:sym | Integer)?)
+end

data/smoke/class.rb

@@ -0,0 +1,5 @@
+class Foo
+  x = 1
+end
+__END__
+# Classes

data/smoke/class_instance_var.rb

@@ -0,0 +1,9 @@
+class Foo
+  @foo = 1
+end
+
+__END__
+# Classes
+class Foo
+  self.@foo : Integer
+end

data/smoke/class_method.rb

@@ -0,0 +1,25 @@
+class Test
+  def self.foo(x)
+    x
+  end
+
+  def Test.bar(x)
+    x
+  end
+
+  #class << self
+  #  alias baz bar
+  #end
+end
+
+Test.foo(1)
+Test.bar("str")
+#Test.baz(:sym)
+# Test#foo: (Integer) -> Integer
+
+__END__
+# Classes
+class Test
+  def self.foo : (Integer) -> Integer
+  def self.bar : (String) -> String
+end

data/smoke/class_method2.rb

@@ -0,0 +1,21 @@
+class Test
+  class << self
+    def foo(x)
+      x
+    end
+
+    alias bar foo
+  end
+end
+
+Test.foo(1)
+Test.bar("str")
+#Test.baz(:sym)
+# Test#foo: (Integer) -> Integer
+
+__END__
+# Classes
+class Test
+  def self.foo : (Integer) -> Integer
+  def self.bar : (String) -> String
+end

data/smoke/class_method3.rb

@@ -0,0 +1,27 @@
+class ForWin
+end
+class ForLinux
+end
+
+v = RUBY_PLATFORM =~ /windows/ ? ForWin : ForLinux
+
+def v.foo
+end
+
+if RUBY_PLATFORM =~ /windows/
+  v = ForWin
+else
+  v = ForLinux
+end
+
+v.foo
+
+__END__
+# Classes
+class ForWin
+  def self.foo : -> nil
+end
+
+class ForLinux
+  def self.foo : -> nil
+end

data/smoke/constant1.rb

@@ -0,0 +1,38 @@
+CONST = 1
+
+class Foo
+  CONST = "str"
+  class Bar
+    def get1
+      CONST
+    end
+
+    def get2
+      ::CONST
+    end
+
+    def get3
+      Object::CONST
+    end
+  end
+end
+
+class Foo::Bar
+  def get4
+    CONST
+  end
+end
+
+Foo::Bar.new.get1 # String
+Foo::Bar.new.get2 # Integer
+Foo::Bar.new.get3 # Integer
+Foo::Bar.new.get4 # Integer
+
+__END__
+# Classes
+class Foo::Bar
+  def get1 : -> String
+  def get2 : -> Integer
+  def get3 : -> Integer
+  def get4 : -> Integer
+end