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

Substitution of TypeArgs into template to produce signature #439

Closed
Tracked by #416
acl-cqc opened this issue Aug 22, 2023 · 1 comment
Closed
Tracked by #416

Substitution of TypeArgs into template to produce signature #439

acl-cqc opened this issue Aug 22, 2023 · 1 comment
Assignees
@acl-cqc

Comments

@acl-cqc
Copy link
Contributor

acl-cqc commented Aug 22, 2023

We can leave the YAML syntax for now, but the Rust structures for producing an OpDef's signature ((TypeRow, TypeRow, ExtensionSet) or following #438 FunctionType) from TypeArgs would be useful right now to inform #285
@acl-cqc acl-cqc self-assigned this Aug 22, 2023
@acl-cqc acl-cqc changed the title Implement typearg substitutor Substitution of TypeArgs into template to produce signature Aug 22, 2023
@acl-cqc acl-cqc mentioned this issue Aug 31, 2023
Closed
10 tasks
@ss2165
Copy link
Member

ss2165 commented Nov 9, 2023

Closed by #630

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

@acl-cqc acl-cqc

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ss2165 @acl-cqc