Artifact
73e5b74ab3e53d03d6c693e445d5aebf017ac519:
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 23 21 72 36 SOFTWARE...#!r6
04a0: 72 73 0a 28 6c 69 62 72 61 72 79 20 28 73 72 66 rs.(library (srf
04b0: 69 20 73 39 39 20 72 65 63 6f 72 64 73 20 73 79 i s99 records sy
04c0: 6e 74 61 63 74 69 63 29 0a 0a 20 20 28 65 78 70 ntactic).. (exp
04d0: 6f 72 74 20 64 65 66 69 6e 65 2d 72 65 63 6f 72 ort define-recor
04e0: 64 2d 74 79 70 65 29 0a 0a 20 20 28 69 6d 70 6f d-type).. (impo
04f0: 72 74 20 28 66 6f 72 20 28 72 6e 72 73 20 62 61 rt (for (rnrs ba
0500: 73 65 29 20 72 75 6e 20 65 78 70 61 6e 64 29 0a se) run expand).
0510: 20 20 20 20 20 20 20 20 20 20 28 66 6f 72 20 28 (for (
0520: 72 6e 72 73 20 6c 69 73 74 73 29 20 72 75 6e 20 rnrs lists) run
0530: 65 78 70 61 6e 64 29 0a 20 20 20 20 20 20 20 20 expand).
0540: 20 20 28 66 6f 72 20 28 72 6e 72 73 20 73 79 6e (for (rnrs syn
0550: 74 61 78 2d 63 61 73 65 29 20 72 75 6e 20 65 78 tax-case) run ex
0560: 70 61 6e 64 29 0a 20 20 20 20 20 20 20 20 20 20 pand).
0570: 28 73 72 66 69 20 73 39 39 20 72 65 63 6f 72 64 (srfi s99 record
0580: 73 20 70 72 6f 63 65 64 75 72 61 6c 29 29 0a 0a s procedural))..
0590: 20 20 28 64 65 66 69 6e 65 2d 73 79 6e 74 61 78 (define-syntax
05a0: 20 64 65 66 69 6e 65 2d 72 65 63 6f 72 64 2d 74 define-record-t
05b0: 79 70 65 0a 20 20 20 20 28 73 79 6e 74 61 78 2d ype. (syntax-
05c0: 72 75 6c 65 73 20 28 29 0a 20 20 20 20 20 28 28 rules (). ((
05d0: 5f 20 28 74 79 70 65 2d 6e 61 6d 65 20 70 61 72 _ (type-name par
05e0: 65 6e 74 29 20 63 6f 6e 73 74 72 75 63 74 6f 72 ent) constructor
05f0: 2d 73 70 65 63 20 70 72 65 64 69 63 61 74 65 2d -spec predicate-
0600: 73 70 65 63 20 2e 20 66 69 65 6c 64 2d 73 70 65 spec . field-spe
0610: 63 73 29 0a 20 20 20 20 20 20 28 64 65 66 69 6e cs). (defin
0620: 65 2d 72 65 63 6f 72 64 2d 74 79 70 65 2d 68 65 e-record-type-he
0630: 6c 70 65 72 30 0a 20 20 20 20 20 20 20 74 79 70 lper0. typ
0640: 65 2d 6e 61 6d 65 20 70 61 72 65 6e 74 20 63 6f e-name parent co
0650: 6e 73 74 72 75 63 74 6f 72 2d 73 70 65 63 20 70 nstructor-spec p
0660: 72 65 64 69 63 61 74 65 2d 73 70 65 63 20 2e 20 redicate-spec .
0670: 66 69 65 6c 64 2d 73 70 65 63 73 29 29 0a 20 20 field-specs)).
0680: 20 20 20 28 28 5f 20 74 79 70 65 2d 6e 61 6d 65 ((_ type-name
0690: 20 63 6f 6e 73 74 72 75 63 74 6f 72 2d 73 70 65 constructor-spe
06a0: 63 20 70 72 65 64 69 63 61 74 65 2d 73 70 65 63 c predicate-spec
06b0: 20 2e 20 66 69 65 6c 64 2d 73 70 65 63 73 29 0a . field-specs).
06c0: 20 20 20 20 20 20 28 64 65 66 69 6e 65 2d 72 65 (define-re
06d0: 63 6f 72 64 2d 74 79 70 65 2d 68 65 6c 70 65 72 cord-type-helper
06e0: 30 0a 20 20 20 20 20 20 20 74 79 70 65 2d 6e 61 0. type-na
06f0: 6d 65 20 23 66 20 63 6f 6e 73 74 72 75 63 74 6f me #f constructo
0700: 72 2d 73 70 65 63 20 70 72 65 64 69 63 61 74 65 r-spec predicate
0710: 2d 73 70 65 63 20 2e 20 66 69 65 6c 64 2d 73 70 -spec . field-sp
0720: 65 63 73 29 29 29 29 0a 0a 20 20 28 64 65 66 69 ecs)))).. (defi
0730: 6e 65 2d 73 79 6e 74 61 78 20 64 65 66 69 6e 65 ne-syntax define
0740: 2d 72 65 63 6f 72 64 2d 74 79 70 65 2d 68 65 6c -record-type-hel
0750: 70 65 72 30 0a 20 20 20 20 28 6c 61 6d 62 64 61 per0. (lambda
0760: 20 28 78 29 0a 0a 20 20 20 20 20 20 3b 20 47 69 (x).. ; Gi
0770: 76 65 6e 20 73 79 6e 74 61 78 20 6f 62 6a 65 63 ven syntax objec
0780: 74 73 2c 20 70 61 73 73 65 73 20 74 68 65 6d 20 ts, passes them
0790: 74 6f 20 68 65 6c 70 65 72 20 6d 61 63 72 6f 2e to helper macro.
07a0: 0a 0a 20 20 20 20 20 20 28 64 65 66 69 6e 65 20 .. (define
07b0: 28 63 6f 6e 73 74 72 75 63 74 2d 72 65 63 6f 72 (construct-recor
07c0: 64 2d 74 79 70 65 2d 64 65 66 69 6e 69 74 69 6f d-type-definitio
07d0: 6e 73 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ns.
07e0: 20 20 74 6e 61 6d 65 20 66 69 65 6c 64 73 20 70 tname fields p
07f0: 61 72 65 6e 74 20 63 73 70 65 63 20 70 72 65 64 arent cspec pred
0800: 20 61 66 69 65 6c 64 73 20 6d 66 69 65 6c 64 73 afields mfields
0810: 29 0a 20 20 20 20 20 20 20 20 28 6c 65 74 20 28 ). (let (
0820: 29 0a 0a 20 20 20 20 20 20 20 20 20 20 28 64 65 ).. (de
0830: 66 69 6e 65 20 28 66 72 6f 62 20 78 29 0a 20 20 fine (frob x).
0840: 20 20 20 20 20 20 20 20 20 20 28 63 6f 6e 64 20 (cond
0850: 28 28 69 64 65 6e 74 69 66 69 65 72 3f 20 78 29 ((identifier? x)
0860: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
0870: 20 20 20 20 78 29 0a 20 20 20 20 20 20 20 20 20 x).
0880: 20 20 20 20 20 20 20 20 20 28 28 70 61 69 72 3f ((pair?
0890: 20 78 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 x).
08a0: 20 20 20 20 20 20 20 28 63 6f 6e 73 20 28 66 72 (cons (fr
08b0: 6f 62 20 28 63 61 72 20 78 29 29 20 28 66 72 6f ob (car x)) (fro
08c0: 62 20 28 63 64 72 20 78 29 29 29 29 0a 20 20 20 b (cdr x)))).
08d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
08e0: 28 76 65 63 74 6f 72 3f 20 78 29 0a 20 20 20 20 (vector? x).
08f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
0900: 76 65 63 74 6f 72 2d 6d 61 70 20 66 72 6f 62 20 vector-map frob
0910: 78 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 x)).
0920: 20 20 20 20 20 20 28 28 73 79 6d 62 6f 6c 3f 20 ((symbol?
0930: 78 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 x).
0940: 20 20 20 20 20 20 28 64 61 74 75 6d 2d 3e 73 79 (datum->sy
0950: 6e 74 61 78 20 74 6e 61 6d 65 20 78 29 29 0a 20 ntax tname x)).
0960: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0970: 20 28 65 6c 73 65 0a 20 20 20 20 20 20 20 20 20 (else.
0980: 20 20 20 20 20 20 20 20 20 20 78 29 29 29 0a 0a x)))..
0990: 20 20 20 20 20 20 20 20 20 20 23 60 28 23 2c 28 #`(#,(
09a0: 66 72 6f 62 20 23 27 64 65 66 69 6e 65 2d 72 65 frob #'define-re
09b0: 63 6f 72 64 2d 74 79 70 65 2d 68 65 6c 70 65 72 cord-type-helper
09c0: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 23 ). #
09d0: 2c 28 66 72 6f 62 20 74 6e 61 6d 65 29 0a 20 20 ,(frob tname).
09e0: 20 20 20 20 20 20 20 20 20 20 20 23 2c 28 66 72 #,(fr
09f0: 6f 62 20 66 69 65 6c 64 73 29 0a 20 20 20 20 20 ob fields).
0a00: 20 20 20 20 20 20 20 20 23 2c 28 66 72 6f 62 20 #,(frob
0a10: 70 61 72 65 6e 74 29 0a 20 20 20 20 20 20 20 20 parent).
0a20: 20 20 20 20 20 23 2c 28 66 72 6f 62 20 63 73 70 #,(frob csp
0a30: 65 63 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ec).
0a40: 20 23 2c 28 66 72 6f 62 20 70 72 65 64 29 0a 20 #,(frob pred).
0a50: 20 20 20 20 20 20 20 20 20 20 20 20 23 2c 28 66 #,(f
0a60: 72 6f 62 20 61 66 69 65 6c 64 73 29 0a 20 20 20 rob afields).
0a70: 20 20 20 20 20 20 20 20 20 20 23 2c 28 66 72 6f #,(fro
0a80: 62 20 6d 66 69 65 6c 64 73 29 29 29 29 0a 0a 20 b mfields))))..
0a90: 20 20 20 20 20 3b 20 47 69 76 65 6e 20 61 20 73 ; Given a s
0aa0: 79 6e 74 61 78 20 6f 62 6a 65 63 74 20 74 68 61 yntax object tha
0ab0: 74 20 72 65 70 72 65 73 65 6e 74 73 20 61 20 6e t represents a n
0ac0: 6f 6e 2d 65 6d 70 74 79 20 6c 69 73 74 2c 0a 20 on-empty list,.
0ad0: 20 20 20 20 20 3b 20 72 65 74 75 72 6e 73 20 74 ; returns t
0ae0: 68 65 20 73 79 6e 74 61 78 20 6f 62 6a 65 63 74 he syntax object
0af0: 20 66 6f 72 20 69 74 73 20 66 69 72 73 74 20 65 for its first e
0b00: 6c 65 6d 65 6e 74 2e 0a 0a 20 20 20 20 20 20 28 lement... (
0b10: 64 65 66 69 6e 65 20 28 73 79 6e 74 61 78 2d 63 define (syntax-c
0b20: 61 72 20 78 29 0a 20 20 20 20 20 20 20 20 28 73 ar x). (s
0b30: 79 6e 74 61 78 2d 63 61 73 65 20 78 20 28 29 0a yntax-case x ().
0b40: 20 20 20 20 20 20 20 20 20 28 28 78 30 20 78 31 ((x0 x1
0b50: 20 2e 2e 2e 29 0a 20 20 20 20 20 20 20 20 20 20 ...).
0b60: 23 27 78 30 29 29 29 0a 0a 20 20 20 20 20 20 3b #'x0))).. ;
0b70: 20 47 69 76 65 6e 20 61 20 73 79 6e 74 61 78 20 Given a syntax
0b80: 6f 62 6a 65 63 74 20 74 68 61 74 20 72 65 70 72 object that repr
0b90: 65 73 65 6e 74 73 20 61 20 6e 6f 6e 2d 65 6d 70 esents a non-emp
0ba0: 74 79 20 6c 69 73 74 2c 0a 20 20 20 20 20 20 3b ty list,. ;
0bb0: 20 72 65 74 75 72 6e 73 20 74 68 65 20 73 79 6e returns the syn
0bc0: 74 61 78 20 6f 62 6a 65 63 74 20 6f 62 74 61 69 tax object obtai
0bd0: 6e 65 64 20 62 79 20 6f 6d 69 74 74 69 6e 67 20 ned by omitting
0be0: 74 68 65 20 66 69 72 73 74 0a 20 20 20 20 20 20 the first.
0bf0: 3b 20 65 6c 65 6d 65 6e 74 20 6f 66 20 74 68 61 ; element of tha
0c00: 74 20 6c 69 73 74 2e 0a 0a 20 20 20 20 20 20 28 t list... (
0c10: 64 65 66 69 6e 65 20 28 73 79 6e 74 61 78 2d 63 define (syntax-c
0c20: 64 72 20 78 29 0a 20 20 20 20 20 20 20 20 28 73 dr x). (s
0c30: 79 6e 74 61 78 2d 63 61 73 65 20 78 20 28 29 0a yntax-case x ().
0c40: 20 20 20 20 20 20 20 20 20 28 28 78 30 20 78 31 ((x0 x1
0c50: 20 2e 2e 2e 29 0a 20 20 20 20 20 20 20 20 20 20 ...).
0c60: 23 27 28 78 31 20 2e 2e 2e 29 29 29 29 0a 0a 20 #'(x1 ...))))..
0c70: 20 20 20 20 20 3b 20 47 69 76 65 6e 20 61 20 73 ; Given a s
0c80: 79 6e 74 61 78 20 6f 62 6a 65 63 74 20 74 68 61 yntax object tha
0c90: 74 20 72 65 70 72 65 73 65 6e 74 73 20 61 20 6e t represents a n
0ca0: 6f 6e 2d 65 6d 70 74 79 20 6c 69 73 74 2c 0a 20 on-empty list,.
0cb0: 20 20 20 20 20 3b 20 72 65 74 75 72 6e 73 20 74 ; returns t
0cc0: 68 65 20 63 6f 72 72 65 73 70 6f 6e 64 69 6e 67 he corresponding
0cd0: 20 6c 69 73 74 20 6f 66 20 73 79 6e 74 61 78 20 list of syntax
0ce0: 6f 62 6a 65 63 74 73 2e 0a 0a 20 20 20 20 20 20 objects...
0cf0: 28 64 65 66 69 6e 65 20 28 73 79 6e 74 61 78 2d (define (syntax-
0d00: 3e 6c 69 73 74 20 78 29 0a 20 20 20 20 20 20 20 >list x).
0d10: 20 28 73 79 6e 74 61 78 2d 63 61 73 65 20 78 20 (syntax-case x
0d20: 28 29 0a 20 20 20 20 20 20 20 20 20 28 28 29 0a (). (().
0d30: 20 20 20 20 20 20 20 20 20 20 27 28 29 29 0a 20 '()).
0d40: 20 20 20 20 20 20 20 20 28 28 78 30 20 2e 20 78 ((x0 . x
0d50: 31 29 0a 20 20 20 20 20 20 20 20 20 20 28 63 6f 1). (co
0d60: 6e 73 20 23 27 78 30 20 28 73 79 6e 74 61 78 2d ns #'x0 (syntax-
0d70: 3e 6c 69 73 74 20 23 27 78 31 29 29 29 29 29 0a >list #'x1))))).
0d80: 0a 20 20 20 20 20 20 28 64 65 66 69 6e 65 20 28 . (define (
0d90: 63 6f 6d 70 6c 61 69 6e 29 0a 20 20 20 20 20 20 complain).
0da0: 20 20 28 73 79 6e 74 61 78 2d 76 69 6f 6c 61 74 (syntax-violat
0db0: 69 6f 6e 20 27 64 65 66 69 6e 65 2d 72 65 63 6f ion 'define-reco
0dc0: 72 64 2d 74 79 70 65 20 22 69 6c 6c 65 67 61 6c rd-type "illegal
0dd0: 20 73 79 6e 74 61 78 22 20 78 29 29 0a 0a 20 20 syntax" x))..
0de0: 20 20 20 20 3b 20 74 6e 61 6d 65 20 61 6e 64 20 ; tname and
0df0: 70 6e 61 6d 65 20 61 72 65 20 61 6c 77 61 79 73 pname are always
0e00: 20 69 64 65 6e 74 69 66 69 65 72 73 20 68 65 72 identifiers her
0e10: 65 2e 0a 0a 20 20 20 20 20 20 28 73 79 6e 74 61 e... (synta
0e20: 78 2d 63 61 73 65 20 78 20 28 29 0a 20 20 20 20 x-case x ().
0e30: 20 20 20 28 28 5f 20 74 6e 61 6d 65 20 70 6e 61 ((_ tname pna
0e40: 6d 65 20 63 6f 6e 73 74 72 75 63 74 6f 72 2d 73 me constructor-s
0e50: 70 65 63 20 70 72 65 64 69 63 61 74 65 2d 73 70 pec predicate-sp
0e60: 65 63 20 2e 20 66 69 65 6c 64 2d 73 70 65 63 73 ec . field-specs
0e70: 29 0a 20 20 20 20 20 20 20 20 28 6c 65 74 2a 20 ). (let*
0e80: 28 28 74 79 70 65 2d 6e 61 6d 65 20 28 73 79 6e ((type-name (syn
0e90: 74 61 78 2d 3e 64 61 74 75 6d 20 23 27 74 6e 61 tax->datum #'tna
0ea0: 6d 65 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 me)).
0eb0: 20 20 20 20 28 63 73 70 65 63 20 28 73 79 6e 74 (cspec (synt
0ec0: 61 78 2d 3e 64 61 74 75 6d 20 23 27 63 6f 6e 73 ax->datum #'cons
0ed0: 74 72 75 63 74 6f 72 2d 73 70 65 63 29 29 0a 20 tructor-spec)).
0ee0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 70 (p
0ef0: 73 70 65 63 20 28 73 79 6e 74 61 78 2d 3e 64 61 spec (syntax->da
0f00: 74 75 6d 20 23 27 70 72 65 64 69 63 61 74 65 2d tum #'predicate-
0f10: 73 70 65 63 29 29 0a 20 20 20 20 20 20 20 20 20 spec)).
0f20: 20 20 20 20 20 20 28 66 73 70 65 63 73 20 28 73 (fspecs (s
0f30: 79 6e 74 61 78 2d 3e 64 61 74 75 6d 20 23 27 66 yntax->datum #'f
0f40: 69 65 6c 64 2d 73 70 65 63 73 29 29 0a 20 20 20 ield-specs)).
0f50: 20 20 20 20 20 20 20 20 20 20 20 20 28 74 79 70 (typ
0f60: 65 2d 6e 61 6d 65 2d 73 74 72 69 6e 67 0a 20 20 e-name-string.
0f70: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 62 (b
0f80: 65 67 69 6e 20 28 69 66 20 28 6e 6f 74 20 28 73 egin (if (not (s
0f90: 79 6d 62 6f 6c 3f 20 74 79 70 65 2d 6e 61 6d 65 ymbol? type-name
0fa0: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 )).
0fb0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 63 (c
0fc0: 6f 6d 70 6c 61 69 6e 29 29 0a 20 20 20 20 20 20 omplain)).
0fd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0fe0: 20 28 73 79 6d 62 6f 6c 2d 3e 73 74 72 69 6e 67 (symbol->string
0ff0: 20 74 79 70 65 2d 6e 61 6d 65 29 29 29 0a 20 20 type-name))).
1000: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 63 6f (co
1010: 6e 73 74 72 75 63 74 6f 72 2d 6e 61 6d 65 0a 20 nstructor-name.
1020: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1030: 63 6f 6e 64 20 28 28 65 71 3f 20 63 73 70 65 63 cond ((eq? cspec
1040: 20 23 66 29 0a 20 20 20 20 20 20 20 20 20 20 20 #f).
1050: 20 20 20 20 20 20 20 20 20 20 20 20 23 27 63 6f #'co
1060: 6e 73 74 72 75 63 74 6f 72 2d 73 70 65 63 29 0a nstructor-spec).
1070: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1080: 20 20 20 20 20 20 28 28 65 71 3f 20 63 73 70 65 ((eq? cspe
1090: 63 20 23 74 29 0a 20 20 20 20 20 20 20 20 20 20 c #t).
10a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 64 61 (da
10b0: 74 75 6d 2d 3e 73 79 6e 74 61 78 0a 20 20 20 20 tum->syntax.
10c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
10d0: 20 20 20 20 23 27 74 6e 61 6d 65 0a 20 20 20 20 #'tname.
10e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
10f0: 20 20 20 20 28 73 74 72 69 6e 67 2d 3e 73 79 6d (string->sym
1100: 62 6f 6c 0a 20 20 20 20 20 20 20 20 20 20 20 20 bol.
1110: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 73 74 (st
1120: 72 69 6e 67 2d 61 70 70 65 6e 64 20 22 6d 61 6b ring-append "mak
1130: 65 2d 22 20 74 79 70 65 2d 6e 61 6d 65 2d 73 74 e-" type-name-st
1140: 72 69 6e 67 29 29 29 29 0a 20 20 20 20 20 20 20 ring)))).
1150: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1160: 28 73 79 6d 62 6f 6c 3f 20 63 73 70 65 63 29 0a (symbol? cspec).
1170: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1180: 20 20 20 20 20 20 20 23 27 63 6f 6e 73 74 72 75 #'constru
1190: 63 74 6f 72 2d 73 70 65 63 29 0a 20 20 20 20 20 ctor-spec).
11a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
11b0: 20 28 28 61 6e 64 20 28 70 61 69 72 3f 20 63 73 ((and (pair? cs
11c0: 70 65 63 29 20 28 73 79 6d 62 6f 6c 3f 20 28 63 pec) (symbol? (c
11d0: 61 72 20 63 73 70 65 63 29 29 29 0a 20 20 20 20 ar cspec))).
11e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
11f0: 20 20 20 28 73 79 6e 74 61 78 2d 63 61 72 20 23 (syntax-car #
1200: 27 63 6f 6e 73 74 72 75 63 74 6f 72 2d 73 70 65 'constructor-spe
1210: 63 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 c)).
1220: 20 20 20 20 20 20 20 20 20 20 28 65 6c 73 65 20 (else
1230: 28 63 6f 6d 70 6c 61 69 6e 29 29 29 29 0a 20 20 (complain)))).
1240: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 63 6f (co
1250: 6e 73 74 72 75 63 74 6f 72 2d 61 72 67 73 0a 20 nstructor-args.
1260: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1270: 63 6f 6e 64 20 28 28 70 61 69 72 3f 20 63 73 70 cond ((pair? csp
1280: 65 63 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ec).
1290: 20 20 20 20 20 20 20 20 20 20 20 28 69 66 20 28 (if (
12a0: 6e 6f 74 20 28 66 6f 72 2d 61 6c 6c 20 73 79 6d not (for-all sym
12b0: 62 6f 6c 3f 20 63 73 70 65 63 29 29 0a 20 20 20 bol? cspec)).
12c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
12d0: 20 20 20 20 20 20 20 20 28 63 6f 6d 70 6c 61 69 (complai
12e0: 6e 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 n).
12f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c (l
1300: 69 73 74 2d 3e 76 65 63 74 6f 72 0a 20 20 20 20 ist->vector.
1310: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1320: 20 20 20 20 20 20 20 20 28 73 79 6e 74 61 78 2d (syntax-
1330: 3e 6c 69 73 74 20 28 73 79 6e 74 61 78 2d 63 64 >list (syntax-cd
1340: 72 20 23 27 63 6f 6e 73 74 72 75 63 74 6f 72 2d r #'constructor-
1350: 73 70 65 63 29 29 29 29 29 0a 20 20 20 20 20 20 spec))))).
1360: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1370: 28 65 6c 73 65 20 23 66 29 29 29 0a 20 20 20 20 (else #f))).
1380: 20 20 20 20 20 20 20 20 20 20 20 28 6e 65 77 2d (new-
1390: 63 6f 6e 73 74 72 75 63 74 6f 72 2d 73 70 65 63 constructor-spec
13a0: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
13b0: 20 28 69 66 20 63 6f 6e 73 74 72 75 63 74 6f 72 (if constructor
13c0: 2d 61 72 67 73 0a 20 20 20 20 20 20 20 20 20 20 -args.
13d0: 20 20 20 20 20 20 20 20 20 20 28 6c 69 73 74 20 (list
13e0: 63 6f 6e 73 74 72 75 63 74 6f 72 2d 6e 61 6d 65 constructor-name
13f0: 20 63 6f 6e 73 74 72 75 63 74 6f 72 2d 61 72 67 constructor-arg
1400: 73 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 s).
1410: 20 20 20 20 20 20 20 63 6f 6e 73 74 72 75 63 74 construct
1420: 6f 72 2d 6e 61 6d 65 29 29 0a 20 20 20 20 20 20 or-name)).
1430: 20 20 20 20 20 20 20 20 20 28 70 72 65 64 69 63 (predic
1440: 61 74 65 2d 6e 61 6d 65 0a 20 20 20 20 20 20 20 ate-name.
1450: 20 20 20 20 20 20 20 20 20 28 63 6f 6e 64 20 28 (cond (
1460: 28 65 71 3f 20 70 73 70 65 63 20 23 66 29 0a 20 (eq? pspec #f).
1470: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1480: 20 20 20 20 20 20 23 27 70 72 65 64 69 63 61 74 #'predicat
1490: 65 2d 73 70 65 63 29 0a 20 20 20 20 20 20 20 20 e-spec).
14a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 28 ((
14b0: 65 71 3f 20 70 73 70 65 63 20 23 74 29 0a 20 20 eq? pspec #t).
14c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
14d0: 20 20 20 20 20 28 64 61 74 75 6d 2d 3e 73 79 6e (datum->syn
14e0: 74 61 78 0a 20 20 20 20 20 20 20 20 20 20 20 20 tax.
14f0: 20 20 20 20 20 20 20 20 20 20 20 20 23 27 74 6e #'tn
1500: 61 6d 65 0a 20 20 20 20 20 20 20 20 20 20 20 20 ame.
1510: 20 20 20 20 20 20 20 20 20 20 20 20 28 73 74 72 (str
1520: 69 6e 67 2d 3e 73 79 6d 62 6f 6c 0a 20 20 20 20 ing->symbol.
1530: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1540: 20 20 20 20 20 28 73 74 72 69 6e 67 2d 61 70 70 (string-app
1550: 65 6e 64 20 74 79 70 65 2d 6e 61 6d 65 2d 73 74 end type-name-st
1560: 72 69 6e 67 20 22 3f 22 29 29 29 29 0a 20 20 20 ring "?")))).
1570: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1580: 20 20 20 28 28 73 79 6d 62 6f 6c 3f 20 70 73 70 ((symbol? psp
1590: 65 63 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ec).
15a0: 20 20 20 20 20 20 20 20 20 20 20 23 27 70 72 65 #'pre
15b0: 64 69 63 61 74 65 2d 73 70 65 63 29 0a 20 20 20 dicate-spec).
15c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
15d0: 20 20 20 28 65 6c 73 65 20 28 63 6f 6d 70 6c 61 (else (compla
15e0: 69 6e 29 29 29 29 0a 20 20 20 20 20 20 20 20 20 in)))).
15f0: 20 20 20 20 20 20 28 66 69 65 6c 64 2d 73 70 65 (field-spe
1600: 63 73 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 cs.
1610: 20 20 20 28 6d 61 70 20 28 6c 61 6d 62 64 61 20 (map (lambda
1620: 28 66 73 70 65 63 20 66 69 65 6c 64 2d 73 70 65 (fspec field-spe
1630: 63 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 c).
1640: 20 20 20 20 20 20 20 20 20 20 28 63 6f 6e 64 20 (cond
1650: 28 28 73 79 6d 62 6f 6c 3f 20 66 73 70 65 63 29 ((symbol? fspec)
1660: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1670: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1680: 6c 69 73 74 20 27 69 6d 6d 75 74 61 62 6c 65 0a list 'immutable.
1690: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
16a0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
16b0: 20 20 20 20 66 73 70 65 63 0a 20 20 20 20 20 20 fspec.
16c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
16d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 73 (s
16e0: 74 72 69 6e 67 2d 3e 73 79 6d 62 6f 6c 0a 20 20 tring->symbol.
16f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1700: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1710: 20 20 20 28 73 74 72 69 6e 67 2d 61 70 70 65 6e (string-appen
1720: 64 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 d.
1730: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1740: 20 20 20 20 20 20 20 20 74 79 70 65 2d 6e 61 6d type-nam
1750: 65 2d 73 74 72 69 6e 67 0a 20 20 20 20 20 20 20 e-string.
1760: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1770: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 22 "
1780: 2d 22 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 -".
1790: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
17a0: 20 20 20 20 20 20 20 20 20 28 73 79 6d 62 6f 6c (symbol
17b0: 2d 3e 73 74 72 69 6e 67 20 66 73 70 65 63 29 29 ->string fspec))
17c0: 29 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 ))).
17d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
17e0: 20 28 28 6e 6f 74 20 28 70 61 69 72 3f 20 66 73 ((not (pair? fs
17f0: 70 65 63 29 29 0a 20 20 20 20 20 20 20 20 20 20 pec)).
1800: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1810: 20 20 20 20 28 63 6f 6d 70 6c 61 69 6e 29 29 0a (complain)).
1820: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1830: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 28 6e ((n
1840: 6f 74 20 28 6c 69 73 74 3f 20 66 73 70 65 63 29 ot (list? fspec)
1850: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
1860: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1870: 28 63 6f 6d 70 6c 61 69 6e 29 29 0a 20 20 20 20 (complain)).
1880: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1890: 20 20 20 20 20 20 20 20 20 28 28 6e 6f 74 20 28 ((not (
18a0: 66 6f 72 2d 61 6c 6c 20 73 79 6d 62 6f 6c 3f 20 for-all symbol?
18b0: 66 73 70 65 63 29 29 0a 20 20 20 20 20 20 20 20 fspec)).
18c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
18d0: 20 20 20 20 20 20 28 63 6f 6d 70 6c 61 69 6e 29 (complain)
18e0: 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 ).
18f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1900: 28 6e 75 6c 6c 3f 20 28 63 64 72 20 66 73 70 65 (null? (cdr fspe
1910: 63 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 c)).
1920: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1930: 20 20 28 6c 69 73 74 20 27 6d 75 74 61 62 6c 65 (list 'mutable
1940: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1950: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1960: 20 20 20 20 20 28 63 61 72 20 66 73 70 65 63 29 (car fspec)
1970: 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .
1980: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1990: 20 20 20 20 20 28 73 74 72 69 6e 67 2d 3e 73 79 (string->sy
19a0: 6d 62 6f 6c 0a 20 20 20 20 20 20 20 20 20 20 20 mbol.
19b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
19c0: 20 20 20 20 20 20 20 20 20 20 28 73 74 72 69 6e (strin
19d0: 67 2d 61 70 70 65 6e 64 0a 20 20 20 20 20 20 20 g-append.
19e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
19f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74 t
1a00: 79 70 65 2d 6e 61 6d 65 2d 73 74 72 69 6e 67 0a ype-name-string.
1a10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1a20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1a30: 20 20 20 20 20 20 22 2d 22 0a 20 20 20 20 20 20 "-".
1a40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1a50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1a60: 28 73 79 6d 62 6f 6c 2d 3e 73 74 72 69 6e 67 20 (symbol->string
1a70: 28 63 61 72 20 66 73 70 65 63 29 29 29 29 0a 20 (car fspec)))).
1a80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1a90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1aa0: 20 20 20 28 73 74 72 69 6e 67 2d 3e 73 79 6d 62 (string->symb
1ab0: 6f 6c 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 ol.
1ac0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1ad0: 20 20 20 20 20 20 20 20 28 73 74 72 69 6e 67 2d (string-
1ae0: 61 70 70 65 6e 64 0a 20 20 20 20 20 20 20 20 20 append.
1af0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1b00: 20 20 20 20 20 20 20 20 20 20 20 20 20 74 79 70 typ
1b10: 65 2d 6e 61 6d 65 2d 73 74 72 69 6e 67 0a 20 20 e-name-string.
1b20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1b40: 20 20 20 20 22 2d 22 0a 20 20 20 20 20 20 20 20 "-".
1b50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1b60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 73 (s
1b70: 79 6d 62 6f 6c 2d 3e 73 74 72 69 6e 67 20 28 63 ymbol->string (c
1b80: 61 72 20 66 73 70 65 63 29 29 0a 20 20 20 20 20 ar fspec)).
1b90: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1ba0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1bb0: 20 22 2d 73 65 74 21 22 29 29 29 29 0a 20 20 20 "-set!")))).
1bc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1bd0: 20 20 20 20 20 20 20 20 20 20 28 28 6e 75 6c 6c ((null
1be0: 3f 20 28 63 64 64 72 20 66 73 70 65 63 29 29 0a ? (cddr fspec)).
1bf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1c00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6c (l
1c10: 69 73 74 20 27 69 6d 6d 75 74 61 62 6c 65 0a 20 ist 'immutable.
1c20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1c30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1c40: 20 20 20 28 63 61 72 20 66 73 70 65 63 29 0a 20 (car fspec).
1c50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1c60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1c70: 20 20 20 28 73 79 6e 74 61 78 2d 63 61 72 20 28 (syntax-car (
1c80: 73 79 6e 74 61 78 2d 63 64 72 20 66 69 65 6c 64 syntax-cdr field
1c90: 2d 73 70 65 63 29 29 29 29 0a 20 20 20 20 20 20 -spec)))).
1ca0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1cb0: 20 20 20 20 20 20 20 28 28 6e 75 6c 6c 3f 20 28 ((null? (
1cc0: 63 64 64 64 72 20 66 73 70 65 63 29 29 0a 20 20 cdddr fspec)).
1cd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1ce0: 20 20 20 20 20 20 20 20 20 20 20 20 28 6c 69 73 (lis
1cf0: 74 20 27 6d 75 74 61 62 6c 65 0a 20 20 20 20 20 t 'mutable.
1d00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1d10: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1d20: 63 61 72 20 66 73 70 65 63 29 0a 20 20 20 20 20 car fspec).
1d30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1d40: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1d50: 73 79 6e 74 61 78 2d 63 61 72 20 28 73 79 6e 74 syntax-car (synt
1d60: 61 78 2d 63 64 72 20 66 69 65 6c 64 2d 73 70 65 ax-cdr field-spe
1d70: 63 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 c)).
1d80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1d90: 20 20 20 20 20 20 20 20 28 73 79 6e 74 61 78 2d (syntax-
1da0: 63 61 72 20 28 73 79 6e 74 61 78 2d 63 64 72 0a car (syntax-cdr.
1db0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1dc0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1dd0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1de0: 20 28 73 79 6e 74 61 78 2d 63 64 72 20 66 69 65 (syntax-cdr fie
1df0: 6c 64 2d 73 70 65 63 29 29 29 29 29 0a 20 20 20 ld-spec))))).
1e00: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1e10: 20 20 20 20 20 20 20 20 20 20 28 65 6c 73 65 20 (else
1e20: 28 63 6f 6d 70 6c 61 69 6e 29 29 29 29 0a 20 20 (complain)))).
1e30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1e40: 20 20 20 66 73 70 65 63 73 0a 20 20 20 20 20 20 fspecs.
1e50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1e60: 73 79 6e 74 61 78 2d 3e 6c 69 73 74 20 23 27 66 syntax->list #'f
1e70: 69 65 6c 64 2d 73 70 65 63 73 29 29 29 0a 0a 20 ield-specs)))..
1e80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 66 (f
1e90: 69 65 6c 64 73 20 28 6c 69 73 74 2d 3e 76 65 63 ields (list->vec
1ea0: 74 6f 72 20 28 6d 61 70 20 63 61 64 72 20 66 69 tor (map cadr fi
1eb0: 65 6c 64 2d 73 70 65 63 73 29 29 29 0a 0a 20 20 eld-specs)))..
1ec0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 61 63 (ac
1ed0: 63 65 73 73 6f 72 2d 66 69 65 6c 64 73 0a 20 20 cessor-fields.
1ee0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 6d (m
1ef0: 61 70 20 28 6c 61 6d 62 64 61 20 28 78 29 20 28 ap (lambda (x) (
1f00: 6c 69 73 74 20 28 63 61 64 64 72 20 78 29 20 28 list (caddr x) (
1f10: 63 61 64 72 20 78 29 29 29 0a 20 20 20 20 20 20 cadr x))).
1f20: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 28 (
1f30: 66 69 6c 74 65 72 20 28 6c 61 6d 62 64 61 20 28 filter (lambda (
1f40: 78 29 20 28 3e 3d 20 28 6c 65 6e 67 74 68 20 78 x) (>= (length x
1f50: 29 20 33 29 29 0a 20 20 20 20 20 20 20 20 20 20 ) 3)).
1f60: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1f70: 20 20 20 66 69 65 6c 64 2d 73 70 65 63 73 29 29 field-specs))
1f80: 29 0a 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 )..
1f90: 20 20 28 6d 75 74 61 74 6f 72 2d 66 69 65 6c 64 (mutator-field
1fa0: 73 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20 s.
1fb0: 20 20 28 6d 61 70 20 28 6c 61 6d 62 64 61 20 28 (map (lambda (
1fc0: 78 29 20 28 6c 69 73 74 20 28 63 61 64 64 64 72 x) (list (cadddr
1fd0: 20 78 29 20 28 63 61 64 72 20 78 29 29 29 0a 20 x) (cadr x))).
1fe0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1ff0: 20 20 20 20 28 66 69 6c 74 65 72 20 28 6c 61 6d (filter (lam
2000: 62 64 61 20 28 78 29 20 28 3d 20 28 6c 65 6e 67 bda (x) (= (leng
2010: 74 68 20 78 29 20 34 29 29 0a 20 20 20 20 20 20 th x) 4)).
2020: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
2030: 20 20 20 20 20 20 20 66 69 65 6c 64 2d 73 70 65 field-spe
2040: 63 73 29 29 29 29 0a 0a 20 20 20 20 20 20 20 20 cs))))..
2050: 20 20 28 63 6f 6e 73 74 72 75 63 74 2d 72 65 63 (construct-rec
2060: 6f 72 64 2d 74 79 70 65 2d 64 65 66 69 6e 69 74 ord-type-definit
2070: 69 6f 6e 73 0a 20 20 20 20 20 20 20 20 20 20 20 ions.
2080: 23 27 74 6e 61 6d 65 0a 20 20 20 20 20 20 20 20 #'tname.
2090: 20 20 20 66 69 65 6c 64 73 0a 20 20 20 20 20 20 fields.
20a0: 20 20 20 20 20 23 27 70 6e 61 6d 65 0a 20 20 20 #'pname.
20b0: 20 20 20 20 20 20 20 20 6e 65 77 2d 63 6f 6e 73 new-cons
20c0: 74 72 75 63 74 6f 72 2d 73 70 65 63 0a 20 20 20 tructor-spec.
20d0: 20 20 20 20 20 20 20 20 70 72 65 64 69 63 61 74 predicat
20e0: 65 2d 6e 61 6d 65 0a 20 20 20 20 20 20 20 20 20 e-name.
20f0: 20 20 61 63 63 65 73 73 6f 72 2d 66 69 65 6c 64 accessor-field
2100: 73 0a 20 20 20 20 20 20 20 20 20 20 20 6d 75 74 s. mut
2110: 61 74 6f 72 2d 66 69 65 6c 64 73 29 29 29 29 29 ator-fields)))))
2120: 29 0a 0a 20 20 28 64 65 66 69 6e 65 2d 73 79 6e ).. (define-syn
2130: 74 61 78 20 64 65 66 69 6e 65 2d 72 65 63 6f 72 tax define-recor
2140: 64 2d 74 79 70 65 2d 68 65 6c 70 65 72 0a 20 20 d-type-helper.
2150: 20 20 28 73 79 6e 74 61 78 2d 72 75 6c 65 73 20 (syntax-rules
2160: 28 29 0a 0a 20 20 20 20 20 28 28 5f 20 74 79 70 ().. ((_ typ
2170: 65 2d 6e 61 6d 65 20 66 69 65 6c 64 73 20 70 61 e-name fields pa
2180: 72 65 6e 74 20 23 66 20 70 72 65 64 69 63 61 74 rent #f predicat
2190: 65 0a 20 20 20 20 20 20 20 20 20 28 28 61 63 63 e. ((acc
21a0: 65 73 73 6f 72 20 66 69 65 6c 64 29 20 2e 2e 2e essor field) ...
21b0: 29 20 28 28 6d 75 74 61 74 6f 72 20 6d 75 74 61 ) ((mutator muta
21c0: 62 6c 65 2d 66 69 65 6c 64 29 20 2e 2e 2e 29 29 ble-field) ...))
21d0: 0a 20 20 20 20 20 20 28 64 65 66 69 6e 65 2d 72 . (define-r
21e0: 65 63 6f 72 64 2d 74 79 70 65 2d 68 65 6c 70 65 ecord-type-helpe
21f0: 72 0a 20 20 20 20 20 20 20 74 79 70 65 2d 6e 61 r. type-na
2200: 6d 65 20 66 69 65 6c 64 73 20 70 61 72 65 6e 74 me fields parent
2210: 20 69 67 6e 6f 72 65 64 20 70 72 65 64 69 63 61 ignored predica
2220: 74 65 0a 20 20 20 20 20 20 20 28 28 61 63 63 65 te. ((acce
2230: 73 73 6f 72 20 66 69 65 6c 64 29 20 2e 2e 2e 29 ssor field) ...)
2240: 20 28 28 6d 75 74 61 74 6f 72 20 6d 75 74 61 62 ((mutator mutab
2250: 6c 65 2d 66 69 65 6c 64 29 20 2e 2e 2e 29 29 29 le-field) ...)))
2260: 0a 0a 20 20 20 20 20 28 28 5f 20 74 79 70 65 2d .. ((_ type-
2270: 6e 61 6d 65 20 66 69 65 6c 64 73 20 70 61 72 65 name fields pare
2280: 6e 74 20 63 6f 6e 73 74 72 75 63 74 6f 72 20 23 nt constructor #
2290: 66 0a 20 20 20 20 20 20 20 20 20 28 28 61 63 63 f. ((acc
22a0: 65 73 73 6f 72 20 66 69 65 6c 64 29 20 2e 2e 2e essor field) ...
22b0: 29 20 28 28 6d 75 74 61 74 6f 72 20 6d 75 74 61 ) ((mutator muta
22c0: 62 6c 65 2d 66 69 65 6c 64 29 20 2e 2e 2e 29 29 ble-field) ...))
22d0: 0a 20 20 20 20 20 20 28 64 65 66 69 6e 65 2d 72 . (define-r
22e0: 65 63 6f 72 64 2d 74 79 70 65 2d 68 65 6c 70 65 ecord-type-helpe
22f0: 72 0a 20 20 20 20 20 20 20 74 79 70 65 2d 6e 61 r. type-na
2300: 6d 65 20 66 69 65 6c 64 73 20 70 61 72 65 6e 74 me fields parent
2310: 20 63 6f 6e 73 74 72 75 63 74 6f 72 20 69 67 6e constructor ign
2320: 6f 72 65 64 0a 20 20 20 20 20 20 20 28 28 61 63 ored. ((ac
2330: 63 65 73 73 6f 72 20 66 69 65 6c 64 29 20 2e 2e cessor field) ..
2340: 2e 29 20 28 28 6d 75 74 61 74 6f 72 20 6d 75 74 .) ((mutator mut
2350: 61 62 6c 65 2d 66 69 65 6c 64 29 20 2e 2e 2e 29 able-field) ...)
2360: 29 29 0a 0a 20 20 20 20 20 28 28 5f 20 74 79 70 )).. ((_ typ
2370: 65 2d 6e 61 6d 65 20 66 69 65 6c 64 73 20 70 61 e-name fields pa
2380: 72 65 6e 74 20 28 63 6f 6e 73 74 72 75 63 74 6f rent (constructo
2390: 72 20 61 72 67 73 29 20 70 72 65 64 69 63 61 74 r args) predicat
23a0: 65 0a 20 20 20 20 20 20 20 20 20 28 28 61 63 63 e. ((acc
23b0: 65 73 73 6f 72 20 66 69 65 6c 64 29 20 2e 2e 2e essor field) ...
23c0: 29 20 28 28 6d 75 74 61 74 6f 72 20 6d 75 74 61 ) ((mutator muta
23d0: 62 6c 65 2d 66 69 65 6c 64 29 20 2e 2e 2e 29 29 ble-field) ...))
23e0: 0a 20 20 20 20 20 20 28 62 65 67 69 6e 20 28 64 . (begin (d
23f0: 65 66 69 6e 65 20 74 79 70 65 2d 6e 61 6d 65 20 efine type-name
2400: 28 6d 61 6b 65 2d 72 74 64 20 27 74 79 70 65 2d (make-rtd 'type-
2410: 6e 61 6d 65 20 27 66 69 65 6c 64 73 20 70 61 72 name 'fields par
2420: 65 6e 74 29 29 0a 20 20 20 20 20 20 20 20 20 20 ent)).
2430: 20 20 20 28 64 65 66 69 6e 65 20 63 6f 6e 73 74 (define const
2440: 72 75 63 74 6f 72 20 28 72 74 64 2d 63 6f 6e 73 ructor (rtd-cons
2450: 74 72 75 63 74 6f 72 20 74 79 70 65 2d 6e 61 6d tructor type-nam
2460: 65 20 27 61 72 67 73 29 29 0a 20 20 20 20 20 20 e 'args)).
2470: 20 20 20 20 20 20 20 28 64 65 66 69 6e 65 20 70 (define p
2480: 72 65 64 69 63 61 74 65 20 28 72 74 64 2d 70 72 redicate (rtd-pr
2490: 65 64 69 63 61 74 65 20 74 79 70 65 2d 6e 61 6d edicate type-nam
24a0: 65 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 e)).
24b0: 20 28 64 65 66 69 6e 65 20 61 63 63 65 73 73 6f (define accesso
24c0: 72 20 28 72 74 64 2d 61 63 63 65 73 73 6f 72 20 r (rtd-accessor
24d0: 74 79 70 65 2d 6e 61 6d 65 20 27 66 69 65 6c 64 type-name 'field
24e0: 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 )).
24f0: 2e 2e 2e 0a 20 20 20 20 20 20 20 20 20 20 20 20 ....
2500: 20 28 64 65 66 69 6e 65 20 6d 75 74 61 74 6f 72 (define mutator
2510: 20 28 72 74 64 2d 6d 75 74 61 74 6f 72 20 74 79 (rtd-mutator ty
2520: 70 65 2d 6e 61 6d 65 20 27 6d 75 74 61 62 6c 65 pe-name 'mutable
2530: 2d 66 69 65 6c 64 29 29 0a 20 20 20 20 20 20 20 -field)).
2540: 20 20 20 20 20 20 2e 2e 2e 29 29 0a 0a 20 20 20 ...))..
2550: 20 20 28 28 5f 20 74 79 70 65 2d 6e 61 6d 65 20 ((_ type-name
2560: 66 69 65 6c 64 73 20 70 61 72 65 6e 74 20 63 6f fields parent co
2570: 6e 73 74 72 75 63 74 6f 72 20 70 72 65 64 69 63 nstructor predic
2580: 61 74 65 0a 20 20 20 20 20 20 20 20 20 28 28 61 ate. ((a
2590: 63 63 65 73 73 6f 72 20 66 69 65 6c 64 29 20 2e ccessor field) .
25a0: 2e 2e 29 20 28 28 6d 75 74 61 74 6f 72 20 6d 75 ..) ((mutator mu
25b0: 74 61 62 6c 65 2d 66 69 65 6c 64 29 20 2e 2e 2e table-field) ...
25c0: 29 29 0a 20 20 20 20 20 20 28 62 65 67 69 6e 20 )). (begin
25d0: 28 64 65 66 69 6e 65 20 74 79 70 65 2d 6e 61 6d (define type-nam
25e0: 65 20 28 6d 61 6b 65 2d 72 74 64 20 27 74 79 70 e (make-rtd 'typ
25f0: 65 2d 6e 61 6d 65 20 27 66 69 65 6c 64 73 20 70 e-name 'fields p
2600: 61 72 65 6e 74 29 29 0a 20 20 20 20 20 20 20 20 arent)).
2610: 20 20 20 20 20 28 64 65 66 69 6e 65 20 63 6f 6e (define con
2620: 73 74 72 75 63 74 6f 72 20 28 72 74 64 2d 63 6f structor (rtd-co
2630: 6e 73 74 72 75 63 74 6f 72 20 74 79 70 65 2d 6e nstructor type-n
2640: 61 6d 65 29 29 0a 20 20 20 20 20 20 20 20 20 20 ame)).
2650: 20 20 20 28 64 65 66 69 6e 65 20 70 72 65 64 69 (define predi
2660: 63 61 74 65 20 28 72 74 64 2d 70 72 65 64 69 63 cate (rtd-predic
2670: 61 74 65 20 74 79 70 65 2d 6e 61 6d 65 29 29 0a ate type-name)).
2680: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 64 65 (de
2690: 66 69 6e 65 20 61 63 63 65 73 73 6f 72 20 28 72 fine accessor (r
26a0: 74 64 2d 61 63 63 65 73 73 6f 72 20 74 79 70 65 td-accessor type
26b0: 2d 6e 61 6d 65 20 27 66 69 65 6c 64 29 29 0a 20 -name 'field)).
26c0: 20 20 20 20 20 20 20 20 20 20 20 20 2e 2e 2e 0a ....
26d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 28 64 65 (de
26e0: 66 69 6e 65 20 6d 75 74 61 74 6f 72 20 28 72 74 fine mutator (rt
26f0: 64 2d 6d 75 74 61 74 6f 72 20 74 79 70 65 2d 6e d-mutator type-n
2700: 61 6d 65 20 27 6d 75 74 61 62 6c 65 2d 66 69 65 ame 'mutable-fie
2710: 6c 64 29 29 0a 20 20 20 20 20 20 20 20 20 20 20 ld)).
2720: 20 20 2e 2e 2e 29 29 29 29 0a 0a 29 0a ...))))..).