2003-02-13 19:47:58 -05:00
|
|
|
sunterlib/s48/krims -- Odds and Ends
|
|
|
|
|
|
|
|
|
|
structure SRFI-1+ -- SRFI-1 + REST
|
|
|
|
|
|
|
|
|
|
The structure SRFI-1+ extends the list lib with REST := CDR. [ I dearly
|
|
|
|
|
like (FIRST . REST) lists and (CAR . CDR) trees. ]
|
|
|
|
|
|
|
|
|
|
*
|
2003-03-19 16:42:21 -05:00
|
|
|
|
2003-02-13 19:47:58 -05:00
|
|
|
structure SRFI-9+ -- SRFI-9 + DEFINE-RECORD-DISCLOSER
|
|
|
|
|
|
|
|
|
|
The structure SRFI-9+ extends SRFI-9 by the convenient record disclosing
|
|
|
|
|
facility from DEFINE-RECORD-TYPES:
|
|
|
|
|
|
|
|
|
|
(define-record-type rt <make> predicate <field spec> ...) SYNTAX
|
|
|
|
|
|
|
|
|
|
just as SRFI-9.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define-record-discloser rt d) --> unspecified PROCEDURE
|
|
|
|
|
|
|
|
|
|
just as DEFINE-RECORD-TYPES: Install the procedure D : rt -> list
|
2003-03-19 16:42:21 -05:00
|
|
|
as discloser for records of type RT where RT has been defined with
|
|
|
|
|
DEFINE-RECORD-TYPE (from above) and D maps its input record to a
|
2003-02-13 19:47:58 -05:00
|
|
|
printable list starting with a symbol.
|
|
|
|
|
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
structure KRIMS -- Odds and Ends
|
|
|
|
|
|
2003-03-19 16:42:21 -05:00
|
|
|
The structure KRIMS gathers miscellaneous tiny utilities mainly for use
|
2003-02-13 19:47:58 -05:00
|
|
|
of other sunterlib projects.
|
|
|
|
|
|
2003-03-19 16:42:21 -05:00
|
|
|
(assert exp x0 ...) SYNTAX
|
2003-02-13 19:47:58 -05:00
|
|
|
|
2003-03-19 16:42:21 -05:00
|
|
|
Signal an error if EXP is false, reporting both the failed assertion EXP
|
|
|
|
|
(literally) and the values of X0 ... Don't evaluate X0 ... if EXP holds
|
|
|
|
|
true.
|
2003-02-13 19:47:58 -05:00
|
|
|
|
|
|
|
|
*
|
|
|
|
|
|
2003-03-19 16:42:21 -05:00
|
|
|
|
2003-02-13 19:47:58 -05:00
|
|
|
(receive/name loop formals exp form0 ...) SYNTAX
|
|
|
|
|
|
|
|
|
|
RECEIVE/NAME is a multi-values analogue of named LET (but much less
|
|
|
|
|
useful) that helps when chaining n-valued n-ary functions, for instance.
|
|
|
|
|
|
2003-03-19 16:42:21 -05:00
|
|
|
Synopsis: Bind LOOP to a macro wrapped around the procedure LUP with
|
2003-02-13 19:47:58 -05:00
|
|
|
parameter list FORMALS and body FORM0 ... so that
|
2003-03-19 16:42:21 -05:00
|
|
|
* (LOOP multi-valued-expression) calls LUP with the values of
|
2003-02-13 19:47:58 -05:00
|
|
|
multi-valued-expression , and
|
|
|
|
|
* (LOOP exp0 ...) becomes (LUP exp0 ...)
|
|
|
|
|
|
|
|
|
|
Syntax: (receive/name <identifier> <formals> <expression> <body>)
|
|
|
|
|
with non-terminals from R5RS.
|
|
|
|
|
|
|
|
|
|
Semantics: (A special case is good enough.)
|
|
|
|
|
Assuming the LOOP tag isn't shadowed in the context `...'
|
|
|
|
|
|
|
|
|
|
(receive/name loop (x y) exp0
|
2003-03-19 16:42:21 -05:00
|
|
|
... (loop exp1) ...)
|
2003-02-13 19:47:58 -05:00
|
|
|
is eqv to
|
|
|
|
|
(receive (x y) exp0
|
|
|
|
|
(let lup ((x x) (y y))
|
|
|
|
|
... (receive (x y) exp1
|
|
|
|
|
(lup x y)) ...))
|
|
|
|
|
|
|
|
|
|
and (receive/name loop (x y) exp0
|
|
|
|
|
... (loop exp1 exp1) ...)
|
2003-03-19 16:42:21 -05:00
|
|
|
is eqv to
|
2003-02-13 19:47:58 -05:00
|
|
|
(receive (x y) exp0
|
|
|
|
|
(let lup ((x x) (y y))
|
|
|
|
|
... (lup exp1 exp2) ...))
|
|
|
|
|
|
|
|
|
|
Example:
|
|
|
|
|
|
|
|
|
|
(define (shove n xs) (values (- n 1) (cons n xs)))
|
2003-03-19 16:42:21 -05:00
|
|
|
(receive/name loop (n xs) (values 7 '())
|
2003-02-13 19:47:58 -05:00
|
|
|
(if (= n 0)
|
|
|
|
|
(display xs)
|
|
|
|
|
(loop (shove n xs))))
|
|
|
|
|
==> (1 2 3 4 5 6 7)
|
|
|
|
|
*
|
|
|
|
|
|
|
|
|
|
(gen-dispatch ((predicate action) ...) e0 e1 ... en) SYNTAX
|
|
|
|
|
|
2003-03-19 16:42:21 -05:00
|
|
|
Dispatch action on type of first argument E0: feed E0 ... EN to the
|
|
|
|
|
first action such that the PREDICATE holds for E0. Signal an error
|
2003-02-13 19:47:58 -05:00
|
|
|
if nothing goes.
|
|
|
|
|
|
|
|
|
|
Example:
|
|
|
|
|
(gen-dispatch ((string? string-ref)
|
|
|
|
|
(vector? vector-ref)
|
|
|
|
|
(list? list-ref))
|
|
|
|
|
'#(a zopp 36) 2)
|
|
|
|
|
==> 36
|
|
|
|
|
|
2003-02-15 19:35:02 -05:00
|
|
|
[ Yes, this macro doesn't help much. ]
|
|
|
|
|
|
2003-02-13 19:47:58 -05:00
|
|
|
oOo
|
2003-02-15 19:35:02 -05:00
|
|
|
|
