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
use crate::multistackvm::VM;
use rust_dynamic::types::LAMBDA;
use easy_error::{Error, bail};
pub fn stdlib_logic_while(vm: &mut VM) -> Result<&mut VM, Error> {
if vm.stack.current_stack_len() < 2 {
bail!("Stack is too shallow for inline while()");
}
match vm.stack.pull() {
Some(lambda_val) => {
if lambda_val.is_type(LAMBDA) {
loop {
match vm.stack.pull() {
Some(condition_val) => {
match condition_val.cast_bool() {
Ok(cond) => {
if cond {
match vm.lambda_eval(lambda_val.clone()) {
Ok(_) => continue,
Err(err) => {
bail!("WHILE: lambda execution returns error: {}", err);
}
}
} else {
break;
}
}
Err(err) => {
bail!("WHILE returns error: {}", err);
}
}
}
None => {
bail!("WHILE returns: NO DATA #2");
}
}
}
} else {
bail!("WHILE: #1 parameter must be lambda");
}
}
None => {
bail!("WHILE returns: NO DATA #1");
}
}
Ok(vm)
}
pub fn stdlib_logic_while_in_workbench(vm: &mut VM) -> Result<&mut VM, Error> {
if vm.stack.current_stack_len() < 1 {
bail!("Stack is too shallow for inline while.()");
}
match vm.stack.pull() {
Some(lambda_val) => {
if lambda_val.is_type(LAMBDA) {
loop {
match vm.stack.pull_from_workbench() {
Some(condition_val) => {
match condition_val.cast_bool() {
Ok(cond) => {
if cond {
match vm.lambda_eval(lambda_val.clone()) {
Ok(_) => continue,
Err(err) => {
bail!("WHILE.: lambda execution returns error: {}", err);
}
}
} else {
break;
}
}
Err(err) => {
bail!("WHILE. returns error: {}", err);
}
}
}
None => {
bail!("WHILE. returns: NO DATA #2");
}
}
}
} else {
bail!("WHILE.: #1 parameter must be lambda");
}
}
None => {
bail!("WHILE. returns: NO DATA #1");
}
}
Ok(vm)
}
pub fn init_stdlib(vm: &mut VM) {
let _ = vm.register_inline("while".to_string(), stdlib_logic_while);
let _ = vm.register_inline("while.".to_string(), stdlib_logic_while_in_workbench);
}