Skip to content
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: angle is now a struct and emitted as a rotation #485

Merged
merged 15 commits into from
Sep 18, 2024
Merged

Conversation

ss2165
Copy link
Member

@ss2165 ss2165 commented Sep 11, 2024

update extension definitions and lower angle type to rotation.

@ss2165
Copy link
Member Author

ss2165 commented Sep 13, 2024

should be brought up to date with CQCL/tket2#611 before merging

@doug-q doug-q marked this pull request as ready for review September 17, 2024 11:23
@doug-q doug-q requested a review from a team as a code owner September 17, 2024 11:23
@doug-q doug-q requested a review from qartik September 17, 2024 11:23
@doug-q doug-q changed the title fix: lower to angle extension fix: angle is now a struct and emitted as a rotation Sep 17, 2024
@codecov-commenter
Copy link

codecov-commenter commented Sep 17, 2024

Codecov Report

Attention: Patch coverage is 86.76471% with 9 lines in your changes missing coverage. Please review.

Project coverage is 91.67%. Comparing base (720d8b8) to head (391fee5).

Files with missing lines Patch % Lines
guppylang/prelude/angles.py 75.00% 9 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #485      +/-   ##
==========================================
+ Coverage   91.59%   91.67%   +0.07%     
==========================================
  Files          60       59       -1     
  Lines        6152     6138      -14     
==========================================
- Hits         5635     5627       -8     
+ Misses        517      511       -6     

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

[mb_rotation] = self.builder.add_op(from_halfturns(), halfturns)

conditional = self.builder.add_conditional(mb_rotation)
with conditional.add_case(0) as case:
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not really for this PR, but somewhere in guppy we should have a build_unwrap helper that does this faffing with a conditional two cases, a passthrough and a panic...

guppylang/prelude/_internal/json_defs/tket2/rotation.json Outdated Show resolved Hide resolved
guppylang/prelude/angles.py Show resolved Hide resolved
tests/integration/test_arithmetic.py Outdated Show resolved Hide resolved
try:
import execute_llvm

if not hasattr(execute_llvm, "run_int_function"):
fn = getattr(execute_llvm, run_fn_name)
if not fn:
pytest.skip("Skipping llvm execution")
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
pytest.skip("Skipping llvm execution")
pytest.skip(f"Skipping llvm execution, {run_fn_name} not found")

Note we've already checked for execute_llvm not being imported, so we don't really expect this to fail (do we?)

tests/integration/test_arithmetic.py Outdated Show resolved Hide resolved
* Correct description "angle" -> "rotation"
* Class doc for "angle"
* Use pytest.approx
* Revert test change removing division
@acl-cqc acl-cqc added this pull request to the merge queue Sep 18, 2024
Merged via the queue into main with commit 992b138 Sep 18, 2024
3 checks passed
@acl-cqc acl-cqc deleted the ss/fix-angle-lower branch September 18, 2024 12:09
github-merge-queue bot pushed a commit that referenced this pull request Sep 18, 2024
🤖 I have created a release *beep* *boop*
---


## [0.12.0](v0.11.0...v0.12.0)
(2024-09-18)


### ⚠ BREAKING CHANGES

* Pytket circuits loaded via a `py` expression no longer take ownership
of the passed qubits.
* Lists and function tensors are no longer available by default.
`guppylang.enable_experimental_features()` must be called before
compilation to enable them.
* The `GuppyModule` argument is now optional for all decorators and no
longer the first positional argument. Removed the explicit module
objects `builtins`, `quantum`, and `angle`.
* `quantum_functional` is now its own Guppy module and no longer
implicitly comes with `quantum`.
* Linear function arguments are now borrowed by default; removed the now
redundant `@inout` annotation

### Features

* Add functions to quantum module and make quantum_functional
independent ([#494](#494))
([0b0b1af](0b0b1af))
* Hide lists and function tensors behind experimental flag
([#501](#501))
([c867f48](c867f48))
* Make linear types [@inout](https://github.com/inout) by default; add
[@owned](https://github.com/owned) annotation
([#486](#486))
([e900c96](e900c96))
* Only lower definitions to Hugr if they are used
([#496](#496))
([cc2c8a4](cc2c8a4))
* Support implicit modules for all decorators and turn builtins into
implicit module ([#476](#476))
([cc8a424](cc8a424))
* Use inout for pytket circuits
([#500](#500))
([a980ec2](a980ec2))


### Bug Fixes

* `angle` is now a struct and emitted as a rotation
([#485](#485))
([992b138](992b138))
* Evade false positives for inout variable usage
([#493](#493))
([6fdb5d6](6fdb5d6))
* Fix redefinition of structs
([#499](#499))
([0b156e9](0b156e9))
* Initialise _checked in GuppyModule
([#491](#491))
([3dd5dd3](3dd5dd3)),
closes [#489](#489)
* use correct array ops
([#503](#503))
([720d8b8](720d8b8))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants