bootstrap/test2.cff


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

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 v= Value:None;
   v = :Int 3;
   switch (v) {
   case None;
   case Int i;
      i;
   case Flo *f;
      *f += 1.0f;
   }

   #: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);
}