CQCL / guppylang

Pythonic quantum-classical programming language
Apache License 2.0
18 stars 2 forks source link

feat: Allow constant nats as type args #255

Closed mark-koch closed 1 week ago

mark-koch commented 2 weeks ago

I recommend reviewing commit by commit

Closes #214

codecov-commenter commented 1 week ago

Codecov Report

Attention: Patch coverage is 74.85380% with 43 lines in your changes missing coverage. Please review.

Project coverage is 90.67%. Comparing base (a461a9d) to head (b03962f).

Files Patch % Lines
guppylang/tys/arg.py 21.05% 15 Missing :warning:
guppylang/tys/param.py 57.14% 9 Missing :warning:
guppylang/tys/const.py 77.41% 7 Missing :warning:
guppylang/tys/ty.py 85.00% 6 Missing :warning:
guppylang/tys/builtin.py 44.44% 5 Missing :warning:
guppylang/tys/subst.py 94.11% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #255 +/- ## ========================================== - Coverage 90.90% 90.67% -0.24% ========================================== Files 44 44 Lines 4839 4954 +115 ========================================== + Hits 4399 4492 +93 - Misses 440 462 +22 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.