From c37ef77223d819eb673b9be828a2450271e3f08a Mon Sep 17 00:00:00 2001 From: Yingchi Long Date: Mon, 19 Aug 2024 21:55:35 +0800 Subject: [PATCH] libnixf: fixup diagnostic message --- libnixf/src/Basic/diagnostic.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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",