src/test/run-pass-fulldeps/macro-quote-cond.rs

   1 // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11 // aux-build:cond_plugin.rs
  12 // ignore-stage1
  13
  14 #![feature(plugin)]
  15 #![feature(rustc_private)]
  16 #![plugin(cond_plugin)]
  17
  18 fn fact(n : i64) -> i64 {
  19     if n == 0 {
  20         1
  21     } else {
  22         n * fact(n - 1)
  23     }
  24 }
  25
  26 fn fact_cond(n : i64) -> i64 {
  27   cond!(
  28     ((n == 0) 1)
  29     (else (n * fact_cond(n-1)))
  30   )
  31 }
  32
  33 fn fib(n : i64) -> i64 {
  34   if n == 0 || n == 1 {
  35       1
  36   } else {
  37       fib(n-1) + fib(n-2)
  38   }
  39 }
  40
  41 fn fib_cond(n : i64) -> i64 {
  42   cond!(
  43     ((n == 0) 1)
  44     ((n == 1) 1)
  45     (else (fib_cond(n-1) + fib_cond(n-2)))
  46   )
  47 }
  48
  49 fn main() {
  50     assert_eq!(fact(3), fact_cond(3));
  51     assert_eq!(fact(5), fact_cond(5));
  52     assert_eq!(fib(5), fib_cond(5));
  53     assert_eq!(fib(8), fib_cond(8));
  54 }