1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
use crate::{Diagnostic, Metadata, Report, Rule, Suggestion};
use if_chain::if_chain;
use macros::lint;
use rnix::{
types::{KeyValue, Paren, ParsedType, TypedNode, Wrapper},
NodeOrToken, SyntaxElement, SyntaxKind,
};
/// ## What it does
/// Checks for unnecessary parentheses.
///
/// ## Why is this bad?
/// Unnecessarily parenthesized code is hard to read.
///
/// ## Example
///
/// ```
/// let
/// double = (x: 2 * x);
/// ls = map (double) [ 1 2 3 ];
/// in
/// (2 + 3)
/// ```
///
/// Remove unnecessary parentheses:
///
/// ```
/// let
/// double = x: 2 * x;
/// ls = map double [ 1 2 3 ];
/// in
/// 2 + 3
/// ```
#[lint(
name = "useless parens",
note = "These parentheses can be omitted",
code = 8,
match_with = [
SyntaxKind::NODE_KEY_VALUE,
SyntaxKind::NODE_PAREN,
SyntaxKind::NODE_LET_IN,
]
)]
struct UselessParens;
impl Rule for UselessParens {
fn validate(&self, node: &SyntaxElement) -> Option<Report> {
if_chain! {
if let NodeOrToken::Node(node) = node;
if let Some(parsed_type_node) = ParsedType::cast(node.clone());
if let Some(diagnostic) = do_thing(parsed_type_node);
then {
let mut report = self.report();
report.diagnostics.push(diagnostic);
Some(report)
} else {
None
}
}
}
}
fn do_thing(parsed_type_node: ParsedType) -> Option<Diagnostic> {
match parsed_type_node {
ParsedType::KeyValue(kv) => if_chain! {
if let Some(value_node) = kv.value();
let value_range = value_node.text_range();
if let Some(value_in_parens) = Paren::cast(value_node);
if let Some(inner) = value_in_parens.inner();
then {
let at = value_range;
let message = "Useless parentheses around value in `let` binding";
let replacement = inner;
Some(Diagnostic::suggest(at, message, Suggestion::new(at, replacement)))
} else {
None
}
},
ParsedType::LetIn(let_in) => if_chain! {
if let Some(body_node) = let_in.body();
let body_range = body_node.text_range();
if let Some(body_as_parens) = Paren::cast(body_node);
if let Some(inner) = body_as_parens.inner();
then {
let at = body_range;
let message = "Useless parentheses around body of `let` expression";
let replacement = inner;
Some(Diagnostic::suggest(at, message, Suggestion::new(at, replacement)))
} else {
None
}
},
ParsedType::Paren(paren_expr) => if_chain! {
let paren_expr_range = paren_expr.node().text_range();
if let Some(father_node) = paren_expr.node().parent();
// ensure that we don't lint inside let-in statements
// we already lint such cases in previous match stmt
if KeyValue::cast(father_node).is_none();
if let Some(inner_node) = paren_expr.inner();
if let Some(parsed_inner) = ParsedType::cast(inner_node);
if matches!(
parsed_inner,
ParsedType::List(_)
| ParsedType::Paren(_)
| ParsedType::Str(_)
| ParsedType::AttrSet(_)
| ParsedType::Select(_)
| ParsedType::Ident(_)
);
then {
let at = paren_expr_range;
let message = "Useless parentheses around primitive expression";
let replacement = parsed_inner.node().clone();
Some(Diagnostic::suggest(at, message, Suggestion::new(at, replacement)))
} else {
None
}
},
_ => None,
}
}
|