file layout: moving share/txr/stdlib to stdlib.

This affects run-time also. Txr installations where the
executable is not in directory ending in ${bindir}
will look for stdlib rather than share/txr/stdlib,
relative to the determined installation directory.

* txr.c (sysroot_init): If we detect relative to the short
name, or fall back on the program directory, use stdlib
rather than share/txr/stdlib as the stdlib_path.

* INSTALL: Update some installation notes not to refer to
share/txr/stdlib but stdlib.

* Makefile (STDLIB_SRCS): Refer to stdlib, not
share/txr/stdlib.
(clean): In unconfigured mode, remove the old share/txr/stdlib
entirely.  Remove .tlo files from stdlib.
(install): Install lib materials from stdlib.

* txr.1: Updated documentation under Deployment Directory Structure.

* share/txr/stdlib/{asm,awk,build,cadr}.tl:
Renamed to stdlib/{asm,awk,build,cadr}.tl.

* share/txr/stdlib/{compiler,conv,copy-file,debugger}.tl:
Renamed to stdlib/{compiler,conv,copy-file,debugger}.tl.

* share/txr/stdlib/{defset,doc-lookup,doc-syms,doloop}.tl:
Renamed to stdlib/{defset,doc-lookup,doc-syms,doloop}.tl.

* share/txr/stdlib/{each-prod,error,except,ffi}.tl:
Renamed to stdlib/{each-prod,error,except,ffi}.tl.

* share/txr/stdlib/{getopts,getput,hash,ifa}.tl:
Renamed to stdlib/{getopts,getput,hash,ifa}.tl.

* share/txr/stdlib/{keyparams,match,op,optimize}.tl:
Renamed to stdlib/{keyparams,match,op,optimize}.tl.

* share/txr/stdlib/{package,param,path-test,pic}.tl:
Renamed to stdlib/{package,param,path-test,pic}.tl.

* share/txr/stdlib/{place,pmac,quips,save-exe}.tl:
Renamed to stdlib/{place,pmac,quips,save-exe}.tl.

* share/txr/stdlib/{socket,stream-wrap,struct,tagbody}.tl:
Renamed to stdlib/{socket,stream-wrap,struct,tagbody}.tl.

* share/txr/stdlib/{termios,trace,txr-case,type}.tl:
Renamed to stdlib/{termios,trace,txr-case,type}.tl.

* share/txr/stdlib/{ver,vm-param,with-resources,with-stream}.tl:
Renamed to stdlib/{ver,vm-param,with-resources,with-stream}.tl.

* share/txr/stdlib/yield.tl: Renamed to stdlib/yield.tl.

* share/txr/stdlib/{txr-case,ver}.txr:
Renamed to stdlib/{txr-case,ver}.txr.

* gencadr.txr: Update to stdlib/place.tl.

* genman.txr: Update to stdlib/cadr.tl.

1 files changed, 90 insertions, 0 deletions

diff --git a/stdlib/keyparams.tl b/stdlib/keyparams.tl
new file mode 100644
index 00000000..e1eba2d0
--- /dev/null
+++ b/stdlib/keyparams.tl
@@ -0,0 +1,90 @@
+;; Copyright 2017-2021
+;; Kaz Kylheku <kaz@kylheku.com>
+;; Vancouver, Canada
+;; All rights reserved.
+;;
+;; Redistribution and use in source and binary forms, with or without
+;; modification, are permitted provided that the following conditions are met:
+;;
+;; 1. Redistributions of source code must retain the above copyright notice, this
+;;    list of conditions and the following disclaimer.
+;;
+;; 2. Redistributions in binary form must reproduce the above copyright notice,
+;;    this list of conditions and the following disclaimer in the documentation
+;;    and/or other materials provided with the distribution.
+;;
+;; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
+;; ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+;; WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+;; DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+;; FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+;; DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+;; SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+;; CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+;; OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+;; OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+(defun sys:extract-keys (keys args)
+  (build
+    (each ((k keys))
+      (iflet ((f (memp (car k) args)))
+        (add (cadr f))
+        (add (cdr k))))))
+
+(defun sys:extract-keys-p (keys args)
+  (build
+    (each ((k keys))
+      (add (if (memp k args) t)))))
+
+(defun sys:build-key-list-expr (key-params menv)
+  (let ((exprs (collect-each ((kp key-params))
+                 (let ((kw (intern (symbol-name (first kp)) 'keyword))
+                       (ex (second kp)))
+                   (if (constantp ex menv)
+                     ^(quote (,kw . ,(second kp)))
+                     ^(cons ,kw ,(second kp)))))))
+    (if [all exprs (op eq 'quote) car]
+      ^(quote ,[mapcar cadr exprs])
+      ^(list ,*exprs))))
+
+(define-param-expander :key (param body menv form)
+  (let* ((excluding-rest (butlastn 0 param))
+         (key-start (memq '-- excluding-rest))
+         (rest-param (or (nthlast 0 param) (gensym)))
+         (before-key (ldiff excluding-rest key-start))
+         (key-params-raw (butlastn 0 (cdr key-start)))
+         (key-params [mapcar [iffi atom (op list @1)] key-params-raw])
+         (eff-param (append before-key rest-param)))
+    (each ((key-spec key-params))
+      (tree-case key-spec
+        ((sym init var-p . junk)
+         (when (consp junk)
+           (compile-error form "superfluous forms in ~s" key-spec))
+         (when junk
+           (compile-error form "invalid dotted form ~s" key-spec))
+         (unless (bindable var-p)
+           (compile-error form "~s isn't a bindable symbol" var-p))
+         :)
+        ((sym init . more)
+         (unless (listp more)
+           (compile-error form "invalid dotted form ~s" key-spec))
+         :)
+        ((sym . more)
+         (unless (listp more)
+           (compile-error form "invalid dotted form ~s" key-spec))
+         (unless (bindable sym)
+           (compile-error form "~s isn't a bindable symbol" sym)))))
+    (let* ((key-params-p [keep-if third key-params])
+           (key-vars [mapcar first key-params])
+           (key-vars-p [mapcar third key-params-p])
+           (keys (sys:build-key-list-expr key-params menv))
+           (keys-p (mapcar (op intern (symbol-name (first @1)) 'keyword)
+                           key-params-p)))
+      (list eff-param
+            ^(tree-bind ,key-vars
+                        (sys:extract-keys ,keys ,rest-param)
+               ,*(if keys-p
+                   ^((tree-bind ,key-vars-p
+                                (sys:extract-keys-p ',keys-p ,rest-param)
+                        ,*body))
+                   body))))))