start accounting for pure/impure builtins

Signed-off-by: Ava Affine <ava@sunnypup.io>
This commit is contained in:
Ava Apples Affine 2024-06-12 11:13:34 -07:00
parent 2809569c35
commit 143173f046
6 changed files with 38 additions and 0 deletions

View file

@ -432,6 +432,7 @@ pub fn add_control_lib(syms: &mut SymTable) {
conditional_branches: false,
docs: ASSERT_DOCSTRING.to_string(),
value: ValueType::Internal(Rc::new(assert_callback)),
optimizable: true,
..Default::default()
},
);
@ -444,6 +445,7 @@ pub fn add_control_lib(syms: &mut SymTable) {
conditional_branches: true,
docs: IF_DOCSTRING.to_string(),
value: ValueType::Internal(Rc::new(if_callback)),
optimizable: true,
..Default::default()
},
);
@ -480,6 +482,7 @@ pub fn add_control_lib(syms: &mut SymTable) {
conditional_branches: true,
docs: CIRCUIT_DOCSTRING.to_string(),
value: ValueType::Internal(Rc::new(circuit_callback)),
optimizable: true,
..Default::default()
},
);