-
Notifications
You must be signed in to change notification settings - Fork 12.6k
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
Refactor how closures are represented to expose the types of the upvars #27087
Commits on Jul 24, 2015
-
Configuration menu - View commit details
-
Copy full SHA for 69d62e0 - Browse repository at this point
Copy the full SHA 69d62e0View commit details -
Introduce ClosureSubsts rather than just having random fields in the
TyClosure variant; thread this through wherever closure substitutions are expected, which leads to a net simplification. Simplify trans treatment of closures in particular.
Configuration menu - View commit details
-
Copy full SHA for 1e2677b - Browse repository at this point
Copy the full SHA 1e2677bView commit details -
Run the analysis process only once per closure, on the way up the tree.
This was the intention before but silly coding caused it to run twice if there are nested closures.
Configuration menu - View commit details
-
Copy full SHA for 6b49f4d - Browse repository at this point
Copy the full SHA 6b49f4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4172c82 - Browse repository at this point
Copy the full SHA 4172c82View commit details -
Don't be so eager to call unresolved inference variables an error. MC
is being used now before the final regionck stage and in some cases SOME amount of unresolved inference is OK. In fact, we could probably just allow inference variables as well with only minimal pain.
Configuration menu - View commit details
-
Copy full SHA for a551697 - Browse repository at this point
Copy the full SHA a551697View commit details -
Unify the upvar variables found in closures with the actual types of the
upvars after analysis is done. Remove the `closure_upvars` helper and just consult this list of type variables directly.
Configuration menu - View commit details
-
Copy full SHA for 7ba288d - Browse repository at this point
Copy the full SHA 7ba288dView commit details -
Add regression test for rust-lang#25954 (cyclic closure type), which …
…is now impossible.
Configuration menu - View commit details
-
Copy full SHA for 37aad77 - Browse repository at this point
Copy the full SHA 37aad77View commit details -
Configuration menu - View commit details
-
Copy full SHA for f8931a7 - Browse repository at this point
Copy the full SHA f8931a7View commit details -
Configuration menu - View commit details
-
Copy full SHA for d075faa - Browse repository at this point
Copy the full SHA d075faaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 71d4418 - Browse repository at this point
Copy the full SHA 71d4418View commit details