Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Raise an error on invalid keys in configuration #2125

Merged
merged 2 commits into from
Aug 30, 2022

Conversation

shonfeder
Copy link
Contributor

@shonfeder shonfeder commented Aug 30, 2022

Previously, unexpected keys in a configuration source were silently
ignored. This led to invalid configuration values (e.g., due to
configuration format updates or due to typos) being silently ignored.

This addition ensures we raise an error on unexpected keys in
configuration sources.

This was spun out of ongoing work on #2121.


  • Tests added for any new code
  • Ran make fmt-fix (or had formatting run automatically on all files edited)
  • Entries added to ./unreleased/ for any new functionality

Previously, unexpected keys in a configuration source were silently
ignored. This led to invalid configuration values (e.g., due to
configuration format updates or due to typos) being silently ignored.

This addition ensures we raise an error on unexpected keys in
configuration sources.
@codecov-commenter
Copy link

codecov-commenter commented Aug 30, 2022

Codecov Report

Merging #2125 (949ec0d) into main (a2e967e) will decrease coverage by 0.00%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main    #2125      +/-   ##
==========================================
- Coverage   77.17%   77.16%   -0.01%     
==========================================
  Files         424      424              
  Lines       13830    13831       +1     
  Branches     1875     1899      +24     
==========================================
  Hits        10673    10673              
- Misses       3157     3158       +1     
Impacted Files Coverage Δ
...n/scala/at/forsyte/apalache/io/ConfigManager.scala 0.00% <0.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

Copy link
Collaborator

@bugarela bugarela left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@shonfeder shonfeder merged commit a1887ba into main Aug 30, 2022
@shonfeder shonfeder deleted the shon/cfg-err-on-invalid-keys branch August 30, 2022 18:28
This was referenced Sep 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants