Skip to content

allow pure closures to be created, inferred #3023

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
Closed
nikomatsakis opened this issue Jul 26, 2012 · 0 comments
Closed

allow pure closures to be created, inferred #3023

nikomatsakis opened this issue Jul 26, 2012 · 0 comments
Labels
A-lifetimes Area: Lifetimes / regions A-type-system Area: Type system C-enhancement Category: An issue proposing an enhancement or a PR with one.
Milestone
old 1.0 milestone

Comments

@nikomatsakis
Copy link
Contributor

You can't create pure closures right now. This is sometimes helpful in writing functions that operate on const data. I think this will just be a matter of adjusting typeck to determine purity from the expected type.
@ghost ghost assigned msullivan Aug 24, 2012
@msullivan msullivan mentioned this issue Aug 24, 2012
Closed
catamorphism pushed a commit to catamorphism/rust that referenced this issue Oct 8, 2012
@msullivan @catamorphism
Infer purity for || style closures. Closes rust-lang#3023.
892cac1
RalfJung pushed a commit to RalfJung/rust that referenced this issue Aug 11, 2023
@bors
Auto merge of rust-lang#3023 - RalfJung:gamma, r=RalfJung
6276e5a 
add gamma function shims

needs a rustup to fetch the new declarations in std
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-lifetimes Area: Lifetimes / regions A-type-system Area: Type system C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Milestone
old 1.0 milestone
Development

No branches or pull requests
2 participants
@nikomatsakis @msullivan