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.

Sign up for GitHub

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

Jump to bottom

Types Redux: tracking issue #363

Closed
11 tasks done
ss2165 opened this issue Aug 7, 2023 · 1 comment
Closed
11 tasks done

Types Redux: tracking issue #363

ss2165 opened this issue Aug 7, 2023 · 1 comment
Assignees
@ss2165 @acl-cqc
Labels
tracking-issue An issue tracking progress on multiple sub-tasks.

Comments

@ss2165
Copy link
Member

ss2165 commented Aug 7, 2023 •
edited
Loading

Tracking issue for various tasks aimed at refactoring and simplifying the type system.
Some require refining and issues made
@acl-cqc acl-cqc mentioned this issue Aug 7, 2023
Closed
@aborgna-q aborgna-q added the tracking-issue An issue tracking progress on multiple sub-tasks. label Aug 8, 2023
@ss2165 ss2165 pinned this issue Aug 8, 2023
@ss2165 ss2165 mentioned this issue Aug 9, 2023
Merged
ss2165 added a commit that referenced this issue Aug 11, 2023
@ss2165
refactor signature in to own private module
70f62f1 
looking ahead to #363
@ss2165 ss2165 mentioned this issue Aug 11, 2023
Merged
github-merge-queue bot pushed a commit that referenced this issue Aug 11, 2023
@ss2165
refactor signature in to own private module (#400)
ad695f5 
looking ahead to #363 

this will allow more core types operations to live in the top level file
github-merge-queue bot pushed a commit that referenced this issue Aug 15, 2023
@ss2165 @acl-cqc
Simplified HUGR Type and TypeBound system (#378)
ce4526f 
See tracking issue #363 
Closes #408 
Closes #409 

See also individual commits  from sub-PRs

---------

Co-authored-by: Alan Lawrence <[email protected]>
@ss2165
Copy link
Member Author

ss2165 commented Aug 18, 2023

Closing as tracked issues are done.

@ss2165 ss2165 closed this as completed Aug 18, 2023
@ss2165 ss2165 unpinned this issue Aug 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ss2165 ss2165

@acl-cqc acl-cqc

Labels
tracking-issue An issue tracking progress on multiple sub-tasks.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ss2165 @acl-cqc @aborgna-q