sapphire-lang 0.8.0

Gradually typed scripting language where every value is an object and types are optional, checked at runtime
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

use crate::gc::{GcHeap, GcRef};
use crate::vm::{define_native_method, HeapObject, VmError, VmValue};

fn int_n(recv: &VmValue) -> i64 {
    match recv {
        VmValue::Int(n) => *n,
        _ => unreachable!("Int native on non-Int"),
    }
}

pub fn int_pow(
    _heap: &mut GcHeap<HeapObject>,
    recv: &VmValue,
    args: &[VmValue],
    line: u32,
) -> Result<VmValue, VmError> {
    let n = int_n(recv);
    let e = match args[0] {
        VmValue::Int(e) if e >= 0 => e as u32,
        _ => {
            return Err(VmError::TypeError {
                message: "Int.pow expects a non-negative integer exponent".to_string(),
                line,
            });
        }
    };
    Ok(VmValue::Int(n.pow(e)))
}

pub fn int_to_f(
    _heap: &mut GcHeap<HeapObject>,
    recv: &VmValue,
    _args: &[VmValue],
    _line: u32,
) -> Result<VmValue, VmError> {
    let n = int_n(recv);
    Ok(VmValue::Float(n as f64))
}

pub fn int_to_s(
    _heap: &mut GcHeap<HeapObject>,
    recv: &VmValue,
    _args: &[VmValue],
    _line: u32,
) -> Result<VmValue, VmError> {
    let n = int_n(recv);
    Ok(VmValue::Str(n.to_string()))
}

pub fn register_methods(heap: &mut GcHeap<HeapObject>, class_ref: GcRef) {
    define_native_method(heap, class_ref, "pow", 1, int_pow);
    define_native_method(heap, class_ref, "to_f", 0, int_to_f);
    define_native_method(heap, class_ref, "to_s", 0, int_to_s);
}