* eval.c (eval_init): Register notf intrinsic function.

* lib.c (do_not): New static function.
(notf): New function.

* lib.h (notf): Declared.

* txr.1: Documented notf.

* share/txr/stdlib/txr-case.txr (bindable): Eliminated.
(txr-if): Use functional expression, taking advantage of notf.

* txr.vim: Regenerated.

1 files changed, 10 insertions, 0 deletions

diff --git a/lib.c b/lib.c
index acac10dd..920b53cf 100644
--- a/lib.c
+++ b/lib.c
@@ -4572,6 +4572,16 @@ val orv(val funlist)
   return func_f0v(nullify(funlist), do_or);
 }
 
+static val do_not(val fun, val args)
+{
+  return null(apply(fun, args, nil));
+}
+
+val notf(val fun)
+{
+  return func_f0v(fun, do_not);
+}
+
 static val do_iff(val env, val args)
 {
   cons_bind (condfun, choices, env);