typeprof 0.1.0

data/smoke/module3.rb

@@ -0,0 +1,33 @@
+module M1
+  def foo
+    :m1
+  end
+end
+
+module M2
+  def foo
+    :m2
+  end
+end
+
+class C
+  include M1
+  include M2
+end
+
+C.new.foo
+
+__END__
+# Classes
+module M1
+  def foo : -> :m1
+end
+
+module M2
+  def foo : -> :m2
+end
+
+class C
+  include M1
+  include M2
+end

data/smoke/module4.rb

@@ -0,0 +1,29 @@
+module M2
+  def foo
+    :m2_foo
+  end
+end
+
+module M1
+  extend M2
+
+  def foo
+    :m1_foo
+  end
+end
+
+class C
+  extend M1
+end
+
+M1.foo
+C.foo
+__END__
+# Classes
+module M2
+  def foo : -> :m2_foo
+end
+
+module M1
+  def foo : -> :m1_foo
+end

data/smoke/module_function1.rb

@@ -0,0 +1,28 @@
+module Foo
+  def foo(x)
+    x
+  end
+  module_function :foo
+end
+
+class Bar
+  include Foo
+  def bar
+    foo(:y)
+  end
+end
+
+Foo.foo(:x)
+Bar.new.bar
+
+__END__
+# Classes
+module Foo
+  def foo : (:x | :y) -> (:x | :y)
+  def self.foo : (:x | :y) -> (:x | :y)
+end
+
+class Bar
+  include Foo
+  def bar : -> (:x | :y)
+end

data/smoke/module_function2.rb

@@ -0,0 +1,28 @@
+module Foo
+  module_function
+  def foo(x)
+    x
+  end
+end
+
+class Bar
+  include Foo
+  def bar
+    foo(:y)
+  end
+end
+
+Foo.foo(:x)
+Bar.new.bar
+
+__END__
+# Classes
+module Foo
+  def foo : (:x | :y) -> (:x | :y)
+  def self.foo : (:x | :y) -> (:x | :y)
+end
+
+class Bar
+  include Foo
+  def bar : -> (:x | :y)
+end

data/smoke/multiple-include.rb

@@ -0,0 +1,14 @@
+class Foo
+  include Comparable
+  include Comparable
+  include Comparable
+  def foo
+  end
+end
+
+__END__
+# Classes
+class Foo
+  include Comparable
+  def foo : -> nil
+end

data/smoke/multiple-superclass.rb

@@ -0,0 +1,16 @@
+class A
+end
+
+class B
+end
+
+Base = rand < 0.5 ? A : B
+
+class C < Base
+end
+
+__END__
+# Errors
+smoke/multiple-superclass.rb:9: [warning] superclass is not a class; Object is used instead
+
+# Classes

data/smoke/next1.rb

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

data/smoke/next2.rb

@@ -0,0 +1,16 @@
+def foo
+  yield
+end
+
+foo do
+  raise
+  "str"
+rescue
+  next 42
+end
+
+__END__
+# Classes
+class Object
+  def foo : { () -> (Integer | String) } -> (Integer | String)
+end

data/smoke/object-send1.rb

@@ -0,0 +1,22 @@
+def foo(x)
+  x
+end
+
+def bar(x)
+  x
+end
+
+def dispatch(mid)
+  send(mid, 1)
+end
+
+dispatch(:foo)
+dispatch(:bar)
+
+__END__
+# Classes
+class Object
+  def foo : (Integer) -> Integer
+  def bar : (Integer) -> Integer
+  def dispatch : (:bar | :foo) -> Integer
+end

data/smoke/once.rb

@@ -0,0 +1,12 @@
+def foo
+  r = /foo#{x=1}bar/o
+  [r, x]
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> [Regexp, Integer?]
+end

data/smoke/optional1.rb

@@ -0,0 +1,13 @@
+def foo(a, o1=1, o2=2, z)
+  [a, o1, o2, z]
+end
+
+foo("A", "Z")
+foo("A", "B", "Z")
+foo("A", "B", "C", "Z")
+
+__END__
+# Classes
+class Object
+  def foo : (String, ?String, ?String, String) -> ([String, Integer | String, Integer | String, String])
+end

data/smoke/optional2.rb

@@ -0,0 +1,15 @@
+def foo(a, o1=1, o2=2, *r, z)
+  [a, o1, o2, r, z]
+end
+
+foo("A", "Z")
+foo("A", "B", "Z")
+foo("A", "B", "C", "Z")
+foo("A", "B", "C", "D", "Z")
+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])
+end

data/smoke/parameterizedd-self.rb

@@ -0,0 +1,18 @@
+class Object
+  def foo
+    self
+  end
+end
+
+def bar(ary)
+  ary.foo
+end
+
+bar([])
+
+__END__
+# Classes
+class Object
+  def foo : -> []
+  def bar : ([]) -> []
+end

data/smoke/pathname1.rb

@@ -0,0 +1,13 @@
+require "pathname"
+
+def foo
+  Pathname.new("foo")
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> Pathname
+end

data/smoke/pathname2.rb

@@ -0,0 +1,13 @@
+require "pathname"
+
+def foo
+  Pathname("foo")
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> Pathname
+end

data/smoke/printf.rb

@@ -0,0 +1,20 @@
+class F
+  def foo
+    printf("foo", "bar")
+  end
+
+  def bar
+    a = %w(foo bar)
+    printf(*a)
+  end
+end
+
+F.new.foo
+F.new.bar
+
+__END__
+# Classes
+class F
+  def foo : -> nil
+  def bar : -> nil
+end

data/smoke/proc.rb

@@ -0,0 +1,19 @@
+def foo
+  f = -> x { x }
+  f[42]
+end
+
+def bar
+  f = -> x { "str" }
+  f[42]
+end
+
+foo
+bar
+
+__END__
+# Classes
+class Object
+  def foo : -> Integer
+  def bar : -> String
+end

data/smoke/proc2.rb

@@ -0,0 +1,16 @@
+# TODO: restart is needed?
+def foo
+  a = 1
+  -> do
+    a = "str"
+  end.call
+  a
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  def foo : -> Integer
+end

data/smoke/proc3.rb

@@ -0,0 +1,14 @@
+def foo
+  a = [1]
+  -> do
+    a[0] = "str"
+  end.call
+  a
+end
+
+foo
+__END__
+# Classes
+class Object
+  def foo : -> [Integer]
+end

data/smoke/proc4.rb

@@ -0,0 +1,11 @@
+def foo(f)
+  f.call(1)
+end
+
+foo(-> x { "str" })
+
+__END__
+# Classes
+class Object
+  def foo : (Proc[(Integer) -> String]) -> String
+end

data/smoke/range.rb

@@ -0,0 +1,13 @@
+# dummy implementation
+
+def foo(x, y)
+  (x..y)
+end
+
+foo(1, 2)
+
+__END__
+# Classes
+class Object
+  def foo : (Integer, Integer) -> Range
+end

data/smoke/redo1.rb

@@ -0,0 +1,21 @@
+def bar(x)
+  x
+end
+
+def foo
+  yield 42
+end
+
+foo do |x|
+  bar(x)
+  x = "str"
+  redo if rand < 0.5
+  x
+end
+
+__END__
+# Classes
+class Object
+  def bar : (Integer | String) -> (Integer | String)
+  def foo : { (Integer) -> String } -> String
+end

data/smoke/redo2.rb

@@ -0,0 +1,22 @@
+def bar(x)
+  x
+end
+
+def foo
+  yield 42
+end
+
+foo do |x|
+  bar(x)
+rescue
+  x = "str"
+  redo if rand < 0.5
+  42
+end
+
+__END__
+# Classes
+class Object
+  def bar : (Integer | String) -> (Integer | String)
+  def foo : { (Integer) -> (Integer | String) } -> (Integer | String)
+end