diff options
| -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> |