Commit | Line | Data |
---|---|---|
9ede013f | 1 | /* Copyright (C) 1995,1996,1997,1998,1999,2000,2001,2002,2003,2004,2005,2006,2007,2008,2009,2010,2011,2012 |
434f2f7a | 2 | * Free Software Foundation, Inc. |
0f2d19dd | 3 | * |
73be1d9e | 4 | * This library is free software; you can redistribute it and/or |
53befeb7 NJ |
5 | * modify it under the terms of the GNU Lesser General Public License |
6 | * as published by the Free Software Foundation; either version 3 of | |
7 | * the License, or (at your option) any later version. | |
0f2d19dd | 8 | * |
53befeb7 NJ |
9 | * This library is distributed in the hope that it will be useful, but |
10 | * WITHOUT ANY WARRANTY; without even the implied warranty of | |
73be1d9e MV |
11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
12 | * Lesser General Public License for more details. | |
0f2d19dd | 13 | * |
73be1d9e MV |
14 | * You should have received a copy of the GNU Lesser General Public |
15 | * License along with this library; if not, write to the Free Software | |
53befeb7 NJ |
16 | * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA |
17 | * 02110-1301 USA | |
73be1d9e | 18 | */ |
1bbd0b84 | 19 | |
0f2d19dd JB |
20 | \f |
21 | ||
dbb605f5 | 22 | #ifdef HAVE_CONFIG_H |
3d05f2e0 RB |
23 | # include <config.h> |
24 | #endif | |
0f2d19dd | 25 | |
f7439099 | 26 | #include <alloca.h> |
741b8a23 | 27 | #include <stdarg.h> |
3d05f2e0 | 28 | |
f7439099 | 29 | #include "libguile/__scm.h" |
48b96f4b | 30 | |
a0599745 | 31 | #include "libguile/_scm.h" |
21628685 DH |
32 | #include "libguile/alist.h" |
33 | #include "libguile/async.h" | |
34 | #include "libguile/continuations.h" | |
747022e4 | 35 | #include "libguile/control.h" |
a0599745 | 36 | #include "libguile/debug.h" |
328dc9a3 | 37 | #include "libguile/deprecation.h" |
09074dbf | 38 | #include "libguile/dynwind.h" |
a0599745 | 39 | #include "libguile/eq.h" |
a310a1d1 | 40 | #include "libguile/expand.h" |
21628685 DH |
41 | #include "libguile/feature.h" |
42 | #include "libguile/fluids.h" | |
21628685 DH |
43 | #include "libguile/goops.h" |
44 | #include "libguile/hash.h" | |
45 | #include "libguile/hashtab.h" | |
4610b011 | 46 | #include "libguile/list.h" |
a0599745 | 47 | #include "libguile/macros.h" |
b7742c6b | 48 | #include "libguile/memoize.h" |
a0599745 MD |
49 | #include "libguile/modules.h" |
50 | #include "libguile/ports.h" | |
7e6e6b37 | 51 | #include "libguile/print.h" |
21628685 | 52 | #include "libguile/procprop.h" |
4abef68f | 53 | #include "libguile/programs.h" |
a0599745 | 54 | #include "libguile/root.h" |
21628685 DH |
55 | #include "libguile/smob.h" |
56 | #include "libguile/srcprop.h" | |
57 | #include "libguile/stackchk.h" | |
58 | #include "libguile/strings.h" | |
9de87eea | 59 | #include "libguile/threads.h" |
21628685 DH |
60 | #include "libguile/throw.h" |
61 | #include "libguile/validate.h" | |
a513ead3 | 62 | #include "libguile/values.h" |
21628685 | 63 | #include "libguile/vectors.h" |
4abef68f | 64 | #include "libguile/vm.h" |
a0599745 | 65 | |
a0599745 | 66 | #include "libguile/eval.h" |
0ee05b85 | 67 | #include "libguile/private-options.h" |
89efbff4 | 68 | |
0f2d19dd JB |
69 | \f |
70 | ||
0ee05b85 | 71 | |
b7742c6b | 72 | /* We have three levels of EVAL here: |
609a8b86 | 73 | |
b7742c6b | 74 | - eval (exp, env) |
89bff2fc | 75 | |
b7742c6b AW |
76 | evaluates EXP in environment ENV. ENV is a lexical environment |
77 | structure as used by the actual tree code evaluator. When ENV is | |
78 | a top-level environment, then changes to the current module are | |
79 | tracked by updating ENV so that it continues to be in sync with | |
80 | the current module. | |
e6729603 | 81 | |
b7742c6b | 82 | - scm_primitive_eval (exp) |
e6729603 | 83 | |
b7742c6b AW |
84 | evaluates EXP in the top-level environment as determined by the |
85 | current module. This is done by constructing a suitable | |
86 | environment and calling eval. Thus, changes to the | |
87 | top-level module are tracked normally. | |
e6729603 | 88 | |
b7742c6b | 89 | - scm_eval (exp, mod) |
e6729603 | 90 | |
b7742c6b AW |
91 | evaluates EXP while MOD is the current module. This is done |
92 | by setting the current module to MOD_OR_STATE, invoking | |
93 | scm_primitive_eval on EXP, and then restoring the current module | |
94 | to the value it had previously. That is, while EXP is evaluated, | |
95 | changes to the current module (or dynamic state) are tracked, | |
96 | but these changes do not persist when scm_eval returns. | |
e6729603 | 97 | |
b7742c6b | 98 | */ |
e6729603 | 99 | |
e6729603 | 100 | |
314b8716 AW |
101 | /* Boot closures. We only see these when compiling eval.scm, because once |
102 | eval.scm is in the house, closures are standard VM closures. | |
103 | */ | |
104 | ||
105 | static scm_t_bits scm_tc16_boot_closure; | |
b2b33168 AW |
106 | #define RETURN_BOOT_CLOSURE(code, env) \ |
107 | SCM_RETURN_NEWSMOB2 (scm_tc16_boot_closure, SCM_UNPACK (code), SCM_UNPACK (env)) | |
314b8716 AW |
108 | #define BOOT_CLOSURE_P(obj) SCM_TYP16_PREDICATE (scm_tc16_boot_closure, (obj)) |
109 | #define BOOT_CLOSURE_CODE(x) SCM_SMOB_OBJECT (x) | |
110 | #define BOOT_CLOSURE_ENV(x) SCM_SMOB_OBJECT_2 (x) | |
8f9c5b58 AW |
111 | #define BOOT_CLOSURE_BODY(x) CAR (BOOT_CLOSURE_CODE (x)) |
112 | #define BOOT_CLOSURE_NUM_REQUIRED_ARGS(x) SCM_I_INUM (CADR (BOOT_CLOSURE_CODE (x))) | |
113 | #define BOOT_CLOSURE_IS_FIXED(x) scm_is_null (CDDR (BOOT_CLOSURE_CODE (x))) | |
114 | /* NB: One may only call the following accessors if the closure is not FIXED. */ | |
115 | #define BOOT_CLOSURE_HAS_REST_ARGS(x) scm_is_true (CADDR (BOOT_CLOSURE_CODE (x))) | |
116 | #define BOOT_CLOSURE_IS_REST(x) scm_is_null (CDDDR (BOOT_CLOSURE_CODE (x))) | |
117 | /* NB: One may only call the following accessors if the closure is not REST. */ | |
118 | #define BOOT_CLOSURE_IS_FULL(x) (1) | |
dc3e203e AW |
119 | #define BOOT_CLOSURE_PARSE_FULL(fu_,body,nargs,rest,nopt,kw,inits,alt) \ |
120 | do { SCM fu = fu_; \ | |
121 | body = CAR (fu); fu = CDR (fu); \ | |
122 | \ | |
123 | rest = kw = alt = SCM_BOOL_F; \ | |
124 | inits = SCM_EOL; \ | |
125 | nopt = 0; \ | |
126 | \ | |
127 | nreq = SCM_I_INUM (CAR (fu)); fu = CDR (fu); \ | |
128 | if (scm_is_pair (fu)) \ | |
129 | { \ | |
130 | rest = CAR (fu); fu = CDR (fu); \ | |
131 | if (scm_is_pair (fu)) \ | |
132 | { \ | |
133 | nopt = SCM_I_INUM (CAR (fu)); fu = CDR (fu); \ | |
134 | kw = CAR (fu); fu = CDR (fu); \ | |
135 | inits = CAR (fu); fu = CDR (fu); \ | |
136 | alt = CAR (fu); \ | |
137 | } \ | |
138 | } \ | |
d8a071fc | 139 | } while (0) |
7572ee52 AW |
140 | static void prepare_boot_closure_env_for_apply (SCM proc, SCM args, |
141 | SCM *out_body, SCM *out_env); | |
142 | static void prepare_boot_closure_env_for_eval (SCM proc, unsigned int argc, | |
143 | SCM exps, SCM *out_body, | |
144 | SCM *inout_env); | |
314b8716 AW |
145 | |
146 | ||
b7742c6b AW |
147 | #define CAR(x) SCM_CAR(x) |
148 | #define CDR(x) SCM_CDR(x) | |
149 | #define CAAR(x) SCM_CAAR(x) | |
150 | #define CADR(x) SCM_CADR(x) | |
151 | #define CDAR(x) SCM_CDAR(x) | |
152 | #define CDDR(x) SCM_CDDR(x) | |
153 | #define CADDR(x) SCM_CADDR(x) | |
154 | #define CDDDR(x) SCM_CDDDR(x) | |
e6729603 DH |
155 | |
156 | ||
b7742c6b | 157 | SCM_SYMBOL (scm_unbound_variable_key, "unbound-variable"); |
e6729603 | 158 | |
b7742c6b | 159 | static void error_used_before_defined (void) |
d0624e39 | 160 | { |
b7742c6b AW |
161 | scm_error (scm_unbound_variable_key, NULL, |
162 | "Variable used before given a value", SCM_EOL, SCM_BOOL_F); | |
d0624e39 | 163 | } |
d0624e39 | 164 | |
d8a071fc AW |
165 | static void error_invalid_keyword (SCM proc) |
166 | { | |
4a655e50 | 167 | scm_error_scm (scm_from_latin1_symbol ("keyword-argument-error"), proc, |
d8a071fc AW |
168 | scm_from_locale_string ("Invalid keyword"), SCM_EOL, |
169 | SCM_BOOL_F); | |
170 | } | |
171 | ||
172 | static void error_unrecognized_keyword (SCM proc) | |
173 | { | |
4a655e50 | 174 | scm_error_scm (scm_from_latin1_symbol ("keyword-argument-error"), proc, |
d8a071fc AW |
175 | scm_from_locale_string ("Unrecognized keyword"), SCM_EOL, |
176 | SCM_BOOL_F); | |
177 | } | |
178 | ||
179 | ||
f3a9a51d AW |
180 | /* Multiple values truncation. */ |
181 | static SCM | |
182 | truncate_values (SCM x) | |
183 | { | |
184 | if (SCM_LIKELY (!SCM_VALUESP (x))) | |
185 | return x; | |
186 | else | |
187 | { | |
188 | SCM l = scm_struct_ref (x, SCM_INUM0); | |
189 | if (SCM_LIKELY (scm_is_pair (l))) | |
190 | return scm_car (l); | |
191 | else | |
192 | { | |
193 | scm_ithrow (scm_from_latin1_symbol ("vm-run"), | |
194 | scm_list_3 (scm_from_latin1_symbol ("vm-run"), | |
195 | scm_from_locale_string | |
196 | ("Too few values returned to continuation"), | |
197 | SCM_EOL), | |
198 | 1); | |
199 | /* Not reached. */ | |
200 | return SCM_BOOL_F; | |
201 | } | |
202 | } | |
203 | } | |
204 | #define EVAL1(x, env) (truncate_values (eval ((x), (env)))) | |
205 | ||
b7742c6b | 206 | /* the environment: |
3149a5b6 | 207 | (VAL ... . MOD) |
b7742c6b AW |
208 | If MOD is #f, it means the environment was captured before modules were |
209 | booted. | |
210 | If MOD is the literal value '(), we are evaluating at the top level, and so | |
211 | should track changes to the current module. You have to be careful in this | |
212 | case, because further lexical contours should capture the current module. | |
213 | */ | |
214 | #define CAPTURE_ENV(env) \ | |
393baa8a AW |
215 | (scm_is_null (env) ? scm_current_module () : \ |
216 | (scm_is_false (env) ? scm_the_root_module () : env)) | |
6f81708a DH |
217 | |
218 | static SCM | |
b7742c6b | 219 | eval (SCM x, SCM env) |
6f81708a | 220 | { |
b7742c6b AW |
221 | SCM mx; |
222 | SCM proc = SCM_UNDEFINED, args = SCM_EOL; | |
b7ecadca | 223 | unsigned int argc; |
6f81708a | 224 | |
b7742c6b AW |
225 | loop: |
226 | SCM_TICK; | |
227 | if (!SCM_MEMOIZED_P (x)) | |
228 | abort (); | |
229 | ||
230 | mx = SCM_MEMOIZED_ARGS (x); | |
231 | switch (SCM_MEMOIZED_TAG (x)) | |
232 | { | |
6fc3eae4 AW |
233 | case SCM_M_SEQ: |
234 | eval (CAR (mx), env); | |
235 | x = CDR (mx); | |
b7742c6b AW |
236 | goto loop; |
237 | ||
238 | case SCM_M_IF: | |
f3a9a51d | 239 | if (scm_is_true (EVAL1 (CAR (mx), env))) |
b7742c6b | 240 | x = CADR (mx); |
6f81708a | 241 | else |
b7742c6b AW |
242 | x = CDDR (mx); |
243 | goto loop; | |
5fb64383 | 244 | |
b7742c6b AW |
245 | case SCM_M_LET: |
246 | { | |
247 | SCM inits = CAR (mx); | |
248 | SCM new_env = CAPTURE_ENV (env); | |
249 | for (; scm_is_pair (inits); inits = CDR (inits)) | |
f3a9a51d AW |
250 | new_env = scm_cons (EVAL1 (CAR (inits), env), |
251 | new_env); | |
b7742c6b AW |
252 | env = new_env; |
253 | x = CDR (mx); | |
254 | goto loop; | |
255 | } | |
256 | ||
257 | case SCM_M_LAMBDA: | |
314b8716 | 258 | RETURN_BOOT_CLOSURE (mx, CAPTURE_ENV (env)); |
5fb64383 | 259 | |
b7742c6b AW |
260 | case SCM_M_QUOTE: |
261 | return mx; | |
0f2d19dd | 262 | |
b7742c6b | 263 | case SCM_M_DEFINE: |
f3a9a51d | 264 | scm_define (CAR (mx), EVAL1 (CDR (mx), env)); |
b7742c6b | 265 | return SCM_UNSPECIFIED; |
212e58ed | 266 | |
d69531e2 AW |
267 | case SCM_M_DYNWIND: |
268 | { | |
9ede013f AW |
269 | SCM in, out, res; |
270 | scm_i_thread *t = SCM_I_CURRENT_THREAD; | |
f3a9a51d AW |
271 | in = EVAL1 (CAR (mx), env); |
272 | out = EVAL1 (CDDR (mx), env); | |
d69531e2 | 273 | scm_call_0 (in); |
9ede013f | 274 | scm_dynstack_push_dynwind (&t->dynstack, in, out); |
d69531e2 | 275 | res = eval (CADR (mx), env); |
9ede013f | 276 | scm_dynstack_pop (&t->dynstack); |
d69531e2 AW |
277 | scm_call_0 (out); |
278 | return res; | |
279 | } | |
280 | ||
bb0229b5 AW |
281 | case SCM_M_WITH_FLUIDS: |
282 | { | |
283 | long i, len; | |
9ede013f AW |
284 | SCM *fluidv, *valuesv, walk, res; |
285 | scm_i_thread *thread = SCM_I_CURRENT_THREAD; | |
286 | ||
bb0229b5 AW |
287 | len = scm_ilength (CAR (mx)); |
288 | fluidv = alloca (sizeof (SCM)*len); | |
289 | for (i = 0, walk = CAR (mx); i < len; i++, walk = CDR (walk)) | |
f3a9a51d | 290 | fluidv[i] = EVAL1 (CAR (walk), env); |
bb0229b5 AW |
291 | valuesv = alloca (sizeof (SCM)*len); |
292 | for (i = 0, walk = CADR (mx); i < len; i++, walk = CDR (walk)) | |
f3a9a51d | 293 | valuesv[i] = EVAL1 (CAR (walk), env); |
bb0229b5 | 294 | |
9ede013f AW |
295 | scm_dynstack_push_fluids (&thread->dynstack, len, fluidv, valuesv, |
296 | thread->dynamic_state); | |
bb0229b5 | 297 | res = eval (CDDR (mx), env); |
9ede013f | 298 | scm_dynstack_unwind_fluids (&thread->dynstack, thread->dynamic_state); |
bb0229b5 AW |
299 | |
300 | return res; | |
301 | } | |
302 | ||
b7742c6b AW |
303 | case SCM_M_APPLY: |
304 | /* Evaluate the procedure to be applied. */ | |
f3a9a51d | 305 | proc = EVAL1 (CAR (mx), env); |
b7742c6b | 306 | /* Evaluate the argument holding the list of arguments */ |
f3a9a51d | 307 | args = EVAL1 (CADR (mx), env); |
b7742c6b AW |
308 | |
309 | apply_proc: | |
310 | /* Go here to tail-apply a procedure. PROC is the procedure and | |
311 | * ARGS is the list of arguments. */ | |
314b8716 | 312 | if (BOOT_CLOSURE_P (proc)) |
b7742c6b | 313 | { |
7572ee52 | 314 | prepare_boot_closure_env_for_apply (proc, args, &x, &env); |
b7742c6b AW |
315 | goto loop; |
316 | } | |
317 | else | |
ea9f4f4b | 318 | return scm_call_with_vm (scm_the_vm (), proc, args); |
212e58ed | 319 | |
b7742c6b AW |
320 | case SCM_M_CALL: |
321 | /* Evaluate the procedure to be applied. */ | |
f3a9a51d | 322 | proc = EVAL1 (CAR (mx), env); |
b7ecadca | 323 | argc = SCM_I_INUM (CADR (mx)); |
9331f91c | 324 | mx = CDDR (mx); |
212e58ed | 325 | |
314b8716 | 326 | if (BOOT_CLOSURE_P (proc)) |
5fa0939c | 327 | { |
7572ee52 | 328 | prepare_boot_closure_env_for_eval (proc, argc, mx, &x, &env); |
b7742c6b | 329 | goto loop; |
5fa0939c | 330 | } |
b7742c6b AW |
331 | else |
332 | { | |
e2cf8eb9 | 333 | SCM *argv; |
b7ecadca LC |
334 | unsigned int i; |
335 | ||
e2cf8eb9 | 336 | argv = alloca (argc * sizeof (SCM)); |
b7ecadca | 337 | for (i = 0; i < argc; i++, mx = CDR (mx)) |
f3a9a51d | 338 | argv[i] = EVAL1 (CAR (mx), env); |
b7ecadca LC |
339 | |
340 | return scm_c_vm_run (scm_the_vm (), proc, argv, argc); | |
b7742c6b | 341 | } |
b7ecadca | 342 | |
b7742c6b | 343 | case SCM_M_CONT: |
f3a9a51d | 344 | return scm_i_call_with_current_continuation (EVAL1 (mx, env)); |
212e58ed | 345 | |
b7742c6b AW |
346 | case SCM_M_CALL_WITH_VALUES: |
347 | { | |
348 | SCM producer; | |
349 | SCM v; | |
350 | ||
f3a9a51d AW |
351 | producer = EVAL1 (CAR (mx), env); |
352 | /* `proc' is the consumer. */ | |
353 | proc = EVAL1 (CDR (mx), env); | |
ea9f4f4b | 354 | v = scm_call_with_vm (scm_the_vm (), producer, SCM_EOL); |
b7742c6b AW |
355 | if (SCM_VALUESP (v)) |
356 | args = scm_struct_ref (v, SCM_INUM0); | |
357 | else | |
358 | args = scm_list_1 (v); | |
359 | goto apply_proc; | |
360 | } | |
26d5b9b4 | 361 | |
b7742c6b AW |
362 | case SCM_M_LEXICAL_REF: |
363 | { | |
364 | int n; | |
365 | SCM ret; | |
366 | for (n = SCM_I_INUM (mx); n; n--) | |
367 | env = CDR (env); | |
368 | ret = CAR (env); | |
369 | if (SCM_UNLIKELY (SCM_UNBNDP (ret))) | |
370 | /* we don't know what variable, though, because we don't have its | |
371 | name */ | |
372 | error_used_before_defined (); | |
373 | return ret; | |
374 | } | |
1cc91f1b | 375 | |
b7742c6b AW |
376 | case SCM_M_LEXICAL_SET: |
377 | { | |
378 | int n; | |
f3a9a51d | 379 | SCM val = EVAL1 (CDR (mx), env); |
b7742c6b AW |
380 | for (n = SCM_I_INUM (CAR (mx)); n; n--) |
381 | env = CDR (env); | |
382 | SCM_SETCAR (env, val); | |
383 | return SCM_UNSPECIFIED; | |
384 | } | |
910b5125 | 385 | |
b7742c6b AW |
386 | case SCM_M_TOPLEVEL_REF: |
387 | if (SCM_VARIABLEP (mx)) | |
388 | return SCM_VARIABLE_REF (mx); | |
389 | else | |
57d23e25 | 390 | { |
b7742c6b | 391 | while (scm_is_pair (env)) |
f3a8d1b7 | 392 | env = CDR (env); |
3149a5b6 AW |
393 | return SCM_VARIABLE_REF |
394 | (scm_memoize_variable_access_x (x, CAPTURE_ENV (env))); | |
57d23e25 | 395 | } |
57d23e25 | 396 | |
b7742c6b AW |
397 | case SCM_M_TOPLEVEL_SET: |
398 | { | |
399 | SCM var = CAR (mx); | |
f3a9a51d | 400 | SCM val = EVAL1 (CDR (mx), env); |
b7742c6b AW |
401 | if (SCM_VARIABLEP (var)) |
402 | { | |
403 | SCM_VARIABLE_SET (var, val); | |
404 | return SCM_UNSPECIFIED; | |
405 | } | |
406 | else | |
407 | { | |
408 | while (scm_is_pair (env)) | |
f3a8d1b7 | 409 | env = CDR (env); |
3149a5b6 AW |
410 | SCM_VARIABLE_SET |
411 | (scm_memoize_variable_access_x (x, CAPTURE_ENV (env)), | |
412 | val); | |
b7742c6b AW |
413 | return SCM_UNSPECIFIED; |
414 | } | |
415 | } | |
910b5125 | 416 | |
b7742c6b AW |
417 | case SCM_M_MODULE_REF: |
418 | if (SCM_VARIABLEP (mx)) | |
419 | return SCM_VARIABLE_REF (mx); | |
910b5125 | 420 | else |
3149a5b6 AW |
421 | return SCM_VARIABLE_REF |
422 | (scm_memoize_variable_access_x (x, SCM_BOOL_F)); | |
910b5125 | 423 | |
b7742c6b AW |
424 | case SCM_M_MODULE_SET: |
425 | if (SCM_VARIABLEP (CDR (mx))) | |
910b5125 | 426 | { |
f3a9a51d | 427 | SCM_VARIABLE_SET (CDR (mx), EVAL1 (CAR (mx), env)); |
b7742c6b AW |
428 | return SCM_UNSPECIFIED; |
429 | } | |
430 | else | |
431 | { | |
3149a5b6 AW |
432 | SCM_VARIABLE_SET |
433 | (scm_memoize_variable_access_x (x, SCM_BOOL_F), | |
f3a9a51d | 434 | EVAL1 (CAR (mx), env)); |
b7742c6b | 435 | return SCM_UNSPECIFIED; |
910b5125 | 436 | } |
910b5125 | 437 | |
747022e4 AW |
438 | case SCM_M_PROMPT: |
439 | { | |
9ede013f AW |
440 | SCM vm, k, res; |
441 | scm_t_dynstack_prompt_flags flags; | |
442 | scm_t_prompt_registers *regs; | |
443 | /* We need the handler after nonlocal return to the setjmp, so | |
444 | make sure it is volatile. */ | |
445 | volatile SCM handler; | |
446 | ||
447 | k = EVAL1 (CAR (mx), env); | |
f3a9a51d | 448 | handler = EVAL1 (CDDR (mx), env); |
9ede013f AW |
449 | vm = scm_the_vm (); |
450 | ||
451 | /* Push the prompt onto the dynamic stack. */ | |
452 | regs = scm_c_make_prompt_registers (SCM_VM_DATA (vm)->fp, | |
453 | SCM_VM_DATA (vm)->sp, | |
454 | SCM_VM_DATA (vm)->ip, | |
455 | -1); | |
456 | flags = SCM_F_DYNSTACK_PROMPT_ESCAPE_ONLY; | |
457 | scm_dynstack_push_prompt (&SCM_I_CURRENT_THREAD->dynstack, | |
458 | flags, k, regs); | |
747022e4 | 459 | |
9ede013f | 460 | if (SCM_I_SETJMP (regs->regs)) |
747022e4 | 461 | { |
b8af64db | 462 | /* The prompt exited nonlocally. */ |
747022e4 | 463 | proc = handler; |
572eef50 | 464 | args = scm_i_prompt_pop_abort_args_x (scm_the_vm ()); |
747022e4 AW |
465 | goto apply_proc; |
466 | } | |
467 | ||
468 | res = eval (CADR (mx), env); | |
9ede013f | 469 | scm_dynstack_pop (&SCM_I_CURRENT_THREAD->dynstack); |
747022e4 AW |
470 | return res; |
471 | } | |
472 | ||
b7742c6b AW |
473 | default: |
474 | abort (); | |
475 | } | |
910b5125 DH |
476 | } |
477 | ||
b7742c6b | 478 | \f |
2a6f7afe | 479 | |
b7742c6b AW |
480 | /* Simple procedure calls |
481 | */ | |
2a6f7afe | 482 | |
b7742c6b AW |
483 | SCM |
484 | scm_call_0 (SCM proc) | |
485 | { | |
bf5a05f2 | 486 | return scm_c_vm_run (scm_the_vm (), proc, NULL, 0); |
0f2d19dd JB |
487 | } |
488 | ||
b7742c6b AW |
489 | SCM |
490 | scm_call_1 (SCM proc, SCM arg1) | |
212e58ed | 491 | { |
bf5a05f2 | 492 | return scm_c_vm_run (scm_the_vm (), proc, &arg1, 1); |
b7742c6b | 493 | } |
212e58ed | 494 | |
b7742c6b AW |
495 | SCM |
496 | scm_call_2 (SCM proc, SCM arg1, SCM arg2) | |
497 | { | |
bf5a05f2 AW |
498 | SCM args[] = { arg1, arg2 }; |
499 | return scm_c_vm_run (scm_the_vm (), proc, args, 2); | |
212e58ed DH |
500 | } |
501 | ||
b7742c6b AW |
502 | SCM |
503 | scm_call_3 (SCM proc, SCM arg1, SCM arg2, SCM arg3) | |
0f2d19dd | 504 | { |
bf5a05f2 AW |
505 | SCM args[] = { arg1, arg2, arg3 }; |
506 | return scm_c_vm_run (scm_the_vm (), proc, args, 3); | |
0f2d19dd JB |
507 | } |
508 | ||
b7742c6b AW |
509 | SCM |
510 | scm_call_4 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4) | |
212e58ed | 511 | { |
bf5a05f2 AW |
512 | SCM args[] = { arg1, arg2, arg3, arg4 }; |
513 | return scm_c_vm_run (scm_the_vm (), proc, args, 4); | |
212e58ed DH |
514 | } |
515 | ||
f32e67be AW |
516 | SCM |
517 | scm_call_5 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4, SCM arg5) | |
518 | { | |
519 | SCM args[] = { arg1, arg2, arg3, arg4, arg5 }; | |
520 | return scm_c_vm_run (scm_the_vm (), proc, args, 5); | |
521 | } | |
522 | ||
523 | SCM | |
524 | scm_call_6 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4, SCM arg5, | |
525 | SCM arg6) | |
526 | { | |
527 | SCM args[] = { arg1, arg2, arg3, arg4, arg5, arg6 }; | |
528 | return scm_c_vm_run (scm_the_vm (), proc, args, 6); | |
529 | } | |
530 | ||
741b8a23 MW |
531 | SCM |
532 | scm_call_7 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4, SCM arg5, | |
533 | SCM arg6, SCM arg7) | |
534 | { | |
535 | SCM args[] = { arg1, arg2, arg3, arg4, arg5, arg6, arg7 }; | |
536 | return scm_c_vm_run (scm_the_vm (), proc, args, 7); | |
537 | } | |
538 | ||
539 | SCM | |
540 | scm_call_8 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4, SCM arg5, | |
541 | SCM arg6, SCM arg7, SCM arg8) | |
542 | { | |
543 | SCM args[] = { arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8 }; | |
544 | return scm_c_vm_run (scm_the_vm (), proc, args, 8); | |
545 | } | |
546 | ||
547 | SCM | |
548 | scm_call_9 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4, SCM arg5, | |
549 | SCM arg6, SCM arg7, SCM arg8, SCM arg9) | |
550 | { | |
551 | SCM args[] = { arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9 }; | |
552 | return scm_c_vm_run (scm_the_vm (), proc, args, 9); | |
553 | } | |
554 | ||
86fd6dff AW |
555 | SCM |
556 | scm_call_n (SCM proc, SCM *argv, size_t nargs) | |
557 | { | |
558 | return scm_c_vm_run (scm_the_vm (), proc, argv, nargs); | |
559 | } | |
560 | ||
741b8a23 | 561 | SCM |
07c2ca0f | 562 | scm_call (SCM proc, ...) |
741b8a23 MW |
563 | { |
564 | va_list argp; | |
565 | SCM *argv = NULL; | |
566 | size_t i, nargs = 0; | |
567 | ||
568 | va_start (argp, proc); | |
569 | while (!SCM_UNBNDP (va_arg (argp, SCM))) | |
570 | nargs++; | |
571 | va_end (argp); | |
572 | ||
573 | argv = alloca (nargs * sizeof (SCM)); | |
574 | va_start (argp, proc); | |
575 | for (i = 0; i < nargs; i++) | |
576 | argv[i] = va_arg (argp, SCM); | |
577 | va_end (argp); | |
578 | ||
579 | return scm_c_vm_run (scm_the_vm (), proc, argv, nargs); | |
580 | } | |
581 | ||
b7742c6b | 582 | /* Simple procedure applies |
9fbee57e | 583 | */ |
cc56ba80 | 584 | |
b7742c6b AW |
585 | SCM |
586 | scm_apply_0 (SCM proc, SCM args) | |
587 | { | |
588 | return scm_apply (proc, args, SCM_EOL); | |
0f572ba7 DH |
589 | } |
590 | ||
b7742c6b AW |
591 | SCM |
592 | scm_apply_1 (SCM proc, SCM arg1, SCM args) | |
0f572ba7 | 593 | { |
b7742c6b | 594 | return scm_apply (proc, scm_cons (arg1, args), SCM_EOL); |
8ae95199 DH |
595 | } |
596 | ||
b7742c6b AW |
597 | SCM |
598 | scm_apply_2 (SCM proc, SCM arg1, SCM arg2, SCM args) | |
0f2d19dd | 599 | { |
b7742c6b | 600 | return scm_apply (proc, scm_cons2 (arg1, arg2, args), SCM_EOL); |
0f2d19dd JB |
601 | } |
602 | ||
b7742c6b AW |
603 | SCM |
604 | scm_apply_3 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM args) | |
212e58ed | 605 | { |
b7742c6b AW |
606 | return scm_apply (proc, scm_cons (arg1, scm_cons2 (arg2, arg3, args)), |
607 | SCM_EOL); | |
212e58ed DH |
608 | } |
609 | ||
b7742c6b | 610 | /* This code processes the arguments to apply: |
8ea46249 | 611 | |
b7742c6b | 612 | (apply PROC ARG1 ... ARGS) |
302c12b4 | 613 | |
b7742c6b AW |
614 | Given a list (ARG1 ... ARGS), this function conses the ARG1 |
615 | ... arguments onto the front of ARGS, and returns the resulting | |
616 | list. Note that ARGS is a list; thus, the argument to this | |
617 | function is a list whose last element is a list. | |
302c12b4 | 618 | |
b7742c6b AW |
619 | Apply calls this function, and applies PROC to the elements of the |
620 | result. apply:nconc2last takes care of building the list of | |
621 | arguments, given (ARG1 ... ARGS). | |
a954ce1d | 622 | |
b7742c6b AW |
623 | Rather than do new consing, apply:nconc2last destroys its argument. |
624 | On that topic, this code came into my care with the following | |
625 | beautifully cryptic comment on that topic: "This will only screw | |
626 | you if you do (scm_apply scm_apply '( ... ))" If you know what | |
627 | they're referring to, send me a patch to this comment. */ | |
0f2d19dd | 628 | |
b7742c6b AW |
629 | SCM_DEFINE (scm_nconc2last, "apply:nconc2last", 1, 0, 0, |
630 | (SCM lst), | |
631 | "Given a list (@var{arg1} @dots{} @var{args}), this function\n" | |
632 | "conses the @var{arg1} @dots{} arguments onto the front of\n" | |
633 | "@var{args}, and returns the resulting list. Note that\n" | |
634 | "@var{args} is a list; thus, the argument to this function is\n" | |
635 | "a list whose last element is a list.\n" | |
636 | "Note: Rather than do new consing, @code{apply:nconc2last}\n" | |
637 | "destroys its argument, so use with care.") | |
638 | #define FUNC_NAME s_scm_nconc2last | |
212e58ed | 639 | { |
b7742c6b AW |
640 | SCM *lloc; |
641 | SCM_VALIDATE_NONEMPTYLIST (1, lst); | |
642 | lloc = &lst; | |
b6b84131 | 643 | while (!scm_is_null (SCM_CDR (*lloc))) |
b7742c6b AW |
644 | lloc = SCM_CDRLOC (*lloc); |
645 | SCM_ASSERT (scm_ilength (SCM_CAR (*lloc)) >= 0, lst, SCM_ARG1, FUNC_NAME); | |
646 | *lloc = SCM_CAR (*lloc); | |
647 | return lst; | |
212e58ed | 648 | } |
b7742c6b | 649 | #undef FUNC_NAME |
212e58ed | 650 | |
b8229a3b | 651 | |
b7742c6b AW |
652 | SCM |
653 | scm_map (SCM proc, SCM arg1, SCM args) | |
0f2d19dd | 654 | { |
a2230b65 | 655 | static SCM var = SCM_BOOL_F; |
0f2d19dd | 656 | |
a2230b65 AW |
657 | if (scm_is_false (var)) |
658 | var = scm_private_variable (scm_the_root_module (), | |
659 | scm_from_latin1_symbol ("map")); | |
302c12b4 | 660 | |
a2230b65 AW |
661 | return scm_apply (scm_variable_ref (var), |
662 | scm_cons (proc, scm_cons (arg1, args)), SCM_EOL); | |
663 | } | |
d6754c23 | 664 | |
b7742c6b AW |
665 | SCM |
666 | scm_for_each (SCM proc, SCM arg1, SCM args) | |
0f2d19dd | 667 | { |
a2230b65 AW |
668 | static SCM var = SCM_BOOL_F; |
669 | ||
670 | if (scm_is_false (var)) | |
671 | var = scm_private_variable (scm_the_root_module (), | |
672 | scm_from_latin1_symbol ("for-each")); | |
673 | ||
674 | return scm_apply (scm_variable_ref (var), | |
675 | scm_cons (proc, scm_cons (arg1, args)), SCM_EOL); | |
b7742c6b | 676 | } |
71560395 | 677 | |
71560395 | 678 | |
5f161164 AW |
679 | static SCM |
680 | scm_c_primitive_eval (SCM exp) | |
b7742c6b | 681 | { |
a310a1d1 | 682 | if (!SCM_EXPANDED_P (exp)) |
4f692ace | 683 | exp = scm_call_1 (scm_current_module_transformer (), exp); |
a310a1d1 | 684 | return eval (scm_memoize_expression (exp), SCM_EOL); |
b7742c6b | 685 | } |
5f161164 AW |
686 | |
687 | static SCM var_primitive_eval; | |
688 | SCM | |
689 | scm_primitive_eval (SCM exp) | |
690 | { | |
691 | return scm_c_vm_run (scm_the_vm (), scm_variable_ref (var_primitive_eval), | |
692 | &exp, 1); | |
693 | } | |
71560395 | 694 | |
b7742c6b AW |
695 | |
696 | /* Eval does not take the second arg optionally. This is intentional | |
697 | * in order to be R5RS compatible, and to prepare for the new module | |
698 | * system, where we would like to make the choice of evaluation | |
699 | * environment explicit. */ | |
700 | ||
701 | SCM_DEFINE (scm_eval, "eval", 2, 0, 0, | |
702 | (SCM exp, SCM module_or_state), | |
703 | "Evaluate @var{exp}, a list representing a Scheme expression,\n" | |
704 | "in the top-level environment specified by\n" | |
705 | "@var{module_or_state}.\n" | |
706 | "While @var{exp} is evaluated (using @code{primitive-eval}),\n" | |
707 | "@var{module_or_state} is made the current module when\n" | |
708 | "it is a module, or the current dynamic state when it is\n" | |
709 | "a dynamic state." | |
710 | "Example: (eval '(+ 1 2) (interaction-environment))") | |
711 | #define FUNC_NAME s_scm_eval | |
712 | { | |
713 | SCM res; | |
714 | ||
715 | scm_dynwind_begin (SCM_F_DYNWIND_REWINDABLE); | |
716 | if (scm_is_dynamic_state (module_or_state)) | |
717 | scm_dynwind_current_dynamic_state (module_or_state); | |
718 | else if (scm_module_system_booted_p) | |
719 | { | |
720 | SCM_VALIDATE_MODULE (2, module_or_state); | |
721 | scm_dynwind_current_module (module_or_state); | |
71560395 | 722 | } |
b7742c6b | 723 | /* otherwise if the module system isn't booted, ignore the module arg */ |
71560395 | 724 | |
b7742c6b AW |
725 | res = scm_primitive_eval (exp); |
726 | ||
727 | scm_dynwind_end (); | |
728 | return res; | |
729 | } | |
730 | #undef FUNC_NAME | |
71560395 AW |
731 | |
732 | ||
b7742c6b | 733 | static SCM f_apply; |
71560395 AW |
734 | |
735 | /* Apply a function to a list of arguments. | |
736 | ||
737 | This function is exported to the Scheme level as taking two | |
738 | required arguments and a tail argument, as if it were: | |
739 | (lambda (proc arg1 . args) ...) | |
740 | Thus, if you just have a list of arguments to pass to a procedure, | |
741 | pass the list as ARG1, and '() for ARGS. If you have some fixed | |
742 | args, pass the first as ARG1, then cons any remaining fixed args | |
743 | onto the front of your argument list, and pass that as ARGS. */ | |
744 | ||
745 | SCM | |
746 | scm_apply (SCM proc, SCM arg1, SCM args) | |
747 | { | |
b7742c6b | 748 | /* Fix things up so that args contains all args. */ |
71560395 | 749 | if (scm_is_null (args)) |
b7742c6b | 750 | args = arg1; |
71560395 | 751 | else |
b7742c6b | 752 | args = scm_cons_star (arg1, args); |
71560395 | 753 | |
ea9f4f4b | 754 | return scm_call_with_vm (scm_the_vm (), proc, args); |
b7742c6b | 755 | } |
434f2f7a | 756 | |
7572ee52 AW |
757 | static void |
758 | prepare_boot_closure_env_for_apply (SCM proc, SCM args, | |
759 | SCM *out_body, SCM *out_env) | |
314b8716 | 760 | { |
8f9c5b58 AW |
761 | int nreq = BOOT_CLOSURE_NUM_REQUIRED_ARGS (proc); |
762 | SCM env = BOOT_CLOSURE_ENV (proc); | |
dc3e203e | 763 | |
8f9c5b58 AW |
764 | if (BOOT_CLOSURE_IS_FIXED (proc) |
765 | || (BOOT_CLOSURE_IS_REST (proc) | |
766 | && !BOOT_CLOSURE_HAS_REST_ARGS (proc))) | |
767 | { | |
768 | if (SCM_UNLIKELY (scm_ilength (args) != nreq)) | |
769 | scm_wrong_num_args (proc); | |
770 | for (; scm_is_pair (args); args = CDR (args)) | |
771 | env = scm_cons (CAR (args), env); | |
7572ee52 AW |
772 | *out_body = BOOT_CLOSURE_BODY (proc); |
773 | *out_env = env; | |
8f9c5b58 AW |
774 | } |
775 | else if (BOOT_CLOSURE_IS_REST (proc)) | |
314b8716 AW |
776 | { |
777 | if (SCM_UNLIKELY (scm_ilength (args) < nreq)) | |
8f9c5b58 | 778 | scm_wrong_num_args (proc); |
314b8716 | 779 | for (; nreq; nreq--, args = CDR (args)) |
8f9c5b58 AW |
780 | env = scm_cons (CAR (args), env); |
781 | env = scm_cons (args, env); | |
7572ee52 AW |
782 | *out_body = BOOT_CLOSURE_BODY (proc); |
783 | *out_env = env; | |
314b8716 AW |
784 | } |
785 | else | |
d8a071fc AW |
786 | { |
787 | int i, argc, nreq, nopt; | |
788 | SCM body, rest, kw, inits, alt; | |
dc3e203e | 789 | SCM mx = BOOT_CLOSURE_CODE (proc); |
d8a071fc | 790 | |
7572ee52 | 791 | loop: |
dc3e203e | 792 | BOOT_CLOSURE_PARSE_FULL (mx, body, nargs, rest, nopt, kw, inits, alt); |
d8a071fc AW |
793 | |
794 | argc = scm_ilength (args); | |
795 | if (argc < nreq) | |
796 | { | |
797 | if (scm_is_true (alt)) | |
7572ee52 | 798 | { |
dc3e203e | 799 | mx = alt; |
7572ee52 AW |
800 | goto loop; |
801 | } | |
d8a071fc AW |
802 | else |
803 | scm_wrong_num_args (proc); | |
804 | } | |
805 | if (scm_is_false (kw) && argc > nreq + nopt && scm_is_false (rest)) | |
806 | { | |
807 | if (scm_is_true (alt)) | |
7572ee52 | 808 | { |
dc3e203e | 809 | mx = alt; |
7572ee52 AW |
810 | goto loop; |
811 | } | |
d8a071fc AW |
812 | else |
813 | scm_wrong_num_args (proc); | |
814 | } | |
815 | ||
816 | for (i = 0; i < nreq; i++, args = CDR (args)) | |
817 | env = scm_cons (CAR (args), env); | |
818 | ||
819 | if (scm_is_false (kw)) | |
820 | { | |
821 | /* Optional args (possibly), but no keyword args. */ | |
822 | for (; i < argc && i < nreq + nopt; | |
823 | i++, args = CDR (args)) | |
824 | { | |
825 | env = scm_cons (CAR (args), env); | |
826 | inits = CDR (inits); | |
827 | } | |
828 | ||
829 | for (; i < nreq + nopt; i++, inits = CDR (inits)) | |
f3a9a51d | 830 | env = scm_cons (EVAL1 (CAR (inits), env), env); |
d8a071fc AW |
831 | |
832 | if (scm_is_true (rest)) | |
833 | env = scm_cons (args, env); | |
834 | } | |
835 | else | |
836 | { | |
837 | SCM aok; | |
838 | ||
839 | aok = CAR (kw); | |
840 | kw = CDR (kw); | |
841 | ||
842 | /* Keyword args. As before, but stop at the first keyword. */ | |
843 | for (; i < argc && i < nreq + nopt && !scm_is_keyword (CAR (args)); | |
844 | i++, args = CDR (args), inits = CDR (inits)) | |
845 | env = scm_cons (CAR (args), env); | |
846 | ||
847 | for (; i < nreq + nopt; i++, inits = CDR (inits)) | |
f3a9a51d | 848 | env = scm_cons (EVAL1 (CAR (inits), env), env); |
d8a071fc AW |
849 | |
850 | if (scm_is_true (rest)) | |
851 | { | |
852 | env = scm_cons (args, env); | |
853 | i++; | |
854 | } | |
855 | ||
856 | /* Now fill in env with unbound values, limn the rest of the args for | |
857 | keywords, and fill in unbound values with their inits. */ | |
858 | { | |
859 | int imax = i - 1; | |
860 | int kw_start_idx = i; | |
861 | SCM walk, k, v; | |
862 | for (walk = kw; scm_is_pair (walk); walk = CDR (walk)) | |
863 | if (SCM_I_INUM (CDAR (walk)) > imax) | |
864 | imax = SCM_I_INUM (CDAR (walk)); | |
865 | for (; i <= imax; i++) | |
866 | env = scm_cons (SCM_UNDEFINED, env); | |
867 | ||
868 | if (scm_is_pair (args) && scm_is_pair (CDR (args))) | |
869 | for (; scm_is_pair (args) && scm_is_pair (CDR (args)); | |
870 | args = CDR (args)) | |
871 | { | |
872 | k = CAR (args); v = CADR (args); | |
873 | if (!scm_is_keyword (k)) | |
874 | { | |
875 | if (scm_is_true (rest)) | |
876 | continue; | |
877 | else | |
878 | break; | |
879 | } | |
880 | for (walk = kw; scm_is_pair (walk); walk = CDR (walk)) | |
881 | if (scm_is_eq (k, CAAR (walk))) | |
882 | { | |
883 | /* Well... ok, list-set! isn't the nicest interface, but | |
884 | hey. */ | |
885 | int iset = imax - SCM_I_INUM (CDAR (walk)); | |
886 | scm_list_set_x (env, SCM_I_MAKINUM (iset), v); | |
887 | args = CDR (args); | |
888 | break; | |
889 | } | |
890 | if (scm_is_null (walk) && scm_is_false (aok)) | |
891 | error_unrecognized_keyword (proc); | |
892 | } | |
893 | if (scm_is_pair (args) && scm_is_false (rest)) | |
894 | error_invalid_keyword (proc); | |
895 | ||
896 | /* Now fill in unbound values, evaluating init expressions in their | |
897 | appropriate environment. */ | |
898 | for (i = imax - kw_start_idx; scm_is_pair (inits); i--, inits = CDR (inits)) | |
899 | { | |
900 | SCM tail = scm_list_tail (env, SCM_I_MAKINUM (i)); | |
901 | if (SCM_UNBNDP (CAR (tail))) | |
f3a9a51d | 902 | SCM_SETCAR (tail, EVAL1 (CAR (inits), CDR (tail))); |
d8a071fc AW |
903 | } |
904 | } | |
905 | } | |
8f9c5b58 | 906 | |
dc3e203e | 907 | *out_body = body; |
7572ee52 AW |
908 | *out_env = env; |
909 | } | |
8f9c5b58 AW |
910 | } |
911 | ||
7572ee52 | 912 | static void |
8f9c5b58 | 913 | prepare_boot_closure_env_for_eval (SCM proc, unsigned int argc, |
7572ee52 | 914 | SCM exps, SCM *out_body, SCM *inout_env) |
8f9c5b58 AW |
915 | { |
916 | int nreq = BOOT_CLOSURE_NUM_REQUIRED_ARGS (proc); | |
917 | SCM new_env = BOOT_CLOSURE_ENV (proc); | |
918 | if (BOOT_CLOSURE_IS_FIXED (proc) | |
919 | || (BOOT_CLOSURE_IS_REST (proc) | |
920 | && !BOOT_CLOSURE_HAS_REST_ARGS (proc))) | |
314b8716 | 921 | { |
8f9c5b58 | 922 | for (; scm_is_pair (exps); exps = CDR (exps), nreq--) |
f3a9a51d AW |
923 | new_env = scm_cons (EVAL1 (CAR (exps), *inout_env), |
924 | new_env); | |
8f9c5b58 AW |
925 | if (SCM_UNLIKELY (nreq != 0)) |
926 | scm_wrong_num_args (proc); | |
7572ee52 AW |
927 | *out_body = BOOT_CLOSURE_BODY (proc); |
928 | *inout_env = new_env; | |
314b8716 | 929 | } |
8f9c5b58 AW |
930 | else if (BOOT_CLOSURE_IS_REST (proc)) |
931 | { | |
932 | if (SCM_UNLIKELY (argc < nreq)) | |
933 | scm_wrong_num_args (proc); | |
934 | for (; nreq; nreq--, exps = CDR (exps)) | |
f3a9a51d AW |
935 | new_env = scm_cons (EVAL1 (CAR (exps), *inout_env), |
936 | new_env); | |
8f9c5b58 AW |
937 | { |
938 | SCM rest = SCM_EOL; | |
939 | for (; scm_is_pair (exps); exps = CDR (exps)) | |
f3a9a51d | 940 | rest = scm_cons (EVAL1 (CAR (exps), *inout_env), rest); |
8f9c5b58 AW |
941 | new_env = scm_cons (scm_reverse (rest), |
942 | new_env); | |
943 | } | |
7572ee52 AW |
944 | *out_body = BOOT_CLOSURE_BODY (proc); |
945 | *inout_env = new_env; | |
8f9c5b58 AW |
946 | } |
947 | else | |
d8a071fc AW |
948 | { |
949 | SCM args = SCM_EOL; | |
950 | for (; scm_is_pair (exps); exps = CDR (exps)) | |
f3a9a51d | 951 | args = scm_cons (EVAL1 (CAR (exps), *inout_env), args); |
7572ee52 AW |
952 | args = scm_reverse_x (args, SCM_UNDEFINED); |
953 | prepare_boot_closure_env_for_apply (proc, args, out_body, inout_env); | |
d8a071fc | 954 | } |
8f9c5b58 AW |
955 | } |
956 | ||
957 | static SCM | |
958 | boot_closure_apply (SCM closure, SCM args) | |
959 | { | |
7572ee52 AW |
960 | SCM body, env; |
961 | prepare_boot_closure_env_for_apply (closure, args, &body, &env); | |
962 | return eval (body, env); | |
314b8716 AW |
963 | } |
964 | ||
965 | static int | |
966 | boot_closure_print (SCM closure, SCM port, scm_print_state *pstate) | |
967 | { | |
968 | SCM args; | |
0607ebbf | 969 | scm_puts_unlocked ("#<boot-closure ", port); |
fdecb44f | 970 | scm_uintprint (SCM_UNPACK (closure), 16, port); |
0607ebbf | 971 | scm_putc_unlocked (' ', port); |
314b8716 | 972 | args = scm_make_list (scm_from_int (BOOT_CLOSURE_NUM_REQUIRED_ARGS (closure)), |
4a655e50 | 973 | scm_from_latin1_symbol ("_")); |
8f9c5b58 | 974 | if (!BOOT_CLOSURE_IS_FIXED (closure) && BOOT_CLOSURE_HAS_REST_ARGS (closure)) |
4a655e50 | 975 | args = scm_cons_star (scm_from_latin1_symbol ("_"), args); |
7572ee52 | 976 | /* FIXME: optionals and rests */ |
314b8716 | 977 | scm_display (args, port); |
0607ebbf | 978 | scm_putc_unlocked ('>', port); |
314b8716 AW |
979 | return 1; |
980 | } | |
981 | ||
0f2d19dd JB |
982 | void |
983 | scm_init_eval () | |
0f2d19dd | 984 | { |
5f161164 AW |
985 | SCM primitive_eval; |
986 | ||
df9ca8d8 | 987 | f_apply = scm_c_define_gsubr ("apply", 2, 0, 1, scm_apply); |
86d31dfe | 988 | |
314b8716 AW |
989 | scm_tc16_boot_closure = scm_make_smob_type ("boot-closure", 0); |
990 | scm_set_smob_apply (scm_tc16_boot_closure, boot_closure_apply, 0, 0, 1); | |
991 | scm_set_smob_print (scm_tc16_boot_closure, boot_closure_print); | |
992 | ||
5f161164 AW |
993 | primitive_eval = scm_c_make_gsubr ("primitive-eval", 1, 0, 0, |
994 | scm_c_primitive_eval); | |
995 | var_primitive_eval = scm_define (SCM_SUBR_NAME (primitive_eval), | |
996 | primitive_eval); | |
997 | ||
a0599745 | 998 | #include "libguile/eval.x" |
0f2d19dd | 999 | } |
0f2d19dd | 1000 | |
89e00824 ML |
1001 | /* |
1002 | Local Variables: | |
1003 | c-file-style: "gnu" | |
1004 | End: | |
1005 | */ | |
62560650 | 1006 |