diff options
author | stuebinm | 2024-07-10 15:56:15 +0200 |
---|---|---|
committer | stuebinm | 2024-07-10 16:04:27 +0200 |
commit | d7a53eb0a8195e50f54f850fdd6421b4f149f0ed (patch) | |
tree | c4c8a2692a39ff95e2db8bca32357017bdc91c04 /.gitignore | |
parent | ad388ac0008390339f27ffe52fa65fe278ac5a5d (diff) |
handle partially present optional nestings
these would previously silently fail and simply produce a Nothing if
only some (but not all) of the nested keys were present. This is not
reasonable behaviour that anyone would expect; whenever a nested key
is present, absence of another should be an error (the same goes for
any other errors in that key's definition).
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions