2012-12-10 19:32:48 -06: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.
|
|
|
|
|
2012-09-11 19:46:20 -05:00
|
|
|
extern mod std;
|
2010-06-23 23:03:09 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
fn ack(m: int, n: int) -> int {
|
|
|
|
if m == 0 {
|
2012-08-01 19:30:05 -05:00
|
|
|
return n + 1
|
2010-06-23 23:03:09 -05:00
|
|
|
} else {
|
2011-07-27 07:19:39 -05:00
|
|
|
if n == 0 {
|
2012-08-01 19:30:05 -05:00
|
|
|
return ack(m - 1, 1);
|
2012-01-14 21:38:28 -06:00
|
|
|
} else {
|
2012-08-01 19:30:05 -05:00
|
|
|
return ack(m - 1, ack(m, n - 1));
|
2012-01-14 21:38:28 -06:00
|
|
|
}
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-10-03 21:16:27 -05:00
|
|
|
fn main() {
|
|
|
|
let args = os::args();
|
2012-07-14 00:57:48 -05:00
|
|
|
let args = if os::getenv(~"RUST_BENCH").is_some() {
|
|
|
|
~[~"", ~"12"]
|
2012-05-24 00:53:50 -05:00
|
|
|
} else if args.len() <= 1u {
|
2012-07-14 00:57:48 -05:00
|
|
|
~[~"", ~"8"]
|
2012-01-14 21:38:28 -06:00
|
|
|
} else {
|
2012-05-24 00:53:50 -05:00
|
|
|
args
|
2012-01-14 21:38:28 -06:00
|
|
|
};
|
2012-05-24 00:53:50 -05:00
|
|
|
let n = int::from_str(args[1]).get();
|
2012-08-22 19:24:52 -05:00
|
|
|
io::println(fmt!("Ack(3,%d): %d\n", n, ack(3, n)));
|
2011-08-19 17:16:48 -05:00
|
|
|
}
|