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
use rust_dynamic::value::Value;
use crate::multistackvm::VM;
use rust_dynamic::types::LAMBDA;
use easy_error::{Error, bail};
#[time_graph::instrument]
pub fn stdlib_logic_times(vm: &mut VM) -> Result<&mut VM, Error> {
if vm.stack.current_stack_len() < 2 {
bail!("Stack is too shallow for inline times");
}
match vm.stack.pull() {
Some(lambda_val) => {
if lambda_val.is_type(LAMBDA) {
match vm.stack.pull() {
Some(n_val) => {
match n_val.cast_int() {
Ok(n) => {
for v in 0..n {
vm.stack.push(Value::from_int(v));
match vm.lambda_eval(lambda_val.clone()) {
Ok(_) => continue,
Err(err) => {
bail!("TIMES: lambda execution returns error: {}", err);
}
}
}
}
Err(err) => {
bail!("TIMES returns error: {}", err);
}
}
}
None => {
bail!("TIMES returns: NO DATA #2");
}
}
} else {
bail!("TIMES: #1 parameter must be lambda");
}
}
None => {
bail!("TIMES returns: NO DATA #1");
}
}
Ok(vm)
}
#[time_graph::instrument]
pub fn stdlib_logic_times_from_workbench(vm: &mut VM) -> Result<&mut VM, Error> {
if vm.stack.current_stack_len() < 1 {
bail!("Stack is too shallow for inline times");
}
match vm.stack.pull() {
Some(lambda_val) => {
if lambda_val.is_type(LAMBDA) {
match vm.stack.pull_from_workbench() {
Some(n_val) => {
match n_val.cast_int() {
Ok(n) => {
for v in 0..n {
vm.stack.push(Value::from_int(v));
match vm.lambda_eval(lambda_val.clone()) {
Ok(_) => continue,
Err(err) => {
bail!("TIMES: lambda execution returns error: {}", err);
}
}
}
}
Err(err) => {
bail!("TIMES returns error: {}", err);
}
}
}
None => {
bail!("TIMES returns: NO DATA #2");
}
}
} else {
bail!("TIMES: #1 parameter must be lambda");
}
}
None => {
bail!("TIMES returns: NO DATA #1");
}
}
Ok(vm)
}
pub fn init_stdlib(vm: &mut VM) {
let _ = vm.register_inline("times".to_string(), stdlib_logic_times);
let _ = vm.register_inline("times.".to_string(), stdlib_logic_times_from_workbench);
}