Commit | Line | Data |
---|---|---|
0f2d19dd JB |
1 | /* classes: h_files */ |
2 | ||
22a52da1 DH |
3 | #ifndef SCM_EVAL_H |
4 | #define SCM_EVAL_H | |
8c494e99 | 5 | |
a98e8e98 | 6 | /* Copyright (C) 1995,1996,1998,1999,2000,2001,2002,2003 Free Software Foundation, Inc. |
8c494e99 | 7 | * |
73be1d9e MV |
8 | * This library is free software; you can redistribute it and/or |
9 | * modify it under the terms of the GNU Lesser General Public | |
10 | * License as published by the Free Software Foundation; either | |
11 | * version 2.1 of the License, or (at your option) any later version. | |
8c494e99 | 12 | * |
73be1d9e | 13 | * This library is distributed in the hope that it will be useful, |
0f2d19dd | 14 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
73be1d9e MV |
15 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
16 | * Lesser General Public License for more details. | |
8c494e99 | 17 | * |
73be1d9e MV |
18 | * You should have received a copy of the GNU Lesser General Public |
19 | * License along with this library; if not, write to the Free Software | |
20 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA | |
21 | */ | |
8c494e99 | 22 | |
0f2d19dd JB |
23 | \f |
24 | ||
b4309c3c | 25 | #include "libguile/__scm.h" |
0f2d19dd | 26 | |
9981de3a | 27 | #include "libguile/struct.h" |
37607b5a | 28 | |
0f2d19dd JB |
29 | \f |
30 | ||
33b97402 MD |
31 | /* {Options} |
32 | */ | |
33 | ||
33b001fd | 34 | SCM_API scm_t_option scm_eval_opts[]; |
33b97402 | 35 | |
a98e8e98 | 36 | #define SCM_EVAL_STACK scm_eval_opts[0].val |
33b97402 MD |
37 | #define SCM_N_EVAL_OPTIONS 1 |
38 | ||
33b001fd | 39 | SCM_API long scm_eval_stack; |
a74145b8 | 40 | |
33b001fd | 41 | SCM_API scm_t_option scm_evaluator_trap_table[]; |
33b97402 | 42 | |
33b001fd | 43 | SCM_API SCM scm_eval_options_interface (SCM setting); |
38b9c0c3 | 44 | |
066dacf8 MD |
45 | #define SCM_TRAPS_P scm_evaluator_trap_table[0].val |
46 | #define SCM_ENTER_FRAME_P scm_evaluator_trap_table[1].val | |
47 | #define SCM_APPLY_FRAME_P scm_evaluator_trap_table[2].val | |
48 | #define SCM_EXIT_FRAME_P scm_evaluator_trap_table[3].val | |
a98e8e98 DH |
49 | #define SCM_ENTER_FRAME_HDLR (SCM_PACK (scm_evaluator_trap_table[4].val)) |
50 | #define SCM_APPLY_FRAME_HDLR (SCM_PACK (scm_evaluator_trap_table[5].val)) | |
51 | #define SCM_EXIT_FRAME_HDLR (SCM_PACK (scm_evaluator_trap_table[6].val)) | |
d95c0b76 | 52 | #define SCM_N_EVALUATOR_TRAPS 7 |
33b97402 MD |
53 | |
54 | \f | |
55 | ||
0f2d19dd JB |
56 | /* {Ilocs} |
57 | * | |
58 | * Ilocs are relative pointers into local environment structures. | |
59 | * | |
60 | */ | |
61 | #define SCM_ILOCP(n) (SCM_ITAG8(n)==scm_tc8_iloc) | |
0f2d19dd JB |
62 | #define SCM_ICDR (0x00080000L) |
63 | #define SCM_IFRINC (0x00000100L) | |
c014a02e ML |
64 | #define SCM_IFRAME(n) ((long)((SCM_ICDR-SCM_IFRINC)>>8) \ |
65 | & (SCM_UNPACK (n) >> 8)) | |
b0c54567 DH |
66 | #define SCM_IDIST(n) (SCM_UNPACK (n) >> 20) |
67 | #define SCM_ICDRP(n) (SCM_ICDR & SCM_UNPACK (n)) | |
0f2d19dd JB |
68 | |
69 | \f | |
70 | ||
28d52ebb MD |
71 | /* {Promises} |
72 | */ | |
73 | ||
74 | #define SCM_F_PROMISE_COMPUTED (1L << 16) | |
75 | #define SCM_PROMISE_COMPUTED_P(promise) \ | |
76 | (SCM_F_PROMISE_COMPUTED & SCM_CELL_WORD_0 (promise)) | |
77 | #define SCM_SET_PROMISE_COMPUTED(promise) \ | |
78 | SCM_SET_CELL_WORD_0 (promise, scm_tc16_promise | SCM_F_PROMISE_COMPUTED) | |
79 | #define SCM_PROMISE_MUTEX(promise) \ | |
80 | ((scm_t_rec_mutex *) SCM_CELL_WORD_2 (promise)) | |
81 | #define SCM_PROMISE_DATA SCM_CELL_OBJECT_1 | |
82 | #define SCM_SET_PROMISE_DATA SCM_SET_CELL_OBJECT_1 | |
83 | SCM_API scm_t_bits scm_tc16_promise; | |
84 | ||
85 | \f | |
0f2d19dd | 86 | |
8d1e7f8c | 87 | /* {Evaluator} |
8d1e7f8c | 88 | */ |
0f2d19dd | 89 | |
756414cf | 90 | typedef SCM (*scm_t_trampoline_0) (SCM proc); |
504d99c5 MD |
91 | typedef SCM (*scm_t_trampoline_1) (SCM proc, SCM arg1); |
92 | typedef SCM (*scm_t_trampoline_2) (SCM proc, SCM arg1, SCM arg2); | |
93 | ||
0f2d19dd JB |
94 | \f |
95 | ||
e2806c10 | 96 | #define SCM_EXTEND_ENV scm_acons |
0f2d19dd | 97 | |
37607b5a | 98 | /*fixme* This should probably be removed throught the code. */ |
a0ea2bf0 | 99 | |
86d31dfe | 100 | #define SCM_TOP_LEVEL_LOOKUP_CLOSURE (scm_current_module_lookup_closure()) |
37607b5a | 101 | |
0f2d19dd | 102 | \f |
a98e8e98 | 103 | |
33b001fd MV |
104 | SCM_API SCM scm_sym_and; |
105 | SCM_API SCM scm_sym_begin; | |
106 | SCM_API SCM scm_sym_case; | |
107 | SCM_API SCM scm_sym_cond; | |
108 | SCM_API SCM scm_sym_define; | |
109 | SCM_API SCM scm_sym_do; | |
110 | SCM_API SCM scm_sym_if; | |
111 | SCM_API SCM scm_sym_lambda; | |
112 | SCM_API SCM scm_sym_let; | |
113 | SCM_API SCM scm_sym_letstar; | |
114 | SCM_API SCM scm_sym_letrec; | |
115 | SCM_API SCM scm_sym_quote; | |
116 | SCM_API SCM scm_sym_quasiquote; | |
117 | SCM_API SCM scm_sym_unquote; | |
118 | SCM_API SCM scm_sym_uq_splicing; | |
2f0d1375 | 119 | |
33b001fd MV |
120 | SCM_API SCM scm_sym_atapply; |
121 | SCM_API SCM scm_sym_atcall_cc; | |
122 | SCM_API SCM scm_sym_at_call_with_values; | |
123 | SCM_API SCM scm_sym_delay; | |
124 | SCM_API SCM scm_sym_arrow; | |
125 | SCM_API SCM scm_sym_else; | |
126 | SCM_API SCM scm_sym_apply; | |
127 | SCM_API SCM scm_sym_set_x; | |
128 | SCM_API SCM scm_sym_args; | |
0f2d19dd | 129 | |
0f2d19dd | 130 | \f |
1cc91f1b | 131 | |
33b001fd MV |
132 | SCM_API SCM * scm_ilookup (SCM iloc, SCM env); |
133 | SCM_API SCM * scm_lookupcar (SCM vloc, SCM genv, int check); | |
33b001fd MV |
134 | SCM_API SCM scm_unmemocopy (SCM form, SCM env); |
135 | SCM_API SCM scm_eval_car (SCM pair, SCM env); | |
136 | SCM_API SCM scm_eval_body (SCM code, SCM env); | |
137 | SCM_API SCM scm_eval_args (SCM i, SCM env, SCM proc); | |
33b001fd MV |
138 | SCM_API SCM scm_m_quote (SCM xorig, SCM env); |
139 | SCM_API SCM scm_m_begin (SCM xorig, SCM env); | |
140 | SCM_API SCM scm_m_if (SCM xorig, SCM env); | |
141 | SCM_API SCM scm_m_set_x (SCM xorig, SCM env); | |
142 | SCM_API SCM scm_m_vref (SCM xorig, SCM env); | |
143 | SCM_API SCM scm_m_vset (SCM xorig, SCM env); | |
144 | SCM_API SCM scm_m_and (SCM xorig, SCM env); | |
145 | SCM_API SCM scm_m_or (SCM xorig, SCM env); | |
146 | SCM_API SCM scm_m_case (SCM xorig, SCM env); | |
147 | SCM_API SCM scm_m_cond (SCM xorig, SCM env); | |
148 | SCM_API SCM scm_m_lambda (SCM xorig, SCM env); | |
149 | SCM_API SCM scm_m_letstar (SCM xorig, SCM env); | |
150 | SCM_API SCM scm_m_do (SCM xorig, SCM env); | |
151 | SCM_API SCM scm_m_quasiquote (SCM xorig, SCM env); | |
152 | SCM_API SCM scm_m_delay (SCM xorig, SCM env); | |
5cb22e96 | 153 | SCM_API SCM scm_m_generalized_set_x (SCM xorig, SCM env); |
28d52ebb | 154 | SCM_API SCM scm_m_future (SCM xorig, SCM env); |
33b001fd MV |
155 | SCM_API SCM scm_m_define (SCM x, SCM env); |
156 | SCM_API SCM scm_m_letrec (SCM xorig, SCM env); | |
157 | SCM_API SCM scm_m_let (SCM xorig, SCM env); | |
158 | SCM_API SCM scm_m_apply (SCM xorig, SCM env); | |
159 | SCM_API SCM scm_m_cont (SCM xorig, SCM env); | |
5e5f51c3 | 160 | #if SCM_ENABLE_ELISP |
33b001fd | 161 | SCM_API SCM scm_m_nil_cond (SCM xorig, SCM env); |
33b001fd | 162 | SCM_API SCM scm_m_atfop (SCM xorig, SCM env); |
c96d76b8 | 163 | #endif /* SCM_ENABLE_ELISP */ |
33b001fd | 164 | SCM_API SCM scm_m_atbind (SCM xorig, SCM env); |
b0c5d67b DH |
165 | SCM_API SCM scm_m_atslot_ref (SCM xorig, SCM env); |
166 | SCM_API SCM scm_m_atslot_set_x (SCM xorig, SCM env); | |
167 | SCM_API SCM scm_m_atdispatch (SCM xorig, SCM env); | |
33b001fd MV |
168 | SCM_API SCM scm_m_at_call_with_values (SCM xorig, SCM env); |
169 | SCM_API int scm_badargsp (SCM formals, SCM args); | |
170 | SCM_API SCM scm_ceval (SCM x, SCM env); | |
171 | SCM_API SCM scm_deval (SCM x, SCM env); | |
172 | SCM_API SCM scm_call_0 (SCM proc); | |
173 | SCM_API SCM scm_call_1 (SCM proc, SCM arg1); | |
174 | SCM_API SCM scm_call_2 (SCM proc, SCM arg1, SCM arg2); | |
175 | SCM_API SCM scm_call_3 (SCM proc, SCM arg1, SCM arg2, SCM arg3); | |
176 | SCM_API SCM scm_call_4 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM arg4); | |
177 | SCM_API SCM scm_apply_0 (SCM proc, SCM args); | |
178 | SCM_API SCM scm_apply_1 (SCM proc, SCM arg1, SCM args); | |
179 | SCM_API SCM scm_apply_2 (SCM proc, SCM arg1, SCM arg2, SCM args); | |
180 | SCM_API SCM scm_apply_3 (SCM proc, SCM arg1, SCM arg2, SCM arg3, SCM args); | |
756414cf MD |
181 | SCM_API SCM scm_i_call_closure_0 (SCM proc); |
182 | SCM_API scm_t_trampoline_0 scm_trampoline_0 (SCM proc); | |
504d99c5 MD |
183 | SCM_API scm_t_trampoline_1 scm_trampoline_1 (SCM proc); |
184 | SCM_API scm_t_trampoline_2 scm_trampoline_2 (SCM proc); | |
33b001fd MV |
185 | SCM_API SCM scm_nconc2last (SCM lst); |
186 | SCM_API SCM scm_apply (SCM proc, SCM arg1, SCM args); | |
187 | SCM_API SCM scm_dapply (SCM proc, SCM arg1, SCM args); | |
33b001fd MV |
188 | SCM_API SCM scm_map (SCM proc, SCM arg1, SCM args); |
189 | SCM_API SCM scm_for_each (SCM proc, SCM arg1, SCM args); | |
190 | SCM_API SCM scm_closure (SCM code, SCM env); | |
191 | SCM_API SCM scm_makprom (SCM code); | |
192 | SCM_API SCM scm_force (SCM x); | |
193 | SCM_API SCM scm_promise_p (SCM x); | |
194 | SCM_API SCM scm_cons_source (SCM xorig, SCM x, SCM y); | |
195 | SCM_API SCM scm_copy_tree (SCM obj); | |
196 | SCM_API SCM scm_i_eval_x (SCM exp, SCM env); | |
197 | SCM_API SCM scm_i_eval (SCM exp, SCM env); | |
198 | SCM_API SCM scm_primitive_eval (SCM exp); | |
199 | SCM_API SCM scm_primitive_eval_x (SCM exp); | |
200 | SCM_API SCM scm_eval (SCM exp, SCM module); | |
201 | SCM_API SCM scm_eval_x (SCM exp, SCM module); | |
083629be | 202 | |
33b001fd | 203 | SCM_API void scm_init_eval (void); |
0f2d19dd | 204 | |
f58c472a DH |
205 | |
206 | #if (SCM_ENABLE_DEPRECATED == 1) | |
207 | ||
208 | SCM_API SCM scm_m_undefine (SCM x, SCM env); | |
209 | ||
328dc9a3 DH |
210 | /* Deprecated in guile 1.7.0 on 2003-11-09. */ |
211 | SCM_API SCM scm_m_expand_body (SCM xorig, SCM env); | |
212 | ||
6f81708a DH |
213 | /* Deprecated in guile 1.7.0 on 2003-11-16. */ |
214 | SCM_API SCM scm_unmemocar (SCM form, SCM env); | |
215 | SCM_API SCM scm_macroexp (SCM x, SCM env); | |
216 | ||
f58c472a DH |
217 | #endif |
218 | ||
219 | ||
22a52da1 | 220 | #endif /* SCM_EVAL_H */ |
89e00824 ML |
221 | |
222 | /* | |
223 | Local Variables: | |
224 | c-file-style: "gnu" | |
225 | End: | |
226 | */ |