rust/src/test/run-pass/expr-alt-box.rs



// -*- rust -*-

// Tests for alt as expressions resulting in boxed types
fn test_box() {
    let res = alt check true { true { @100 } };
    assert (*res == 100);
}

fn test_str() {
    let res = alt check true { true { "happy" } };
    assert (res == "happy");
}

fn main() { test_box(); test_str(); }
Reformat source tree (minus a couple tests that are still grumpy). 2011-06-15 11:19:50 -07:00


Add more tests for alt expressions 2011-04-02 19:32:34 -04:00			`// -- rust --`

			`// Tests for alt as expressions resulting in boxed types`
Rewrite exhaustiveness checker Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive. 2012-02-15 09:40:42 +01:00			`fn test_box() {`
			`let res = alt check true { true { @100 } };`
			`assert (*res == 100);`
			`}`
Add more tests for alt expressions 2011-04-02 19:32:34 -04:00
			`fn test_str() {`
Rewrite exhaustiveness checker Issue #352 Closes #1720 The old checker would happily accept things like 'alt x { @some(a) { a } }'. It now properly descends into patterns, checks exhaustiveness of booleans, and complains when number/string patterns aren't exhaustive. 2012-02-15 09:40:42 +01:00			`let res = alt check true { true { "happy" } };`
Use 'resource' rather than 'res' as a keyword Resources are now defined like... resource fd(int n) { close(n); } Calling fd with an int will then produce a non-copyable value that, when dropped, will call close on the given int. 2011-06-28 17:53:00 +02:00			`assert (res == "happy");`
Add more tests for alt expressions 2011-04-02 19:32:34 -04:00			`}`

Reformat This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] 2011-08-19 15:16:48 -07:00			`fn main() { test_box(); test_str(); }`