5 /* Copyright (C) 1995, 1996 ,1998, 1999 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"
54 extern scm_option scm_eval_opts
[];
56 #define SCM_EVAL_STACK scm_eval_opts[0].val
57 #define SCM_N_EVAL_OPTIONS 1
59 extern int scm_eval_stack
;
61 extern scm_option scm_evaluator_trap_table
[];
63 extern SCM scm_eval_options_interface
SCM_P ((SCM setting
));
65 #define SCM_TRAPS_P scm_evaluator_trap_table[0].val
66 #define SCM_ENTER_FRAME_P scm_evaluator_trap_table[1].val
67 #define SCM_APPLY_FRAME_P scm_evaluator_trap_table[2].val
68 #define SCM_EXIT_FRAME_P scm_evaluator_trap_table[3].val
69 #define SCM_N_EVALUATOR_TRAPS 4
75 * Ilocs are relative pointers into local environment structures.
78 #define SCM_ILOCP(n) (SCM_ITAG8(n)==scm_tc8_iloc)
79 #define SCM_ILOC00 SCM_MAKE_ITAG8(0L, scm_tc8_iloc)
80 #define SCM_IDINC (0x00100000L)
81 #define SCM_ICDR (0x00080000L)
82 #define SCM_IFRINC (0x00000100L)
83 #define SCM_IDSTMSK (-SCM_IDINC)
84 #define SCM_IFRAME(n) ((int)((SCM_ICDR-SCM_IFRINC)>>8) & ((int)(n)>>8))
85 #define SCM_IDIST(n) (((unsigned long)(n))>>20)
86 #define SCM_ICDRP(n) (SCM_ICDR & (n))
93 * For an explanation of symbols containing "EVAL", see beginning of eval.c.
96 #define SCM_EVALIM(x, env) (SCM_ILOCP (x) ? *scm_ilookup ((x), env) : x)
98 #define SCM_EVALIM(x, env) x
100 #ifdef DEBUG_EXTENSIONS
101 #define SCM_XEVAL(x, env) (SCM_IMP (x) \
103 : (*scm_ceval_ptr) ((x), (env)))
104 #define SCM_XEVALCAR(x, env) (SCM_NCELLP (SCM_CAR (x)) \
105 ? (SCM_IMP (SCM_CAR (x)) \
106 ? SCM_EVALIM (SCM_CAR (x), env) \
107 : SCM_GLOC_VAL (SCM_CAR (x))) \
108 : (SCM_SYMBOLP (SCM_CAR (x)) \
109 ? *scm_lookupcar (x, env, 1) \
110 : (*scm_ceval_ptr) (SCM_CAR (x), env)))
112 #define SCM_XEVAL(x, env) (SCM_IMP (x) ? (x) : scm_ceval ((x), (env)))
113 #define SCM_XEVALCAR(x, env) EVALCAR (x, env)
114 #endif /* DEBUG_EXTENSIONS */
118 #define SCM_EXTEND_ENV scm_acons
121 extern const char scm_s_expression
[];
122 extern const char scm_s_test
[];
123 extern const char scm_s_body
[];
124 extern const char scm_s_bindings
[];
125 extern const char scm_s_variable
[];
126 extern const char scm_s_clauses
[];
127 extern const char scm_s_formals
[];
128 extern const char scm_s_set_x
[];
130 extern SCM scm_sym_and
;
131 extern SCM scm_sym_begin
;
132 extern SCM scm_sym_case
;
133 extern SCM scm_sym_cond
;
134 extern SCM scm_sym_define
;
135 extern SCM scm_sym_do
;
136 extern SCM scm_sym_if
;
137 extern SCM scm_sym_lambda
;
138 extern SCM scm_sym_let
;
139 extern SCM scm_sym_letstar
;
140 extern SCM scm_sym_letrec
;
141 extern SCM scm_sym_quote
;
142 extern SCM scm_sym_quasiquote
;
143 extern SCM scm_sym_unquote
;
144 extern SCM scm_sym_uq_splicing
;
146 extern SCM scm_sym_dot
;
147 extern SCM scm_sym_atapply
;
148 extern SCM scm_sym_atcall_cc
;
149 extern SCM scm_sym_delay
;
150 extern SCM scm_sym_arrow
;
151 extern SCM scm_sym_else
;
152 extern SCM scm_sym_apply
;
153 extern SCM scm_sym_set_x
;
154 extern SCM scm_sym_args
;
156 extern SCM scm_f_apply
;
158 extern long scm_tc16_macro
;
160 /* A resolved global variable reference in the CAR position
161 * of a list is stored (in code only) as a pointer to a pair with a
162 * tag of 1. This is called a "gloc".
165 #define SCM_GLOC_SYM(x) (SCM_CAR((x)-1L))
166 #define SCM_GLOC_VAL(x) (SCM_CDR((x)-1L))
167 #define SCM_GLOC_VAL_LOC(x) (SCM_CDRLOC((x)-1L))
171 extern SCM
* scm_ilookup
SCM_P ((SCM iloc
, SCM env
));
172 extern SCM
* scm_lookupcar
SCM_P ((SCM vloc
, SCM genv
, int check
));
173 extern SCM scm_unmemocar
SCM_P ((SCM form
, SCM env
));
174 extern SCM scm_unmemocopy
SCM_P ((SCM form
, SCM env
));
175 extern SCM scm_eval_car
SCM_P ((SCM pair
, SCM env
));
176 extern SCM
scm_eval_body (SCM code
, SCM env
);
177 extern SCM scm_eval_args
SCM_P ((SCM i
, SCM env
, SCM proc
));
178 extern SCM scm_deval_args
SCM_P ((SCM l
, SCM env
, SCM proc
, SCM
*lloc
));
179 extern SCM scm_m_quote
SCM_P ((SCM xorig
, SCM env
));
180 extern SCM scm_m_begin
SCM_P ((SCM xorig
, SCM env
));
181 extern SCM scm_m_if
SCM_P ((SCM xorig
, SCM env
));
182 extern SCM scm_m_set_x
SCM_P ((SCM xorig
, SCM env
));
183 extern SCM scm_m_vref
SCM_P ((SCM xorig
, SCM env
));
184 extern SCM scm_m_vset
SCM_P ((SCM xorig
, SCM env
));
185 extern SCM scm_m_and
SCM_P ((SCM xorig
, SCM env
));
186 extern SCM scm_m_or
SCM_P ((SCM xorig
, SCM env
));
187 extern SCM scm_m_case
SCM_P ((SCM xorig
, SCM env
));
188 extern SCM scm_m_cond
SCM_P ((SCM xorig
, SCM env
));
189 extern SCM scm_m_lambda
SCM_P ((SCM xorig
, SCM env
));
190 extern SCM scm_m_letstar
SCM_P ((SCM xorig
, SCM env
));
191 extern SCM scm_m_do
SCM_P ((SCM xorig
, SCM env
));
192 extern SCM scm_m_quasiquote
SCM_P ((SCM xorig
, SCM env
));
193 extern SCM scm_m_delay
SCM_P ((SCM xorig
, SCM env
));
194 extern SCM scm_m_define
SCM_P ((SCM x
, SCM env
));
195 extern SCM scm_m_letrec
SCM_P ((SCM xorig
, SCM env
));
196 extern SCM scm_m_let
SCM_P ((SCM xorig
, SCM env
));
197 extern SCM scm_m_apply
SCM_P ((SCM xorig
, SCM env
));
198 extern SCM scm_m_cont
SCM_P ((SCM xorig
, SCM env
));
199 extern SCM
scm_m_nil_cond (SCM xorig
, SCM env
);
200 extern SCM
scm_m_nil_ify (SCM xorig
, SCM env
);
201 extern SCM
scm_m_t_ify (SCM xorig
, SCM env
);
202 extern SCM
scm_m_0_cond (SCM xorig
, SCM env
);
203 extern SCM
scm_m_0_ify (SCM xorig
, SCM env
);
204 extern SCM
scm_m_1_ify (SCM xorig
, SCM env
);
205 extern SCM
scm_m_atfop (SCM xorig
, SCM env
);
206 extern SCM
scm_m_atbind (SCM xorig
, SCM env
);
207 extern int scm_badargsp
SCM_P ((SCM formals
, SCM args
));
208 extern SCM scm_ceval
SCM_P ((SCM x
, SCM env
));
209 extern SCM scm_deval
SCM_P ((SCM x
, SCM env
));
210 extern SCM scm_nconc2last
SCM_P ((SCM lst
));
211 extern SCM scm_apply
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
212 extern SCM scm_dapply
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
213 extern SCM scm_m_expand_body
SCM_P ((SCM xorig
, SCM env
));
214 extern SCM scm_macroexp
SCM_P ((SCM x
, SCM env
));
215 extern SCM scm_map
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
216 extern SCM scm_for_each
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
217 extern SCM scm_closure
SCM_P ((SCM code
, SCM env
));
218 extern SCM scm_makprom
SCM_P ((SCM code
));
219 extern SCM scm_force
SCM_P ((SCM x
));
220 extern SCM scm_promise_p
SCM_P ((SCM x
));
221 extern SCM
scm_cons_source (SCM xorig
, SCM x
, SCM y
);
222 extern SCM scm_copy_tree
SCM_P ((SCM obj
));
223 extern SCM scm_eval_3
SCM_P ((SCM obj
, int copyp
, SCM env
));
224 extern SCM scm_eval2
SCM_P ((SCM obj
, SCM env_thunk
));
225 extern SCM scm_eval
SCM_P ((SCM obj
));
226 extern SCM scm_eval_x
SCM_P ((SCM obj
));
227 extern void scm_init_eval
SCM_P ((void));