2012-12-10 17:32:48 -08:00
|
|
|
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2013-03-25 13:21:04 -07:00
|
|
|
enum ast<'self> {
|
2012-04-18 21:26:25 -07:00
|
|
|
num(uint),
|
2013-02-26 14:34:00 -05:00
|
|
|
add(&'self ast<'self>, &'self ast<'self>)
|
2012-04-18 21:26:25 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
fn build() {
|
|
|
|
let x = num(3u);
|
|
|
|
let y = num(4u);
|
|
|
|
let z = add(&x, &y);
|
|
|
|
compute(&z);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn compute(x: &ast) -> uint {
|
2012-08-06 12:34:08 -07:00
|
|
|
match *x {
|
2012-08-03 19:59:04 -07:00
|
|
|
num(x) => { x }
|
|
|
|
add(x, y) => { compute(x) + compute(y) }
|
2012-04-18 21:26:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-03-07 14:38:38 -08:00
|
|
|
fn map_nums(x: &ast, f: &fn(uint) -> uint) -> &ast {
|
2012-08-06 12:34:08 -07:00
|
|
|
match *x {
|
2012-08-03 19:59:04 -07:00
|
|
|
num(x) => {
|
2013-03-15 15:24:24 -04:00
|
|
|
return &num(f(x)); //~ ERROR borrowed value does not live long enough
|
2012-04-18 21:26:25 -07:00
|
|
|
}
|
2012-08-03 19:59:04 -07:00
|
|
|
add(x, y) => {
|
2013-06-21 20:08:35 -04:00
|
|
|
let m_x = map_nums(x, |z| f(z));
|
|
|
|
let m_y = map_nums(y, |z| f(z));
|
2013-03-15 15:24:24 -04:00
|
|
|
return &add(m_x, m_y); //~ ERROR borrowed value does not live long enough
|
2012-04-18 21:26:25 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-18 15:52:21 -07:00
|
|
|
fn main() {}
|