TypeError

final case class TypeError(message: String, pos: RangePosition) extends CompileError

Compiler reported an error message during typechecking.

Value parameters:
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]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product