import "libc.hff";

struct Node<T> {
   link *Node,
   value T,

   fn ok(self Node) void {
   }
}

def X = 7 + 2;

struct Bit<T> {
   def Z = 3;
   fn foo(x T) T { return (~x ^ Z) + X; }
   !fn foo(x T) T { return ~x + Y; }
}

def Y = 3.3;

enum union Value {
   None,
   Int i32,
   Flo f32,
}

enum union Option<T> {
   None,
   Some T
}

extern fn main() void {
   let n Node<int> = {#null, 0};
   let n Node<int> = {&n, 1};

   let x int #?;
   x = X + 1 + Y;

   let const v= Value:None;
   switch (v) {
   case None;
   case Int i;
      i;
   case Flo *f;
      let x f32 = *f;
   }
   let t = v.#tag;
   let i = v.Int;
   ! v.#tag++;

   #'outer for let i = 0; i++ < 10; {
      printf("%d\n", i);
      while #t {
         if i < 2 {
            continue #'outer;
         }
         break #'outer;
      }
   }

   let x = Option<int>:Some 3;
   let x = Option<f32>:None;

   printf("n %d\n", n.value);
   printf("n link %d\n", n.link.value);

   let x Node<f32> = {};
   n->ok();
   x->ok();

   Bit<i32>:foo(3);
   Bit<i64>:foo(3);
}