dotlambda.rkt (5888B)
1 #lang racket/base 2 3 (require dotlambda/implementation 4 (for-meta -10 typed/racket/base) 5 (for-meta -9 typed/racket/base) 6 (for-meta -8 typed/racket/base) 7 (for-meta -7 typed/racket/base) 8 (for-meta -6 typed/racket/base) 9 (for-meta -5 typed/racket/base) 10 (for-meta -4 typed/racket/base) 11 (for-meta -3 typed/racket/base) 12 (for-meta -2 typed/racket/base) 13 (for-meta -1 typed/racket/base) 14 (for-meta 0 typed/racket/base) 15 (for-meta 1 typed/racket/base) 16 (for-meta 2 typed/racket/base) 17 (for-meta 3 typed/racket/base) 18 (for-meta 4 typed/racket/base) 19 (for-meta 5 typed/racket/base) 20 (for-meta 6 typed/racket/base) 21 (for-meta 7 typed/racket/base) 22 (for-meta 8 typed/racket/base) 23 (for-meta 9 typed/racket/base) 24 (for-meta 10 typed/racket/base) 25 (only-in (for-meta -10 racket/base) 26 [make-rename-transformer -make-rename-transformer] 27 [#%plain-app -#%plain-app] 28 [syntax -syntax]) 29 (only-in (for-meta -9 racket/base) 30 [make-rename-transformer -make-rename-transformer] 31 [#%plain-app -#%plain-app] 32 [syntax -syntax]) 33 (only-in (for-meta -8 racket/base) 34 [make-rename-transformer -make-rename-transformer] 35 [#%plain-app -#%plain-app] 36 [syntax -syntax]) 37 (only-in (for-meta -7 racket/base) 38 [make-rename-transformer -make-rename-transformer] 39 [#%plain-app -#%plain-app] 40 [syntax -syntax]) 41 (only-in (for-meta -6 racket/base) 42 [make-rename-transformer -make-rename-transformer] 43 [#%plain-app -#%plain-app] 44 [syntax -syntax]) 45 (only-in (for-meta -5 racket/base) 46 [make-rename-transformer -make-rename-transformer] 47 [#%plain-app -#%plain-app] 48 [syntax -syntax]) 49 (only-in (for-meta -4 racket/base) 50 [make-rename-transformer -make-rename-transformer] 51 [#%plain-app -#%plain-app] 52 [syntax -syntax]) 53 (only-in (for-meta -3 racket/base) 54 [make-rename-transformer -make-rename-transformer] 55 [#%plain-app -#%plain-app] 56 [syntax -syntax]) 57 (only-in (for-meta -2 racket/base) 58 [make-rename-transformer -make-rename-transformer] 59 [#%plain-app -#%plain-app] 60 [syntax -syntax]) 61 (only-in (for-meta -1 racket/base) 62 [make-rename-transformer -make-rename-transformer] 63 [#%plain-app -#%plain-app] 64 [syntax -syntax]) 65 (only-in (for-meta 0 racket/base) 66 [make-rename-transformer -make-rename-transformer] 67 [#%plain-app -#%plain-app] 68 [syntax -syntax]) 69 (only-in (for-meta 1 racket/base) 70 [make-rename-transformer -make-rename-transformer] 71 [#%plain-app -#%plain-app] 72 [syntax -syntax]) 73 (only-in (for-meta 2 racket/base) 74 [make-rename-transformer -make-rename-transformer] 75 [#%plain-app -#%plain-app] 76 [syntax -syntax]) 77 (only-in (for-meta 3 racket/base) 78 [make-rename-transformer -make-rename-transformer] 79 [#%plain-app -#%plain-app] 80 [syntax -syntax]) 81 (only-in (for-meta 4 racket/base) 82 [make-rename-transformer -make-rename-transformer] 83 [#%plain-app -#%plain-app] 84 [syntax -syntax]) 85 (only-in (for-meta 5 racket/base) 86 [make-rename-transformer -make-rename-transformer] 87 [#%plain-app -#%plain-app] 88 [syntax -syntax]) 89 (only-in (for-meta 6 racket/base) 90 [make-rename-transformer -make-rename-transformer] 91 [#%plain-app -#%plain-app] 92 [syntax -syntax]) 93 (only-in (for-meta 7 racket/base) 94 [make-rename-transformer -make-rename-transformer] 95 [#%plain-app -#%plain-app] 96 [syntax -syntax]) 97 (only-in (for-meta 8 racket/base) 98 [make-rename-transformer -make-rename-transformer] 99 [#%plain-app -#%plain-app] 100 [syntax -syntax]) 101 (only-in (for-meta 9 racket/base) 102 [make-rename-transformer -make-rename-transformer] 103 [#%plain-app -#%plain-app] 104 [syntax -syntax]) 105 (only-in (for-meta 10 racket/base) 106 [make-rename-transformer -make-rename-transformer] 107 [#%plain-app -#%plain-app] 108 [syntax -syntax])) 109 110 (make-#%module-begin new-#%module-begin 111 #%module-begin 112 λ 113 define-syntax 114 -make-rename-transformer 115 -#%plain-app 116 -syntax) 117 (make-#%top-interaction new-#%top-interaction 118 #%top-interaction 119 λ 120 define-syntax 121 -make-rename-transformer 122 -#%plain-app 123 -syntax) 124 125 (provide (except-out (all-from-out typed/racket/base) 126 #%module-begin 127 #%top-interaction) 128 (except-out (all-from-out dotlambda/implementation) 129 make-#%module-begin 130 make-#%top-interaction) 131 (rename-out [new-#%module-begin #%module-begin] 132 [new-#%top-interaction #%top-interaction]))