Configuration and time · rule
configuration.field_unknown
Configuration has no setting with this name.
Area 10, Configuration and time; not declinable; the next step is usually the agent's.
type FromAddress = Email {}config { mail_sender: FromAddress}function from_address() -> FromAddress { return config.mail_sendr}
error: `config.mail_sendr` isn't a setting --> main.jadpo:8:12 |8 | return config.mail_sendr | ^^^^^^^^^^^^^^^^^ no such setting reason: `config { }` declares no setting called `mail_sendr`. Did you mean `mail_sender`? next: Use `config.mail_sender` instead of `config.mail_sendr` (agent) rule: configuration.field_unknown help: https://jadpo.dev/docs/errors/configuration.field_unknowncheck failed: 1 error, 1 file
A test's config: names a setting config { } doesn't declare (the rule
is area 10's):
type Label = Text { min_length: 3}config { label: Label { test: "valid" }}function label_in_use() -> Label { return config.label}test "a test's label is its own" { config: { lable: "other" } assert label_in_use() == "other"}
error: `lable` isn't a setting --> main.jadpo:17:9 |17 | lable: "other" | ^^^^^ no such setting reason: `config { }` declares no setting called `lable`, so a test has nothing to change. Did you mean `label`? next: Use `label` instead of `lable` (agent) rule: configuration.field_unknown help: https://jadpo.dev/docs/errors/configuration.field_unknowncheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/configuration.field_unknown.md.Built from Jadpo main at a707efb.