Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upsupport higher-ranked types for chalk #49810
Comments
nikomatsakis
added
A-traits
T-compiler
WG-compiler-traits
labels
Apr 9, 2018
This was referenced Apr 9, 2018
Closed
This comment has been minimized.
This comment has been minimized.
nikomatsakis
referenced this issue
Apr 11, 2018
Closed
Unify `CanonicalVar` and `DebruijnIndex` #49887
jkordish
added
the
C-enhancement
label
May 16, 2018
nikomatsakis
added
the
chalk-integration
label
Oct 15, 2018
This comment has been minimized.
This comment has been minimized.
scalexm
closed this
Nov 25, 2018
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
nikomatsakis commentedApr 9, 2018
•
edited by scalexm
As discussed in the WG-traits planning meeting today, we need to decide how we will represent higher-ranked types in rustc. We decided to try for using debruijn indexing more universally, much as it is done in chalk. The plan is to generalize the existing
CanonicalVarso that it represents a "bound" thing -- probably it just gets unified withDebruijnIndex. This will take a few steps, each of which I plan to describe in its own sub-issue:Binderfields (#49814)DebruijnIndex0-based (#49813)CanonicalVarandDebruijnIndex(#49887)