class SFRP::Poly::UnifyError
Public Class Methods
new(typing1, typing2)
click to toggle source
# File lib/sfrp/poly/exception.rb, line 17 def initialize(typing1, typing2) @typing1 = typing1 @typing2 = typing2 end
Public Instance Methods
message()
click to toggle source
# File lib/sfrp/poly/exception.rb, line 22 def message vars = @typing1.variables + @typing2.variables "cannot unify #{@typing1.to_s(vars)} and #{@typing2.to_s(vars)}" end