mypy.errors

Class	`CompileError`	Exception raised when there is a compile error.
Class	`ErrorInfo`	Representation of a single error message.
Class	`Errors`	Container for compile errors.
Function	`remove_path_prefix`	If path starts with prefix, return copy of path with the prefix removed. Otherwise, return path. If path is None, return None.
Function	`report_internal_error`	Report internal error and exit.
Constant	`allowed_duplicates`	Undocumented
Constant	`T`	Undocumented
Variable	`ErrorTuple`	Undocumented

def remove_path_prefix(path, prefix): (source)

If path starts with prefix, return copy of path with the prefix removed. Otherwise, return path. If path is None, return None.

def report_internal_error(err, file, line, errors, options, stdout=None, stderr=None): (source)

Report internal error and exit.

This optionally starts pdb or shows a traceback.

allowed_duplicates: list[str] = (source)

Undocumented

Value

['@overload', 'Got:', 'Expected:']

Undocumented

Value

TypeVar('T')

ErrorTuple = (source)

Undocumented