git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Niko Matsakis <niko@alum.mit.edu>
	Fri, 12 Dec 2014 11:13:42 +0000 (06:13 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Fri, 19 Dec 2014 08:29:30 +0000 (03:29 -0500)
commit	416e62924e200eb75dff4b7d622b5aa7ea8b691a
tree	4c28b2cd130ce8d1eb30e7ab3b7eb5ed48b81f67	tree \| snapshot
parent	3cf0fbeee9b6e90de6e7d44ab9461963729f0365	commit \| diff

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.

src/librustc/middle/infer/freshen.rs	[new file with mode: 0644]	blob
src/librustc/middle/infer/mod.rs		diff \| blob \| history
src/librustc/middle/infer/skolemize.rs	[deleted file]	blob \| history
src/librustc/middle/traits/select.rs		diff \| blob \| history
src/librustc/middle/ty.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustc_trans/trans/common.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom