BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

tests.nixpkgs-check-by-name: Improve inherit detection

Browse source 
Detect inherit's better, such that a future commit can use this
information in an error message
This commit is contained in:
Silvan Mosberger 2024-02-19 22:02:27 +01:00
parent 93e1c2d084
commit 712ac796e5
1 changed files with 30 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
pkgs/test/nixpkgs-check-by-name/src/nix_file.rs
View file

@ -5,7 +5,6 @@ use anyhow::Context;
use rnix::ast; use rnix::ast;
use rnix::ast::Expr; use rnix::ast::Expr;
use rnix::ast::HasEntry; use rnix::ast::HasEntry;
use rnix::SyntaxKind;
use rowan::ast::AstNode; use rowan::ast::AstNode;
use rowan::TextSize; use rowan::TextSize;
use rowan::TokenAtOffset; use rowan::TokenAtOffset;
@ -158,6 +157,22 @@ impl NixFile {
) )
}; };
if ast::Attr::can_cast(node.kind()) {
// Something like `foo`, `"foo"` or `${"foo"}`
} else if ast::Inherit::can_cast(node.kind()) {
// Something like `inherit <attr>` or `inherit (<source>) <attr>`
// This is the only other way how `builtins.unsafeGetAttrPos` can return
// attribute positions, but we only look for ones like `<attr-path> = <value>`, so
// ignore this
return Ok(None);
} else {
// However, anything else is not expected and smells like a bug
anyhow::bail!(
"Node in {} is neither an attribute node, nor an inherit node: {node:?}",
self.path.display()
)
}
// node looks like "foo" // node looks like "foo"
let Some(attrpath_node) = node.parent() else { let Some(attrpath_node) = node.parent() else {
anyhow::bail!( anyhow::bail!(
@ -166,10 +181,14 @@ impl NixFile {
) )
}; };
if attrpath_node.kind() != SyntaxKind::NODE_ATTRPATH { if !ast::Attrpath::can_cast(attrpath_node.kind()) {
// This can happen for e.g. `inherit foo`, so definitely not a syntactic `callPackage` // We know that `node` is an attribute, its parent should be an attribute path
return Ok(None); anyhow::bail!(
"In {}, attribute parent node is not an attribute path node: {attrpath_node:?}",
self.path.display()
)
} }
// attrpath_node looks like "foo.bar" // attrpath_node looks like "foo.bar"
let Some(attrpath_value_node) = attrpath_node.parent() else { let Some(attrpath_value_node) = attrpath_node.parent() else {
anyhow::bail!( anyhow::bail!(
@ -408,6 +427,7 @@ mod tests {
/**/quuux/**/=/**/5/**/;/*E*/ /**/quuux/**/=/**/5/**/;/*E*/
inherit toInherit; inherit toInherit;
inherit (toInherit) toInherit;
} }
"#}; "#};
@ -424,11 +444,13 @@ mod tests {
(8, 3, Some("quux\n # B\n =\n # C\n 5\n # D\n ;")), (8, 3, Some("quux\n # B\n =\n # C\n 5\n # D\n ;")),
(17, 7, Some("quuux/**/=/**/5/**/;")), (17, 7, Some("quuux/**/=/**/5/**/;")),
(19, 10, None), (19, 10, None),
(20, 22, None),
]; ];
for (line, column, expected_result) in cases { for (line, column, expected_result) in cases {
let actual_result = nix_file let actual_result = nix_file
.attrpath_value_at(line, column)? .attrpath_value_at(line, column)
.context(format!("line {line}, column {column}"))?
.map(|node| node.to_string()); .map(|node| node.to_string());
assert_eq!(actual_result.as_deref(), expected_result); assert_eq!(actual_result.as_deref(), expected_result);
} }
@ -501,7 +523,9 @@ mod tests {
]; ];
for (line, expected_result) in cases { for (line, expected_result) in cases {
let actual_result = nix_file.call_package_argument_info_at(line, 3, temp_dir.path())?; let actual_result = nix_file
.call_package_argument_info_at(line, 3, temp_dir.path())
.context(format!("line {line}"))?;
assert_eq!(actual_result, expected_result); assert_eq!(actual_result, expected_result);
} }