Skip to content

Commit

Permalink
libnixf: change extra-{rec,with} diagnostics to warning (#564)
Browse files Browse the repository at this point in the history
Because if you don’t remove such unnecessary patterns in time, you may
make subtle mistakes later

---------

Co-authored-by: Yingchi Long <[email protected]>
  • Loading branch information
Aleksanaa and inclyc authored Aug 2, 2024
1 parent d687efa commit d938026
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions libnixf/src/Basic/diagnostic.py
Original file line number Diff line number Diff line change
Expand Up @@ -210,13 +210,13 @@ class Diagnostic(TypedDict):
{
"sname": "sema-extra-rec",
"cname": "ExtraRecursive",
"severity": "Hint",
"severity": "Warning",
"message": "attrset is not necessary to be `rec`ursive",
},
{
"sname": "sema-extra-with",
"cname": "ExtraWith",
"severity": "Hint",
"severity": "Warning",
"message": "unused `with` expression",
},
{
Expand Down

0 comments on commit d938026

Please sign in to comment.