rust/src/test/run-pass/autobind.rs

// FIXME: Autobind doesn't work for bare functions currently
// because it would have to convert them to shared closures
// xfail-test

fn f<T>(x: [T]) -> T { ret x[0]; }

fn g(act: fn([int]) -> int) -> int { ret act([1, 2, 3]); }

fn main() {
    assert (g(f) == 1);
    let f1: fn([str]) -> str = f;
    assert (f1(["x", "y", "z"]) == "x");
}
Make fn denote a bare function. Convert fn to fn@ as needed 2011-10-18 17:07:40 -05:00			`// FIXME: Autobind doesn't work for bare functions currently`
			`// because it would have to convert them to shared closures`
			`// xfail-test`

Update our code to new type parameter kind syntax Closes #1067 2011-10-25 08:56:55 -05:00			`fn f<T>(x: [T]) -> T { ret x[0]; }`
Auto-bind generic functions when their value is taken in non-call context trans::trans_lval will now autobind if the given expression was the name of a generic functions. Those callees (trans_call and trans_bind) that are interested in the generics information call trans_lval_gen now. 2011-07-08 07:28:46 -05:00
Reformat for new mode syntax, step 1 Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit. 2011-09-12 04:27:30 -05:00			`fn g(act: fn([int]) -> int) -> int { ret act([1, 2, 3]); }`
Auto-bind generic functions when their value is taken in non-call context trans::trans_lval will now autobind if the given expression was the name of a generic functions. Those callees (trans_call and trans_bind) that are interested in the generics information call trans_lval_gen now. 2011-07-08 07:28:46 -05:00
			`fn main() {`
Reformat for new syntax 2011-07-27 07:19:39 -05:00			`assert (g(f) == 1);`
Reformat for new mode syntax, step 1 Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit. 2011-09-12 04:27:30 -05:00			`let f1: fn([str]) -> str = f;`
Reformat This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] 2011-08-19 17:16:48 -05:00			`assert (f1(["x", "y", "z"]) == "x");`
Change the ivec type syntax to [T]. This preserves the old syntax for now. 2011-07-18 10:41:35 -05:00			`}`