Lawrence Bethlenfalvy
6a381c5b57
- inertness now tracked separately from gas - atomic_impl now correctly rolls over when the argument is inert - syntax fixes - tree shaking
41 lines
1.1 KiB
Rust
41 lines
1.1 KiB
Rust
use std::fmt::Debug;
|
|
use std::rc::Rc;
|
|
|
|
use crate::external::assertion_error::AssertionError;
|
|
use crate::representations::{PathSet, interpreted::{Clause, ExprInst}};
|
|
use crate::{atomic_impl, atomic_redirect, externfn_impl};
|
|
|
|
use super::Boolean;
|
|
|
|
/// IfThenElse function
|
|
///
|
|
/// Next state: [IfThenElse0]
|
|
|
|
#[derive(Clone)]
|
|
pub struct IfThenElse1;
|
|
externfn_impl!(IfThenElse1, |_: &Self, x: ExprInst| Ok(IfThenElse0{x}));
|
|
|
|
/// Partially applied IfThenElse function
|
|
///
|
|
/// Prev state: [IfThenElse1]; Next state: [IfThenElse0]
|
|
|
|
#[derive(Debug, Clone)]
|
|
pub struct IfThenElse0{ x: ExprInst }
|
|
atomic_redirect!(IfThenElse0, x);
|
|
atomic_impl!(IfThenElse0, |this: &Self| {
|
|
let Boolean(b) = this.x.clone().try_into()
|
|
.map_err(|_| AssertionError::ext(this.x.clone(), "a boolean"))?;
|
|
Ok(if b { Clause::Lambda {
|
|
args: Some(PathSet { steps: Rc::new(vec![]), next: None }),
|
|
body: Clause::Lambda {
|
|
args: None,
|
|
body: Clause::LambdaArg.wrap()
|
|
}.wrap()
|
|
}} else { Clause::Lambda {
|
|
args: None,
|
|
body: Clause::Lambda {
|
|
args: Some(PathSet { steps: Rc::new(vec![]), next: None }),
|
|
body: Clause::LambdaArg.wrap()
|
|
}.wrap()
|
|
}})
|
|
}); |