Skip to content

Attributes to unbox parameters #1219

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
mshinwell opened this issue Mar 15, 2023 · 0 comments · Fixed by #1271
Closed

Attributes to unbox parameters #1219

mshinwell opened this issue Mar 15, 2023 · 0 comments · Fixed by #1271
Assignees
Labels
flambda2 Prerequisite for, or part of, flambda2

Comments

@mshinwell
Copy link
Collaborator

No description provided.

@mshinwell mshinwell converted this from a draft issue Mar 15, 2023
@mshinwell mshinwell added the flambda2 Prerequisite for, or part of, flambda2 label Mar 15, 2023
@mshinwell mshinwell moved this to Coding in Flambda 2 Mar 15, 2023
@mshinwell mshinwell moved this from Coding to In review in Flambda 2 Mar 30, 2023
@mshinwell mshinwell changed the title Experiment with unboxing of parameters Attributes to unbox parameters Jun 13, 2023
@mshinwell mshinwell linked a pull request Jun 14, 2023 that will close this issue
@mshinwell mshinwell moved this from In review to Blocked in Flambda 2 Oct 17, 2023
@github-project-automation github-project-automation bot moved this from Blocked to Done in Flambda 2 Feb 13, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
flambda2 Prerequisite for, or part of, flambda2
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

2 participants