ErrorKind

sealed trait ErrorKind

An error can be either a parse-time or a typecheck-time

Companion:
object
Source:
ErrorKind.scala
class Object
trait Matchable
class Any
object Parser.type
object Typer.type