Fix ArgWithDefault comments handling (#5204)

This commit is contained in:
Micha Reiser 2023-06-20 22:48:07 +02:00 committed by GitHub
parent fde5dbc9aa
commit e520a3a721
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
17 changed files with 73 additions and 69 deletions

12
Cargo.lock generated
View file

@ -2105,7 +2105,7 @@ dependencies = [
[[package]] [[package]]
name = "ruff_text_size" name = "ruff_text_size"
version = "0.0.0" version = "0.0.0"
source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=ed3b4eb72b6e497bbdb4d19dec6621074d724130#ed3b4eb72b6e497bbdb4d19dec6621074d724130" source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=08ebbe40d7776cac6e3ba66277d435056f2b8dca#08ebbe40d7776cac6e3ba66277d435056f2b8dca"
dependencies = [ dependencies = [
"schemars", "schemars",
"serde", "serde",
@ -2183,7 +2183,7 @@ dependencies = [
[[package]] [[package]]
name = "rustpython-ast" name = "rustpython-ast"
version = "0.2.0" version = "0.2.0"
source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=ed3b4eb72b6e497bbdb4d19dec6621074d724130#ed3b4eb72b6e497bbdb4d19dec6621074d724130" source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=08ebbe40d7776cac6e3ba66277d435056f2b8dca#08ebbe40d7776cac6e3ba66277d435056f2b8dca"
dependencies = [ dependencies = [
"is-macro", "is-macro",
"num-bigint", "num-bigint",
@ -2194,7 +2194,7 @@ dependencies = [
[[package]] [[package]]
name = "rustpython-format" name = "rustpython-format"
version = "0.2.0" version = "0.2.0"
source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=ed3b4eb72b6e497bbdb4d19dec6621074d724130#ed3b4eb72b6e497bbdb4d19dec6621074d724130" source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=08ebbe40d7776cac6e3ba66277d435056f2b8dca#08ebbe40d7776cac6e3ba66277d435056f2b8dca"
dependencies = [ dependencies = [
"bitflags 2.3.1", "bitflags 2.3.1",
"itertools", "itertools",
@ -2206,7 +2206,7 @@ dependencies = [
[[package]] [[package]]
name = "rustpython-literal" name = "rustpython-literal"
version = "0.2.0" version = "0.2.0"
source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=ed3b4eb72b6e497bbdb4d19dec6621074d724130#ed3b4eb72b6e497bbdb4d19dec6621074d724130" source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=08ebbe40d7776cac6e3ba66277d435056f2b8dca#08ebbe40d7776cac6e3ba66277d435056f2b8dca"
dependencies = [ dependencies = [
"hexf-parse", "hexf-parse",
"is-macro", "is-macro",
@ -2218,7 +2218,7 @@ dependencies = [
[[package]] [[package]]
name = "rustpython-parser" name = "rustpython-parser"
version = "0.2.0" version = "0.2.0"
source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=ed3b4eb72b6e497bbdb4d19dec6621074d724130#ed3b4eb72b6e497bbdb4d19dec6621074d724130" source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=08ebbe40d7776cac6e3ba66277d435056f2b8dca#08ebbe40d7776cac6e3ba66277d435056f2b8dca"
dependencies = [ dependencies = [
"anyhow", "anyhow",
"is-macro", "is-macro",
@ -2241,7 +2241,7 @@ dependencies = [
[[package]] [[package]]
name = "rustpython-parser-core" name = "rustpython-parser-core"
version = "0.2.0" version = "0.2.0"
source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=ed3b4eb72b6e497bbdb4d19dec6621074d724130#ed3b4eb72b6e497bbdb4d19dec6621074d724130" source = "git+https://github.com/astral-sh/RustPython-Parser.git?rev=08ebbe40d7776cac6e3ba66277d435056f2b8dca#08ebbe40d7776cac6e3ba66277d435056f2b8dca"
dependencies = [ dependencies = [
"is-macro", "is-macro",
"memchr", "memchr",

View file

@ -50,15 +50,15 @@ toml = { version = "0.7.2" }
# v0.0.1 # v0.0.1
libcst = { git = "https://github.com/charliermarsh/LibCST", rev = "80e4c1399f95e5beb532fdd1e209ad2dbb470438" } libcst = { git = "https://github.com/charliermarsh/LibCST", rev = "80e4c1399f95e5beb532fdd1e209ad2dbb470438" }
# v0.0.3 # v0.0.3
ruff_text_size = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "ed3b4eb72b6e497bbdb4d19dec6621074d724130" } ruff_text_size = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "08ebbe40d7776cac6e3ba66277d435056f2b8dca" }
# v0.0.3 # v0.0.3
rustpython-ast = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "ed3b4eb72b6e497bbdb4d19dec6621074d724130" , default-features = false, features = ["all-nodes-with-ranges", "num-bigint"]} rustpython-ast = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "08ebbe40d7776cac6e3ba66277d435056f2b8dca" , default-features = false, features = ["all-nodes-with-ranges", "num-bigint"]}
# v0.0.3 # v0.0.3
rustpython-format = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "ed3b4eb72b6e497bbdb4d19dec6621074d724130", default-features = false, features = ["num-bigint"] } rustpython-format = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "08ebbe40d7776cac6e3ba66277d435056f2b8dca", default-features = false, features = ["num-bigint"] }
# v0.0.3 # v0.0.3
rustpython-literal = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "ed3b4eb72b6e497bbdb4d19dec6621074d724130", default-features = false } rustpython-literal = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "08ebbe40d7776cac6e3ba66277d435056f2b8dca", default-features = false }
# v0.0.3 # v0.0.3
rustpython-parser = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "ed3b4eb72b6e497bbdb4d19dec6621074d724130" , default-features = false, features = ["full-lexer", "all-nodes-with-ranges", "num-bigint"] } rustpython-parser = { git = "https://github.com/astral-sh/RustPython-Parser.git", rev = "08ebbe40d7776cac6e3ba66277d435056f2b8dca" , default-features = false, features = ["full-lexer", "all-nodes-with-ranges", "num-bigint"] }
[profile.release] [profile.release]
lto = "fat" lto = "fat"

View file

@ -3680,7 +3680,7 @@ impl AnyNodeRef<'_> {
/// Compares two any node refs by their pointers (referential equality). /// Compares two any node refs by their pointers (referential equality).
pub fn ptr_eq(self, other: AnyNodeRef) -> bool { pub fn ptr_eq(self, other: AnyNodeRef) -> bool {
self.as_ptr().eq(&other.as_ptr()) self.as_ptr().eq(&other.as_ptr()) && self.kind() == other.kind()
} }
/// Returns the node's [`kind`](NodeKind) that has no data associated and is [`Copy`]. /// Returns the node's [`kind`](NodeKind) that has no data associated and is [`Copy`].

View file

@ -90,3 +90,10 @@ else:
# Regression test for https://github.com/python/cpython/blob/7199584ac8632eab57612f595a7162ab8d2ebbc0/Lib/warnings.py#L513 # Regression test for https://github.com/python/cpython/blob/7199584ac8632eab57612f595a7162ab8d2ebbc0/Lib/warnings.py#L513
def f(arg1=1, *, kwonlyarg1, kwonlyarg2=2): def f(arg1=1, *, kwonlyarg1, kwonlyarg2=2):
pass pass
# Regression test for https://github.com/astral-sh/ruff/issues/5176#issuecomment-1598171989
def foo(
b=3 + 2 # comment
):
...

View file

@ -63,7 +63,7 @@ pub fn format_and_debug_print(input: &str, cli: &Cli) -> Result<String> {
} }
if cli.print_comments { if cli.print_comments {
println!( println!(
"{:?}", "{:#?}",
formatted.context().comments().debug(SourceCode::new(input)) formatted.context().comments().debug(SourceCode::new(input))
); );
} }

View file

@ -627,17 +627,7 @@ fn handle_positional_only_arguments_separator_comment<'a>(
}; };
let is_last_positional_argument = let is_last_positional_argument =
// If the preceding node is the identifier for the last positional argument (`a`). are_same_optional(last_argument_or_default, arguments.posonlyargs.last());
// ```python
// def test(a, /, b): pass
// ```
are_same_optional(last_argument_or_default, arguments.posonlyargs.last().map(|arg| &arg.def))
// If the preceding node is the default for the last positional argument (`10`).
// ```python
// def test(a=10, /, b): pass
// ```
|| are_same_optional(last_argument_or_default, arguments
.posonlyargs.last().and_then(|arg| arg.default.as_deref()));
if !is_last_positional_argument { if !is_last_positional_argument {
return CommentPlacement::Default(comment); return CommentPlacement::Default(comment);

View file

@ -19,9 +19,9 @@ expression: comments.debug(test_case.source_code)
"trailing": [], "trailing": [],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 90..91, range: 90..94,
source: `b`, source: `b=20`,
}: { }: {
"leading": [ "leading": [
SourceComment { SourceComment {

View file

@ -24,9 +24,9 @@ expression: comments.debug(test_case.source_code)
"trailing": [], "trailing": [],
}, },
Node { Node {
kind: ExprConstant, kind: ArgWithDefault,
range: 17..19, range: 15..19,
source: `10`, source: `a=10`,
}: { }: {
"leading": [], "leading": [],
"dangling": [], "dangling": [],
@ -39,9 +39,9 @@ expression: comments.debug(test_case.source_code)
], ],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 173..174, range: 173..177,
source: `b`, source: `b=20`,
}: { }: {
"leading": [ "leading": [
SourceComment { SourceComment {

View file

@ -24,7 +24,7 @@ expression: comments.debug(test_case.source_code)
"trailing": [], "trailing": [],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 15..16, range: 15..16,
source: `a`, source: `a`,
}: { }: {
@ -39,7 +39,7 @@ expression: comments.debug(test_case.source_code)
], ],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 166..167, range: 166..167,
source: `b`, source: `b`,
}: { }: {

View file

@ -24,7 +24,7 @@ expression: comments.debug(test_case.source_code)
"trailing": [], "trailing": [],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 15..16, range: 15..16,
source: `a`, source: `a`,
}: { }: {

View file

@ -24,7 +24,7 @@ expression: comments.debug(test_case.source_code)
"trailing": [], "trailing": [],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 15..16, range: 15..16,
source: `a`, source: `a`,
}: { }: {
@ -39,7 +39,7 @@ expression: comments.debug(test_case.source_code)
], ],
}, },
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 166..167, range: 166..167,
source: `b`, source: `b`,
}: { }: {

View file

@ -4,7 +4,7 @@ expression: comments.debug(test_case.source_code)
--- ---
{ {
Node { Node {
kind: Arg, kind: ArgWithDefault,
range: 15..16, range: 15..16,
source: `a`, source: `a`,
}: { }: {

View file

@ -236,6 +236,13 @@ impl<'ast> PreorderVisitor<'ast> for CommentsVisitor<'ast> {
self.finish_node(arg); self.finish_node(arg);
} }
fn visit_arg_with_default(&mut self, arg_with_default: &'ast ArgWithDefault) {
if self.start_node(arg_with_default).is_traverse() {
walk_arg_with_default(self, arg_with_default);
}
self.finish_node(arg_with_default);
}
fn visit_keyword(&mut self, keyword: &'ast Keyword) { fn visit_keyword(&mut self, keyword: &'ast Keyword) {
if self.start_node(keyword).is_traverse() { if self.start_node(keyword).is_traverse() {
walk_keyword(self, keyword); walk_keyword(self, keyword);

View file

@ -411,10 +411,12 @@ Formatted twice:
#[test] #[test]
fn quick_test() { fn quick_test() {
let src = r#" let src = r#"
def test(): ...
# Comment def foo(
def with_leading_comment(): ... b=3
+ 2 # comment
):
...
"#; "#;
// Tokenize once // Tokenize once
let mut tokens = Vec::new(); let mut tokens = Vec::new();
@ -437,10 +439,10 @@ def with_leading_comment(): ...
// Use `dbg_write!(f, []) instead of `write!(f, [])` in your formatting code to print some IR // Use `dbg_write!(f, []) instead of `write!(f, [])` in your formatting code to print some IR
// inside of a `Format` implementation // inside of a `Format` implementation
// use ruff_formatter::FormatContext; // use ruff_formatter::FormatContext;
// formatted // dbg!(formatted
// .document() // .document()
// .display(formatted.context().source_code()); // .display(formatted.context().source_code()));
//
// dbg!(formatted // dbg!(formatted
// .context() // .context()
// .comments() // .comments()

View file

@ -1,6 +1,5 @@
use rustpython_parser::ast::ArgWithDefault;
use ruff_formatter::write; use ruff_formatter::write;
use rustpython_parser::ast::ArgWithDefault;
use crate::prelude::*; use crate::prelude::*;
use crate::FormatNodeRule; use crate::FormatNodeRule;
@ -20,7 +19,7 @@ impl FormatNodeRule<ArgWithDefault> for FormatArgWithDefault {
if let Some(default) = default { if let Some(default) = default {
let space = def.annotation.is_some().then_some(space()); let space = def.annotation.is_some().then_some(space());
write!(f, [space, text("="), space, default.format()])?; write!(f, [space, text("="), space, group(&default.format())])?;
} }
Ok(()) Ok(())

View file

@ -34,14 +34,9 @@ impl FormatNodeRule<Arguments> for FormatArguments {
let mut last_node: Option<AnyNodeRef> = None; let mut last_node: Option<AnyNodeRef> = None;
for arg_with_default in posonlyargs { for arg_with_default in posonlyargs {
joiner.entry(&arg_with_default.into_format()); joiner.entry(&arg_with_default.format());
last_node = Some( last_node = Some(arg_with_default.into());
arg_with_default
.default
.as_deref()
.map_or_else(|| (&arg_with_default.def).into(), AnyNodeRef::from),
);
} }
if !posonlyargs.is_empty() { if !posonlyargs.is_empty() {
@ -49,14 +44,9 @@ impl FormatNodeRule<Arguments> for FormatArguments {
} }
for arg_with_default in args { for arg_with_default in args {
joiner.entry(&arg_with_default.into_format()); joiner.entry(&arg_with_default.format());
last_node = Some( last_node = Some(arg_with_default.into());
arg_with_default
.default
.as_deref()
.map_or_else(|| (&arg_with_default.def).into(), AnyNodeRef::from),
);
} }
// kw only args need either a `*args` ahead of them capturing all var args or a `*` // kw only args need either a `*args` ahead of them capturing all var args or a `*`
@ -74,14 +64,9 @@ impl FormatNodeRule<Arguments> for FormatArguments {
} }
for arg_with_default in kwonlyargs { for arg_with_default in kwonlyargs {
joiner.entry(&arg_with_default.into_format()); joiner.entry(&arg_with_default.format());
last_node = Some( last_node = Some(arg_with_default.into());
arg_with_default
.default
.as_deref()
.map_or_else(|| (&arg_with_default.def).into(), AnyNodeRef::from),
);
} }
if let Some(kwarg) = kwarg { if let Some(kwarg) = kwarg {

View file

@ -96,6 +96,13 @@ else:
# Regression test for https://github.com/python/cpython/blob/7199584ac8632eab57612f595a7162ab8d2ebbc0/Lib/warnings.py#L513 # Regression test for https://github.com/python/cpython/blob/7199584ac8632eab57612f595a7162ab8d2ebbc0/Lib/warnings.py#L513
def f(arg1=1, *, kwonlyarg1, kwonlyarg2=2): def f(arg1=1, *, kwonlyarg1, kwonlyarg2=2):
pass pass
# Regression test for https://github.com/astral-sh/ruff/issues/5176#issuecomment-1598171989
def foo(
b=3 + 2 # comment
):
...
``` ```
@ -223,6 +230,13 @@ else:
# Regression test for https://github.com/python/cpython/blob/7199584ac8632eab57612f595a7162ab8d2ebbc0/Lib/warnings.py#L513 # Regression test for https://github.com/python/cpython/blob/7199584ac8632eab57612f595a7162ab8d2ebbc0/Lib/warnings.py#L513
def f(arg1=1, *, kwonlyarg1, kwonlyarg2=2): def f(arg1=1, *, kwonlyarg1, kwonlyarg2=2):
pass pass
# Regression test for https://github.com/astral-sh/ruff/issues/5176#issuecomment-1598171989
def foo(
b=3 + 2, # comment
):
...
``` ```