*** empty log message ***
[bpt/guile.git] / libguile / macros.c
1 /* Copyright (C) 1995,1996,1997,1998 Free Software Foundation, Inc.
2 *
3 * This program is free software; you can redistribute it and/or modify
4 * it under the terms of the GNU General Public License as published by
5 * the Free Software Foundation; either version 2, or (at your option)
6 * any later version.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this software; see the file COPYING. If not, write to
15 * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
16 * Boston, MA 02111-1307 USA
17 *
18 * As a special exception, the Free Software Foundation gives permission
19 * for additional uses of the text contained in its release of GUILE.
20 *
21 * The exception is that, if you link the GUILE library with other files
22 * to produce an executable, this does not by itself cause the
23 * resulting executable to be covered by the GNU General Public License.
24 * Your use of that executable is in no way restricted on account of
25 * linking the GUILE library code into it.
26 *
27 * This exception does not however invalidate any other reasons why
28 * the executable file might be covered by the GNU General Public License.
29 *
30 * This exception applies only to the code released by the
31 * Free Software Foundation under the name GUILE. If you copy
32 * code from other Free Software Foundation releases into a copy of
33 * GUILE, as the General Public License permits, the exception does
34 * not apply to the code that you add in this way. To avoid misleading
35 * anyone as to the status of such modified files, you must delete
36 * this exception notice from them.
37 *
38 * If you write modifications of your own for GUILE, it is your choice
39 * whether to permit this exception to apply to your modifications.
40 * If you do not wish that, delete this exception notice. */
41 \f
42
43 #include "_scm.h"
44 #include "smob.h"
45
46 #include "macros.h"
47
48 long scm_tc16_macro;
49
50 SCM_PROC(s_makacro, "procedure->syntax", 1, 0, 0, scm_makacro);
51
52 SCM
53 scm_makacro (code)
54 SCM code;
55 {
56 SCM_ASSERT (SCM_NFALSEP (scm_procedure_p (code)),
57 code, SCM_ARG1, s_makacro);
58 SCM_RETURN_NEWSMOB (scm_tc16_macro, code);
59 }
60
61
62 SCM_PROC(s_makmacro, "procedure->macro", 1, 0, 0, scm_makmacro);
63
64 SCM
65 scm_makmacro (code)
66 SCM code;
67 {
68 SCM_ASSERT (SCM_NFALSEP (scm_procedure_p (code)),
69 code, SCM_ARG1, s_makmacro);
70 SCM_RETURN_NEWSMOB (scm_tc16_macro | (1L << 16), code);
71 }
72
73
74 SCM_PROC(s_makmmacro, "procedure->memoizing-macro", 1, 0, 0, scm_makmmacro);
75
76 SCM
77 scm_makmmacro (code)
78 SCM code;
79 {
80 SCM_ASSERT (SCM_NFALSEP (scm_procedure_p (code)),
81 code, SCM_ARG1, s_makmmacro);
82 SCM_RETURN_NEWSMOB (scm_tc16_macro | (2L << 16), code);
83 }
84
85
86 SCM_PROC (s_macro_p, "macro?", 1, 0, 0, scm_macro_p);
87
88 SCM
89 scm_macro_p (obj)
90 SCM obj;
91 {
92 return (SCM_NIMP (obj) && SCM_TYP16 (obj) == scm_tc16_macro
93 ? SCM_BOOL_T
94 : SCM_BOOL_F);
95 }
96
97
98 SCM_SYMBOL (scm_sym_syntax, "syntax");
99 SCM_SYMBOL (scm_sym_macro, "macro");
100 SCM_SYMBOL (scm_sym_mmacro, "macro!");
101
102 SCM_PROC (s_macro_type, "macro-type", 1, 0, 0, scm_macro_type);
103
104 SCM
105 scm_macro_type (m)
106 SCM m;
107 {
108 if (!(SCM_NIMP (m) && SCM_TYP16 (m) == scm_tc16_macro))
109 return SCM_BOOL_F;
110 switch ((int) (SCM_CAR (m) >> 16))
111 {
112 case 0: return scm_sym_syntax;
113 case 1: return scm_sym_macro;
114 case 2: return scm_sym_mmacro;
115 default: scm_wrong_type_arg (s_macro_type, 1, m);
116 }
117 }
118
119
120 SCM_PROC (s_macro_name, "macro-name", 1, 0, 0, scm_macro_name);
121
122 SCM
123 scm_macro_name (m)
124 SCM m;
125 {
126 SCM_ASSERT (SCM_NIMP (m) && SCM_TYP16 (m) == scm_tc16_macro,
127 m,
128 SCM_ARG1,
129 s_macro_name);
130 return scm_procedure_name (SCM_CDR (m));
131 }
132
133
134 SCM_PROC (s_macro_transformer, "macro-transformer", 1, 0, 0, scm_macro_transformer);
135
136 SCM
137 scm_macro_transformer (m)
138 SCM m;
139 {
140 SCM_ASSERT (SCM_NIMP (m) && SCM_TYP16 (m) == scm_tc16_macro,
141 m,
142 SCM_ARG1,
143 s_macro_transformer);
144 return SCM_CLOSUREP (SCM_CDR (m)) ? SCM_CDR (m) : SCM_BOOL_F;
145 }
146
147 SCM
148 scm_make_synt (name, macroizer, fcn)
149 const char *name;
150 SCM (*macroizer) ();
151 SCM (*fcn) ();
152 {
153 SCM symcell = scm_sysintern (name, SCM_UNDEFINED);
154 long tmp = ((((SCM_CELLPTR) (SCM_CAR (symcell))) - scm_heap_org) << 8);
155 register SCM z;
156 if ((tmp >> 8) != ((SCM_CELLPTR) (SCM_CAR (symcell)) - scm_heap_org))
157 tmp = 0;
158 SCM_NEWCELL (z);
159 SCM_SUBRF (z) = fcn;
160 SCM_SETCAR (z, tmp + scm_tc7_subr_2);
161 SCM_SETCDR (symcell, macroizer (z));
162 return SCM_CAR (symcell);
163 }
164
165 void
166 scm_init_macros ()
167 {
168 scm_tc16_macro = scm_make_smob_type_mfpe ("macro", 0,
169 scm_markcdr, NULL, NULL, NULL);
170 #include "macros.x"
171 }