blob: df42ef379b46932263640f109e4782cafb3ef599 (
plain) (
blame)
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
|
/* 'auto' is a special type that currently is in place of generics, will
* eventually be replaced but this is good enough to play around with */
fwd_println(auto s);
/* this is a hack, just creates two copies of whatever is passed to it.
* Primitive types should probably be excluded from the move checking, and more
* complex types would presumably implement some kind of .copy(), but at the
* moment that's still TODO */
fwd_copy(auto n, (auto, auto) n1);
guard(bool cond, () err, () ok)
{
if cond {
err();
} else {
ok();
}
}
try_print_one(int a)
{
fwd_copy(a) => int a1, int a2;
guard(a1 < 1) => {
fwd_println("smaller than 1");
} => ;
fwd_copy(a2) => int a3, int a4;
guard(a3 > 1) => {
fwd_println("larger than 1");
} => ;
fwd_println(a4);
}
main()
{
try_print_one(0);
try_print_one(1);
try_print_one(2);
}
|
