stevenblenkinsop

enum List<T> {
  End,
  Node { val: T, next: ~List<T> },
}
 
fn print_list<T:ToStr>(list: List<T>) {
  match list {
    End => { println("<X>"); },
    Node{val, next} => {
      println(val.to_str());

stevenblenkinsop

func Id(x T) T {
  return x
}

stevenblenkinsop

use std::collections::hash_map::HashMap;
use std::cell::Cell;

#[deriving(Show)]
struct Adder<'a>(&'a Cell<uint>);

impl <'a> Adder<'a> {
    fn add(&mut self, i: uint) {
        let &Adder(cell) = self;
        cell.set(cell.get() + i);

stevenblenkinsop

#[allow(dead_code)]
use std::default::Default;
use std::fmt::{Show, Formatter, Error};

trait Value: Default + Show {}

trait Church: Value {
    fn as_int(self) -> int;
}

stevenblenkinsop

#![allow(dead_code)]

macro_rules! pipe {
    ((); $e:expr; $($args:tt)*) => ($e);
    (($m:ident | $($ms:ident)|+) ; $($args:tt)*) => ($m!(($($ms)|+) ; $($args)*));
    (($m:ident) ; $($args:tt)*) => ($m!((); $($args)*));
    ($($ms:ident)|*) => (pipe!(($($ms)|*);));
}

macro_rules! incr {

stevenblenkinsop

#![allow(dead_code)]

macro_rules! pipe {
    ((); $e:expr; $($args:tt)*) => ($e);
    (($m:ident | $($ms:ident)|+) ; $($args:tt)*) => ($m!(($($ms)|+) ; $($args)*));
    (($m:ident) ; $($args:tt)*) => ($m!((); $($args)*));
    ($($ms:ident)|*) => (pipe!(($($ms)|*);));
}

macro_rules! zero {

stevenblenkinsop

use std::ops::Mul;

pub mod hkt {
    pub trait HktAt<T> {
        type Out: HasHkt<Hkt=Self, Arg=T>;
    }
    
    pub trait HasHkt {
        type Arg;
        type Hkt: HktAt<Self::Arg, Out=Self>;

stevenblenkinsop

#![feature(fnbox)]

use std::ops::Mul;

pub mod hkt {
    pub trait HktAt<T> {
        type Out: HasHkt<Hkt=Self, Arg=T>;
    }
    
    pub trait HasHkt {

stevenblenkinsop

macro_rules! pipe {
    (($isn:ident | $($rest:ident)|+): $($args:tt)*) => ($isn!(($($rest)|+): $($args)*));
    (($isn:ident): $($args:tt)*) => ($isn!((): $($args)*));
    ((): $result:expr, $($rest:tt)*) => ($result);
}

macro_rules! succ {
    ($isns:tt: [$($n:expr),*], $e:expr, $($rest:tt)*) => (pipe!($isns: [$($n,)* $e], $e, $($rest)*));
}

stevenblenkinsop

type RenderData = u32;

struct Manager {
    num_entities: usize,
    render_data: Vec<Option<RenderData>>
}

pub fn main() {

    let mut entity_manager = Manager {