Commit | Line | Data |
---|---|---|
0f2d19dd JB |
1 | /* classes: h_files */ |
2 | ||
3 | #ifndef EVALH | |
4 | #define EVALH | |
7dc6e754 | 5 | /* Copyright (C) 1995,1996,1998 Free Software Foundation, Inc. |
0f2d19dd JB |
6 | * |
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) | |
10 | * any later version. | |
11 | * | |
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. | |
16 | * | |
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 | |
82892bed JB |
19 | * the Free Software Foundation, Inc., 59 Temple Place, Suite 330, |
20 | * Boston, MA 02111-1307 USA | |
0f2d19dd JB |
21 | * |
22 | * As a special exception, the Free Software Foundation gives permission | |
23 | * for additional uses of the text contained in its release of GUILE. | |
24 | * | |
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. | |
30 | * | |
31 | * This exception does not however invalidate any other reasons why | |
32 | * the executable file might be covered by the GNU General Public License. | |
33 | * | |
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. | |
41 | * | |
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. | |
82892bed | 44 | * If you do not wish that, delete this exception notice. */ |
0f2d19dd JB |
45 | \f |
46 | ||
b4309c3c | 47 | #include "libguile/__scm.h" |
0f2d19dd JB |
48 | |
49 | \f | |
50 | ||
33b97402 MD |
51 | /* {Options} |
52 | */ | |
53 | ||
54 | extern scm_option scm_eval_opts[]; | |
55 | ||
56 | #define SCM_EVAL_STACK scm_eval_opts[0].val | |
57 | #define SCM_N_EVAL_OPTIONS 1 | |
58 | ||
2c2b0670 | 59 | extern int scm_eval_stack; |
a74145b8 | 60 | |
33b97402 MD |
61 | extern scm_option scm_evaluator_trap_table[]; |
62 | ||
38b9c0c3 JB |
63 | extern SCM scm_eval_options_interface SCM_P ((SCM setting)); |
64 | ||
066dacf8 MD |
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 | |
33b97402 MD |
70 | |
71 | \f | |
72 | ||
0f2d19dd JB |
73 | /* {Ilocs} |
74 | * | |
75 | * Ilocs are relative pointers into local environment structures. | |
76 | * | |
77 | */ | |
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)) | |
87 | ||
88 | \f | |
89 | ||
90 | ||
8d1e7f8c MD |
91 | /* {Evaluator} |
92 | * | |
93 | * For an explanation of symbols containing "EVAL", see beginning of eval.c. | |
94 | */ | |
2a758f6f MD |
95 | #ifdef MEMOIZE_LOCALS |
96 | #define SCM_EVALIM(x, env) (SCM_ILOCP(x)?*scm_ilookup((x), env):x) | |
97 | #else | |
98 | #define SCM_EVALIM(x, env) x | |
99 | #endif | |
0f2d19dd | 100 | #ifdef DEBUG_EXTENSIONS |
2a758f6f | 101 | #define SCM_XEVAL(x, env) (SCM_IMP(x) \ |
0f2d19dd JB |
102 | ? (x) \ |
103 | : (*scm_ceval_ptr) ((x), (env))) | |
2a758f6f MD |
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) \ | |
110 | : (*scm_ceval_ptr) (SCM_CAR(x), env))) | |
0f2d19dd | 111 | #else |
2a758f6f MD |
112 | #define SCM_XEVAL(x, env) (SCM_IMP(x)?(x):scm_ceval((x), (env))) |
113 | #define SCM_XEVALCAR(x, env) EVALCAR(x, env) | |
0f2d19dd JB |
114 | #endif /* DEBUG_EXTENSIONS */ |
115 | ||
0f2d19dd JB |
116 | \f |
117 | ||
e2806c10 | 118 | #define SCM_EXTEND_ENV scm_acons |
0f2d19dd JB |
119 | |
120 | \f | |
3eeba8d4 JB |
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[]; | |
2a758f6f | 128 | |
0f2d19dd JB |
129 | extern SCM scm_i_dot; |
130 | extern SCM scm_i_quote; | |
131 | extern SCM scm_i_quasiquote; | |
132 | extern SCM scm_i_lambda; | |
133 | extern SCM scm_i_let; | |
134 | extern SCM scm_i_arrow; | |
135 | extern SCM scm_i_else; | |
136 | extern SCM scm_i_unquote; | |
137 | extern SCM scm_i_uq_splicing; | |
138 | extern SCM scm_i_apply; | |
0f2d19dd | 139 | |
7332df66 | 140 | extern long scm_tc16_macro; |
0f2d19dd JB |
141 | |
142 | /* A resolved global variable reference in the CAR position | |
143 | * of a list is stored (in code only) as a pointer to a pair with a | |
144 | * tag of 1. This is called a "gloc". | |
145 | */ | |
146 | ||
147 | #define SCM_GLOC_SYM(x) (SCM_CAR((x)-1L)) | |
148 | #define SCM_GLOC_VAL(x) (SCM_CDR((x)-1L)) | |
e6d34cb6 | 149 | #define SCM_GLOC_VAL_LOC(x) (SCM_CDRLOC((x)-1L)) |
0f2d19dd JB |
150 | |
151 | \f | |
1cc91f1b JB |
152 | |
153 | extern SCM * scm_ilookup SCM_P ((SCM iloc, SCM env)); | |
154 | extern SCM * scm_lookupcar SCM_P ((SCM vloc, SCM genv)); | |
155 | extern SCM scm_unmemocar SCM_P ((SCM form, SCM env)); | |
156 | extern SCM scm_unmemocopy SCM_P ((SCM form, SCM env)); | |
157 | extern SCM scm_eval_car SCM_P ((SCM pair, SCM env)); | |
680ed4a8 MD |
158 | extern SCM scm_eval_args SCM_P ((SCM i, SCM env, SCM proc)); |
159 | extern SCM scm_deval_args SCM_P ((SCM l, SCM env, SCM proc, SCM *lloc)); | |
1cc91f1b JB |
160 | extern SCM scm_m_quote SCM_P ((SCM xorig, SCM env)); |
161 | extern SCM scm_m_begin SCM_P ((SCM xorig, SCM env)); | |
162 | extern SCM scm_m_if SCM_P ((SCM xorig, SCM env)); | |
163 | extern SCM scm_m_set SCM_P ((SCM xorig, SCM env)); | |
164 | extern SCM scm_m_vref SCM_P ((SCM xorig, SCM env)); | |
165 | extern SCM scm_m_vset SCM_P ((SCM xorig, SCM env)); | |
166 | extern SCM scm_m_and SCM_P ((SCM xorig, SCM env)); | |
167 | extern SCM scm_m_or SCM_P ((SCM xorig, SCM env)); | |
168 | extern SCM scm_m_case SCM_P ((SCM xorig, SCM env)); | |
169 | extern SCM scm_m_cond SCM_P ((SCM xorig, SCM env)); | |
170 | extern SCM scm_m_lambda SCM_P ((SCM xorig, SCM env)); | |
171 | extern SCM scm_m_letstar SCM_P ((SCM xorig, SCM env)); | |
172 | extern SCM scm_m_do SCM_P ((SCM xorig, SCM env)); | |
173 | extern SCM scm_m_quasiquote SCM_P ((SCM xorig, SCM env)); | |
174 | extern SCM scm_m_delay SCM_P ((SCM xorig, SCM env)); | |
175 | extern SCM scm_m_define SCM_P ((SCM x, SCM env)); | |
176 | extern SCM scm_m_letrec SCM_P ((SCM xorig, SCM env)); | |
177 | extern SCM scm_m_let SCM_P ((SCM xorig, SCM env)); | |
178 | extern SCM scm_m_apply SCM_P ((SCM xorig, SCM env)); | |
179 | extern SCM scm_m_cont SCM_P ((SCM xorig, SCM env)); | |
1cc91f1b JB |
180 | extern int scm_badargsp SCM_P ((SCM formals, SCM args)); |
181 | extern SCM scm_ceval SCM_P ((SCM x, SCM env)); | |
182 | extern SCM scm_deval SCM_P ((SCM x, SCM env)); | |
1cc91f1b JB |
183 | extern SCM scm_nconc2last SCM_P ((SCM lst)); |
184 | extern SCM scm_apply SCM_P ((SCM proc, SCM arg1, SCM args)); | |
185 | extern SCM scm_dapply SCM_P ((SCM proc, SCM arg1, SCM args)); | |
186 | extern SCM SCM_APPLY SCM_P ((SCM proc, SCM arg1, SCM args)); | |
187 | extern SCM scm_map SCM_P ((SCM proc, SCM arg1, SCM args)); | |
188 | extern SCM scm_for_each SCM_P ((SCM proc, SCM arg1, SCM args)); | |
189 | extern SCM scm_closure SCM_P ((SCM code, SCM env)); | |
190 | extern SCM scm_makprom SCM_P ((SCM code)); | |
1cc91f1b JB |
191 | extern SCM scm_force SCM_P ((SCM x)); |
192 | extern SCM scm_promise_p SCM_P ((SCM x)); | |
193 | extern SCM scm_copy_tree SCM_P ((SCM obj)); | |
194 | extern SCM scm_eval_3 SCM_P ((SCM obj, int copyp, SCM env)); | |
2a758f6f | 195 | extern SCM scm_env_top_level SCM_P ((SCM env)); |
1cc91f1b JB |
196 | extern SCM scm_top_level_env SCM_P ((SCM thunk)); |
197 | extern SCM scm_eval2 SCM_P ((SCM obj, SCM env_thunk)); | |
198 | extern SCM scm_eval SCM_P ((SCM obj)); | |
199 | extern SCM scm_eval_x SCM_P ((SCM obj)); | |
1cc91f1b | 200 | extern void scm_init_eval SCM_P ((void)); |
0f2d19dd JB |
201 | |
202 | #endif /* EVALH */ |