list test in rust

list_test.rs

#[allow(dead_code, dead_assignment, unused_variable)];

// recursive types
enum List<T> {
    Cons(T, ~List<T>),
    Empty
}

fn length<T>(xs: &List<T>) -> uint {
  match *xs {
    Empty => 0,
    Cons(_, ref rest) => 1 + length(*rest)
  }
}

fn prepend<'a, T>(xs: ~List<T>, value: T) -> List<T> {
  Cons(value, xs)
}

// return a reference to the head value
fn head<'a, T>(xs: &'a List<T>) -> Option<&'a T> {
  match *xs {
    Cons(ref value, _) => Some(value),
    _ => None
  }
}

#[test]
fn test_length() {
  let mut list: List<int> = Empty::<int>;
  list = prepend(~list, 1);
  list = prepend(~list, 2);

  let list_len = length(&list);
  assert_eq!(list_len, 2);

  let h = head(&list);
  println!("{:?}", h);
  assert_eq!(h, Some(&2));
}

enum IntList {
  Null,
  IntCons(int, ~IntList)
}

#[test]
fn test_int_list() {
  let a = 1;
  let b = a;
  assert_eq!(a, 1);
}