Artifact
e5469ecbbaf272baed70e8538e04717d989fc52d:
0000: 3b 3b 20 43 6f 70 79 72 69 67 68 74 20 28 43 29 ;; Copyright (C)
0010: 20 57 69 6c 6c 69 61 6d 20 44 20 43 6c 69 6e 67 William D Cling
0020: 65 72 20 32 30 30 38 2e 20 41 6c 6c 20 52 69 67 er 2008. All Rig
0030: 68 74 73 20 52 65 73 65 72 76 65 64 2e 0a 3b 3b hts Reserved..;;
0040: 0a 3b 3b 20 50 65 72 6d 69 73 73 69 6f 6e 20 69 .;; Permission i
0050: 73 20 68 65 72 65 62 79 20 67 72 61 6e 74 65 64 s hereby granted
0060: 2c 20 66 72 65 65 20 6f 66 20 63 68 61 72 67 65 , free of charge
0070: 2c 20 74 6f 20 61 6e 79 20 70 65 72 73 6f 6e 20 , to any person
0080: 6f 62 74 61 69 6e 69 6e 67 20 61 20 63 6f 70 79 obtaining a copy
0090: 0a 3b 3b 20 6f 66 20 74 68 69 73 20 73 6f 66 74 .;; of this soft
00a0: 77 61 72 65 20 61 6e 64 20 61 73 73 6f 63 69 61 ware and associa
00b0: 74 65 64 20 64 6f 63 75 6d 65 6e 74 61 74 69 6f ted documentatio
00c0: 6e 20 66 69 6c 65 73 20 28 74 68 65 20 22 53 6f n files (the "So
00d0: 66 74 77 61 72 65 22 29 2c 20 74 6f 20 64 65 61 ftware"), to dea
00e0: 6c 0a 3b 3b 20 69 6e 20 74 68 65 20 53 6f 66 74 l.;; in the Soft
00f0: 77 61 72 65 20 77 69 74 68 6f 75 74 20 72 65 73 ware without res
0100: 74 72 69 63 74 69 6f 6e 2c 20 69 6e 63 6c 75 64 triction, includ
0110: 69 6e 67 20 77 69 74 68 6f 75 74 20 6c 69 6d 69 ing without limi
0120: 74 61 74 69 6f 6e 20 74 68 65 20 72 69 67 68 74 tation the right
0130: 73 0a 3b 3b 20 74 6f 20 75 73 65 2c 20 63 6f 70 s.;; to use, cop
0140: 79 2c 20 6d 6f 64 69 66 79 2c 20 6d 65 72 67 65 y, modify, merge
0150: 2c 20 70 75 62 6c 69 73 68 2c 20 64 69 73 74 72 , publish, distr
0160: 69 62 75 74 65 2c 20 73 75 62 6c 69 63 65 6e 73 ibute, sublicens
0170: 65 2c 20 61 6e 64 2f 6f 72 20 73 65 6c 6c 0a 3b e, and/or sell.;
0180: 3b 20 63 6f 70 69 65 73 20 6f 66 20 74 68 65 20 ; copies of the
0190: 53 6f 66 74 77 61 72 65 2c 20 61 6e 64 20 74 6f Software, and to
01a0: 20 70 65 72 6d 69 74 20 70 65 72 73 6f 6e 73 20 permit persons
01b0: 74 6f 20 77 68 6f 6d 20 74 68 65 20 53 6f 66 74 to whom the Soft
01c0: 77 61 72 65 20 69 73 0a 3b 3b 20 66 75 72 6e 69 ware is.;; furni
01d0: 73 68 65 64 20 74 6f 20 64 6f 20 73 6f 2c 20 73 shed to do so, s
01e0: 75 62 6a 65 63 74 20 74 6f 20 74 68 65 20 66 6f ubject to the fo
01f0: 6c 6c 6f 77 69 6e 67 20 63 6f 6e 64 69 74 69 6f llowing conditio
0200: 6e 73 3a 0a 3b 3b 0a 3b 3b 20 54 68 65 20 61 62 ns:.;;.;; The ab
0210: 6f 76 65 20 63 6f 70 79 72 69 67 68 74 20 6e 6f ove copyright no
0220: 74 69 63 65 20 61 6e 64 20 74 68 69 73 20 70 65 tice and this pe
0230: 72 6d 69 73 73 69 6f 6e 20 6e 6f 74 69 63 65 20 rmission notice
0240: 73 68 61 6c 6c 20 62 65 20 69 6e 63 6c 75 64 65 shall be include
0250: 64 20 69 6e 0a 3b 3b 20 61 6c 6c 20 63 6f 70 69 d in.;; all copi
0260: 65 73 20 6f 72 20 73 75 62 73 74 61 6e 74 69 61 es or substantia
0270: 6c 20 70 6f 72 74 69 6f 6e 73 20 6f 66 20 74 68 l portions of th
0280: 65 20 53 6f 66 74 77 61 72 65 2e 0a 3b 3b 0a 3b e Software..;;.;
0290: 3b 20 54 48 45 20 53 4f 46 54 57 41 52 45 20 49 ; THE SOFTWARE I
02a0: 53 20 50 52 4f 56 49 44 45 44 20 22 41 53 20 49 S PROVIDED "AS I
02b0: 53 22 2c 20 57 49 54 48 4f 55 54 20 57 41 52 52 S", WITHOUT WARR
02c0: 41 4e 54 59 20 4f 46 20 41 4e 59 20 4b 49 4e 44 ANTY OF ANY KIND
02d0: 2c 20 45 58 50 52 45 53 53 20 4f 52 0a 3b 3b 20 , EXPRESS OR.;;
02e0: 49 4d 50 4c 49 45 44 2c 20 49 4e 43 4c 55 44 49 IMPLIED, INCLUDI
02f0: 4e 47 20 42 55 54 20 4e 4f 54 20 4c 49 4d 49 54 NG BUT NOT LIMIT
0300: 45 44 20 54 4f 20 54 48 45 20 57 41 52 52 41 4e ED TO THE WARRAN
0310: 54 49 45 53 20 4f 46 20 4d 45 52 43 48 41 4e 54 TIES OF MERCHANT
0320: 41 42 49 4c 49 54 59 2c 0a 3b 3b 20 46 49 54 4e ABILITY,.;; FITN
0330: 45 53 53 20 46 4f 52 20 41 20 50 41 52 54 49 43 ESS FOR A PARTIC
0340: 55 4c 41 52 20 50 55 52 50 4f 53 45 20 41 4e 44 ULAR PURPOSE AND
0350: 20 4e 4f 4e 49 4e 46 52 49 4e 47 45 4d 45 4e 54 NONINFRINGEMENT
0360: 2e 20 52 45 4d 45 4d 42 45 52 2c 20 54 48 45 52 . REMEMBER, THER
0370: 45 20 49 53 20 4e 4f 0a 3b 3b 20 53 43 48 45 4d E IS NO.;; SCHEM
0380: 45 20 55 4e 44 45 52 47 52 4f 55 4e 44 2e 20 49 E UNDERGROUND. I
0390: 4e 20 4e 4f 20 45 56 45 4e 54 20 53 48 41 4c 4c N NO EVENT SHALL
03a0: 20 54 48 45 20 41 55 54 48 4f 52 53 20 4f 52 20 THE AUTHORS OR
03b0: 43 4f 50 59 52 49 47 48 54 20 48 4f 4c 44 45 52 COPYRIGHT HOLDER
03c0: 53 20 42 45 0a 3b 3b 20 4c 49 41 42 4c 45 20 46 S BE.;; LIABLE F
03d0: 4f 52 20 41 4e 59 20 43 4c 41 49 4d 2c 20 44 41 OR ANY CLAIM, DA
03e0: 4d 41 47 45 53 20 4f 52 20 4f 54 48 45 52 20 4c MAGES OR OTHER L
03f0: 49 41 42 49 4c 49 54 59 2c 20 57 48 45 54 48 45 IABILITY, WHETHE
0400: 52 20 49 4e 20 41 4e 20 41 43 54 49 4f 4e 20 4f R IN AN ACTION O
0410: 46 0a 3b 3b 20 43 4f 4e 54 52 41 43 54 2c 20 54 F.;; CONTRACT, T
0420: 4f 52 54 20 4f 52 20 4f 54 48 45 52 57 49 53 45 ORT OR OTHERWISE
0430: 2c 20 41 52 49 53 49 4e 47 20 46 52 4f 4d 2c 20 , ARISING FROM,
0440: 4f 55 54 20 4f 46 20 4f 52 20 49 4e 20 43 4f 4e OUT OF OR IN CON
0450: 4e 45 43 54 49 4f 4e 20 57 49 54 48 20 54 48 45 NECTION WITH THE
0460: 0a 3b 3b 20 53 4f 46 54 57 41 52 45 20 4f 52 20 .;; SOFTWARE OR
0470: 54 48 45 20 55 53 45 20 4f 52 20 4f 54 48 45 52 THE USE OR OTHER
0480: 20 44 45 41 4c 49 4e 47 53 20 49 4e 20 54 48 45 DEALINGS IN THE
0490: 20 53 4f 46 54 57 41 52 45 2e 0a 0a 3b 3b 3b 3b SOFTWARE...;;;;
04a0: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b ;;;;;;;;;;;;;;;;
04b0: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b ;;;;;;;;;;;;;;;;
04c0: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b ;;;;;;;;;;;;;;;;
04d0: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 0a 3b 0a 3b ;;;;;;;;;;;;.;.;
04e0: 20 45 52 52 35 52 53 20 52 65 63 6f 72 64 73 2e ERR5RS Records.
04f0: 0a 3b 0a 3b 20 54 68 69 73 20 69 73 20 61 20 71 .;.; This is a q
0500: 75 69 63 6b 2d 61 6e 64 2d 64 69 72 74 79 20 72 uick-and-dirty r
0510: 65 66 65 72 65 6e 63 65 20 69 6d 70 6c 65 6d 65 eference impleme
0520: 6e 74 61 74 69 6f 6e 20 74 68 61 74 20 66 61 76 ntation that fav
0530: 6f 72 73 0a 3b 20 73 69 6d 70 6c 69 63 69 74 79 ors.; simplicity
0540: 20 6f 76 65 72 20 71 75 61 6c 69 74 79 20 65 72 over quality er
0550: 72 6f 72 20 6d 65 73 73 61 67 65 73 20 61 6e 64 ror messages and
0560: 20 70 65 72 66 6f 72 6d 61 6e 63 65 2e 20 20 49 performance. I
0570: 74 20 69 73 0a 3b 20 69 6d 70 6c 65 6d 65 6e 74 t is.; implement
0580: 65 64 20 75 73 69 6e 67 20 74 68 65 20 52 36 52 ed using the R6R
0590: 53 20 70 72 6f 63 65 64 75 72 61 6c 20 61 6e 64 S procedural and
05a0: 20 69 6e 73 70 65 63 74 69 6f 6e 20 6c 61 79 65 inspection laye
05b0: 72 73 2c 0a 3b 20 77 69 74 68 20 77 68 69 63 68 rs,.; with which
05c0: 20 69 74 20 69 6e 74 65 72 6f 70 65 72 61 74 65 it interoperate
05d0: 73 20 6e 69 63 65 6c 79 2e 0a 3b 0a 3b 3b 3b 3b s nicely..;.;;;;
05e0: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b ;;;;;;;;;;;;;;;;
05f0: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b ;;;;;;;;;;;;;;;;
0600: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b ;;;;;;;;;;;;;;;;
0610: 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 3b 0a 0a 23 21 ;;;;;;;;;;;;..#!
0620: 72 36 72 73 0a 28 6c 69 62 72 61 72 79 20 28 73 r6rs.(library (s
0630: 72 66 69 20 73 39 39 20 72 65 63 6f 72 64 73 20 rfi s99 records
0640: 70 72 6f 63 65 64 75 72 61 6c 29 0a 0a 20 20 28 procedural).. (
0650: 65 78 70 6f 72 74 20 6d 61 6b 65 2d 72 74 64 20 export make-rtd
0660: 72 74 64 3f 20 72 74 64 2d 63 6f 6e 73 74 72 75 rtd? rtd-constru
0670: 63 74 6f 72 0a 20 20 20 20 20 20 20 20 20 20 72 ctor. r
0680: 74 64 2d 70 72 65 64 69 63 61 74 65 20 72 74 64 td-predicate rtd
0690: 2d 61 63 63 65 73 73 6f 72 20 72 74 64 2d 6d 75 -accessor rtd-mu
06a0: 74 61 74 6f 72 29 0a 0a 20 20 28 69 6d 70 6f 72 tator).. (impor
06b0: 74 20 28 72 6e 72 73 20 62 61 73 65 29 0a 20 20 t (rnrs base).
06c0: 20 20 20 20 20 20 20 20 28 72 6e 72 73 20 6c 69 (rnrs li
06d0: 73 74 73 29 0a 20 20 20 20 20 20 20 20 20 20 28 sts). (
06e0: 72 6e 72 73 20 72 65 63 6f 72 64 73 20 70 72 6f rnrs records pro
06f0: 63 65 64 75 72 61 6c 29 0a 20 20 20 20 20 20 20 cedural).
0700: 20 20 20 28 73 72 66 69 20 73 39 39 20 72 65 63 (srfi s99 rec
0710: 6f 72 64 73 20 69 6e 73 70 65 63 74 69 6f 6e 29 ords inspection)
0720: 29 0a 0a 20 20 3b 20 4e 6f 74 65 3a 20 74 68 65 ).. ; Note: the
0730: 20 6f 70 74 69 6f 6e 73 20 61 72 65 20 70 65 72 options are per
0740: 6d 69 74 74 65 64 20 62 79 20 45 52 52 35 52 53 mitted by ERR5RS
0750: 2c 0a 20 20 3b 20 62 75 74 20 61 72 65 20 6e 6f ,. ; but are no
0760: 74 20 70 61 72 74 20 6f 66 20 45 52 52 35 52 53 t part of ERR5RS
0770: 2e 0a 0a 20 20 28 64 65 66 69 6e 65 20 28 6d 61 ... (define (ma
0780: 6b 65 2d 72 74 64 20 6e 61 6d 65 20 66 69 65 6c ke-rtd name fiel
0790: 64 73 70 65 63 73 20 2e 20 72 65 73 74 29 0a 20 dspecs . rest).
07a0: 20 20 20 28 6c 65 74 2a 20 28 28 70 61 72 65 6e (let* ((paren
07b0: 74 20 28 69 66 20 28 6e 75 6c 6c 3f 20 72 65 73 t (if (null? res
07c0: 74 29 20 23 66 20 28 63 61 72 20 72 65 73 74 29 t) #f (car rest)
07d0: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 28 6f )). (o
07e0: 70 74 69 6f 6e 73 20 28 69 66 20 28 6e 75 6c 6c ptions (if (null
07f0: 3f 20 72 65 73 74 29 20 27 28 29 20 28 63 64 72 ? rest) '() (cdr
0800: 20 72 65 73 74 29 29 29 0a 20 20 20 20 20 20 20 rest))).
0810: 20 20 20 20 28 73 65 61 6c 65 64 3f 20 28 61 6e (sealed? (an
0820: 64 20 28 6d 65 6d 71 20 27 73 65 61 6c 65 64 20 d (memq 'sealed
0830: 6f 70 74 69 6f 6e 73 29 20 23 74 29 29 0a 20 20 options) #t)).
0840: 20 20 20 20 20 20 20 20 20 28 6f 70 61 71 75 65 (opaque
0850: 3f 20 28 61 6e 64 20 28 6d 65 6d 71 20 27 6f 70 ? (and (memq 'op
0860: 61 71 75 65 20 6f 70 74 69 6f 6e 73 29 20 23 74 aque options) #t
0870: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 28 75 )). (u
0880: 69 64 20 28 6c 65 74 20 28 28 70 72 6f 62 65 20 id (let ((probe
0890: 28 6d 65 6d 71 20 27 75 69 64 20 6f 70 74 69 6f (memq 'uid optio
08a0: 6e 73 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 ns))).
08b0: 20 20 20 20 20 20 20 20 28 69 66 20 28 61 6e 64 (if (and
08c0: 20 70 72 6f 62 65 20 28 6e 6f 74 20 28 6e 75 6c probe (not (nul
08d0: 6c 3f 20 28 63 64 72 20 70 72 6f 62 65 29 29 29 l? (cdr probe)))
08e0: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
08f0: 20 20 20 20 20 20 20 20 28 63 61 64 72 20 70 72 (cadr pr
0900: 6f 62 65 29 0a 20 20 20 20 20 20 20 20 20 20 20 obe).
0910: 20 20 20 20 20 20 20 20 20 20 20 23 66 29 29 29 #f)))
0920: 29 0a 20 20 20 20 20 20 28 6d 61 6b 65 2d 72 65 ). (make-re
0930: 63 6f 72 64 2d 74 79 70 65 2d 64 65 73 63 72 69 cord-type-descri
0940: 70 74 6f 72 0a 20 20 20 20 20 20 20 6e 61 6d 65 ptor. name
0950: 0a 20 20 20 20 20 20 20 70 61 72 65 6e 74 0a 20 . parent.
0960: 20 20 20 20 20 20 75 69 64 0a 20 20 20 20 20 20 uid.
0970: 20 73 65 61 6c 65 64 3f 0a 20 20 20 20 20 20 20 sealed?.
0980: 6f 70 61 71 75 65 3f 0a 20 20 20 20 20 20 20 28 opaque?. (
0990: 76 65 63 74 6f 72 2d 6d 61 70 20 28 6c 61 6d 62 vector-map (lamb
09a0: 64 61 20 28 66 69 65 6c 64 73 70 65 63 29 0a 20 da (fieldspec).
09b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
09c0: 20 20 20 20 28 69 66 20 28 73 79 6d 62 6f 6c 3f (if (symbol?
09d0: 20 66 69 65 6c 64 73 70 65 63 29 0a 20 20 20 20 fieldspec).
09e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
09f0: 20 20 20 20 20 28 6c 69 73 74 20 27 6d 75 74 61 (list 'muta
0a00: 62 6c 65 20 66 69 65 6c 64 73 70 65 63 29 0a 20 ble fieldspec).
0a10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0a20: 20 20 20 20 20 20 20 20 66 69 65 6c 64 73 70 65 fieldspe
0a30: 63 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 c)).
0a40: 20 20 20 20 20 20 20 66 69 65 6c 64 73 70 65 63 fieldspec
0a50: 73 29 29 29 29 0a 0a 20 20 28 64 65 66 69 6e 65 s)))).. (define
0a60: 20 72 74 64 3f 20 72 65 63 6f 72 64 2d 74 79 70 rtd? record-typ
0a70: 65 2d 64 65 73 63 72 69 70 74 6f 72 3f 29 0a 0a e-descriptor?)..
0a80: 20 20 28 64 65 66 69 6e 65 20 28 72 74 64 2d 63 (define (rtd-c
0a90: 6f 6e 73 74 72 75 63 74 6f 72 20 72 74 64 20 2e onstructor rtd .
0aa0: 20 72 65 73 74 29 0a 0a 20 20 20 20 3b 20 43 6f rest).. ; Co
0ab0: 6d 70 75 74 65 73 20 70 65 72 6d 75 74 61 74 69 mputes permutati
0ac0: 6f 6e 20 61 6e 64 20 61 6c 6c 6f 63 61 74 65 73 on and allocates
0ad0: 20 70 65 72 6d 75 74 61 74 69 6f 6e 20 62 75 66 permutation buf
0ae0: 66 65 72 0a 20 20 20 20 3b 20 77 68 65 6e 20 74 fer. ; when t
0af0: 68 65 20 63 6f 6e 73 74 72 75 63 74 6f 72 20 69 he constructor i
0b00: 73 20 63 72 65 61 74 65 64 2c 20 6e 6f 74 20 77 s created, not w
0b10: 68 65 6e 20 74 68 65 20 63 6f 6e 73 74 72 75 63 hen the construc
0b20: 74 6f 72 0a 20 20 20 20 3b 20 69 73 20 63 61 6c tor. ; is cal
0b30: 6c 65 64 2e 20 20 4d 6f 72 65 20 65 72 72 6f 72 led. More error
0b40: 20 63 68 65 63 6b 69 6e 67 20 69 73 20 72 65 63 checking is rec
0b50: 6f 6d 6d 65 6e 64 65 64 2e 0a 0a 20 20 20 20 28 ommended... (
0b60: 64 65 66 69 6e 65 20 28 6d 61 6b 65 2d 63 6f 6e define (make-con
0b70: 73 74 72 75 63 74 6f 72 20 66 69 65 6c 64 73 70 structor fieldsp
0b80: 65 63 73 20 61 6c 6c 6e 61 6d 65 73 20 6d 61 6b ecs allnames mak
0b90: 65 72 29 0a 20 20 20 20 20 20 28 6c 65 74 2a 20 er). (let*
0ba0: 28 28 6b 20 28 6c 65 6e 67 74 68 20 66 69 65 6c ((k (length fiel
0bb0: 64 73 70 65 63 73 29 29 0a 20 20 20 20 20 20 20 dspecs)).
0bc0: 20 20 20 20 20 20 28 6e 20 28 6c 65 6e 67 74 68 (n (length
0bd0: 20 61 6c 6c 6e 61 6d 65 73 29 29 0a 20 20 20 20 allnames)).
0be0: 20 20 20 20 20 20 20 20 20 28 62 75 66 66 65 72 (buffer
0bf0: 20 28 6d 61 6b 65 2d 76 65 63 74 6f 72 20 6e 29 (make-vector n)
0c00: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 28 ). (
0c10: 72 65 76 65 72 73 65 2d 61 6c 6c 2d 6e 61 6d 65 reverse-all-name
0c20: 73 20 28 72 65 76 65 72 73 65 20 61 6c 6c 6e 61 s (reverse allna
0c30: 6d 65 73 29 29 29 0a 0a 20 20 20 20 20 20 20 20 mes)))..
0c40: 28 64 65 66 69 6e 65 20 28 70 6f 73 69 74 69 6f (define (positio
0c50: 6e 20 66 69 65 6c 64 6e 61 6d 65 29 0a 20 20 20 n fieldname).
0c60: 20 20 20 20 20 20 20 28 6c 65 74 20 28 28 6e 61 (let ((na
0c70: 6d 65 73 20 28 6d 65 6d 71 20 66 69 65 6c 64 6e mes (memq fieldn
0c80: 61 6d 65 20 72 65 76 65 72 73 65 2d 61 6c 6c 2d ame reverse-all-
0c90: 6e 61 6d 65 73 29 29 29 0a 20 20 20 20 20 20 20 names))).
0ca0: 20 20 20 20 20 28 61 73 73 65 72 74 20 6e 61 6d (assert nam
0cb0: 65 73 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 es).
0cc0: 28 2d 20 28 6c 65 6e 67 74 68 20 6e 61 6d 65 73 (- (length names
0cd0: 29 20 31 29 29 29 0a 0a 20 20 20 20 20 20 20 20 ) 1)))..
0ce0: 28 6c 65 74 20 28 28 69 6e 64 65 78 65 73 20 28 (let ((indexes (
0cf0: 6d 61 70 20 70 6f 73 69 74 69 6f 6e 20 66 69 65 map position fie
0d00: 6c 64 73 70 65 63 73 29 29 29 0a 0a 20 20 20 20 ldspecs)))..
0d10: 20 20 20 20 20 20 3b 20 54 68 65 20 66 6f 6c 6c ; The foll
0d20: 6f 77 69 6e 67 20 63 61 6e 20 62 65 20 6d 61 64 owing can be mad
0d30: 65 20 71 75 69 74 65 20 65 66 66 69 63 69 65 6e e quite efficien
0d40: 74 20 62 79 0a 20 20 20 20 20 20 20 20 20 20 3b t by. ;
0d50: 20 68 61 6e 64 2d 63 6f 64 69 6e 67 20 69 74 20 hand-coding it
0d60: 69 6e 20 73 6f 6d 65 20 6c 6f 77 65 72 2d 6c 65 in some lower-le
0d70: 76 65 6c 20 6c 61 6e 67 75 61 67 65 2c 0a 20 20 vel language,.
0d80: 20 20 20 20 20 20 20 20 3b 20 65 2e 67 2e 20 4c ; e.g. L
0d90: 61 72 63 65 6e 79 27 73 20 6d 61 6c 2e 20 20 45 arceny's mal. E
0da0: 76 65 6e 20 63 61 73 65 2d 6c 61 6d 62 64 61 20 ven case-lambda
0db0: 77 6f 75 6c 64 0a 20 20 20 20 20 20 20 20 20 20 would.
0dc0: 3b 20 62 65 20 67 6f 6f 64 20 65 6e 6f 75 67 68 ; be good enough
0dd0: 20 69 6e 20 6d 6f 73 74 20 73 79 73 74 65 6d 73 in most systems
0de0: 2e 0a 0a 20 20 20 20 20 20 20 20 20 20 28 6c 61 ... (la
0df0: 6d 62 64 61 20 61 72 67 73 0a 20 20 20 20 20 20 mbda args.
0e00: 20 20 20 20 20 20 28 61 73 73 65 72 74 20 28 3d (assert (=
0e10: 20 28 6c 65 6e 67 74 68 20 61 72 67 73 29 20 6b (length args) k
0e20: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 28 )). (
0e30: 66 6f 72 2d 65 61 63 68 20 28 6c 61 6d 62 64 61 for-each (lambda
0e40: 20 28 61 72 67 20 70 6f 73 6e 29 0a 20 20 20 20 (arg posn).
0e50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0e60: 20 20 20 20 28 76 65 63 74 6f 72 2d 73 65 74 21 (vector-set!
0e70: 20 62 75 66 66 65 72 20 70 6f 73 6e 20 61 72 67 buffer posn arg
0e80: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 )).
0e90: 20 20 20 20 20 20 20 20 20 61 72 67 73 20 69 6e args in
0ea0: 64 65 78 65 73 29 0a 20 20 20 20 20 20 20 20 20 dexes).
0eb0: 20 20 20 28 61 70 70 6c 79 20 6d 61 6b 65 72 20 (apply maker
0ec0: 28 76 65 63 74 6f 72 2d 3e 6c 69 73 74 20 62 75 (vector->list bu
0ed0: 66 66 65 72 29 29 29 29 29 29 0a 0a 20 20 20 20 ffer))))))..
0ee0: 28 69 66 20 28 6e 75 6c 6c 3f 20 72 65 73 74 29 (if (null? rest)
0ef0: 0a 20 20 20 20 20 20 20 20 28 72 65 63 6f 72 64 . (record
0f00: 2d 63 6f 6e 73 74 72 75 63 74 6f 72 0a 20 20 20 -constructor.
0f10: 20 20 20 20 20 20 28 6d 61 6b 65 2d 72 65 63 6f (make-reco
0f20: 72 64 2d 63 6f 6e 73 74 72 75 63 74 6f 72 2d 64 rd-constructor-d
0f30: 65 73 63 72 69 70 74 6f 72 20 72 74 64 20 23 66 escriptor rtd #f
0f40: 20 23 66 29 29 0a 20 20 20 20 20 20 20 20 28 62 #f)). (b
0f50: 65 67 69 6e 20 28 61 73 73 65 72 74 20 28 6e 75 egin (assert (nu
0f60: 6c 6c 3f 20 28 63 64 72 20 72 65 73 74 29 29 29 ll? (cdr rest)))
0f70: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
0f80: 28 6d 61 6b 65 2d 63 6f 6e 73 74 72 75 63 74 6f (make-constructo
0f90: 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 r.
0fa0: 20 20 28 76 65 63 74 6f 72 2d 3e 6c 69 73 74 20 (vector->list
0fb0: 28 63 61 72 20 72 65 73 74 29 29 0a 20 20 20 20 (car rest)).
0fc0: 20 20 20 20 20 20 20 20 20 20 20 20 28 76 65 63 (vec
0fd0: 74 6f 72 2d 3e 6c 69 73 74 20 28 72 74 64 2d 61 tor->list (rtd-a
0fe0: 6c 6c 2d 66 69 65 6c 64 2d 6e 61 6d 65 73 20 72 ll-field-names r
0ff0: 74 64 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 td)).
1000: 20 20 20 20 20 28 72 65 63 6f 72 64 2d 63 6f 6e (record-con
1010: 73 74 72 75 63 74 6f 72 0a 20 20 20 20 20 20 20 structor.
1020: 20 20 20 20 20 20 20 20 20 20 28 6d 61 6b 65 2d (make-
1030: 72 65 63 6f 72 64 2d 63 6f 6e 73 74 72 75 63 74 record-construct
1040: 6f 72 2d 64 65 73 63 72 69 70 74 6f 72 20 72 74 or-descriptor rt
1050: 64 20 23 66 20 23 66 29 29 29 29 29 29 0a 0a 20 d #f #f))))))..
1060: 20 28 64 65 66 69 6e 65 20 72 74 64 2d 70 72 65 (define rtd-pre
1070: 64 69 63 61 74 65 20 72 65 63 6f 72 64 2d 70 72 dicate record-pr
1080: 65 64 69 63 61 74 65 29 0a 0a 20 20 28 64 65 66 edicate).. (def
1090: 69 6e 65 20 28 72 74 64 2d 61 63 63 65 73 73 6f ine (rtd-accesso
10a0: 72 20 72 74 64 30 20 66 69 65 6c 64 6e 61 6d 65 r rtd0 fieldname
10b0: 29 0a 20 20 20 20 28 64 65 66 69 6e 65 20 28 6c ). (define (l
10c0: 6f 6f 70 20 72 74 64 29 0a 20 20 20 20 20 20 28 oop rtd). (
10d0: 69 66 20 28 72 74 64 3f 20 72 74 64 29 0a 20 20 if (rtd? rtd).
10e0: 20 20 20 20 20 20 20 20 28 6c 65 74 2a 20 28 28 (let* ((
10f0: 6e 61 6d 65 73 20 28 76 65 63 74 6f 72 2d 3e 6c names (vector->l
1100: 69 73 74 20 28 72 74 64 2d 66 69 65 6c 64 2d 6e ist (rtd-field-n
1110: 61 6d 65 73 20 72 74 64 29 29 29 0a 20 20 20 20 ames rtd))).
1120: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 70 72 (pr
1130: 6f 62 65 20 28 6d 65 6d 71 20 66 69 65 6c 64 6e obe (memq fieldn
1140: 61 6d 65 20 6e 61 6d 65 73 29 29 29 0a 20 20 20 ame names))).
1150: 20 20 20 20 20 20 20 20 20 28 69 66 20 70 72 6f (if pro
1160: 62 65 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 be.
1170: 20 20 20 28 72 65 63 6f 72 64 2d 61 63 63 65 73 (record-acces
1180: 73 6f 72 20 72 74 64 20 28 2d 20 28 6c 65 6e 67 sor rtd (- (leng
1190: 74 68 20 6e 61 6d 65 73 29 20 28 6c 65 6e 67 74 th names) (lengt
11a0: 68 20 70 72 6f 62 65 29 29 29 0a 20 20 20 20 20 h probe))).
11b0: 20 20 20 20 20 20 20 20 20 20 20 28 6c 6f 6f 70 (loop
11c0: 20 28 72 74 64 2d 70 61 72 65 6e 74 20 72 74 64 (rtd-parent rtd
11d0: 29 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 28 )))). (
11e0: 61 73 73 65 72 74 69 6f 6e 2d 76 69 6f 6c 61 74 assertion-violat
11f0: 69 6f 6e 20 27 72 74 64 2d 61 63 63 65 73 73 6f ion 'rtd-accesso
1200: 72 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 r.
1210: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1220: 20 22 69 6c 6c 65 67 61 6c 20 61 72 67 75 6d 65 "illegal argume
1230: 6e 74 22 20 72 74 64 30 20 66 69 65 6c 64 6e 61 nt" rtd0 fieldna
1240: 6d 65 29 29 29 0a 20 20 20 20 28 6c 6f 6f 70 20 me))). (loop
1250: 72 74 64 30 29 29 0a 0a 20 20 28 64 65 66 69 6e rtd0)).. (defin
1260: 65 20 28 72 74 64 2d 6d 75 74 61 74 6f 72 20 72 e (rtd-mutator r
1270: 74 64 30 20 66 69 65 6c 64 6e 61 6d 65 29 0a 20 td0 fieldname).
1280: 20 20 20 28 64 65 66 69 6e 65 20 28 6c 6f 6f 70 (define (loop
1290: 20 72 74 64 29 0a 20 20 20 20 20 20 28 69 66 20 rtd). (if
12a0: 28 72 74 64 3f 20 72 74 64 29 0a 20 20 20 20 20 (rtd? rtd).
12b0: 20 20 20 20 20 28 6c 65 74 2a 20 28 28 6e 61 6d (let* ((nam
12c0: 65 73 20 28 76 65 63 74 6f 72 2d 3e 6c 69 73 74 es (vector->list
12d0: 20 28 72 74 64 2d 66 69 65 6c 64 2d 6e 61 6d 65 (rtd-field-name
12e0: 73 20 72 74 64 29 29 29 0a 20 20 20 20 20 20 20 s rtd))).
12f0: 20 20 20 20 20 20 20 20 20 20 28 70 72 6f 62 65 (probe
1300: 20 28 6d 65 6d 71 20 66 69 65 6c 64 6e 61 6d 65 (memq fieldname
1310: 20 6e 61 6d 65 73 29 29 29 0a 20 20 20 20 20 20 names))).
1320: 20 20 20 20 20 20 28 69 66 20 70 72 6f 62 65 0a (if probe.
1330: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1340: 28 72 65 63 6f 72 64 2d 6d 75 74 61 74 6f 72 20 (record-mutator
1350: 72 74 64 20 28 2d 20 28 6c 65 6e 67 74 68 20 6e rtd (- (length n
1360: 61 6d 65 73 29 20 28 6c 65 6e 67 74 68 20 70 72 ames) (length pr
1370: 6f 62 65 29 29 29 0a 20 20 20 20 20 20 20 20 20 obe))).
1380: 20 20 20 20 20 20 20 28 6c 6f 6f 70 20 28 72 74 (loop (rt
1390: 64 2d 70 61 72 65 6e 74 20 72 74 64 29 29 29 29 d-parent rtd))))
13a0: 0a 20 20 20 20 20 20 20 20 20 20 28 61 73 73 65 . (asse
13b0: 72 74 69 6f 6e 2d 76 69 6f 6c 61 74 69 6f 6e 20 rtion-violation
13c0: 27 72 74 64 2d 6d 75 74 61 74 6f 72 0a 20 20 20 'rtd-mutator.
13d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
13e0: 20 20 20 20 20 20 20 20 20 20 20 20 22 69 6c 6c "ill
13f0: 65 67 61 6c 20 61 72 67 75 6d 65 6e 74 22 20 72 egal argument" r
1400: 74 64 30 20 66 69 65 6c 64 6e 61 6d 65 29 29 29 td0 fieldname)))
1410: 0a 20 20 20 20 28 6c 6f 6f 70 20 72 74 64 30 29 . (loop rtd0)
1420: 29 0a 0a 29 0a )..).