2011-04-22 16:23:54 -05:00
|
|
|
use std;
|
2011-05-12 10:24:54 -05:00
|
|
|
import std::option;
|
|
|
|
import std::option::t;
|
|
|
|
import std::option::none;
|
|
|
|
import std::option::some;
|
2011-04-22 16:23:54 -05:00
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
fn foo[T](&option::t[T] y) {
|
2011-04-22 16:23:54 -05:00
|
|
|
let int x;
|
|
|
|
|
|
|
|
let vec[int] res = vec();
|
|
|
|
|
|
|
|
/* tests that x doesn't get put in the precondition for the
|
|
|
|
entire if expression */
|
|
|
|
if (true) {
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
alt (y) {
|
|
|
|
case (none[T]) {
|
|
|
|
x = 17;
|
|
|
|
}
|
|
|
|
case (_) {
|
|
|
|
x = 42;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
res += vec(x);
|
|
|
|
}
|
|
|
|
|
|
|
|
ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
log("hello");
|
|
|
|
foo[int](some[int](5));
|
|
|
|
}
|