typeprof 0.1.2 → 0.4.0

data/smoke/flow8.rb

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

data/smoke/gvar.rb

@@ -5,7 +5,7 @@ log($foo)
 
 __END__
 # Global variables
-#  $foo : Integer | String
+$foo : Integer | String
 
 # Classes
 class Object

data/smoke/gvar2.rb

@@ -0,0 +1,17 @@
+$foo = 1
+
+def log
+  $foo
+end
+
+__END__
+# Errors
+smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared global variable
+
+# Global variables
+#$foo : String
+
+# Classes
+class Object
+  def log : -> String
+end

data/smoke/gvar2.rbs

@@ -0,0 +1 @@
+$foo : String

data/smoke/hash4.rb

@@ -6,5 +6,5 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> Hash
+  def foo : -> Hash[bot, bot]
 end

data/smoke/inheritance2.rb

@@ -27,3 +27,9 @@ end
 class Base < SuperBase
   def self.foo : -> (A.class | B.class)
 end
+
+class A < Base
+end
+
+class B < Base
+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/ivar3.rb

@@ -0,0 +1,16 @@
+class Foo
+  def initialize
+    @foo = "str"
+    @bar = "str"
+  end
+end
+
+__END__
+# Errors
+smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared global variable
+
+# Classes
+class Foo
+  @bar : String
+  def initialize : -> String
+end

data/smoke/ivar3.rbs

@@ -0,0 +1,3 @@
+class Foo
+  @foo : Integer
+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/manual-rbs2.rb

@@ -12,7 +12,7 @@ end
 
 __END__
 # Errors
-smoke/manual-rbs2.rb:4: [error] undefined method: A::B.class#unknown
+smoke/manual-rbs2.rb:4: [error] undefined method: A::B#unknown
 
 # Classes
 class Object

data/smoke/manual-rbs3.rb

@@ -0,0 +1,12 @@
+class Foo
+  def foo
+    @foo = 1
+  end
+end
+
+__END__
+# Classes
+class Foo
+  @foo : Integer
+# def foo : -> Integer
+end

data/smoke/manual-rbs3.rbs

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

data/smoke/module4.rb

@@ -25,5 +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,3 +14,15 @@ __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
+
+class B
+end
+
+class C
+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/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-alias.rb

@@ -0,0 +1,9 @@
+def log
+  Foo.new.bar
+end
+
+__END__
+# Classes
+class Object
+  def log : -> Integer
+end

data/smoke/rbs-alias.rbs

@@ -0,0 +1,4 @@
+class Foo
+  def foo: -> Integer
+  alias bar foo
+end

data/smoke/rbs-attr.rb

@@ -0,0 +1,26 @@
+def read_test_1
+  Foo.new.reader_example
+end
+
+def read_test_2
+  Foo.new.accessor_example
+end
+
+def write_test
+  Foo.new.writer_example = 1
+  Foo.new.writer_example = "str"
+  Foo.new.accessor_example = 1
+  Foo.new.accessor_example = "str"
+end
+
+__END__
+# Errors
+smoke/rbs-attr.rb:11: [error] failed to resolve overload: Foo#writer_example=
+smoke/rbs-attr.rb:13: [error] failed to resolve overload: Foo#accessor_example=
+
+# Classes
+class Object
+  def read_test_1 : -> Integer
+  def read_test_2 : -> Integer
+  def write_test : -> String
+end

data/smoke/rbs-attr.rbs

@@ -0,0 +1,5 @@
+class Foo
+  attr_reader reader_example: Integer
+  attr_writer writer_example: Integer
+  attr_accessor accessor_example: Integer
+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