5 /* Copyright (C) 1995,1996 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, 675 Mass Ave, Cambridge, MA 02139, USA.
21 * As a special exception, the Free Software Foundation gives permission
22 * for additional uses of the text contained in its release of GUILE.
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.
30 * This exception does not however invalidate any other reasons why
31 * the executable file might be covered by the GNU General Public License.
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.
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.
47 #include "libguile/__scm.h"
53 * Ilocs are relative pointers into local environment structures.
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))
71 * For an explanation of symbols containing "EVAL", see beginning of eval.c.
73 #ifdef DEBUG_EXTENSIONS
74 #define XEVAL(x, env) (SCM_IMP(x) \
76 : (*scm_ceval_ptr) ((x), (env)))
78 #define XEVAL(x, env) (SCM_IMP(x)?(x):scm_ceval((x), (env)))
79 #endif /* DEBUG_EXTENSIONS */
81 #define SCM_CEVAL scm_ceval
82 #define SIDEVAL(x, env) if SCM_NIMP(x) SCM_CEVAL((x), (env))
86 #define SCM_EXTEND_ENV scm_acons
90 extern SCM scm_i_quote
;
91 extern SCM scm_i_quasiquote
;
92 extern SCM scm_i_lambda
;
94 extern SCM scm_i_arrow
;
95 extern SCM scm_i_else
;
96 extern SCM scm_i_unquote
;
97 extern SCM scm_i_uq_splicing
;
98 extern SCM scm_i_apply
;
99 extern SCM scm_i_name
;
102 /* A resolved global variable reference in the CAR position
103 * of a list is stored (in code only) as a pointer to a pair with a
104 * tag of 1. This is called a "gloc".
107 #define SCM_GLOC_SYM(x) (SCM_CAR((x)-1L))
108 #define SCM_GLOC_VAL(x) (SCM_CDR((x)-1L))
112 extern SCM
* scm_ilookup (SCM iloc
, SCM env
);
113 extern SCM
* scm_lookupcar (SCM vloc
, SCM genv
);
114 extern SCM
scm_unmemocar (SCM form
, SCM env
);
115 extern SCM
scm_unmemocopy (SCM form
, SCM env
);
116 extern SCM
scm_eval_car (SCM pair
, SCM env
);
117 extern SCM
scm_eval_args (SCM i
, SCM env
);
118 extern SCM
scm_deval_args (SCM l
, SCM env
, SCM
*lloc
);
119 extern SCM
scm_m_quote (SCM xorig
, SCM env
);
120 extern SCM
scm_m_begin (SCM xorig
, SCM env
);
121 extern SCM
scm_m_if (SCM xorig
, SCM env
);
122 extern SCM
scm_m_set (SCM xorig
, SCM env
);
123 extern SCM
scm_m_vref (SCM xorig
, SCM env
);
124 extern SCM
scm_m_vset (SCM xorig
, SCM env
);
125 extern SCM
scm_m_and (SCM xorig
, SCM env
);
126 extern SCM
scm_m_or (SCM xorig
, SCM env
);
127 extern SCM
scm_m_case (SCM xorig
, SCM env
);
128 extern SCM
scm_m_cond (SCM xorig
, SCM env
);
129 extern SCM
scm_m_lambda (SCM xorig
, SCM env
);
130 extern SCM
scm_m_letstar (SCM xorig
, SCM env
);
131 extern SCM
scm_m_do (SCM xorig
, SCM env
);
132 extern SCM
scm_m_quasiquote (SCM xorig
, SCM env
);
133 extern SCM
scm_m_delay (SCM xorig
, SCM env
);
134 extern SCM
scm_m_define (SCM x
, SCM env
);
135 extern SCM
scm_m_letrec (SCM xorig
, SCM env
);
136 extern SCM
scm_m_let (SCM xorig
, SCM env
);
137 extern SCM
scm_m_apply (SCM xorig
, SCM env
);
138 extern SCM
scm_m_cont (SCM xorig
, SCM env
);
139 extern SCM
scm_m_undefine (SCM x
, SCM env
);
140 extern int scm_badargsp (SCM formals
, SCM args
);
141 extern SCM
scm_ceval (SCM x
, SCM env
);
142 extern SCM
scm_deval (SCM x
, SCM env
);
143 extern SCM
scm_procedure_documentation (SCM proc
);
144 extern SCM
scm_nconc2last (SCM lst
);
145 extern SCM
scm_apply (SCM proc
, SCM arg1
, SCM args
);
146 extern SCM
scm_dapply (SCM proc
, SCM arg1
, SCM args
);
147 extern SCM
SCM_APPLY (SCM proc
, SCM arg1
, SCM args
);
148 extern SCM
scm_map (SCM proc
, SCM arg1
, SCM args
);
149 extern SCM
scm_for_each (SCM proc
, SCM arg1
, SCM args
);
150 extern SCM
scm_closure (SCM code
, SCM env
);
151 extern SCM
scm_makprom (SCM code
);
152 extern SCM
scm_makacro (SCM code
);
153 extern SCM
scm_makmacro (SCM code
);
154 extern SCM
scm_makmmacro (SCM code
);
155 extern SCM
scm_force (SCM x
);
156 extern SCM
scm_promise_p (SCM x
);
157 extern SCM
scm_copy_tree (SCM obj
);
158 extern SCM
scm_eval_3 (SCM obj
, int copyp
, SCM env
);
159 extern SCM
scm_top_level_env (SCM thunk
);
160 extern SCM
scm_eval2 (SCM obj
, SCM env_thunk
);
161 extern SCM
scm_eval (SCM obj
);
162 extern SCM
scm_eval_x (SCM obj
);
163 extern SCM
scm_macro_eval_x (SCM exp
, SCM env
);
164 extern SCM
scm_definedp (SCM x
, SCM env
);
165 extern SCM
scm_make_synt (char *name
, SCM (*macroizer
) (), SCM (*fcn
) ());
166 extern void scm_init_eval (void);
169 extern SCM
* scm_ilookup ();
170 extern SCM
* scm_lookupcar ();
171 extern SCM
scm_unmemocar ();
172 extern SCM
scm_unmemocopy ();
173 extern SCM
scm_eval_car ();
174 extern SCM
scm_eval_args ();
175 extern SCM
scm_deval_args ();
176 extern SCM
scm_m_quote ();
177 extern SCM
scm_m_begin ();
178 extern SCM
scm_m_if ();
179 extern SCM
scm_m_set ();
180 extern SCM
scm_m_vref ();
181 extern SCM
scm_m_vset ();
182 extern SCM
scm_m_and ();
183 extern SCM
scm_m_or ();
184 extern SCM
scm_m_case ();
185 extern SCM
scm_m_cond ();
186 extern SCM
scm_m_lambda ();
187 extern SCM
scm_m_letstar ();
188 extern SCM
scm_m_do ();
189 extern SCM
scm_m_quasiquote ();
190 extern SCM
scm_m_delay ();
191 extern SCM
scm_m_define ();
192 extern SCM
scm_m_letrec ();
193 extern SCM
scm_m_let ();
194 extern SCM
scm_m_apply ();
195 extern SCM
scm_m_cont ();
196 extern SCM
scm_m_undefine ();
197 extern int scm_badargsp ();
198 extern SCM
scm_ceval ();
199 extern SCM
scm_deval ();
200 extern SCM
scm_procedure_documentation ();
201 extern SCM
scm_nconc2last ();
202 extern SCM
scm_apply ();
203 extern SCM
scm_dapply ();
204 extern SCM
SCM_APPLY ();
205 extern SCM
scm_map ();
206 extern SCM
scm_for_each ();
207 extern SCM
scm_closure ();
208 extern SCM
scm_makprom ();
209 extern SCM
scm_makacro ();
210 extern SCM
scm_makmacro ();
211 extern SCM
scm_makmmacro ();
212 extern SCM
scm_force ();
213 extern SCM
scm_promise_p ();
214 extern SCM
scm_copy_tree ();
215 extern SCM
scm_eval_3 ();
216 extern SCM
scm_top_level_env ();
217 extern SCM
scm_eval2 ();
218 extern SCM
scm_eval ();
219 extern SCM
scm_eval_x ();
220 extern SCM
scm_macro_eval_x ();
221 extern SCM
scm_definedp ();
222 extern SCM
scm_make_synt ();
223 extern void scm_init_eval ();