TypeError
mdoc.document.CompileResult.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
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait CompileErrortrait CompileResultclass Objecttrait Matchableclass Any
Members list
In this article