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

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

author	Tim Chevalier <chevalier@alum.wellesley.edu>
	Wed, 24 Aug 2011 01:25:50 +0000 (18:25 -0700)
committer	Tim Chevalier <chevalier@alum.wellesley.edu>
	Fri, 26 Aug 2011 01:24:45 +0000 (18:24 -0700)
commit	d9bc3cb10c4d1e856998c8e35ce7d89e0d74f4d6
tree	1c61d6788336a0e076328f76cc33d792dad92f37	tree \| snapshot
parent	1cb85015c397cefa9de7653a98b7572ef511e0ef	commit \| diff

Change "pred" to "pure fn" in all libraries and test cases

25 files changed:

src/lib/char.rs		diff \| blob \| history
src/lib/istr.rs		diff \| blob \| history
src/lib/uint.rs		diff \| blob \| history
src/lib/vec.rs		diff \| blob \| history
src/test/compile-fail/constrained-type-missing-check.rs		diff \| blob \| history
src/test/compile-fail/do-while-pred-constraints.rs		diff \| blob \| history
src/test/compile-fail/if-check-precond-fail.rs		diff \| blob \| history
src/test/compile-fail/impure-pred.rs		diff \| blob \| history
src/test/compile-fail/not-pred-args.rs		diff \| blob \| history
src/test/compile-fail/pred-assign.rs		diff \| blob \| history
src/test/compile-fail/pred-on-wrong-slots.rs		diff \| blob \| history
src/test/compile-fail/pred-swap.rs		diff \| blob \| history
src/test/compile-fail/while-loop-pred-constraints.rs		diff \| blob \| history
src/test/run-fail/if-check-fail.rs		diff \| blob \| history
src/test/run-fail/pred.rs		diff \| blob \| history
src/test/run-pass/claim-nonterm.rs		diff \| blob \| history
src/test/run-pass/constrained-type.rs		diff \| blob \| history
src/test/run-pass/if-check-precond.rs		diff \| blob \| history
src/test/run-pass/if-check.rs		diff \| blob \| history
src/test/run-pass/pred-check.rs		diff \| blob \| history
src/test/run-pass/pred-not-bool.rs		diff \| blob \| history
src/test/run-pass/pred.rs		diff \| blob \| history
src/test/run-pass/typestate-transitive.rs		diff \| blob \| history
src/test/run-pass/wierd-exprs.rs		diff \| blob \| history
src/test/stdtest/vec.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.