scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.typer/ErrorReporting

ErrorReporting

dotty.tools.dotc.typer.ErrorReporting
object ErrorReporting

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

trait Addenda

A mixin trait that can produce added elements for an error message

A mixin trait that can produce added elements for an error message

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NothingToAdd
Show all
Self type
class Errors(using x$1: Context)

Attributes

Supertypes
class Object
trait Matchable
class Any
object NothingToAdd extends Addenda

Attributes

Supertypes
trait Addenda
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def err(using Context): Errors
def errorTree(tree: Tree, msg: Message, pos: SrcPos)(using Context): Tree
def errorTree(tree: Tree, msg: Message)(using Context): Tree
def errorTree(tree: Tree, msg: TypeError, pos: SrcPos)(using Context): Tree
def errorType(msg: Message, pos: SrcPos)(using Context): ErrorType
def errorType(ex: TypeError, pos: SrcPos)(using Context): ErrorType
def missingArgs(tree: Tree, mt: Type)(using Context): Unit
def wrongNumberOfTypeArgs(fntpe: Type, expectedArgs: List[ParamInfo], actual: List[Tree], pos: SrcPos)(using Context): ErrorType
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL