Commit | Line | Data |
---|---|---|
0f2d19dd JB |
1 | /* classes: h_files */ |
2 | ||
3 | #ifndef EVALH | |
4 | #define EVALH | |
5 | /* Copyright (C) 1995,1996 Free Software Foundation, Inc. | |
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 | |
19 | * the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
20 | * | |
21 | * As a special exception, the Free Software Foundation gives permission | |
22 | * for additional uses of the text contained in its release of GUILE. | |
23 | * | |
24 | * The exception is that, if you link the GUILE library with other files | |
25 | * to produce an executable, this does not by itself cause the | |
26 | * resulting executable to be covered by the GNU General Public License. | |
27 | * Your use of that executable is in no way restricted on account of | |
28 | * linking the GUILE library code into it. | |
29 | * | |
30 | * This exception does not however invalidate any other reasons why | |
31 | * the executable file might be covered by the GNU General Public License. | |
32 | * | |
33 | * This exception applies only to the code released by the | |
34 | * Free Software Foundation under the name GUILE. If you copy | |
35 | * code from other Free Software Foundation releases into a copy of | |
36 | * GUILE, as the General Public License permits, the exception does | |
37 | * not apply to the code that you add in this way. To avoid misleading | |
38 | * anyone as to the status of such modified files, you must delete | |
39 | * this exception notice from them. | |
40 | * | |
41 | * If you write modifications of your own for GUILE, it is your choice | |
42 | * whether to permit this exception to apply to your modifications. | |
43 | * If you do not wish that, delete this exception notice. | |
44 | */ | |
45 | \f | |
46 | ||
47 | #include "__scm.h" | |
48 | ||
49 | \f | |
50 | ||
51 | /* {Ilocs} | |
52 | * | |
53 | * Ilocs are relative pointers into local environment structures. | |
54 | * | |
55 | */ | |
56 | #define SCM_ILOCP(n) (SCM_ITAG8(n)==scm_tc8_iloc) | |
57 | #define SCM_ILOC00 SCM_MAKE_ITAG8(0L, scm_tc8_iloc) | |
58 | #define SCM_IDINC (0x00100000L) | |
59 | #define SCM_ICDR (0x00080000L) | |
60 | #define SCM_IFRINC (0x00000100L) | |
61 | #define SCM_IDSTMSK (-SCM_IDINC) | |
62 | #define SCM_IFRAME(n) ((int)((SCM_ICDR-SCM_IFRINC)>>8) & ((int)(n)>>8)) | |
63 | #define SCM_IDIST(n) (((unsigned long)(n))>>20) | |
64 | #define SCM_ICDRP(n) (SCM_ICDR & (n)) | |
65 | ||
66 | \f | |
67 | ||
68 | ||
69 | /* Evaluator */ | |
70 | #ifdef DEBUG_EXTENSIONS | |
71 | #define EVAL(x, env) (SCM_IMP(x) \ | |
72 | ? (x) \ | |
73 | : (*scm_ceval_ptr) ((x), (env))) | |
74 | #else | |
75 | #define EVAL(x, env) (SCM_IMP(x)?(x):scm_ceval((x), (env))) | |
76 | #endif /* DEBUG_EXTENSIONS */ | |
77 | ||
78 | #define SCM_CEVAL scm_ceval | |
79 | #define SCM_APPLY scm_apply | |
80 | #define SIDEVAL(x, env) if SCM_NIMP(x) SCM_CEVAL((x), (env)) | |
81 | ||
82 | \f | |
83 | ||
84 | #define SCM_EXTEND_SCM_ENV scm_acons | |
85 | ||
86 | \f | |
87 | extern SCM scm_i_dot; | |
88 | extern SCM scm_i_quote; | |
89 | extern SCM scm_i_quasiquote; | |
90 | extern SCM scm_i_lambda; | |
91 | extern SCM scm_i_let; | |
92 | extern SCM scm_i_arrow; | |
93 | extern SCM scm_i_else; | |
94 | extern SCM scm_i_unquote; | |
95 | extern SCM scm_i_uq_splicing; | |
96 | extern SCM scm_i_apply; | |
97 | extern SCM scm_top_level_lookup_thunk_var; | |
98 | extern SCM scm_i_name; | |
99 | ||
100 | ||
101 | /* A resolved global variable reference in the CAR position | |
102 | * of a list is stored (in code only) as a pointer to a pair with a | |
103 | * tag of 1. This is called a "gloc". | |
104 | */ | |
105 | ||
106 | #define SCM_GLOC_SYM(x) (SCM_CAR((x)-1L)) | |
107 | #define SCM_GLOC_VAL(x) (SCM_CDR((x)-1L)) | |
108 | ||
109 | \f | |
110 | #ifdef __STDC__ | |
111 | extern SCM * scm_ilookup (SCM iloc, SCM env); | |
112 | extern SCM * scm_lookupcar (SCM vloc, SCM genv); | |
113 | extern SCM scm_unmemocar (SCM form, SCM env); | |
114 | extern SCM scm_eval_car (SCM pair, SCM env); | |
115 | extern SCM scm_m_quote (SCM xorig, SCM env); | |
116 | extern SCM scm_m_begin (SCM xorig, SCM env); | |
117 | extern SCM scm_m_if (SCM xorig, SCM env); | |
118 | extern SCM scm_m_set (SCM xorig, SCM env); | |
119 | extern SCM scm_m_vref (SCM xorig, SCM env); | |
120 | extern SCM scm_m_vset (SCM xorig, SCM env); | |
121 | extern SCM scm_m_and (SCM xorig, SCM env); | |
122 | extern SCM scm_m_or (SCM xorig, SCM env); | |
123 | extern SCM scm_m_case (SCM xorig, SCM env); | |
124 | extern SCM scm_m_cond (SCM xorig, SCM env); | |
125 | extern SCM scm_m_lambda (SCM xorig, SCM env); | |
126 | extern SCM scm_m_letstar (SCM xorig, SCM env); | |
127 | extern SCM scm_m_do (SCM xorig, SCM env); | |
128 | extern SCM scm_m_quasiquote (SCM xorig, SCM env); | |
129 | extern SCM scm_m_delay (SCM xorig, SCM env); | |
130 | extern SCM scm_m_define (SCM x, SCM env); | |
131 | extern SCM scm_m_letrec (SCM xorig, SCM env); | |
132 | extern SCM scm_m_let (SCM xorig, SCM env); | |
133 | extern SCM scm_m_apply (SCM xorig, SCM env); | |
134 | extern SCM scm_m_cont (SCM xorig, SCM env); | |
135 | extern int scm_badargsp (SCM formals, SCM args); | |
136 | extern SCM scm_ceval (SCM x, SCM env); | |
137 | extern SCM scm_deval (SCM x, SCM env); | |
138 | extern SCM scm_procedure_documentation (SCM proc); | |
139 | extern SCM scm_nconc2last (SCM lst); | |
140 | extern SCM scm_apply (SCM proc, SCM arg1, SCM args); | |
141 | extern SCM scm_dapply (SCM proc, SCM arg1, SCM args); | |
142 | extern SCM SCM_APPLY (SCM proc, SCM arg1, SCM args); | |
143 | extern SCM scm_map (SCM proc, SCM arg1, SCM args); | |
144 | extern SCM scm_for_each (SCM proc, SCM arg1, SCM args); | |
145 | extern SCM scm_closure (SCM code, SCM env); | |
146 | extern SCM scm_makprom (SCM code); | |
147 | extern SCM scm_makacro (SCM code); | |
148 | extern SCM scm_makmacro (SCM code); | |
149 | extern SCM scm_makmmacro (SCM code); | |
150 | extern SCM scm_force (SCM x); | |
151 | extern SCM scm_promise_p (SCM x); | |
152 | extern SCM scm_copy_tree (SCM obj); | |
153 | extern SCM scm_eval_3 (SCM obj, int copyp, SCM env); | |
154 | extern SCM scm_top_level_env (SCM thunk); | |
155 | extern SCM scm_eval2 (SCM obj, SCM env_thunk); | |
156 | extern SCM scm_eval (SCM obj); | |
157 | extern SCM scm_eval_x (SCM obj); | |
158 | extern SCM scm_macro_eval_x (SCM exp, SCM env); | |
159 | extern SCM scm_definedp (SCM x, SCM env); | |
160 | extern SCM scm_make_synt (char *name, SCM (*macroizer) (), SCM (*fcn) ()); | |
161 | extern void scm_init_eval (void); | |
162 | ||
163 | #else /* STDC */ | |
164 | extern SCM * scm_ilookup (); | |
165 | extern SCM * scm_lookupcar (); | |
166 | extern SCM scm_unmemocar (); | |
167 | extern SCM scm_eval_car (); | |
168 | extern SCM scm_m_quote (); | |
169 | extern SCM scm_m_begin (); | |
170 | extern SCM scm_m_if (); | |
171 | extern SCM scm_m_set (); | |
172 | extern SCM scm_m_vref (); | |
173 | extern SCM scm_m_vset (); | |
174 | extern SCM scm_m_and (); | |
175 | extern SCM scm_m_or (); | |
176 | extern SCM scm_m_case (); | |
177 | extern SCM scm_m_cond (); | |
178 | extern SCM scm_m_lambda (); | |
179 | extern SCM scm_m_letstar (); | |
180 | extern SCM scm_m_do (); | |
181 | extern SCM scm_m_quasiquote (); | |
182 | extern SCM scm_m_delay (); | |
183 | extern SCM scm_m_define (); | |
184 | extern SCM scm_m_letrec (); | |
185 | extern SCM scm_m_let (); | |
186 | extern SCM scm_m_apply (); | |
187 | extern SCM scm_m_cont (); | |
188 | extern int scm_badargsp (); | |
189 | extern SCM scm_ceval (); | |
190 | extern SCM scm_deval (); | |
191 | extern SCM scm_procedure_documentation (); | |
192 | extern SCM scm_nconc2last (); | |
193 | extern SCM scm_apply (); | |
194 | extern SCM scm_dapply (); | |
195 | extern SCM SCM_APPLY (); | |
196 | extern SCM scm_map (); | |
197 | extern SCM scm_for_each (); | |
198 | extern SCM scm_closure (); | |
199 | extern SCM scm_makprom (); | |
200 | extern SCM scm_makacro (); | |
201 | extern SCM scm_makmacro (); | |
202 | extern SCM scm_makmmacro (); | |
203 | extern SCM scm_force (); | |
204 | extern SCM scm_promise_p (); | |
205 | extern SCM scm_copy_tree (); | |
206 | extern SCM scm_eval_3 (); | |
207 | extern SCM scm_top_level_env (); | |
208 | extern SCM scm_eval2 (); | |
209 | extern SCM scm_eval (); | |
210 | extern SCM scm_eval_x (); | |
211 | extern SCM scm_macro_eval_x (); | |
212 | extern SCM scm_definedp (); | |
213 | extern SCM scm_make_synt (); | |
214 | extern void scm_init_eval (); | |
215 | ||
216 | #endif /* STDC */ | |
217 | ||
218 | #endif /* EVALH */ |