diff --git a/libnixf/src/Basic/diagnostic.py b/libnixf/src/Basic/diagnostic.py index c55e11795..8261d8548 100644 --- a/libnixf/src/Basic/diagnostic.py +++ b/libnixf/src/Basic/diagnostic.py @@ -198,14 +198,14 @@ class Diagnostic(TypedDict): { "sname": "sema-unused-def-lambda-witharg-formal", "cname": "UnusedDefLambdaWithArg_Formal", - "severity": "Warning", - "message": "argument `{}` in `@`-pattern is not used", + "severity": "Hint", + "message": "attribute `{}` of `@`-pattern argument is not used, but may be referenced from the argument", }, { "sname": "sema-unused-def-lambda-witharg-arg", "cname": "UnusedDefLambdaWithArg_Arg", - "severity": "Hint", - "message": "attribute `{}` of `@`-pattern argument is not used, but may be referenced from the argument", + "severity": "Warning", + "message": "argument `{}` in `@`-pattern is not used", }, { "sname": "sema-extra-rec",