Skip to content

Commit ac65677

Browse files
committed
Add capnp Visibility::Unspecified to fix remaining tests
1 parent 8899992 commit ac65677

File tree

4 files changed

+25
-16
lines changed

4 files changed

+25
-16
lines changed

hugr-model/capnp/hugr-v0.capnp

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -123,6 +123,7 @@ struct Param {
123123
}
124124

125125
enum Visibility {
126-
private @0;
127-
public @1;
126+
unspecified @0;
127+
private @1;
128+
public @2;
128129
}

hugr-model/src/capnp/hugr_v0_capnp.rs

Lines changed: 16 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

hugr-model/src/v0/binary/read.rs

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -190,11 +190,12 @@ fn read_region_scope(reader: hugr_capnp::region_scope::Reader) -> ReadResult<tab
190190
Ok(table::RegionScope { links, ports })
191191
}
192192

193-
impl From<hugr_capnp::Visibility> for model::Visibility {
193+
impl From<hugr_capnp::Visibility> for Option<model::Visibility> {
194194
fn from(value: hugr_capnp::Visibility) -> Self {
195195
match value {
196-
hugr_capnp::Visibility::Private => model::Visibility::Private,
197-
hugr_capnp::Visibility::Public => model::Visibility::Public,
196+
hugr_capnp::Visibility::Unspecified => None,
197+
hugr_capnp::Visibility::Private => Some(model::Visibility::Private),
198+
hugr_capnp::Visibility::Public => Some(model::Visibility::Public),
198199
}
199200
}
200201
}
@@ -206,7 +207,7 @@ fn read_symbol<'a>(
206207
constraints: Option<&'a [table::TermId]>,
207208
) -> ReadResult<&'a mut table::Symbol<'a>> {
208209
let name = bump.alloc_str(reader.get_name()?.to_str()?);
209-
let visibility = reader.get_visibility().map(model::Visibility::from).ok();
210+
let visibility = reader.get_visibility()?.into();
210211
let visibility = bump.alloc(visibility);
211212
let params = read_list!(bump, reader.get_params()?, read_param);
212213
let constraints = match constraints {

hugr-model/src/v0/binary/write.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,7 @@ fn write_symbol(mut builder: hugr_capnp::symbol::Builder, symbol: &table::Symbol
115115
model::Visibility::Private => hugr_capnp::Visibility::Private,
116116
model::Visibility::Public => hugr_capnp::Visibility::Public,
117117
})
118-
}
118+
} // else, None -> use capnp default == Unspecified
119119
write_list!(builder, init_params, write_param, symbol.params);
120120
let _ = builder.set_constraints(table::TermId::unwrap_slice(symbol.constraints));
121121
builder.set_signature(symbol.signature.0);

0 commit comments

Comments
 (0)