Added two more specs for raise inference. IssueID michaeledgar#2.

Adding lots of type annotations for the builtins, further pushing
me toward pulling in a lot of Rubinius.

lib/laser/analysis/control_flow/yield_properties.rb

@@ -86,10 +86,8 @@ def potential_block_calls(block_value = nil)
               elsif aliases.include?(insn.block_operand)
                 insn.possible_methods.each do |method|
                   yield_type = method.yield_type
-                  if block_value.nil? && (yield_type == :required || yield_type == :foolish)
-                    calls << insn
-                    break
-                  elsif !block_value.nil? && (yield_type == :required || yield_type == :optional)
+                  if  block_value.nil? && (yield_type == :required || yield_type == :foolish) ||
+                     !block_value.nil? && (yield_type == :required || yield_type == :optional)
                     calls << insn
                     break
                   end

lib/laser/analysis/laser_class.rb

@@ -221,13 +221,16 @@ def annotated_raise_frequency
           annotations['raises'].select(&:literal?).map(&:literal).each do |literal|
             return Frequency[literal] if !literal || Symbol === literal
           end
+          nil
         end
       end
 
       def raises
         if annotations['raises'].any?
           types = annotations['raises'].select(&:type?)
-          types.map { |note| note.type } if types.any?
+          if types.any?
+            Types::UnionType.new(types.map { |note| note.type })
+          end
         end
       end
     end

lib/laser/standard_library/bignum.rb

@@ -14,6 +14,7 @@ def &(num)
   # overload: (Float) -> Float=
   # overload: (Fixnum) -> Fixnum= | Bignum=
   # overload: (Bignum) -> Fixnum= | Bignum=
+  # raises: never
   def *(num)
   end
   # pure: true
@@ -31,6 +32,7 @@ def -(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def -@
   end
   # pure: true
@@ -97,6 +99,7 @@ def ^(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def abs
   end
   # pure: true
@@ -120,6 +123,7 @@ def eql?(other)
   # pure: true
   # builtin: true
   # returns: Boolean
+  # raises: never
   def even?
   end
   # pure: true
@@ -129,6 +133,7 @@ def fdiv(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def magnitude
   end
   # pure: true
@@ -139,6 +144,7 @@ def modulo(num)
   # pure: true
   # builtin: true
   # returns: Boolean
+  # raises: never
   def odd?
   end
   # pure: true
@@ -148,16 +154,19 @@ def remainder(other)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def size
   end
   # pure: true
   # builtin: true
   # returns: Float
+  # raises: never
   def to_f
   end
   # pure: true
   # builtin: true
   # returns: String
+  # raises: never
   def to_s
   end
   # pure: true
@@ -168,6 +177,7 @@ def |(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def ~
   end
 end

lib/laser/standard_library/class_definitions.rb

@@ -234,6 +234,15 @@ def puts(*to_put)
   def block_given?
   end
   alias iterator? block_given?
+  # builtin: true
+  # raises: never
+  # pure: false
+  # predictable: false
+  # overload: () -> Float
+  # overload: Fixnum= -> Fixnum= | Bignum=
+  # overload: Bignum= -> Fixnum= | Bignum=
+  def rand(n=nil)
+  end
 end
 
 require 'basic_object'

lib/laser/standard_library/fixnum.rb

@@ -14,6 +14,7 @@ def &(num)
   # overload: (Float) -> Float=
   # overload: (Fixnum) -> Fixnum= | Bignum=
   # overload: (Bignum) -> Fixnum= | Bignum=
+  # raises: never
   def *(num)
   end
   # pure: true
@@ -31,6 +32,7 @@ def -(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def -@
   end
   # pure: true
@@ -96,6 +98,7 @@ def ^(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def abs
   end
   # pure: true
@@ -110,6 +113,7 @@ def divmod(other)
   # pure: true
   # builtin: true
   # returns: Boolean
+  # raises: never
   def even?
   end
   # pure: true
@@ -119,6 +123,7 @@ def fdiv(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def magnitude
   end
   # pure: true
@@ -128,31 +133,37 @@ def modulo(num)
   # pure: true
   # builtin: true
   # returns: Boolean
+  # raises: never
   def odd?
   end
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def size
   end
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def succ
   end
   # pure: true
   # builtin: true
   # returns: Float
+  # raises: never
   def to_f
   end
   # pure: true
   # builtin: true
   # returns: String
+  # raises: never
   def to_s
   end
   # pure: true
   # builtin: true
   # returns: Boolean
+  # raises: never
   def zero?
   end
   # pure: true
@@ -163,6 +174,7 @@ def |(num)
   # pure: true
   # builtin: true
   # returns: Fixnum= | Bignum=
+  # raises: never
   def ~
   end
 end