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

feat!: replace opaque type arguments with String #1328

Merged
merged 4 commits into from
Jul 24, 2024
Merged

Commits on Jul 24, 2024

  1. feat!: opaque type arguments are untyped bytes.

    Closes #1308
    
    - Previously held a yaml value, this doesn't really make much sense
    - If it is an opaque blob, no reason it needs a HUGR custom type attached to it?
    - Now truly opaque, it is up to extension-aware tooling to use the bytes data as they see fit
    - Serialised as base64 encoded string
    - Utilities for common case, strings
    - Conducive with adding typed "operation intrinsics/properties" as a follow-up. This would be hugr-typed values that can be attached to operations (in a semantically significant manner, unlike metadata) but perhaps are not allowed to affect the signature.
    - should there be a cap on size of byte array? If so should we use `[u8; N]` over `Vec<u8>`?
    - Serialisation break to be handled TODO
    
    BREAKING_CHANGE: opaque type arguments are now untyped and hold bytes rather than a yaml value. Serialised form is base64 string.
    ss2165 committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    fa0530b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    916a80b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    32fb093 View commit details
    Browse the repository at this point in the history
  4. review comments

    ss2165 committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    92d5c0a View commit details
    Browse the repository at this point in the history