Diagnostic Reference

Generated from rellum-diagnostics/src/db.rs.

Codes

• E0001: tab used in indentation
• E0002: unexpected indentation
• E0003: indentation does not match enclosing block
• E0004: invalid use of !
• E0005: unterminated string literal
• E0006: invalid string escape
• E0007: unterminated escaped char literal
• E0008: unterminated char literal
• E0009: invalid integer literal
• E0010: unexpected character
• E1000: expected top-level binding
• E1001: invalid event multiplicity policy
• E1004: expected expression
• E1005: expected field name after dot
• E1006: expected pattern
• E1007: expected type or pattern binding
• E1008: expected identifier
• E1009: expected effect identifier
• E1010: expected syntax token
• E1011: expected specific identifier
• E1012: expected request handler or initial clause
• E1013: expected request pattern
• E1014: expected request pattern binding
• E1015: expected local binding operator
• S0001: program must define exactly one main!
• S0002: parameter needs explicit type annotation
• S0003: unknown ingress effect
• S0004: effect is not a valid ingress effect
• S0005: unknown event in feedback clause
• S0006: effect trigger must name an event or Bool graph
• S0007: event value used outside on-clause binding
• S0008: unknown identifier
• S0009: effect identifier in pure expression
• S0010: indexing requires an array
• S0011: tuple field access requires a tuple
• S0012: effect call in pure expression
• S0013: function argument count mismatch
• S0014: unknown pure function
• S0015: len expects one argument
• S0016: len expects an array
• S0017: bytes expects one argument
• [S0018: bytes expects [Int]](/docs/reference/diagnostics/S0018/)
• S0019: min/max expect two arguments
• S0020: min/max require an ordered scalar type
• S0021: effect sequencing in pure expression
• S0022: some pattern requires Option
• S0023: non-exhaustive match
• S0024: unknown built-in effect
• S0025: ingress effect in effect expression
• S0026: effect expression must be an effect call
• S0027: type mismatch
• S0028: effect bindings may conflict in the same tick
• S0029: unresolved type escaped analysis
• S0030: tuple field is out of bounds
• S0031: unary minus requires Int or Float
• S0032: bitwise not requires Int
• S0033: unsupported + operands
• S0034: arithmetic operator requires Int or Float
• S0035: ordered comparison requires Int, Float, or Char
• S0036: duplicate type definition
• S0037: duplicate name in type declaration
• S0038: cyclic user-defined type
• S0039: copy type contains non-copy field
• S0040: unknown named type
• S0041: unknown record or enum type in construction
• S0042: cannot move borrowed value
• S0043: missing field in construction
• S0044: unknown field in construction
• S0045: record field access requires a named record
• S0046: unknown record type during field access
• S0047: record type has no such field
• S0048: record or enum pattern requires named scrutinee
• S0049: unknown pattern type or enum variant
• S0050: pattern type does not match scrutinee
• S0051: duplicate field in pattern
• S0052: unknown field in pattern
• S0053: ok pattern requires Result
• S0054: err pattern requires Result
• S0055: cannot infer error type of ok
• S0056: cannot infer ok type of err
• S0057: Move value used more than once
• S0058: Shared handle cannot be stored in state
• S0059: function cannot return Shared handle
• S0060: use of moved value
• S0061: reactive bindings may only appear in the main module
• S0062: module not found
• S0063: name is not exported by module
• S0065: committed state value moved in effect body
• S0070: wrong number of effect arguments
• S0071: wrong effect argument type
• S0072: effect cannot be used as a request
• S0073: invalid request handler pattern
• S0074: request needs explicit initial value
• S0080: effect wrapper body is empty
• S0081: invalid effect wrapper body
• S0082: unknown effect in wrapper body
• S0083: ingress effect in wrapper body
• S0090: ? operator is only valid inside pure functions
• S0091: ? requires Result-returning function
• S0092: ? operand is not a Result
• S0093: ? error type mismatch
• S0100: copy enum contains Move field
• S0110: type does not satisfy constraint
• S0111: wrong number of type arguments
• S0112: cannot infer type argument
• S0113: conflicting generic type inference
• S0114: cannot infer lambda parameter type
• S0120: unsupported literal pattern
• S0121: generic type requires type arguments
• S0122: wrong number of type arguments for type
• S0123: cannot infer type arguments for type
• S0124: conflicting inferred type arguments for type
• S0131: cannot borrow as mutable because value is already borrowed
• S0132: cannot borrow as mutable because value is already mutably borrowed
• S0133: cannot borrow moved value
• S0134: cannot move borrowed value
• S0135: reference cannot be stored in persistent reactive storage
• S0136: cannot return reference to local value
• S0137: cannot infer lifetime for returned reference
• S0138: cannot dereference non-reference value
• S0139: invalid repr attribute argument
• S0140: repr attribute is only valid on type and enum definitions
• S0141: unsupported attribute
• S0142: unsafe operation outside unsafe block
• S0143: RawByte is only valid as a pointer element type
• S0144: unknown extern ABI
• S0145: extern function declaration cannot have a body
• S0146: tuple pattern does not match scrutinee
• S0147: array pattern does not match scrutinee
• S0148: unknown module
• S0149: effect requires module import
• S0150: invalid effect result binding
• S0151: effect function result used as statement
• S0152: unsupported f-string interpolation
• W0001: feedback clause is shadowed by an earlier clause
• W0002: share(...) on a Copy value is unnecessary
• W0010: effect fires on every tick where condition is true
• W0020: function shadows built-in prelude definition
• W0021: unused binding
• W0022: feedback clause ignores prior state
• W0023: multiple effects have unspecified relative order