Alpha diagnostics

Generated by debug/docs-set.py. Do not edit by hand: this document is derived from the live compiler, so editing it here would only make it disagree with the language.

Every diagnostic the compiler can emit. A code is stable: it may be retired, but it is never reused for a different meaning. alpha explain CODE prints the same catalogue entry from the command line.

134 codes.

code	meaning
`ALPHA-CACHE-GLOBAL`	CACHE
`ALPHA-DO-MISSING-RETURN`	DO
`ALPHA-EDITION-UNSUPPORTED-FORM`	EDITION
`ALPHA-EFFECT-EXPECTED-COMPUTATION`	EFFECT
`ALPHA-EFFECT-EXPECTED-ROW`	EFFECT
`ALPHA-EFFECT-INVALID-ROW`	EFFECT
`ALPHA-EFFECT-ROW-MISMATCH`	EFFECT
`ALPHA-ELAB-BRANCH-ARITY`	ELAB
`ALPHA-ELAB-BRANCH-CONSTRUCTOR`	ELAB
`ALPHA-ELAB-INDUCTIVE`	ELAB
`ALPHA-ELAB-INTERNAL-INDEX`	ELAB
`ALPHA-ELAB-LET-CONTEXT`	ELAB
`ALPHA-ELAB-SCOPE`	ELAB
`ALPHA-ERASE-FAILED`	ERASE
`ALPHA-LINT-APPEND-CHAIN`	LINT
`ALPHA-LINT-GIANT-DEFINITION`	LINT
`ALPHA-LINT-MODULE-PATH`	LINT
`ALPHA-LINT-NESTING`	LINT
`ALPHA-LINT-PRIMITIVE-AS-FUNCTION`	LINT
`ALPHA-LINT-PRINTABLE-BYTES`	LINT
`ALPHA-LINT-RAW-PATH`	LINT
`ALPHA-LINT-RAW-WORD-CONSTRUCTION`	LINT
`ALPHA-LINT-STRUCTURE`	LINT
`ALPHA-LINT-STRUCTURED-WIRE-BYTES`	LINT
`ALPHA-LINT-UNARY-NATURAL`	LINT
`ALPHA-LINT-UNDOCUMENTED`	LINT
`ALPHA-LINT-UNTYPED-DIGEST`	LINT
`ALPHA-LINT-UNUSED-DEFINITION`	LINT
`ALPHA-LINT-UNUSED-IMPORT`	LINT
`ALPHA-LITERAL-BAD-SEPARATOR`	LITERAL
`ALPHA-LITERAL-BYTE-ESCAPE`	LITERAL
`ALPHA-LITERAL-BYTES-NON-ASCII`	LITERAL
`ALPHA-LITERAL-INCOMPLETE-ESCAPE`	LITERAL
`ALPHA-LITERAL-MISSING-DIGITS`	LITERAL
`ALPHA-LITERAL-NEEDS-TYPE`	LITERAL
`ALPHA-LITERAL-NEWLINE`	LITERAL
`ALPHA-LITERAL-OUT-OF-RANGE`	LITERAL
`ALPHA-LITERAL-SCALAR`	LITERAL
`ALPHA-LITERAL-UNICODE-ESCAPE`	LITERAL
`ALPHA-LITERAL-UNKNOWN-ESCAPE`	LITERAL
`ALPHA-LITERAL-UNTERMINATED`	LITERAL
`ALPHA-MATCH-BRANCH-ARITY`	MATCH
`ALPHA-MATCH-DUPLICATE-CASE`	MATCH
`ALPHA-MATCH-IH-POSITION`	MATCH
`ALPHA-MATCH-MISSING-CASE`	MATCH
`ALPHA-MATCH-NEEDS-MOTIVE`	MATCH
`ALPHA-MATCH-UNKNOWN-CASE`	MATCH
`ALPHA-MODULE-DECLARATION`	MODULE
`ALPHA-MODULE-DEFINITION`	MODULE
`ALPHA-MODULE-DEFINITION-CONTINUATION`	MODULE
`ALPHA-MODULE-DEFINITION-DELIMITER`	MODULE
`ALPHA-MODULE-DUPLICATE`	MODULE
`ALPHA-MODULE-DUPLICATE-PROVIDER`	MODULE
`ALPHA-MODULE-EMPTY`	MODULE
`ALPHA-MODULE-FAMILY`	MODULE
`ALPHA-MODULE-FAMILY-AMBIGUOUS`	MODULE
`ALPHA-MODULE-FAMILY-BINDER`	MODULE
`ALPHA-MODULE-FAMILY-CHECK`	MODULE
`ALPHA-MODULE-FAMILY-CONSTRUCTOR`	MODULE
`ALPHA-MODULE-FAMILY-CONTINUATION`	MODULE
`ALPHA-MODULE-FAMILY-DECLARATION`	MODULE
`ALPHA-MODULE-FAMILY-END`	MODULE
`ALPHA-MODULE-FAMILY-HEADER`	MODULE
`ALPHA-MODULE-FAMILY-NATURAL`	MODULE
`ALPHA-MODULE-FAMILY-ORDER`	MODULE
`ALPHA-MODULE-FAMILY-QUANTITY`	MODULE
`ALPHA-MODULE-FAMILY-RECURSIVE`	MODULE
`ALPHA-MODULE-FAMILY-RECURSIVE-INDEX`	MODULE
`ALPHA-MODULE-FAMILY-TERM`	MODULE
`ALPHA-MODULE-HEADER`	MODULE
`ALPHA-MODULE-IMPORT`	MODULE
`ALPHA-MODULE-MAIN`	MODULE
`ALPHA-MODULE-NAME`	MODULE
`ALPHA-MODULE-ORDER`	MODULE
`ALPHA-MODULE-SHADOW`	MODULE
`ALPHA-PARSE-APP`	PARSE
`ALPHA-PARSE-BRANCH`	PARSE
`ALPHA-PARSE-BYTE`	PARSE
`ALPHA-PARSE-BYTES`	PARSE
`ALPHA-PARSE-CHAR`	PARSE
`ALPHA-PARSE-CLOSE`	PARSE
`ALPHA-PARSE-DO`	PARSE
`ALPHA-PARSE-EFFECT`	PARSE
`ALPHA-PARSE-END`	PARSE
`ALPHA-PARSE-LET-IN`	PARSE
`ALPHA-PARSE-LET-STAR`	PARSE
`ALPHA-PARSE-MATCH`	PARSE
`ALPHA-PARSE-NAME`	PARSE
`ALPHA-PARSE-NAT-LITERAL`	PARSE
`ALPHA-PARSE-NAT-LITERAL-TOO-LARGE`	PARSE
`ALPHA-PARSE-QUANTITY`	PARSE
`ALPHA-PARSE-QUANTITY-MISSING`	PARSE
`ALPHA-PARSE-RECORD`	PARSE
`ALPHA-PARSE-TERM`	PARSE
`ALPHA-PARSE-TOKEN`	PARSE
`ALPHA-PARSE-UNEXPECTED`	PARSE
`ALPHA-QUANTITY-VIOLATION`	QUANTITY
`ALPHA-RECORD-DUPLICATE-FIELD`	RECORD
`ALPHA-RECORD-EXPECTED-FAMILY`	RECORD
`ALPHA-RECORD-MISSING-FIELD`	RECORD
`ALPHA-RECORD-NEEDS-TYPE`	RECORD
`ALPHA-RECORD-NOT-SINGLE-CONSTRUCTOR`	RECORD
`ALPHA-RECORD-PROJECTION-FAMILY`	RECORD
`ALPHA-RECORD-PROJECTION-NEEDS-TYPE`	RECORD
`ALPHA-RECORD-STALE-DEPENDENT-FIELD`	RECORD
`ALPHA-RECORD-UNKNOWN-FIELD`	RECORD
`ALPHA-RECORD-UPDATE-FAMILY`	RECORD
`ALPHA-RESOLVE-BINDER-NAME`	RESOLVE
`ALPHA-RESOLVE-CONSTRUCTOR`	RESOLVE
`ALPHA-RESOLVE-FAMILY`	RESOLVE
`ALPHA-RESOURCE-ALLOCATION`	RESOURCE
`ALPHA-RESOURCE-WALL`	RESOURCE
`ALPHA-RUNTIME-EXPECTED-CANONICAL`	RUNTIME
`ALPHA-RUNTIME-IDENTITY`	RUNTIME
`ALPHA-RUNTIME-PAYLOAD`	RUNTIME
`ALPHA-RUNTIME-SCHEMA`	RUNTIME
`ALPHA-SOURCE-INVALID-UTF8`	SOURCE
`ALPHA-TOTALITY-EXPECTED-DIVERGENT`	TOTALITY
`ALPHA-TYPE-APPLICATION-001`	TYPE
`ALPHA-TYPE-BRANCH-ARITY`	TYPE
`ALPHA-TYPE-BYTE-LITERAL`	TYPE
`ALPHA-TYPE-CONSTRUCTOR-ARITY`	TYPE
`ALPHA-TYPE-ELIMINATOR-BRANCHES`	TYPE
`ALPHA-TYPE-EXPECTED-EQUALITY`	TYPE
`ALPHA-TYPE-EXPECTED-FAMILY`	TYPE
`ALPHA-TYPE-EXPECTED-PAIR`	TYPE
`ALPHA-TYPE-EXPECTED-UNIVERSE`	TYPE
`ALPHA-TYPE-F32-RECORD`	TYPE
`ALPHA-TYPE-FAMILY-ARITY`	TYPE
`ALPHA-TYPE-MISMATCH`	TYPE
`ALPHA-TYPE-UNIVERSE-LEVEL`	TYPE
`ALPHA-ELAB-CORE`	ELAB
`ALPHA-MODULE-FAMILY-CORE`	MODULE
`ALPHA-MODULE-SHARED-CORE`	MODULE