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
;
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".
106 #define SCM_GLOC_SYM(x) (SCM_CAR((x)-1L))
107 #define SCM_GLOC_VAL(x) (SCM_CDR((x)-1L))
108 #define SCM_GLOC_VAL_LOC(x) (SCM_CDRLOC((x)-1L))
112 extern SCM
* scm_ilookup
SCM_P ((SCM iloc
, SCM env
));
113 extern SCM
* scm_lookupcar
SCM_P ((SCM vloc
, SCM genv
));
114 extern SCM scm_unmemocar
SCM_P ((SCM form
, SCM env
));
115 extern SCM scm_unmemocopy
SCM_P ((SCM form
, SCM env
));
116 extern SCM scm_eval_car
SCM_P ((SCM pair
, SCM env
));
117 extern SCM scm_eval_args
SCM_P ((SCM i
, SCM env
));
118 extern SCM scm_deval_args
SCM_P ((SCM l
, SCM env
, SCM
*lloc
));
119 extern SCM scm_m_quote
SCM_P ((SCM xorig
, SCM env
));
120 extern SCM scm_m_begin
SCM_P ((SCM xorig
, SCM env
));
121 extern SCM scm_m_if
SCM_P ((SCM xorig
, SCM env
));
122 extern SCM scm_m_set
SCM_P ((SCM xorig
, SCM env
));
123 extern SCM scm_m_vref
SCM_P ((SCM xorig
, SCM env
));
124 extern SCM scm_m_vset
SCM_P ((SCM xorig
, SCM env
));
125 extern SCM scm_m_and
SCM_P ((SCM xorig
, SCM env
));
126 extern SCM scm_m_or
SCM_P ((SCM xorig
, SCM env
));
127 extern SCM scm_m_case
SCM_P ((SCM xorig
, SCM env
));
128 extern SCM scm_m_cond
SCM_P ((SCM xorig
, SCM env
));
129 extern SCM scm_m_lambda
SCM_P ((SCM xorig
, SCM env
));
130 extern SCM scm_m_letstar
SCM_P ((SCM xorig
, SCM env
));
131 extern SCM scm_m_do
SCM_P ((SCM xorig
, SCM env
));
132 extern SCM scm_m_quasiquote
SCM_P ((SCM xorig
, SCM env
));
133 extern SCM scm_m_delay
SCM_P ((SCM xorig
, SCM env
));
134 extern SCM scm_m_define
SCM_P ((SCM x
, SCM env
));
135 extern SCM scm_m_letrec
SCM_P ((SCM xorig
, SCM env
));
136 extern SCM scm_m_let
SCM_P ((SCM xorig
, SCM env
));
137 extern SCM scm_m_apply
SCM_P ((SCM xorig
, SCM env
));
138 extern SCM scm_m_cont
SCM_P ((SCM xorig
, SCM env
));
139 extern SCM scm_m_undefine
SCM_P ((SCM x
, SCM env
));
140 extern int scm_badargsp
SCM_P ((SCM formals
, SCM args
));
141 extern SCM scm_ceval
SCM_P ((SCM x
, SCM env
));
142 extern SCM scm_deval
SCM_P ((SCM x
, SCM env
));
143 extern SCM scm_procedure_documentation
SCM_P ((SCM proc
));
144 extern SCM scm_nconc2last
SCM_P ((SCM lst
));
145 extern SCM scm_apply
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
146 extern SCM scm_dapply
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
147 extern SCM SCM_APPLY
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
148 extern SCM scm_map
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
149 extern SCM scm_for_each
SCM_P ((SCM proc
, SCM arg1
, SCM args
));
150 extern SCM scm_closure
SCM_P ((SCM code
, SCM env
));
151 extern SCM scm_makprom
SCM_P ((SCM code
));
152 extern SCM scm_makacro
SCM_P ((SCM code
));
153 extern SCM scm_makmacro
SCM_P ((SCM code
));
154 extern SCM scm_makmmacro
SCM_P ((SCM code
));
155 extern SCM scm_force
SCM_P ((SCM x
));
156 extern SCM scm_promise_p
SCM_P ((SCM x
));
157 extern SCM scm_copy_tree
SCM_P ((SCM obj
));
158 extern SCM scm_eval_3
SCM_P ((SCM obj
, int copyp
, SCM env
));
159 extern SCM scm_top_level_env
SCM_P ((SCM thunk
));
160 extern SCM scm_eval2
SCM_P ((SCM obj
, SCM env_thunk
));
161 extern SCM scm_eval
SCM_P ((SCM obj
));
162 extern SCM scm_eval_x
SCM_P ((SCM obj
));
163 extern SCM scm_macro_eval_x
SCM_P ((SCM exp
, SCM env
));
164 extern SCM scm_definedp
SCM_P ((SCM sym
));
165 extern SCM scm_make_synt
SCM_P ((char *name
,
166 SCM (*macroizer
) (SCM
),
168 extern void scm_init_eval
SCM_P ((void));