Commit | Line | Data |
---|---|---|
cd5fea8d | 1 | ;;;; Copyright (C) 1997, 2000, 2001, 2002, 2003, 2006 Free Software Foundation, Inc. |
a63812a2 | 2 | ;;;; |
73be1d9e MV |
3 | ;;;; This library is free software; you can redistribute it and/or |
4 | ;;;; modify it under the terms of the GNU Lesser General Public | |
5 | ;;;; License as published by the Free Software Foundation; either | |
6 | ;;;; version 2.1 of the License, or (at your option) any later version. | |
a63812a2 | 7 | ;;;; |
73be1d9e | 8 | ;;;; This library is distributed in the hope that it will be useful, |
a63812a2 | 9 | ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of |
73be1d9e MV |
10 | ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
11 | ;;;; Lesser General Public License for more details. | |
a63812a2 | 12 | ;;;; |
73be1d9e MV |
13 | ;;;; You should have received a copy of the GNU Lesser General Public |
14 | ;;;; License along with this library; if not, write to the Free Software | |
92205699 | 15 | ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA |
a63812a2 JB |
16 | ;;;; |
17 | \f | |
18 | ||
19 | (define-module (ice-9 syncase) | |
1a179b03 | 20 | :use-module (ice-9 debug) |
5f1bde67 | 21 | :use-module (ice-9 threads) |
719fb3f3 MV |
22 | :export-syntax (sc-macro define-syntax define-syntax-public |
23 | eval-when fluid-let-syntax | |
1a179b03 MD |
24 | identifier-syntax let-syntax |
25 | letrec-syntax syntax syntax-case syntax-rules | |
26 | with-syntax | |
27 | include) | |
28 | :export (sc-expand sc-expand3 install-global-transformer | |
29 | syntax-dispatch syntax-error bound-identifier=? | |
30 | datum->syntax-object free-identifier=? | |
31 | generate-temporaries identifier? syntax-object->datum | |
d57da08b MD |
32 | void syncase) |
33 | :replace (eval)) | |
a63812a2 JB |
34 | |
35 | \f | |
36 | ||
db3f1c7e | 37 | (define expansion-eval-closure (make-fluid)) |
6b1a1374 AW |
38 | (define (current-eval-closure) |
39 | (or (fluid-ref expansion-eval-closure) | |
40 | (module-eval-closure (current-module)))) | |
db3f1c7e MV |
41 | |
42 | (define (env->eval-closure env) | |
6b1a1374 | 43 | (and env (car (last-pair env)))) |
db3f1c7e | 44 | |
deca2251 AW |
45 | (define (annotation? x) #f) |
46 | ||
1a179b03 | 47 | (define sc-macro |
a63812a2 JB |
48 | (procedure->memoizing-macro |
49 | (lambda (exp env) | |
db3f1c7e | 50 | (with-fluids ((expansion-eval-closure (env->eval-closure env))) |
deca2251 | 51 | (sc-expand exp))))) |
db3f1c7e | 52 | |
a63812a2 JB |
53 | ;;; Exported variables |
54 | ||
1a179b03 MD |
55 | (define sc-expand #f) |
56 | (define sc-expand3 #f) | |
80f225df | 57 | (define sc-chi #f) |
1a179b03 MD |
58 | (define install-global-transformer #f) |
59 | (define syntax-dispatch #f) | |
60 | (define syntax-error #f) | |
61 | ||
62 | (define bound-identifier=? #f) | |
63 | (define datum->syntax-object #f) | |
1a179b03 MD |
64 | (define free-identifier=? #f) |
65 | (define generate-temporaries #f) | |
66 | (define identifier? #f) | |
1a179b03 | 67 | (define syntax-object->datum #f) |
c55bcb32 | 68 | |
a63812a2 | 69 | (define primitive-syntax '(quote lambda letrec if set! begin define or |
719fb3f3 MV |
70 | and let let* cond do quasiquote unquote |
71 | unquote-splicing case)) | |
a63812a2 JB |
72 | |
73 | (for-each (lambda (symbol) | |
74 | (set-symbol-property! symbol 'primitive-syntax #t)) | |
75 | primitive-syntax) | |
76 | ||
77 | ;;; Hooks needed by the syntax-case macro package | |
78 | ||
1a179b03 | 79 | (define (void) *unspecified*) |
a63812a2 JB |
80 | |
81 | (define andmap | |
82 | (lambda (f first . rest) | |
83 | (or (null? first) | |
84 | (if (null? rest) | |
85 | (let andmap ((first first)) | |
86 | (let ((x (car first)) (first (cdr first))) | |
87 | (if (null? first) | |
88 | (f x) | |
89 | (and (f x) (andmap first))))) | |
90 | (let andmap ((first first) (rest rest)) | |
91 | (let ((x (car first)) | |
92 | (xr (map car rest)) | |
93 | (first (cdr first)) | |
94 | (rest (map cdr rest))) | |
95 | (if (null? first) | |
96 | (apply f (cons x xr)) | |
97 | (and (apply f (cons x xr)) (andmap first rest))))))))) | |
98 | ||
99 | (define (error who format-string why what) | |
100 | (start-stack 'syncase-stack | |
101 | (scm-error 'misc-error | |
102 | who | |
8641dd9e | 103 | "~A ~S" |
a63812a2 JB |
104 | (list why what) |
105 | '()))) | |
106 | ||
107 | (define the-syncase-module (current-module)) | |
db3f1c7e | 108 | (define the-syncase-eval-closure (module-eval-closure the-syncase-module)) |
a63812a2 | 109 | |
7906d57d MD |
110 | (fluid-set! expansion-eval-closure the-syncase-eval-closure) |
111 | ||
a63812a2 | 112 | (define (putprop symbol key binding) |
6b1a1374 | 113 | (let* ((eval-closure (current-eval-closure)) |
80f225df MD |
114 | ;; Why not simply do (eval-closure symbol #t)? |
115 | ;; Answer: That would overwrite imported bindings | |
116 | (v (or (eval-closure symbol #f) ;lookup | |
117 | (eval-closure symbol #t) ;create it locally | |
118 | ))) | |
119 | ;; Don't destroy Guile macros corresponding to | |
120 | ;; primitive syntax when syncase boots. | |
121 | (if (not (and (symbol-property symbol 'primitive-syntax) | |
122 | (eq? eval-closure the-syncase-eval-closure))) | |
a63812a2 | 123 | (variable-set! v sc-macro)) |
80f225df | 124 | ;; Properties are tied to variable objects |
a63812a2 JB |
125 | (set-object-property! v key binding))) |
126 | ||
127 | (define (getprop symbol key) | |
6b1a1374 | 128 | (let* ((v ((current-eval-closure) symbol #f))) |
80f225df MD |
129 | (and v |
130 | (or (object-property v key) | |
131 | (and (variable-bound? v) | |
132 | (macro? (variable-ref v)) | |
133 | (macro-transformer (variable-ref v)) ;non-primitive | |
134 | guile-macro))))) | |
135 | ||
136 | (define guile-macro | |
137 | (cons 'external-macro | |
138 | (lambda (e r w s) | |
e963ac2c MD |
139 | (let ((e (syntax-object->datum e))) |
140 | (if (symbol? e) | |
141 | ;; pass the expression through | |
142 | e | |
6b1a1374 | 143 | (let* ((eval-closure (current-eval-closure)) |
e963ac2c MD |
144 | (m (variable-ref (eval-closure (car e) #f)))) |
145 | (if (eq? (macro-type m) 'syntax) | |
146 | ;; pass the expression through | |
147 | e | |
148 | ;; perform Guile macro transform | |
149 | (let ((e ((macro-transformer m) | |
150 | e | |
151 | (append r (list eval-closure))))) | |
152 | (if (null? r) | |
153 | (sc-expand e) | |
154 | (sc-chi e r w)))))))))) | |
a63812a2 JB |
155 | |
156 | (define generated-symbols (make-weak-key-hash-table 1019)) | |
157 | ||
51a317b3 RB |
158 | ;; We define our own gensym here because the Guile built-in one will |
159 | ;; eventually produce uninterned and unreadable symbols (as needed for | |
160 | ;; safe macro expansions) and will the be inappropriate for dumping to | |
161 | ;; pssyntax.pp. | |
162 | ;; | |
163 | ;; syncase is supposed to only require that gensym produce unique | |
164 | ;; readable symbols, and they only need be unique with respect to | |
165 | ;; multiple calls to gensym, not globally unique. | |
166 | ;; | |
167 | (define gensym | |
168 | (let ((counter 0)) | |
56fd1933 RB |
169 | |
170 | (define next-id | |
171 | (if (provided? 'threads) | |
172 | (let ((symlock (make-mutex))) | |
173 | (lambda () | |
174 | (let ((result #f)) | |
175 | (with-mutex symlock | |
176 | (set! result counter) | |
177 | (set! counter (+ counter 1))) | |
178 | result))) | |
179 | ;; faster, non-threaded case. | |
180 | (lambda () | |
181 | (let ((result counter)) | |
182 | (set! counter (+ counter 1)) | |
183 | result)))) | |
184 | ||
185 | ;; actual gensym body code. | |
51a317b3 | 186 | (lambda (. rest) |
56fd1933 RB |
187 | (let* ((next-val (next-id)) |
188 | (valstr (number->string next-val))) | |
189 | (cond | |
190 | ((null? rest) | |
191 | (string->symbol (string-append "syntmp-" valstr))) | |
192 | ((null? (cdr rest)) | |
193 | (string->symbol (string-append "syntmp-" (car rest) "-" valstr))) | |
194 | (else | |
195 | (error | |
196 | (string-append | |
197 | "syncase's gensym expected 0 or 1 arguments, got " | |
198 | (length rest))))))))) | |
51a317b3 | 199 | |
a63812a2 JB |
200 | ;;; Load the preprocessed code |
201 | ||
202 | (let ((old-debug #f) | |
203 | (old-read #f)) | |
204 | (dynamic-wind (lambda () | |
205 | (set! old-debug (debug-options)) | |
206 | (set! old-read (read-options))) | |
207 | (lambda () | |
208 | (debug-disable 'debug 'procnames) | |
209 | (read-disable 'positions) | |
5ba9d849 | 210 | (load-from-path "ice-9/psyntax-pp")) |
a63812a2 JB |
211 | (lambda () |
212 | (debug-options old-debug) | |
213 | (read-options old-read)))) | |
214 | ||
215 | ||
4be092bc MD |
216 | ;;; The following lines are necessary only if we start making changes |
217 | ;; (use-syntax sc-expand) | |
696a761f | 218 | ;; (load-from-path "ice-9/psyntax") |
a63812a2 | 219 | |
ac5d303b | 220 | (define internal-eval (nested-ref the-scm-module '(%app modules guile eval))) |
a63812a2 | 221 | |
1a179b03 | 222 | (define (eval x environment) |
a63812a2 | 223 | (internal-eval (if (and (pair? x) |
f304437e | 224 | (equal? (car x) "noexpand")) |
a63812a2 | 225 | (cadr x) |
6232c3dd MD |
226 | (sc-expand x)) |
227 | environment)) | |
a63812a2 JB |
228 | |
229 | ;;; Hack to make syncase macros work in the slib module | |
ac5d303b | 230 | (let ((m (nested-ref the-root-module '(%app modules ice-9 slib)))) |
a63812a2 JB |
231 | (if m |
232 | (set-object-property! (module-local-variable m 'define) | |
233 | '*sc-expander* | |
234 | '(define)))) | |
235 | ||
cf743aea MD |
236 | (define (syncase exp) |
237 | (with-fluids ((expansion-eval-closure | |
238 | (module-eval-closure (current-module)))) | |
deca2251 | 239 | (sc-expand exp))) |
719fb3f3 MV |
240 | |
241 | (set-module-transformer! the-syncase-module syncase) | |
242 | ||
243 | (define-syntax define-syntax-public | |
244 | (syntax-rules () | |
245 | ((_ name rules ...) | |
246 | (begin | |
247 | ;(eval-case ((load-toplevel) (export-syntax name))) | |
248 | (define-syntax name rules ...))))) | |
7906d57d | 249 | |
6b1a1374 | 250 | (fluid-set! expansion-eval-closure #f) |