diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2014-12-12 06:13:42 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2014-12-19 03:29:30 -0500 |
| commit | 416e62924e200eb75dff4b7d622b5aa7ea8b691a (patch) | |
| tree | 4c28b2cd130ce8d1eb30e7ab3b7eb5ed48b81f67 /src/rustllvm/RustWrapper.cpp | |
| parent | 3cf0fbeee9b6e90de6e7d44ab9461963729f0365 (diff) | |
| download | rust-416e62924e200eb75dff4b7d622b5aa7ea8b691a.tar.gz rust-416e62924e200eb75dff4b7d622b5aa7ea8b691a.zip | |
Rename the code that replaces unbound variables to "freshen" rather than "skolemize" -- strictly speaking, this is not skolemization, because it is not discharging quantifiers. Also, the trait selection code will still be doing true skolemization, so it would be a confusing overlap of names.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions