Exception: TypedRb::Types::Polymorphism::UnificationError

Inherits:

TypedRb::TypeCheckError

Object
TypeError
TypedRb::TypeCheckError
TypedRb::Types::Polymorphism::UnificationError

Defined in:: lib/typed/types/polymorphism/unification.rb

Instance Attribute Summary

Attributes inherited from TypedRb::TypeCheckError

Instance Method Summary collapse

#initialize(message) ⇒ UnificationError constructor

A new instance of UnificationError.

Constructor Details

#initialize(message) ⇒ `UnificationError`

Returns a new instance of UnificationError.



8
9
10

# File 'lib/typed/types/polymorphism/unification.rb', line 8

def initialize(message)
  super(message)
end