* 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, 1 insertions, 0 deletions

diff --git a/lib.h b/lib.h
index 0ed408a0..36e2db02 100644
--- a/lib.h
+++ b/lib.h
@@ -725,6 +725,7 @@ val andf(val first_fun, ...);
 val andv(val funlist);
 val orf(val first_fun, ...);
 val orv(val funlist);
+val notf(val fun);
 val iff(val condfun, val thenfun, val elsefun);
 val iffi(val condfun, val thenfun, val elsefun);
 val swap_12_21(val fun);