etch/impls_readable.h at main · kovach/etch · GitHub

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
#if 0
// Not the actual implementations, but substitution rules to make Etch compiler output more readable.
// See Makefile.
#endif

#define num_add(a, b) (a + b)
#define num_sub(a, b) (a - b)
#define num_mul(a, b) (a * b)
#define num_one() 1
#define num_zero() 0
#define num_lt(a, b) (a < b)
#define num_le(a, b) (a <= b)
#define num_eq(a, b) (a == b)
#define num_max(a, b) max(a, b)
#define num_min(a, b) min(a, b)
#define num_succ(a) (a + 1)
#define num_neg(a) (!a)
#define num_ofBool(x) (x ? 1. : 0.)
#define num_toMin(x) (x)
#define num_toMax(x) (x)
#define num_toNum(x) (x)

#define nat_add(a, b) (a + b)
#define nat_sub(a, b) (a - b)
#define nat_mul(a, b) (a * b)
#define nat_one() 1
#define nat_zero() 0
#define nat_lt(a, b) (a < b)
#define nat_le(a, b) (a <= b)
#define nat_eq(a, b) (a == b)
#define nat_max(a, b) max(a, b)
#define nat_min(a, b) min(a, b)
#define nat_succ(a) (a + 1)
#define nat_neg(a) (!a)

#define int_add(a, b) (a + b)
#define int_sub(a, b) (a - b)
#define int_mul(a, b) (a * b)
#define int_one() 1
#define int_zero() 0
#define int_lt(a, b) (a < b)
#define int_le(a, b) (a <= b)
#define int_eq(a, b) (a == b)
#define int_max(a, b) max(a, b)
#define int_min(a, b) min(a, b)
#define int_succ(a) (a + 1)

#define bool_add(a, b) (a || b)
#define bool_mul(a, b) (a && b)
#define bool_one() true
#define bool_zero() false
#define bool_neg(a) (!a)

#define str_zero() ""
#define macro_ternary(c, x, y) ((c) ? x : y)
#define index_map(a, ...) &a[{__VA_ARGS__}]