| M0001 | Parsing errors |
| M0009 | File not found for import |
| M0010 | Imported package was not defined |
| M0014 | Non-static expression in library or module |
| M0029 | Unbound type |
| M0030 | Type field does not exist in type |
| M0031 | Shared function has non-shared parameter type |
| M0032 | Shared function has non-shared return type |
| M0033 | Async has non-shared content type |
| M0036 | Invalid return type for shared query function |
| M0038 | Misplaced await |
| M0045 | Wrong number of type arguments |
| M0047 | Send capability required |
| M0050 | Literal does not have expected type |
| M0055 | Cannot infer type of forward variable |
| M0057 | Unbound variable |
| M0060 | Operator is not defined for operand types |
| M0064 | Misplaced '!' without enclosing do block |
| M0070 | Expected object type |
| M0072 | Field does not exist in type |
| M0073 | Expected mutable assignment target |
| M0082 | Expected iterable type |
| M0088 | Expected async type |
| M0089 | Redundant ignore |
| M0090 | Actor reference must have an actor type |
| M0096 | Expression can't produce expected type |
| M0097 | Expected function type |
| M0098 | Cannot instantiate function type |
| M0112 | Tuple pattern cannot consume type |
| M0116 | Variant pattern cannot consume type |
| M0126 | Shared function cannot be private |
| M0139 | Inner actor classes are not supported |
| M0141 | Forbidden declaration in program |
| M0145 | Pattern does not cover value |
| M0154 | Deprecation annotation |
| M0155 | Inferred type Nat for subtraction |