summaryrefslogtreecommitdiff
path: root/lint
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-05 16:27:27 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-06 14:37:16 +0100
commitee8a8d511fb5c8d0cbad8a5979759ce853e8d767 (patch)
treed9061a648fba7cffe3d6dd6b39f4543afd669d40 /lint
parent9e7f2b68357dc1fbd073244e5a242a8317c8207d (diff)
downloadrules-cc-ee8a8d511fb5c8d0cbad8a5979759ce853e8d767.tar.gz
Use quote and quasi-quote to simplify some expressions
Diffstat (limited to 'lint')
-rw-r--r--lint/RULES3
1 files changed, 1 insertions, 2 deletions
diff --git a/lint/RULES b/lint/RULES
index 0fba127..0da42d2 100644
--- a/lint/RULES
+++ b/lint/RULES
@@ -93,8 +93,7 @@
, "call_lint": ["call_lint"]
, "call_summary": ["call_summary"]
}
- , "config_transitions":
- {"targets": [{"type": "singleton_map", "key": "LINT", "value": true}]}
+ , "config_transitions": {"targets": [{"type": "'", "$1": {"LINT": true}}]}
, "anonymous":
{"lint": {"target": "targets", "provider": "lint", "rule_map": {}}}
, "imports":