* macros.c, macros.h: New files.
[bpt/guile.git] / libguile / macros.c
CommitLineData
99027e3c
MD
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
48long scm_tc16_macro;
49
50static scm_smobfuns macrosmob = {scm_markcdr, scm_free0};
51
52SCM_PROC(s_makacro, "procedure->syntax", 1, 0, 0, scm_makacro);
53
54SCM
55scm_makacro (code)
56 SCM code;
57{
58 register SCM z;
59 SCM_NEWCELL (z);
60 SCM_SETCDR (z, code);
61 SCM_SETCAR (z, scm_tc16_macro);
62 return z;
63}
64
65
66SCM_PROC(s_makmacro, "procedure->macro", 1, 0, 0, scm_makmacro);
67
68SCM
69scm_makmacro (code)
70 SCM code;
71{
72 register SCM z;
73 SCM_NEWCELL (z);
74 SCM_SETCDR (z, code);
75 SCM_SETCAR (z, scm_tc16_macro | (1L << 16));
76 return z;
77}
78
79
80SCM_PROC(s_makmmacro, "procedure->memoizing-macro", 1, 0, 0, scm_makmmacro);
81
82SCM
83scm_makmmacro (code)
84 SCM code;
85{
86 register SCM z;
87 SCM_NEWCELL (z);
88 SCM_SETCDR (z, code);
89 SCM_SETCAR (z, scm_tc16_macro | (2L << 16));
90 return z;
91}
92
93
94SCM_PROC (s_macro_p, "macro?", 1, 0, 0, scm_macro_p);
95
96SCM
97scm_macro_p (obj)
98 SCM obj;
99{
100 return (SCM_NIMP (obj) && SCM_TYP16 (obj) == scm_tc16_macro
101 ? SCM_BOOL_T
102 : SCM_BOOL_F);
103}
104
105
106SCM_SYMBOL (scm_sym_syntax, "syntax");
107SCM_SYMBOL (scm_sym_macro, "macro");
108SCM_SYMBOL (scm_sym_mmacro, "macro!");
109
110SCM_PROC (s_macro_type, "macro-type", 1, 0, 0, scm_macro_type);
111
112SCM
113scm_macro_type (m)
114 SCM m;
115{
116 if (!(SCM_NIMP (m) && SCM_TYP16 (m) == scm_tc16_macro))
117 return SCM_BOOL_F;
118 switch ((int) (SCM_CAR (m) >> 16))
119 {
120 case 0: return scm_sym_syntax;
121 case 1: return scm_sym_macro;
122 case 2: return scm_sym_mmacro;
123 default: scm_wrong_type_arg (s_macro_type, 1, m);
124 }
125}
126
127
128SCM_PROC (s_macro_name, "macro-name", 1, 0, 0, scm_macro_name);
129
130SCM
131scm_macro_name (m)
132 SCM m;
133{
134 SCM_ASSERT (SCM_NIMP (m) && SCM_TYP16 (m) == scm_tc16_macro,
135 m,
136 SCM_ARG1,
137 s_macro_name);
138 return scm_procedure_name (SCM_CDR (m));
139}
140
141
142SCM_PROC (s_macro_transformer, "macro-transformer", 1, 0, 0, scm_macro_transformer);
143
144SCM
145scm_macro_transformer (m)
146 SCM m;
147{
148 SCM_ASSERT (SCM_NIMP (m) && SCM_TYP16 (m) == scm_tc16_macro,
149 m,
150 SCM_ARG1,
151 s_macro_transformer);
152 return SCM_CLOSUREP (SCM_CDR (m)) ? SCM_CDR (m) : SCM_BOOL_F;
153}
154
155SCM
156scm_make_synt (name, macroizer, fcn)
157 char *name;
158 SCM (*macroizer) ();
159 SCM (*fcn) ();
160{
161 SCM symcell = scm_sysintern (name, SCM_UNDEFINED);
162 long tmp = ((((SCM_CELLPTR) (SCM_CAR (symcell))) - scm_heap_org) << 8);
163 register SCM z;
164 if ((tmp >> 8) != ((SCM_CELLPTR) (SCM_CAR (symcell)) - scm_heap_org))
165 tmp = 0;
166 SCM_NEWCELL (z);
167 SCM_SUBRF (z) = fcn;
168 SCM_SETCAR (z, tmp + scm_tc7_subr_2);
169 SCM_SETCDR (symcell, macroizer (z));
170 return SCM_CAR (symcell);
171}
172
173void
174scm_init_macros ()
175{
176 scm_tc16_macro = scm_newsmob (&macrosmob);
177#include "macros.x"
178}