Implement isRec operator
@@ -168,6 +168,12 @@ fn process_unary_operation(
Ok(Closure::atomic_closure(Term::Bool(false).into()))
}
}
+ UnaryOp::IsRec() => match *t {
+ Term::Record(_) | Term::RecRecord(_) => {
+ Ok(Closure::atomic_closure(Term::Bool(true).into()))
+ }
+ _ => Ok(Closure::atomic_closure(Term::Bool(false).into())),
+ },
UnaryOp::Blame() => {
if let Term::Lbl(l) = *t {
Err(EvalError::BlameError(l, None))
