pnc-engine 0.1.1

Core engine for PNC: arbitrary-precision RPN evaluation, units, and persistence
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

use pnc_engine::{parse, value::Value};

#[test]
fn add_two_ints() {
    let mut stack = Vec::new();
    parse::eval_line(&mut stack, "2 3 +").unwrap();
    assert_eq!(stack, vec![Value::Int(5.into())]);
}

#[test]
fn div_exact_stays_int() {
    let mut stack = Vec::new();
    parse::eval_line(&mut stack, "4 2 /").unwrap();
    assert_eq!(stack, vec![Value::Int(2.into())]);
}

#[test]
fn div_inexact_becomes_rational() {
    let mut stack = Vec::new();
    parse::eval_line(&mut stack, "15 2 /").unwrap();
    assert_eq!(
        stack,
        vec![Value::Rational(num_rational::BigRational::new(
            15.into(),
            2.into()
        ))]
    );
}

#[test]
fn promotion_int_times_rational() {
    let mut stack = Vec::new();
    parse::eval_line(&mut stack, "1 2 / 3 *").unwrap();
    assert_eq!(
        stack,
        vec![Value::Rational(num_rational::BigRational::new(
            3.into(),
            2.into()
        ))]
    );
}