-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
fix!: force_order failing on Const nodes, add arg to rank. #1300
Conversation
7dc3027
to
b2e48ea
Compare
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #1300 +/- ##
==========================================
+ Coverage 87.23% 87.24% +0.01%
==========================================
Files 107 107
Lines 19564 19584 +20
Branches 17302 17322 +20
==========================================
+ Hits 17066 17086 +20
Misses 1714 1714
Partials 784 784
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
hugr-passes/src/force_order.rs
Outdated
// we filter out the input and output nodes from the topological sort | ||
let Some([i, o]) = hugr.get_io(dp) else { | ||
continue; | ||
}; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For which dataflow parent would this else
branch trigger?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
None, but the alternative is to panic here. I was too conservative, wil change to unwrap.
I've taken the opportunity to add a &Hugr arg to rank. Rank can't hold a reference to the Hugr because force_order takes a mut reference. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I've taken the opportunity to add a &Hugr arg to rank. Rank can't hold a reference to the Hugr because force_order takes a mut reference.
Nice, I was running into that issue before 👍
## 🤖 New release * `hugr`: 0.7.0 -> 0.8.0 * `hugr-core`: 0.4.0 -> 0.5.0 * `hugr-passes`: 0.4.0 -> 0.5.0 * `hugr-cli`: 0.1.3 -> 0.1.4 <details><summary><i><b>Changelog</b></i></summary><p> ## `hugr` <blockquote> ## 0.8.0 (2024-07-16) ### Bug Fixes - [**breaking**] Force_order failing on Const nodes, add arg to rank. ([#1300](#1300)) - NonConvex error on SiblingSubgraph::from_nodes with multiports ([#1295](#1295)) - [**breaking**] Ops require their own extension ([#1226](#1226)) ### Documentation - Attempt to correct force_order docs ([#1299](#1299)) ### Features - Make `DataflowOpTrait` public ([#1283](#1283)) - Make op members consistently public ([#1274](#1274)) ### Refactor - [**breaking**] Rename builder helpers: ft1->endo_ft, ft2->inout_ft ([#1297](#1297)) </blockquote> ## `hugr-core` <blockquote> ## 0.5.0 (2024-07-16) ### Bug Fixes - NonConvex error on SiblingSubgraph::from_nodes with multiports ([#1295](#1295)) - [**breaking**] Ops require their own extension ([#1226](#1226)) ### Features - Make `DataflowOpTrait` public ([#1283](#1283)) - Make op members consistently public ([#1274](#1274)) ### Refactor - [**breaking**] Rename builder helpers: ft1->endo_ft, ft2->inout_ft ([#1297](#1297)) </blockquote> ## `hugr-passes` <blockquote> ## 0.5.0 (2024-07-16) ### Bug Fixes - [**breaking**] Ops require their own extension ([#1226](#1226)) - [**breaking**] Force_order failing on Const nodes, add arg to rank. ([#1300](#1300)) ### Documentation - Attempt to correct force_order docs ([#1299](#1299)) ### Refactor - [**breaking**] Rename builder helpers: ft1->endo_ft, ft2->inout_ft ([#1297](#1297)) </blockquote> ## `hugr-cli` <blockquote> ## 0.1.3 (2024-07-10) ### Styling - Change "serialise" etc to "serialize" etc. ([#1251](#1251)) </blockquote> </p></details> --- This PR was generated with [release-plz](https://github.com/MarcoIeni/release-plz/).
BREAKING CHANGE: the
rank
argument offorce_order
takes an additional argument.