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