Exception: SFRP::Poly::UnifyError

Inherits:

CompileError

• Object
• StandardError
• CompileError
• SFRP::Poly::UnifyError

Defined in:

lib/sfrp/poly/exception.rb

Instance Method Summary

• #initialize(typing1, typing2) ⇒ UnifyError constructor

  A new instance of UnifyError.

• #message ⇒ Object

Constructor Details

#initialize(typing1, typing2) ⇒ UnifyError

Returns a new instance of UnifyError.

# File 'lib/sfrp/poly/exception.rb', line 17

def initialize(typing1, typing2)
  @typing1 = typing1
  @typing2 = typing2
end

Instance Method Details

#message ⇒ Object

# 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