TypeError

final case class TypeError(message: String, pos: RangePosition) extends CompileError
Compiler reported an error message during typechecking.
Value Params
message
the typechecking error message (without position formatting)
pos
the range position inside the code fence
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inhertied from
Product
def productIterator: Iterator[Any]
Inhertied from
Product