diff options
| author | pommicket <pommicket@gmail.com> | 2025-09-08 20:44:03 -0400 |
|---|---|---|
| committer | pommicket <pommicket@gmail.com> | 2025-09-08 20:44:03 -0400 |
| commit | a43c3e078f5b49be7e662b650f61d23aaf6aae9a (patch) | |
| tree | 2bb3ac332f20168ff672958a86039b033c61b9a1 /site | |
| parent | aba95d2f8cd0b945a7cf774f8c628a000f601810 (diff) | |
Update location() to allow undefined-keys-with-defined-subkeys
Diffstat (limited to 'site')
| -rw-r--r-- | site/spec.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/site/spec.html b/site/spec.html index 01d42e3..0cc88b4 100644 --- a/site/spec.html +++ b/site/spec.html @@ -607,6 +607,10 @@ and for my.nephews.car.id is String (no schema key matches, so the default of St Location of the definition of <code>key</code> in the configuration (file and line number). Useful for reporting invalid values when the format of valid values can’t be described by a schema type. + If a key <i>k</i> isn’t given a value in the configuration, but a key of the form + <i>k</i><code>.</code><i>j</i> is, then the + location of the definition of an arbitrary such key + should be considered the location of <i>k</i>. </li> <li> <code>get(conf: Configuration, key: String) -> Optional<String></code><br> |