5 /* Copyright (C) 1995,1996,1998,1999,2000,2001 Free Software Foundation, Inc.
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 2, or (at your option)
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with this software; see the file COPYING. If not, write to
19 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
20 * Boston, MA 02111-1307 USA
22 * As a special exception, the Free Software Foundation gives permission
23 * for additional uses of the text contained in its release of GUILE.
25 * The exception is that, if you link the GUILE library with other files
26 * to produce an executable, this does not by itself cause the
27 * resulting executable to be covered by the GNU General Public License.
28 * Your use of that executable is in no way restricted on account of
29 * linking the GUILE library code into it.
31 * This exception does not however invalidate any other reasons why
32 * the executable file might be covered by the GNU General Public License.
34 * This exception applies only to the code released by the
35 * Free Software Foundation under the name GUILE. If you copy
36 * code from other Free Software Foundation releases into a copy of
37 * GUILE, as the General Public License permits, the exception does
38 * not apply to the code that you add in this way. To avoid misleading
39 * anyone as to the status of such modified files, you must delete
40 * this exception notice from them.
42 * If you write modifications of your own for GUILE, it is your choice
43 * whether to permit this exception to apply to your modifications.
44 * If you do not wish that, delete this exception notice. */
47 #include "libguile/__scm.h"
56 extern scm_t_option scm_eval_opts
[];
58 #define SCM_EVAL_STACK scm_eval_opts[0].val
59 #define SCM_N_EVAL_OPTIONS 1
61 extern long scm_eval_stack
;
63 extern scm_t_option scm_evaluator_trap_table
[];
65 extern SCM
scm_eval_options_interface (SCM setting
);
67 #define SCM_TRAPS_P scm_evaluator_trap_table[0].val
68 #define SCM_ENTER_FRAME_P scm_evaluator_trap_table[1].val
69 #define SCM_APPLY_FRAME_P scm_evaluator_trap_table[2].val
70 #define SCM_EXIT_FRAME_P scm_evaluator_trap_table[3].val
71 #define SCM_ENTER_FRAME_HDLR (SCM)(scm_evaluator_trap_table[4].val)
72 #define SCM_APPLY_FRAME_HDLR (SCM)(scm_evaluator_trap_table[5].val)
73 #define SCM_EXIT_FRAME_HDLR (SCM)(scm_evaluator_trap_table[6].val)
74 #define SCM_N_EVALUATOR_TRAPS 7
80 * Ilocs are relative pointers into local environment structures.
83 #define SCM_ILOCP(n) (SCM_ITAG8(n)==scm_tc8_iloc)
84 #define SCM_ILOC00 SCM_MAKE_ITAG8(0L, scm_tc8_iloc)
85 #define SCM_IDINC (0x00100000L)
86 #define SCM_ICDR (0x00080000L)
87 #define SCM_IFRINC (0x00000100L)
88 #define SCM_IDSTMSK (-SCM_IDINC)
89 #define SCM_IFRAME(n) ((long)((SCM_ICDR-SCM_IFRINC)>>8) \
90 & (SCM_UNPACK (n) >> 8))
91 #define SCM_IDIST(n) (SCM_UNPACK (n) >> 20)
92 #define SCM_ICDRP(n) (SCM_ICDR & SCM_UNPACK (n))
99 * For an explanation of symbols containing "EVAL", see beginning of eval.c.
101 #define SCM_EVALIM2(x) \
102 ((SCM_EQ_P ((x), SCM_EOL) \
103 ? scm_misc_error (NULL, scm_s_expression, SCM_EOL), 0 \
106 #ifdef MEMOIZE_LOCALS
107 #define SCM_EVALIM(x, env) (SCM_ILOCP (x) \
108 ? *scm_ilookup ((x), env) \
111 #define SCM_EVALIM(x, env) SCM_EVALIM2(x)
113 #ifdef DEBUG_EXTENSIONS
114 #define SCM_XEVAL(x, env) (SCM_IMP (x) \
116 : (*scm_ceval_ptr) ((x), (env)))
117 #define SCM_XEVALCAR(x, env) (SCM_NCELLP (SCM_CAR (x)) \
118 ? SCM_EVALIM (SCM_CAR (x), env) \
119 : (SCM_SYMBOLP (SCM_CAR (x)) \
120 ? *scm_lookupcar (x, env, 1) \
121 : (*scm_ceval_ptr) (SCM_CAR (x), env)))
123 #define SCM_XEVAL(x, env) (SCM_IMP (x) \
125 : scm_ceval ((x), (env)))
126 #define SCM_XEVALCAR(x, env) EVALCAR (x, env)
127 #endif /* DEBUG_EXTENSIONS */
131 #define SCM_EXTEND_ENV scm_acons
133 /*fixme* This should probably be removed throught the code. */
135 #define SCM_TOP_LEVEL_LOOKUP_CLOSURE (scm_current_module_lookup_closure())
137 #if SCM_DEBUG_DEPRECATED == 0
139 extern SCM scm_top_level_lookup_closure_var
;
140 extern SCM scm_system_transformer
;
145 extern const char scm_s_expression
[];
146 extern const char scm_s_test
[];
147 extern const char scm_s_body
[];
148 extern const char scm_s_bindings
[];
149 extern const char scm_s_variable
[];
150 extern const char scm_s_clauses
[];
151 extern const char scm_s_formals
[];
152 extern const char scm_s_set_x
[];
154 extern SCM scm_sym_and
;
155 extern SCM scm_sym_begin
;
156 extern SCM scm_sym_case
;
157 extern SCM scm_sym_cond
;
158 extern SCM scm_sym_define
;
159 extern SCM scm_sym_do
;
160 extern SCM scm_sym_if
;
161 extern SCM scm_sym_lambda
;
162 extern SCM scm_sym_let
;
163 extern SCM scm_sym_letstar
;
164 extern SCM scm_sym_letrec
;
165 extern SCM scm_sym_quote
;
166 extern SCM scm_sym_quasiquote
;
167 extern SCM scm_sym_unquote
;
168 extern SCM scm_sym_uq_splicing
;
170 extern SCM scm_sym_dot
;
171 extern SCM scm_sym_atapply
;
172 extern SCM scm_sym_atcall_cc
;
173 extern SCM scm_sym_at_call_with_values
;
174 extern SCM scm_sym_delay
;
175 extern SCM scm_sym_arrow
;
176 extern SCM scm_sym_else
;
177 extern SCM scm_sym_apply
;
178 extern SCM scm_sym_set_x
;
179 extern SCM scm_sym_args
;
181 extern SCM scm_f_apply
;
185 extern SCM
* scm_ilookup (SCM iloc
, SCM env
);
186 extern SCM
* scm_lookupcar (SCM vloc
, SCM genv
, int check
);
187 extern SCM
scm_unmemocar (SCM form
, SCM env
);
188 extern SCM
scm_unmemocopy (SCM form
, SCM env
);
189 extern SCM
scm_eval_car (SCM pair
, SCM env
);
190 extern SCM
scm_eval_body (SCM code
, SCM env
);
191 extern SCM
scm_eval_args (SCM i
, SCM env
, SCM proc
);
192 extern SCM
scm_deval_args (SCM l
, SCM env
, SCM proc
, SCM
*lloc
);
193 extern SCM
scm_m_quote (SCM xorig
, SCM env
);
194 extern SCM
scm_m_begin (SCM xorig
, SCM env
);
195 extern SCM
scm_m_if (SCM xorig
, SCM env
);
196 extern SCM
scm_m_set_x (SCM xorig
, SCM env
);
197 extern SCM
scm_m_vref (SCM xorig
, SCM env
);
198 extern SCM
scm_m_vset (SCM xorig
, SCM env
);
199 extern SCM
scm_m_and (SCM xorig
, SCM env
);
200 extern SCM
scm_m_or (SCM xorig
, SCM env
);
201 extern SCM
scm_m_case (SCM xorig
, SCM env
);
202 extern SCM
scm_m_cond (SCM xorig
, SCM env
);
203 extern SCM
scm_m_lambda (SCM xorig
, SCM env
);
204 extern SCM
scm_m_letstar (SCM xorig
, SCM env
);
205 extern SCM
scm_m_do (SCM xorig
, SCM env
);
206 extern SCM
scm_m_quasiquote (SCM xorig
, SCM env
);
207 extern SCM
scm_m_delay (SCM xorig
, SCM env
);
208 extern SCM
scm_m_define (SCM x
, SCM env
);
209 extern SCM
scm_m_letrec (SCM xorig
, SCM env
);
210 extern SCM
scm_m_let (SCM xorig
, SCM env
);
211 extern SCM
scm_m_apply (SCM xorig
, SCM env
);
212 extern SCM
scm_m_cont (SCM xorig
, SCM env
);
213 extern SCM
scm_m_nil_cond (SCM xorig
, SCM env
);
214 extern SCM
scm_m_nil_ify (SCM xorig
, SCM env
);
215 extern SCM
scm_m_t_ify (SCM xorig
, SCM env
);
216 extern SCM
scm_m_0_cond (SCM xorig
, SCM env
);
217 extern SCM
scm_m_0_ify (SCM xorig
, SCM env
);
218 extern SCM
scm_m_1_ify (SCM xorig
, SCM env
);
219 extern SCM
scm_m_atfop (SCM xorig
, SCM env
);
220 extern SCM
scm_m_atbind (SCM xorig
, SCM env
);
221 extern SCM
scm_m_at_call_with_values (SCM xorig
, SCM env
);
222 extern int scm_badargsp (SCM formals
, SCM args
);
223 extern SCM
scm_ceval (SCM x
, SCM env
);
224 extern SCM
scm_deval (SCM x
, SCM env
);
225 extern SCM
scm_call_0 (SCM proc
);
226 extern SCM
scm_call_1 (SCM proc
, SCM arg1
);
227 extern SCM
scm_call_2 (SCM proc
, SCM arg1
, SCM arg2
);
228 extern SCM
scm_call_3 (SCM proc
, SCM arg1
, SCM arg2
, SCM arg3
);
229 extern SCM
scm_call_4 (SCM proc
, SCM arg1
, SCM arg2
, SCM arg3
, SCM arg4
);
230 extern SCM
scm_apply_0 (SCM proc
, SCM args
);
231 extern SCM
scm_apply_1 (SCM proc
, SCM arg1
, SCM args
);
232 extern SCM
scm_apply_2 (SCM proc
, SCM arg1
, SCM arg2
, SCM args
);
233 extern SCM
scm_apply_3 (SCM proc
, SCM arg1
, SCM arg2
, SCM arg3
, SCM args
);
234 extern SCM
scm_nconc2last (SCM lst
);
235 extern SCM
scm_apply (SCM proc
, SCM arg1
, SCM args
);
236 extern SCM
scm_dapply (SCM proc
, SCM arg1
, SCM args
);
237 extern SCM
scm_m_expand_body (SCM xorig
, SCM env
);
238 extern SCM
scm_macroexp (SCM x
, SCM env
);
239 extern SCM
scm_map (SCM proc
, SCM arg1
, SCM args
);
240 extern SCM
scm_for_each (SCM proc
, SCM arg1
, SCM args
);
241 extern SCM
scm_closure (SCM code
, SCM env
);
242 extern SCM
scm_makprom (SCM code
);
243 extern SCM
scm_force (SCM x
);
244 extern SCM
scm_promise_p (SCM x
);
245 extern SCM
scm_cons_source (SCM xorig
, SCM x
, SCM y
);
246 extern SCM
scm_copy_tree (SCM obj
);
247 #if SCM_DEBUG_DEPRECATED == 0
248 extern SCM
scm_eval_3 (SCM obj
, int copyp
, SCM env
);
249 extern SCM
scm_eval2 (SCM obj
, SCM env_thunk
);
251 extern SCM
scm_i_eval_x (SCM exp
, SCM env
);
252 extern SCM
scm_i_eval (SCM exp
, SCM env
);
253 extern SCM
scm_primitive_eval (SCM exp
);
254 extern SCM
scm_primitive_eval_x (SCM exp
);
255 extern SCM
scm_eval (SCM exp
, SCM module
);
256 extern SCM
scm_eval_x (SCM exp
, SCM module
);
258 extern void scm_init_eval (void);
260 #endif /* SCM_EVAL_H */