pr47 0.1.4-CHARLIE

A semi-experimental programming language. Still working in progress.
Documentation 
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122

macro_rules! impl_value_typed_binop {
    (
        $slice:ident,
        $src1:ident,
        $src2:ident,
        $dst:ident,
        $type:ty,
        $op:tt,
        $value:ident,
        $value_ctor:ident
    ) => {
        let src1: $type = $slice.get_value(*$src1).vt_data.inner.$value;
        let src2: $type = $slice.get_value(*$src2).vt_data.inner.$value;
        $slice.set_value(*$dst, Value::$value_ctor(src1 $op src2));
    }
}

macro_rules! impl_cast_op {
    (
        $slice:ident,
        $src:ident,
        $dst:ident,
        $src_type:ty,
        $dst_type:ty,
        $from_value:ident,
        $value_ctor:ident
    ) => {
        {
            let src: $src_type = $slice.get_value(*$src).vt_data.inner.$from_value;
            let casted: $dst_type = src as _;
            $slice.set_value(*$dst, Value::$value_ctor(casted));
        }
    }
}

macro_rules! impl_int_binop {
    ($slice:ident, $src1:ident, $src2:ident, $dst:ident, $fn:ident) => {
        {
            let src1: i64 = $slice.get_value(*$src1).vt_data.inner.int_value;
            let src2: i64 = $slice.get_value(*$src2).vt_data.inner.int_value;
            $slice.set_value(*$dst, Value::new_int(i64::$fn(src1, src2)));
        }
    };
    ($slice:ident, $src1:ident, $src2:ident, $dst:ident, $op:tt) => {
        {
            let src1: i64 = $slice.get_value(*$src1).vt_data.inner.int_value;
            let src2: i64 = $slice.get_value(*$src2).vt_data.inner.int_value;
            $slice.set_value(*$dst, Value::new_int(src1 $op src2));
        }
    };
}

macro_rules! impl_float_binop {
    ($slice:ident, $src1:ident, $src2:ident, $dst:ident, $op:tt) => {
        {
            impl_value_typed_binop![
                $slice, $src1, $src2, $dst, f64, $op, float_value, new_float
            ];
        }
    }
}

macro_rules! impl_bool_binop {
    ($slice:ident, $src1:ident, $src2:ident, $dst:ident, $op:tt) => {
        {
            impl_value_typed_binop![
                $slice, $src1, $src2, $dst, bool, $op, bool_value, new_bool
            ];
        }
    }
}

macro_rules! impl_rel_op {
    ($slice:ident, $src1:ident, $src2:ident, $dst:ident, $rel:tt, $type:ty, $value:ident) => {
        {
            impl_value_typed_binop![$slice, $src1, $src2, $dst, $type, $rel, $value, new_bool];
        }
    }
}

macro_rules! impl_checked_bin_op {
    (
        $slice:ident,
        $src1:ident,
        $src2:ident,
        $dst:ident,
        $checked_op:expr,
        $thread:expr,
        $insc_ptr:expr
    ) => {
        {
            let src1: Value = $slice.get_value(*$src1);
            let src2: Value = $slice.get_value(*$src2);
            let dst: &mut Value = &mut *$slice.get_value_mut_ref(*$dst);
            if let Err(e /*: UncheckedException*/) = $checked_op(src1, src2, dst) {
                return Poll::Ready(
                    Err(unchecked_exception_unwind_stack(e, &mut $thread.stack, $insc_ptr))
                );
            }
        }
    }
}

macro_rules! impl_checked_unary_op {
    ($slice:ident, $src:ident, $dst:ident, $checked_op:expr, $thread:expr, $insc_ptr:expr) => {
        {
            let src: Value = $slice.get_value(*$src);
            let dst: &mut Value = &mut *$slice.get_value_mut_ref(*$dst);
            if let Err(e /*: UncheckedException*/) = $checked_op(src, dst) {
                return Poll::Ready(
                    Err(unchecked_exception_unwind_stack(e, &mut $thread.stack, $insc_ptr))
                );
            }
        }
    }
}

macro_rules! impl_checked_cast_op {
    ($slice:ident, $src:ident, $dst:ident, $checked_op:expr, $thread:expr, $insc_ptr:expr) => {
        impl_checked_unary_op![$slice, $src, $dst, $checked_op, $thread, $insc_ptr]
    }
}