Artifact 73e5b74ab3e53d03d6c693e445d5aebf017ac519:
- File srfi/s99/records/syntactic.sls — part of check-in [80c8c83034] at 2016-07-07 18:11:39 on branch trunk — initial import (user: ovenpasta@pizzahack.eu size: 10029)
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 ...))))..).