struct

DoubleBindError

Inherits TypeError < SemanticError < Error < Struct < Value < Object

this error indicates a failure of unification in which a type variable was bound to different types

Constructors

new(location : Location, type_var : Type::Var, type1 : Type, type2 : Type)
Source

Instance methods

location
Source
print(prefix : String, io : IO = STDOUT)
Source
to_s(io : IO)

Same as #inspect(io).

Source
type1
Source
type1=(type1 : Type)
Source
type2
Source
type2=(type2 : Type)
Source
type_var
Source
type_var=(type_var : Type::Var)
Source