For sending a message which should not be labeled as a warning/error, but also shouldn't require -verbose to be visible.
For sending a message which should not be labeled as a warning/error, but also shouldn't require -verbose to be visible.
Informational messages.
Informational messages. If !force
, they may be suppressed.
Emit an ambiguous error according to context.ambiguousErrors
Emit an ambiguous error according to context.ambiguousErrors
A reporter for use during type checking. It has multiple modes for handling errors.
The default (immediate mode) is to send the error to the global reporter. When switched into buffering mode via makeBuffering, errors and warnings are buffered and not be reported (there's a special case for ambiguity errors for some reason: those are force to the reporter when context.ambiguousErrors, or else they are buffered -- TODO: can we simplify this?)
When using the type checker after typers, an error results in a TypeError being thrown. TODO: get rid of this mode.
To handle nested contexts, reporters share buffers. TODO: only buffer in BufferingReporter, emit immediately in ImmediateReporter