libnixf: fixup diagnostic message

inclyc · inclyc · commit c37ef77223d8 · 2024-08-19T21:55:35.000+08:00
diff --git 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",

Original file line number	Diff line number	Diff line change
`@@ -198,14 +198,14 @@ class Diagnostic(TypedDict):`
`198`	`198`	`{`
`199`	`199`	`"sname": "sema-unused-def-lambda-witharg-formal",`
`200`	`200`	`"cname": "UnusedDefLambdaWithArg_Formal",`
`201`		`- "severity": "Warning",`
`202`		- "message": "argument `{}` in `@`-pattern is not used",
	`201`	`+ "severity": "Hint",`
	`202`	+ "message": "attribute `{}` of `@`-pattern argument is not used, but may be referenced from the argument",
`203`	`203`	`},`
`204`	`204`	`{`
`205`	`205`	`"sname": "sema-unused-def-lambda-witharg-arg",`
`206`	`206`	`"cname": "UnusedDefLambdaWithArg_Arg",`
`207`		`- "severity": "Hint",`
`208`		- "message": "attribute `{}` of `@`-pattern argument is not used, but may be referenced from the argument",
	`207`	`+ "severity": "Warning",`
	`208`	+ "message": "argument `{}` in `@`-pattern is not used",
`209`	`209`	`},`
`210`	`210`	`{`
`211`	`211`	`"sname": "sema-extra-rec",`