feat: Packages in `hugr-model` and envelope support. #2026

zrho · 2025-03-25T15:25:33Z

This PR adds packages to hugr-model with support for envelopes.

Packages for both the AST and table representation of hugr-model.
Packages in the Python model classes.
Reading and writing model envelopes in Rust.
Writing model envelopes in Python.

codecov · 2025-03-26T10:19:35Z

Codecov Report

Attention: Patch coverage is 52.73632% with 95 lines in your changes missing coverage. Please review.

Project coverage is 82.96%. Comparing base (4734948) to head (f1789a9).
Report is 11 commits behind head on main.

Files with missing lines	Patch %	Lines
hugr-model/src/capnp/hugr_v0_capnp.rs	24.39%	61 Missing and 1 partial ⚠️
hugr-model/src/v0/ast/python.rs	0.00%	11 Missing ⚠️
hugr-py/src/hugr/envelope.py	30.00%	7 Missing ⚠️
hugr-py/src/hugr/model/__init__.py	66.66%	4 Missing ⚠️
hugr-core/src/envelope.rs	25.00%	0 Missing and 3 partials ⚠️
hugr-model/src/v0/binary/read.rs	80.00%	0 Missing and 3 partials ⚠️
hugr-core/src/import.rs	91.66%	0 Missing and 1 partial ⚠️
hugr-model/src/v0/ast/mod.rs	90.90%	0 Missing and 1 partial ⚠️
hugr-model/src/v0/ast/parse.rs	87.50%	0 Missing and 1 partial ⚠️
hugr-model/src/v0/table/mod.rs	87.50%	0 Missing and 1 partial ⚠️
... and 1 more

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2026      +/-   ##
==========================================
- Coverage   83.09%   82.96%   -0.14%     
==========================================
  Files         215      215              
  Lines       40905    41075     +170     
  Branches    37119    37273     +154     
==========================================
+ Hits        33992    34077      +85     
- Misses       5027     5107      +80     
- Partials     1886     1891       +5

Flag	Coverage Δ
python	`85.79% <52.00%> (-0.13%)`	⬇️
rust	`82.67% <52.84%> (-0.14%)`	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

by macro generated code.

aborgna-q

Cool. I mostly have a question about APIs

hugr-core/src/export.rs

hugr-core/src/envelope.rs

aborgna-q · 2025-03-31T13:47:55Z

hugr-core/src/hugr.rs

+    pub fn to_model<'a>(&'a self, bump: &'a model::bumpalo::Bump) -> model::table::Module<'a> {
+        export_hugr(self, bump)
+    }
+
+    /// Import a module from the model representation.
+    #[cfg(feature = "model_unstable")]
+    pub fn from_model<'a>(


I don't think we want this as a first-class HUGR method, as user should normally go via packages instead (esp. once #2029 is in.

I'd leave it in hugr::{im,ex}port::{im,ex}port_hugr instead. We'll add a to_envelope or something here once thing get implemented.

I also prefer to have this as the import_* and export_* functions. I had switched to these methods for consistency with the existing design, but it does make sense that ultimately we're going to use envelopes anyway. So it's reverted to the functions; that should address multiple comments.

hugr-core/src/package.rs

hugr-py/src/hugr/model/__init__.py

aborgna-q · 2025-03-31T14:01:26Z

hugr-py/src/hugr/envelope.py

Can we have some tests for module envelopes?
(see test_envelope.py)

We can't roundtrip on the Python side yet since the equivalent of import does not exist yet, since that is less relevant currently than being able to write. I agree that there should be more tests; in the interest of getting this in a release asap and fixing it later (which appears to be the strategy we're going for) this PR might not be the place.

## 🤖 New release * `hugr-model`: 0.18.1 -> 0.19.0 (⚠ API breaking changes) * `hugr-core`: 0.15.2 -> 0.15.3 ~(⚠ API breaking changes)~ * `hugr-llvm`: 0.15.2 -> 0.15.3 (✓ API compatible changes) * `hugr-passes`: 0.15.2 -> 0.15.3 (✓ API compatible changes) * `hugr`: 0.15.2 -> 0.15.3 (✓ API compatible changes) * `hugr-cli`: 0.15.2 -> 0.15.3 (✓ API compatible changes) ### ⚠ `hugr-model` breaking changes ```text --- failure enum_missing: pub enum removed or renamed --- Description: A publicly-visible enum cannot be imported by its prior path. A `pub use` may have been removed, or the enum itself may have been renamed or removed entirely. ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.40.0/src/lints/enum_missing.ron Failed in: enum hugr_model::v0::table::ExtSetPart, previously in file /tmp/.tmpDqJ3X7/hugr-model/src/v0/table/mod.rs:352 --- failure enum_variant_added: enum variant added on exhaustive enum --- Description: A publicly-visible enum without #[non_exhaustive] has a new variant. ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.40.0/src/lints/enum_variant_added.ron Failed in: variant Term:Func in /tmp/.tmpIpZPlW/hugr/hugr-model/src/v0/table/mod.rs:341 --- failure enum_variant_missing: pub enum variant removed or renamed --- Description: A publicly-visible enum has at least one variant that is no longer available under its prior name. It may have been renamed or removed entirely. ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.40.0/src/lints/enum_variant_missing.ron Failed in: variant Term::ExtSet, previously in file /tmp/.tmpDqJ3X7/hugr-model/src/v0/table/mod.rs:316 variant Term::ConstFunc, previously in file /tmp/.tmpDqJ3X7/hugr-model/src/v0/table/mod.rs:321 variant Term::ExtSet, previously in file /tmp/.tmpDqJ3X7/hugr-model/src/v0/ast/mod.rs:237 --- failure pub_module_level_const_missing: pub module-level const is missing --- Description: A public const is missing or renamed ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.40.0/src/lints/pub_module_level_const_missing.ron Failed in: CORE_EXT_SET in file /tmp/.tmpDqJ3X7/hugr-model/src/v0/mod.rs:177 ``` ### ⚠ `hugr-core` breaking changes (⚠️ ignored ⚠️ ) ```text --- failure enum_variant_added: enum variant added on exhaustive enum --- Description: A publicly-visible enum without #[non_exhaustive] has a new variant. ref: https://doc.rust-lang.org/cargo/reference/semver.html#enum-variant-new impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.40.0/src/lints/enum_variant_added.ron Failed in: variant ImportError:OrderHint in /tmp/.tmpIpZPlW/hugr/hugr-core/src/import.rs:73 ``` <details><summary>Changelog</summary> ## `hugr-model` <blockquote> ## [0.19.0](hugr-model-v0.18.1...hugr-model-v0.19.0) - 2025-04-02 ### New Features - Python bindings for `hugr-model`. ([#1959](#1959)) - Remove extension sets from `hugr-model`. ([#2031](#2031)) - Packages in `hugr-model` and envelope support. ([#2026](#2026)) - Represent order edges in `hugr-model` as metadata. ([#2027](#2027)) </blockquote> ## `hugr-core` <blockquote> ## [0.16.0](hugr-core-v0.15.2...hugr-core-v0.16.0) - 2025-04-02 ### Documentation - Provide docs for array ops, fix bad doc for HugrView::poly_func_type ([#2021](#2021)) ### New Features - Expand SimpleReplacement API ([#1920](#1920)) - Python bindings for `hugr-model`. ([#1959](#1959)) - ReplaceTypes pass allows replacing extension types and ops ([#1989](#1989)) - Remove extension sets from `hugr-model`. ([#2031](#2031)) - Packages in `hugr-model` and envelope support. ([#2026](#2026)) - Represent order edges in `hugr-model` as metadata. ([#2027](#2027)) - add `build_expect_sum` to allow specific error messages ([#2032](#2032)) </blockquote> ## `hugr-llvm` <blockquote> ## [0.16.0](hugr-llvm-v0.15.2...hugr-llvm-v0.16.0) - 2025-04-02 ### New Features - *(hugr-llvm)* Add llvm codegen for `arithmetic.float.fpow` ([#2042](#2042)) - *(hugr-llvm)* Emit divmod and mod operations ([#2025](#2025)) </blockquote> ## `hugr-passes` <blockquote> ## [0.16.0](hugr-passes-v0.15.2...hugr-passes-v0.16.0) - 2025-04-02 ### New Features - ReplaceTypes pass allows replacing extension types and ops ([#1989](#1989)) - MakeTuple->UnpackTuple elision pass ([#2012](#2012)) - [**breaking**] Extend LowerTypes pass to linearize by inserting copy/discard ([#2018](#2018)) </blockquote> ## `hugr` <blockquote> ## [0.16.0](hugr-v0.15.2...hugr-v0.16.0) - 2025-04-02 ### Documentation - Provide docs for array ops, fix bad doc for HugrView::poly_func_type ([#2021](#2021)) ### New Features - MakeTuple->UnpackTuple elision pass ([#2012](#2012)) - [**breaking**] Extend LowerTypes pass to linearize by inserting copy/discard ([#2018](#2018)) - Expand SimpleReplacement API ([#1920](#1920)) - Python bindings for `hugr-model`. ([#1959](#1959)) - ReplaceTypes pass allows replacing extension types and ops ([#1989](#1989)) - Remove extension sets from `hugr-model`. ([#2031](#2031)) - Represent order edges in `hugr-model` as metadata. ([#2027](#2027)) - add `build_expect_sum` to allow specific error messages ([#2032](#2032)) - Packages in `hugr-model` and envelope support. ([#2026](#2026)) </blockquote> ## `hugr-cli` <blockquote> ## [0.16.0](hugr-cli-v0.15.2...hugr-cli-v0.16.0) - 2025-04-02 ### Documentation - Add usage info to hugr-cli's rustdocs ([#2044](#2044)) </blockquote> </details> --- This PR was generated with [release-plz](https://github.com/release-plz/release-plz/). --------- Co-authored-by: Agustín Borgna <[email protected]>

zrho force-pushed the zrho/model-package branch from 882d225 to 7822310 Compare March 26, 2025 10:13

zrho marked this pull request as ready for review March 26, 2025 12:09

zrho requested a review from a team as a code owner March 26, 2025 12:09

zrho requested review from tatiana-s and ss2165 March 26, 2025 12:09

zrho force-pushed the zrho/model-package branch from d011326 to 7e48e3a Compare March 26, 2025 13:02

ss2165 requested review from aborgna-q and removed request for ss2165 March 26, 2025 16:16

zrho force-pushed the zrho/model-package branch from 65710d8 to 6d7776b Compare March 26, 2025 17:02

zrho added 4 commits March 26, 2025 17:33

Packages and envelopes for hugr-model.

28aba84

Deprecate multiple hugr error in envelope instead of removing it.

ed694e5

For now suppress deprecation warning in envelope.rs since it is caused

64ba45f

by macro generated code.

Lint reasons not allowed on old Rust versions.

5fd144e

zrho force-pushed the zrho/model-package branch from 6d7776b to 2e69e9a Compare March 26, 2025 17:37

aborgna-q reviewed Mar 31, 2025

View reviewed changes

zrho added 2 commits March 31, 2025 16:32

Import/export functions instead of methods in hugr-core.

0531706

Added comment on deactivated deprecation warning.

a0cb97c

zrho force-pushed the zrho/model-package branch from 81b4fb8 to a0cb97c Compare March 31, 2025 14:37

Added missing docstrings.

f1789a9

zrho requested a review from aborgna-q April 2, 2025 08:51

aborgna-q approved these changes Apr 2, 2025

View reviewed changes

zrho added this pull request to the merge queue Apr 2, 2025

Merged via the queue into main with commit a16389f Apr 2, 2025
24 of 25 checks passed

zrho deleted the zrho/model-package branch April 2, 2025 12:59

This was referenced Apr 2, 2025

chore(main): release hugr-py 0.11.5 #2054

Draft

chore: release #2051

Merged

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Packages in `hugr-model` and envelope support. #2026

feat: Packages in `hugr-model` and envelope support. #2026

zrho commented Mar 25, 2025

codecov bot commented Mar 26, 2025 •

edited

Loading

aborgna-q left a comment

aborgna-q Mar 31, 2025

zrho Mar 31, 2025

aborgna-q Mar 31, 2025

zrho Mar 31, 2025

feat: Packages in hugr-model and envelope support. #2026

feat: Packages in hugr-model and envelope support. #2026

Conversation

zrho commented Mar 25, 2025

codecov bot commented Mar 26, 2025 • edited Loading

Codecov Report

aborgna-q left a comment

Choose a reason for hiding this comment

aborgna-q Mar 31, 2025

Choose a reason for hiding this comment

zrho Mar 31, 2025

Choose a reason for hiding this comment

aborgna-q Mar 31, 2025

Choose a reason for hiding this comment

zrho Mar 31, 2025

Choose a reason for hiding this comment

feat: Packages in `hugr-model` and envelope support. #2026

feat: Packages in `hugr-model` and envelope support. #2026

codecov bot commented Mar 26, 2025 •

edited

Loading