Exception: Emfrp::Typing::UnionType::UnifyError

Inherits:

RuntimeError

• Object
• RuntimeError
• Emfrp::Typing::UnionType::UnifyError

Defined in:

lib/emfrp/typing/union_type.rb

Instance Attribute Summary

• #a ⇒ Object readonly

  Returns the value of attribute a.

• #b ⇒ Object readonly

  Returns the value of attribute b.

Instance Method Summary

• #initialize(a, b) ⇒ UnifyError constructor

  A new instance of UnifyError.

Constructor Details

#initialize(a, b) ⇒ UnifyError

Returns a new instance of UnifyError.

# File 'lib/emfrp/typing/union_type.rb', line 6

def initialize(a, b)
  @a, @b = a, b
end

Instance Attribute Details

#a ⇒ Object (readonly)

Returns the value of attribute a.

# File 'lib/emfrp/typing/union_type.rb', line 5

def a
  @a
end

#b ⇒ Object (readonly)

Returns the value of attribute b.

# File 'lib/emfrp/typing/union_type.rb', line 5

def b
  @b
end