Commit | Line | Data |
---|---|---|
0f2d19dd JB |
1 | /* classes: h_files */ |
2 | ||
22a52da1 DH |
3 | #ifndef SCM_EVAL_H |
4 | #define SCM_EVAL_H | |
8c494e99 | 5 | |
504d99c5 | 6 | /* Copyright (C) 1995,1996,1998,1999,2000,2001,2002 Free Software Foundation, Inc. |
8c494e99 | 7 | * |
0f2d19dd JB |
8 | * This program is free software; you can redistribute it and/or modify |
9 | * it under the terms of the GNU General Public License as published by | |
10 | * the Free Software Foundation; either version 2, or (at your option) | |
11 | * any later version. | |
8c494e99 | 12 | * |
0f2d19dd JB |
13 | * This program is distributed in the hope that it will be useful, |
14 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 | * GNU General Public License for more details. | |
8c494e99 | 17 | * |
0f2d19dd JB |
18 | * You should have received a copy of the GNU General Public License |
19 | * along with this software; see the file COPYING. If not, write to | |
82892bed JB |
20 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, |
21 | * Boston, MA 02111-1307 USA | |
0f2d19dd JB |
22 | * |
23 | * As a special exception, the Free Software Foundation gives permission | |
24 | * for additional uses of the text contained in its release of GUILE. | |
25 | * | |
26 | * The exception is that, if you link the GUILE library with other files | |
27 | * to produce an executable, this does not by itself cause the | |
28 | * resulting executable to be covered by the GNU General Public License. | |
29 | * Your use of that executable is in no way restricted on account of | |
30 | * linking the GUILE library code into it. | |
31 | * | |
32 | * This exception does not however invalidate any other reasons why | |
33 | * the executable file might be covered by the GNU General Public License. | |
34 | * | |
35 | * This exception applies only to the code released by the | |
36 | * Free Software Foundation under the name GUILE. If you copy | |
37 | * code from other Free Software Foundation releases into a copy of | |
38 | * GUILE, as the General Public License permits, the exception does | |
39 | * not apply to the code that you add in this way. To avoid misleading | |
40 | * anyone as to the status of such modified files, you must delete | |
41 | * this exception notice from them. | |
42 | * | |
43 | * If you write modifications of your own for GUILE, it is your choice | |
44 | * whether to permit this exception to apply to your modifications. | |
82892bed | 45 | * If you do not wish that, delete this exception notice. */ |
8c494e99 | 46 | |
0f2d19dd JB |
47 | \f |
48 | ||
b4309c3c | 49 | #include "libguile/__scm.h" |
0f2d19dd | 50 | |
9981de3a | 51 | #include "libguile/struct.h" |
37607b5a | 52 | |
0f2d19dd JB |
53 | \f |
54 | ||
33b97402 MD |
55 | /* {Options} |
56 | */ | |
57 | ||
33b001fd | 58 | SCM_API scm_t_option scm_eval_opts[]; |
33b97402 MD |
59 | |
60 | #define SCM_EVAL_STACK scm_eval_opts[0].val | |
61 | #define SCM_N_EVAL_OPTIONS 1 | |
62 | ||
33b001fd | 63 | SCM_API long scm_eval_stack; |
a74145b8 | 64 | |
33b001fd | 65 | SCM_API scm_t_option scm_evaluator_trap_table[]; |
33b97402 | 66 | |
33b001fd | 67 | SCM_API SCM scm_eval_options_interface (SCM setting); |
38b9c0c3 | 68 | |
066dacf8 MD |
69 | #define SCM_TRAPS_P scm_evaluator_trap_table[0].val |
70 | #define SCM_ENTER_FRAME_P scm_evaluator_trap_table[1].val | |
71 | #define SCM_APPLY_FRAME_P scm_evaluator_trap_table[2].val | |
72 | #define SCM_EXIT_FRAME_P scm_evaluator_trap_table[3].val | |
d95c0b76 NJ |
73 | #define SCM_ENTER_FRAME_HDLR (SCM)(scm_evaluator_trap_table[4].val) |
74 | #define SCM_APPLY_FRAME_HDLR (SCM)(scm_evaluator_trap_table[5].val) | |
75 | #define SCM_EXIT_FRAME_HDLR (SCM)(scm_evaluator_trap_table[6].val) | |
76 | #define SCM_N_EVALUATOR_TRAPS 7 | |
33b97402 MD |
77 | |
78 | \f | |
79 | ||
0f2d19dd JB |
80 | /* {Ilocs} |
81 | * | |
82 | * Ilocs are relative pointers into local environment structures. | |
83 | * | |
84 | */ | |
85 | #define SCM_ILOCP(n) (SCM_ITAG8(n)==scm_tc8_iloc) | |
86 | #define SCM_ILOC00 SCM_MAKE_ITAG8(0L, scm_tc8_iloc) | |
87 | #define SCM_IDINC (0x00100000L) | |
88 | #define SCM_ICDR (0x00080000L) | |
89 | #define SCM_IFRINC (0x00000100L) | |
90 | #define SCM_IDSTMSK (-SCM_IDINC) | |
c014a02e ML |
91 | #define SCM_IFRAME(n) ((long)((SCM_ICDR-SCM_IFRINC)>>8) \ |
92 | & (SCM_UNPACK (n) >> 8)) | |
b0c54567 DH |
93 | #define SCM_IDIST(n) (SCM_UNPACK (n) >> 20) |
94 | #define SCM_ICDRP(n) (SCM_ICDR & SCM_UNPACK (n)) | |
a8a19efc DH |
95 | #define SCM_MAKE_ILOC(frame_nr, binding_nr, last_p) \ |
96 | SCM_PACK ( \ | |
97 | ((frame_nr) << 8) \ | |
98 | + ((binding_nr) << 20) \ | |
99 | + ((last_p) ? SCM_ICDR : 0) \ | |
100 | + scm_tc8_iloc ) | |
0f2d19dd JB |
101 | |
102 | \f | |
103 | ||
28d52ebb MD |
104 | /* {Promises} |
105 | */ | |
106 | ||
107 | #define SCM_F_PROMISE_COMPUTED (1L << 16) | |
108 | #define SCM_PROMISE_COMPUTED_P(promise) \ | |
109 | (SCM_F_PROMISE_COMPUTED & SCM_CELL_WORD_0 (promise)) | |
110 | #define SCM_SET_PROMISE_COMPUTED(promise) \ | |
111 | SCM_SET_CELL_WORD_0 (promise, scm_tc16_promise | SCM_F_PROMISE_COMPUTED) | |
112 | #define SCM_PROMISE_MUTEX(promise) \ | |
113 | ((scm_t_rec_mutex *) SCM_CELL_WORD_2 (promise)) | |
114 | #define SCM_PROMISE_DATA SCM_CELL_OBJECT_1 | |
115 | #define SCM_SET_PROMISE_DATA SCM_SET_CELL_OBJECT_1 | |
116 | SCM_API scm_t_bits scm_tc16_promise; | |
117 | ||
118 | \f | |
0f2d19dd | 119 | |
8d1e7f8c MD |
120 | /* {Evaluator} |
121 | * | |
122 | * For an explanation of symbols containing "EVAL", see beginning of eval.c. | |
123 | */ | |
729dbac3 DH |
124 | #define SCM_EVALIM2(x) \ |
125 | ((SCM_EQ_P ((x), SCM_EOL) \ | |
126 | ? scm_misc_error (NULL, scm_s_expression, SCM_EOL), 0 \ | |
127 | : 0), \ | |
128 | (x)) | |
5280aaca MV |
129 | #define SCM_EVALIM(x, env) (SCM_ILOCP (x) \ |
130 | ? *scm_ilookup ((x), env) \ | |
131 | : SCM_EVALIM2(x)) | |
0f2d19dd | 132 | #ifdef DEBUG_EXTENSIONS |
e1e11745 | 133 | #define SCM_XEVAL(x, env) (SCM_IMP (x) \ |
5280aaca | 134 | ? SCM_EVALIM2(x) \ |
e1e11745 | 135 | : (*scm_ceval_ptr) ((x), (env))) |
8c494e99 | 136 | #define SCM_XEVALCAR(x, env) (SCM_IMP (SCM_CAR (x)) \ |
904a077d | 137 | ? SCM_EVALIM (SCM_CAR (x), env) \ |
e1e11745 MD |
138 | : (SCM_SYMBOLP (SCM_CAR (x)) \ |
139 | ? *scm_lookupcar (x, env, 1) \ | |
140 | : (*scm_ceval_ptr) (SCM_CAR (x), env))) | |
0f2d19dd | 141 | #else |
5280aaca MV |
142 | #define SCM_XEVAL(x, env) (SCM_IMP (x) \ |
143 | ? SCM_EVALIM2(x) \ | |
144 | : scm_ceval ((x), (env))) | |
e1e11745 | 145 | #define SCM_XEVALCAR(x, env) EVALCAR (x, env) |
0f2d19dd JB |
146 | #endif /* DEBUG_EXTENSIONS */ |
147 | ||
504d99c5 MD |
148 | typedef SCM (*scm_t_trampoline_1) (SCM proc, SCM arg1); |
149 | typedef SCM (*scm_t_trampoline_2) (SCM proc, SCM arg1, SCM arg2); | |
150 | ||
0f2d19dd JB |
151 | \f |
152 | ||
e2806c10 | 153 | #define SCM_EXTEND_ENV scm_acons |
0f2d19dd | 154 | |
37607b5a | 155 | /*fixme* This should probably be removed throught the code. */ |
a0ea2bf0 | 156 | |
86d31dfe | 157 | #define SCM_TOP_LEVEL_LOOKUP_CLOSURE (scm_current_module_lookup_closure()) |
37607b5a | 158 | |
0f2d19dd | 159 | \f |
33b001fd MV |
160 | SCM_API const char scm_s_expression[]; |
161 | SCM_API const char scm_s_test[]; | |
162 | SCM_API const char scm_s_body[]; | |
163 | SCM_API const char scm_s_bindings[]; | |
164 | SCM_API const char scm_s_variable[]; | |
165 | SCM_API const char scm_s_clauses[]; | |
166 | SCM_API const char scm_s_formals[]; | |
167 | SCM_API const char scm_s_set_x[]; | |
2a758f6f | 168 | |
33b001fd MV |
169 | SCM_API SCM scm_sym_and; |
170 | SCM_API SCM scm_sym_begin; | |
171 | SCM_API SCM scm_sym_case; | |
172 | SCM_API SCM scm_sym_cond; | |
173 | SCM_API SCM scm_sym_define; | |
174 | SCM_API SCM scm_sym_do; | |
175 | SCM_API SCM scm_sym_if; | |
176 | SCM_API SCM scm_sym_lambda; | |
177 | SCM_API SCM scm_sym_let; | |
178 | SCM_API SCM scm_sym_letstar; | |
179 | SCM_API SCM scm_sym_letrec; | |
180 | SCM_API SCM scm_sym_quote; | |
181 | SCM_API SCM scm_sym_quasiquote; | |
182 | SCM_API SCM scm_sym_unquote; | |
183 | SCM_API SCM scm_sym_uq_splicing; | |
2f0d1375 | 184 | |
33b001fd MV |
185 | SCM_API SCM scm_sym_dot; |
186 | SCM_API SCM scm_sym_atapply; | |
187 | SCM_API SCM scm_sym_atcall_cc; | |
188 | SCM_API SCM scm_sym_at_call_with_values; | |
189 | SCM_API SCM scm_sym_delay; | |
190 | SCM_API SCM scm_sym_arrow; | |
191 | SCM_API SCM scm_sym_else; | |
192 | SCM_API SCM scm_sym_apply; | |
193 | SCM_API SCM scm_sym_set_x; | |
194 | SCM_API SCM scm_sym_args; | |
0f2d19dd | 195 | |
33b001fd | 196 | SCM_API SCM scm_f_apply; |
81123e6d | 197 | |
0f2d19dd | 198 | \f |
1cc91f1b | 199 | |
33b001fd MV |
200 | SCM_API SCM * scm_ilookup (SCM iloc, SCM env); |
201 | SCM_API SCM * scm_lookupcar (SCM vloc, SCM genv, int check); | |
202 | SCM_API SCM scm_unmemocar (SCM form, SCM env); | |
203 | SCM_API SCM scm_unmemocopy (SCM form, SCM env); | |
204 | SCM_API SCM scm_eval_car (SCM pair, SCM env); | |
205 | SCM_API SCM scm_eval_body (SCM code, SCM env); | |
206 | SCM_API SCM scm_eval_args (SCM i, SCM env, SCM proc); | |
33b001fd MV |
207 | SCM_API SCM scm_m_quote (SCM xorig, SCM env); |
208 | SCM_API SCM scm_m_begin (SCM xorig, SCM env); | |
209 | SCM_API SCM scm_m_if (SCM xorig, SCM env); | |
210 | SCM_API SCM scm_m_set_x (SCM xorig, SCM env); | |
211 | SCM_API SCM scm_m_vref (SCM xorig, SCM env); | |
212 | SCM_API SCM scm_m_vset (SCM xorig, SCM env); | |
213 | SCM_API SCM scm_m_and (SCM xorig, SCM env); | |
214 | SCM_API SCM scm_m_or (SCM xorig, SCM env); | |
215 | SCM_API SCM scm_m_case (SCM xorig, SCM env); | |
216 | SCM_API SCM scm_m_cond (SCM xorig, SCM env); | |
217 | SCM_API SCM scm_m_lambda (SCM xorig, SCM env); | |
218 | SCM_API SCM scm_m_letstar (SCM xorig, SCM env); | |
219 | SCM_API SCM scm_m_do (SCM xorig, SCM env); | |
220 | SCM_API SCM scm_m_quasiquote (SCM xorig, SCM env); | |
221 | SCM_API SCM scm_m_delay (SCM xorig, SCM env); | |
28d52ebb | 222 | SCM_API SCM scm_m_future (SCM xorig, SCM env); |
33b001fd MV |
223 | SCM_API SCM scm_m_define (SCM x, SCM env); |
224 | SCM_API SCM scm_m_letrec (SCM xorig, SCM env); | |
225 | SCM_API SCM scm_m_let (SCM xorig, SCM env); | |
226 | SCM_API SCM scm_m_apply (SCM xorig, SCM env); | |
227 | SCM_API SCM scm_m_cont (SCM xorig, SCM env); | |
c96d76b8 | 228 | #ifdef SCM_ENABLE_ELISP |
33b001fd | 229 | SCM_API SCM scm_m_nil_cond (SCM xorig, SCM env); |
33b001fd | 230 | SCM_API SCM scm_m_atfop (SCM xorig, SCM env); |
c96d76b8 | 231 | #endif /* SCM_ENABLE_ELISP */ |
33b001fd MV |
232 | SCM_API SCM scm_m_atbind (SCM xorig, SCM env); |
233 | SCM_API SCM scm_m_at_call_with_values (SCM xorig, SCM env); | |
234 | SCM_API int scm_badargsp (SCM formals, SCM args); | |
235 | SCM_API SCM scm_ceval (SCM x, SCM env); | |
236 | SCM_API SCM scm_deval (SCM x, SCM env); | |
237 | SCM_API SCM scm_call_0 (SCM proc); | |
238 | SCM_API SCM scm_call_1 (SCM proc, SCM arg1); | |
239 | SCM_API SCM scm_call_2 (SCM proc, SCM arg1, SCM arg2); | |
240 | SCM_API SCM scm_call_3 (SCM proc, SCM arg1, SCM arg2, SCM arg3); | |
241 | SCM_API SCM scm_call_4 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4); | |
242 | SCM_API SCM scm_apply_0 (SCM proc, SCM args); | |
243 | SCM_API SCM scm_apply_1 (SCM proc, SCM arg1, SCM args); | |
244 | SCM_API SCM scm_apply_2 (SCM proc, SCM arg1, SCM arg2, SCM args); | |
245 | SCM_API SCM scm_apply_3 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM args); | |
504d99c5 MD |
246 | SCM_API scm_t_trampoline_1 scm_trampoline_1 (SCM proc); |
247 | SCM_API scm_t_trampoline_2 scm_trampoline_2 (SCM proc); | |
33b001fd MV |
248 | SCM_API SCM scm_nconc2last (SCM lst); |
249 | SCM_API SCM scm_apply (SCM proc, SCM arg1, SCM args); | |
250 | SCM_API SCM scm_dapply (SCM proc, SCM arg1, SCM args); | |
251 | SCM_API SCM scm_m_expand_body (SCM xorig, SCM env); | |
252 | SCM_API SCM scm_macroexp (SCM x, SCM env); | |
253 | SCM_API SCM scm_map (SCM proc, SCM arg1, SCM args); | |
254 | SCM_API SCM scm_for_each (SCM proc, SCM arg1, SCM args); | |
255 | SCM_API SCM scm_closure (SCM code, SCM env); | |
256 | SCM_API SCM scm_makprom (SCM code); | |
257 | SCM_API SCM scm_force (SCM x); | |
258 | SCM_API SCM scm_promise_p (SCM x); | |
259 | SCM_API SCM scm_cons_source (SCM xorig, SCM x, SCM y); | |
260 | SCM_API SCM scm_copy_tree (SCM obj); | |
261 | SCM_API SCM scm_i_eval_x (SCM exp, SCM env); | |
262 | SCM_API SCM scm_i_eval (SCM exp, SCM env); | |
263 | SCM_API SCM scm_primitive_eval (SCM exp); | |
264 | SCM_API SCM scm_primitive_eval_x (SCM exp); | |
265 | SCM_API SCM scm_eval (SCM exp, SCM module); | |
266 | SCM_API SCM scm_eval_x (SCM exp, SCM module); | |
083629be | 267 | |
33b001fd | 268 | SCM_API void scm_init_eval (void); |
0f2d19dd | 269 | |
22a52da1 | 270 | #endif /* SCM_EVAL_H */ |
89e00824 ML |
271 | |
272 | /* | |
273 | Local Variables: | |
274 | c-file-style: "gnu" | |
275 | End: | |
276 | */ |