result feature doesn't seem to generate correct HUGR for classical programs

[qartik]

Result function introduced in #271 generates correct HUGR for quantum measurements, such as, result(0, measure(q)), but not for a program like the following:

mod = GuppyModule("main")
mod.load(quantum)
@guppy(mod)
def main() -> None:
    a = 1 + 2  # noqa: F841
    result(0, a)

[mark-koch]

I think this is because the result function introduced in #271 doesn't yet conform to the new results extension spec from CQCL/tket2#494. See issue #369

For now, you should be able to make validation pass by not including thetket2_hseries::extension::result extension in the registry.

[qartik]

Thanks @mark-koch! Would you be able to make a release as well?

[mark-koch]

guppylang v0.9.0 with the fix is released 👍