Type Members

1.  trait BaseError extends BaseNode
2.  trait ErrorsPrettyPrinter extends SourcePrettyPrinter
3.  final case class ExternalError(node: BaseNode, language: String, errors: Seq[ErrorMessage]) extends BaseError with Product with Serializable
4.  final case class InvalidSemantic(node: BaseNode, reason: String, hint: Option[String] = None, suggestions: Seq[String] = Seq.empty) extends BaseError with Product with Serializable
5.  final case class MultipleDecl(node: BaseIdnNode) extends BaseError with Product with Serializable
6.  final case class UnexpectedType(node: BaseNode, actual: Type, expected: Type, hint: Option[String] = None, suggestions: Seq[String] = Seq.empty) extends BaseError with Product with Serializable
7.  final case class UnexpectedValue(node: BaseNode, expected: Type, actual: String) extends BaseError with Product with Serializable

   Unexpected value Expected <expected> but got <actual>.

   Unexpected value Expected <expected> but got <actual>. Similar to UnexpectedType, but the 'actual' is a free-from message.

   node

   Node with unsupported value.

   expected

   The expected type (possibly a constraint).

   actual

   The actual value.

8.  final case class UnknownDecl(node: BaseIdnNode, hint: Option[String] = None, suggestions: Seq[String] = Seq.empty) extends BaseError with Product with Serializable
9.  final case class UnsupportedType(node: BaseNode, t: Type, parent: Option[Type]) extends BaseError with Product with Serializable

   Unsupported type.

   Unsupported type.

   t is the unsupported type.

   node

   Node with unsupported type.

   t

   The type that is unsupported.

   parent

   The top-level type. (e.g. if collection(int). Set to None if t == parent.