nandi/rustnim · 901-reject-unknown-method.rs

⑂ 0a375d8ec0bfffe1baadd340864ab1ffa92fdb98

901-reject-unknown-method.rs · 9 lines · 346 BRust    Blame HistoryRaw
Add the differential test runner, and a lowering to measure with it  nandithebull 1//@ reject: unsupported method `.sort()`
2// A standard-library method with no verified Nim equivalent must be rejected,
3// not guessed at. Rust's `sort` is stable and Nim's `sort` is not, so an
4// unthinking `.sort` mapping would differ on equal keys.
5fn main() {
6    let mut v: Vec<i32> = vec![3, 1, 2];
7    v.sort();
8    println!("{:?}", v);

Add the differential test runner, and a lowering to measure with it 8ac32af nandithebull 19h ago	1	//@ reject: unsupported method `.sort()`
	2	// A standard-library method with no verified Nim equivalent must be rejected,
	3	// not guessed at. Rust's `sort` is stable and Nim's `sort` is not, so an
	4	// unthinking `.sort` mapping would differ on equal keys.
	5	fn main() {
	6	let mut v: Vec<i32> = vec![3, 1, 2];
	7	v.sort();
	8	println!("{:?}", v);
	9	}