📄️ arity mismatch
Arity is a term used to describe the number of arguments a function takes.
📄️ conflicting rules {name} found
This error happens when a rule is incrementally defined in a way that contradicts itself. This could for example happen
📄️ function name has arity n, got m argument(s)
Arity is a term used to describe the number of arguments a function takes.
📄️ match error
Just like the category suggests, this error is emitted by the type checker during the compilation stage. This error
📄️ multiple default rules {name} found
The default keyword is used to define a base value for a rule that will be used if the other
📄️ multiple default rules
This error is emitted by the type checker during the compilation stage when multiple default definitions are found
📄️ unsafe built-in function calls in expression: {name}
| Stage | Category | Message |