Artifact a4e401b81b577700a492f986426d562006c8e5b6:
- File srfi/private/vanish.sls — part of check-in [80c8c83034] at 2016-07-07 18:11:39 on branch trunk — initial import (user: ovenpasta@pizzahack.eu size: 1260)
0000: 23 21 72 36 72 73 0a 3b 3b 20 43 6f 70 79 72 69 #!r6rs.;; Copyri 0010: 67 68 74 20 28 63 29 20 32 30 30 39 20 44 65 72 ght (c) 2009 Der 0020: 69 63 6b 20 45 64 64 69 6e 67 74 6f 6e 2e 20 20 ick Eddington. 0030: 41 6c 6c 20 72 69 67 68 74 73 20 72 65 73 65 72 All rights reser 0040: 76 65 64 2e 0a 3b 3b 20 4c 69 63 65 6e 73 65 64 ved..;; Licensed 0050: 20 75 6e 64 65 72 20 61 6e 20 4d 49 54 2d 73 74 under an MIT-st 0060: 79 6c 65 20 6c 69 63 65 6e 73 65 2e 20 20 4d 79 yle license. My 0070: 20 6c 69 63 65 6e 73 65 20 69 73 20 69 6e 20 74 license is in t 0080: 68 65 20 66 69 6c 65 0a 3b 3b 20 6e 61 6d 65 64 he file.;; named 0090: 20 4c 49 43 45 4e 53 45 20 66 72 6f 6d 20 74 68 LICENSE from th 00a0: 65 20 6f 72 69 67 69 6e 61 6c 20 63 6f 6c 6c 65 e original colle 00b0: 63 74 69 6f 6e 20 74 68 69 73 20 66 69 6c 65 20 ction this file 00c0: 69 73 20 64 69 73 74 72 69 62 75 74 65 64 0a 3b is distributed.; 00d0: 3b 20 77 69 74 68 2e 20 20 49 66 20 74 68 69 73 ; with. If this 00e0: 20 66 69 6c 65 20 69 73 20 72 65 64 69 73 74 72 file is redistr 00f0: 69 62 75 74 65 64 20 77 69 74 68 20 73 6f 6d 65 ibuted with some 0100: 20 6f 74 68 65 72 20 63 6f 6c 6c 65 63 74 69 6f other collectio 0110: 6e 2c 20 6d 79 0a 3b 3b 20 6c 69 63 65 6e 73 65 n, my.;; license 0120: 20 6d 75 73 74 20 61 6c 73 6f 20 62 65 20 69 6e must also be in 0130: 63 6c 75 64 65 64 2e 0a 0a 28 6c 69 62 72 61 72 cluded...(librar 0140: 79 20 28 73 72 66 69 20 70 72 69 76 61 74 65 20 y (srfi private 0150: 76 61 6e 69 73 68 29 0a 20 20 28 65 78 70 6f 72 vanish). (expor 0160: 74 0a 20 20 20 20 76 61 6e 69 73 68 2d 64 65 66 t. vanish-def 0170: 69 6e 65 29 0a 20 20 28 69 6d 70 6f 72 74 0a 20 ine). (import. 0180: 20 20 20 28 72 6e 72 73 29 0a 20 20 20 20 28 66 (rnrs). (f 0190: 6f 72 20 28 6f 6e 6c 79 20 28 72 6e 72 73 20 62 or (only (rnrs b 01a0: 61 73 65 29 20 62 65 67 69 6e 29 20 28 6d 65 74 ase) begin) (met 01b0: 61 20 2d 31 29 29 29 0a 0a 20 20 23 3b 28 64 65 a -1))).. #;(de 01c0: 66 69 6e 65 20 28 73 68 6f 77 20 73 74 78 29 0a fine (show stx). 01d0: 20 20 20 20 28 64 69 73 70 6c 61 79 20 28 6d 61 (display (ma 01e0: 6b 65 2d 73 74 72 69 6e 67 20 36 30 20 23 5c 2d ke-string 60 #\- 01f0: 29 29 20 28 6e 65 77 6c 69 6e 65 29 0a 20 20 20 )) (newline). 0200: 20 28 77 72 69 74 65 20 28 73 79 6e 74 61 78 2d (write (syntax- 0210: 3e 64 61 74 75 6d 20 73 74 78 29 29 20 28 6e 65 >datum stx)) (ne 0220: 77 6c 69 6e 65 29 29 0a 0a 20 20 28 64 65 66 69 wline)).. (defi 0230: 6e 65 2d 73 79 6e 74 61 78 20 76 61 6e 69 73 68 ne-syntax vanish 0240: 2d 64 65 66 69 6e 65 0a 20 20 20 20 28 6c 61 6d -define. (lam 0250: 62 64 61 20 28 73 74 78 29 0a 20 20 20 20 20 20 bda (stx). 0260: 28 73 79 6e 74 61 78 2d 63 61 73 65 20 73 74 78 (syntax-case stx 0270: 20 28 29 0a 20 20 20 20 20 20 20 20 28 28 5f 20 (). ((_ 0280: 64 65 66 20 28 76 61 6e 69 73 68 20 2e 2e 2e 29 def (vanish ...) 0290: 29 0a 20 20 20 20 20 20 20 20 20 28 66 6f 72 2d ). (for- 02a0: 61 6c 6c 20 69 64 65 6e 74 69 66 69 65 72 3f 20 all identifier? 02b0: 23 27 28 76 61 6e 69 73 68 20 2e 2e 2e 29 29 0a #'(vanish ...)). 02c0: 20 20 20 20 20 20 20 20 20 23 27 28 6d 61 6b 65 #'(make 02d0: 2d 76 61 6e 69 73 68 2d 64 65 66 69 6e 65 20 28 -vanish-define ( 02e0: 73 79 6e 74 61 78 20 64 65 66 29 20 28 73 79 6e syntax def) (syn 02f0: 74 61 78 20 76 61 6e 69 73 68 29 20 2e 2e 2e 29 tax vanish) ...) 0300: 29 29 29 29 0a 0a 20 20 28 64 65 66 69 6e 65 20 )))).. (define 0310: 28 6d 61 6b 65 2d 76 61 6e 69 73 68 2d 64 65 66 (make-vanish-def 0320: 69 6e 65 20 64 65 66 20 2e 20 74 6f 2d 76 61 6e ine def . to-van 0330: 69 73 68 29 0a 20 20 20 20 28 6c 61 6d 62 64 61 ish). (lambda 0340: 20 28 73 74 78 29 0a 20 20 20 20 20 20 28 64 65 (stx). (de 0350: 66 69 6e 65 20 28 76 61 6e 69 73 68 3f 20 69 64 fine (vanish? id 0360: 29 0a 20 20 20 20 20 20 20 20 28 6d 65 6d 70 20 ). (memp 0370: 28 6c 61 6d 62 64 61 20 28 78 29 20 28 66 72 65 (lambda (x) (fre 0380: 65 2d 69 64 65 6e 74 69 66 69 65 72 3d 3f 20 69 e-identifier=? i 0390: 64 20 78 29 29 0a 20 20 20 20 20 20 20 20 20 20 d x)). 03a0: 20 20 20 20 74 6f 2d 76 61 6e 69 73 68 29 29 0a to-vanish)). 03b0: 20 20 20 20 20 20 23 3b 28 73 68 6f 77 20 73 74 #;(show st 03c0: 78 29 0a 20 20 20 20 20 20 28 73 79 6e 74 61 78 x). (syntax 03d0: 2d 63 61 73 65 20 73 74 78 20 28 29 0a 20 20 20 -case stx (). 03e0: 20 20 20 20 20 28 28 5f 20 6e 61 6d 65 20 2e 20 ((_ name . 03f0: 5f 29 0a 20 20 20 20 20 20 20 20 20 28 61 6e 64 _). (and 0400: 20 28 69 64 65 6e 74 69 66 69 65 72 3f 20 23 27 (identifier? #' 0410: 6e 61 6d 65 29 0a 20 20 20 20 20 20 20 20 20 20 name). 0420: 20 20 20 20 28 76 61 6e 69 73 68 3f 20 23 27 6e (vanish? #'n 0430: 61 6d 65 29 29 0a 20 20 20 20 20 20 20 20 20 23 ame)). # 0440: 27 28 62 65 67 69 6e 29 29 0a 20 20 20 20 20 20 '(begin)). 0450: 20 20 28 28 5f 20 28 6e 61 6d 65 20 2e 20 5f 29 ((_ (name . _) 0460: 20 2e 20 5f 29 0a 20 20 20 20 20 20 20 20 20 28 . _). ( 0470: 61 6e 64 20 28 69 64 65 6e 74 69 66 69 65 72 3f and (identifier? 0480: 20 23 27 6e 61 6d 65 29 0a 20 20 20 20 20 20 20 #'name). 0490: 20 20 20 20 20 20 20 28 76 61 6e 69 73 68 3f 20 (vanish? 04a0: 23 27 6e 61 6d 65 29 29 0a 20 20 20 20 20 20 20 #'name)). 04b0: 20 20 23 27 28 62 65 67 69 6e 29 29 0a 20 20 20 #'(begin)). 04c0: 20 20 20 20 20 28 28 5f 20 2e 20 72 29 0a 20 20 ((_ . r). 04d0: 20 20 20 20 20 20 20 28 63 6f 6e 73 20 64 65 66 (cons def 04e0: 20 23 27 72 29 29 29 29 29 0a 29 0a #'r))))).).