[bpt/guile.git] / libguile / expand.h

/* classes: h_files */

#ifndef SCM_EXPAND_H
#define SCM_EXPAND_H

/* Copyright (C) 2010, 2011, 2013, 2014
 * Free Software Foundation, Inc.
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public License
 * as published by the Free Software Foundation; either version 3 of
 * the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 * 02110-1301 USA
 */

\f

#include "libguile/__scm.h"


\f

#ifdef BUILDING_LIBGUILE

/* All private for now. Ask if you want to use this. Surely this should be
   auto-generated by something; for now I wrangle it with keyboard macros. */

typedef enum
  {
    SCM_EXPANDED_VOID,
    SCM_EXPANDED_CONST,
    SCM_EXPANDED_PRIMITIVE_REF,
    SCM_EXPANDED_LEXICAL_REF,
    SCM_EXPANDED_LEXICAL_SET,
    SCM_EXPANDED_MODULE_REF,
    SCM_EXPANDED_MODULE_SET,
    SCM_EXPANDED_TOPLEVEL_REF,
    SCM_EXPANDED_TOPLEVEL_SET,
    SCM_EXPANDED_TOPLEVEL_DEFINE,
    SCM_EXPANDED_CONDITIONAL,
    SCM_EXPANDED_CALL,
    SCM_EXPANDED_PRIMCALL,
    SCM_EXPANDED_SEQ,
    SCM_EXPANDED_LAMBDA,
    SCM_EXPANDED_LAMBDA_CASE,
    SCM_EXPANDED_LET,
    SCM_EXPANDED_LETREC,
    SCM_NUM_EXPANDED_TYPES,
  } scm_t_expanded_type;


\f


/* {Expanded Source}
 */

SCM_INTERNAL SCM scm_exp_vtable_vtable;

enum
  {
    SCM_EXPANDED_TYPE_NAME = scm_vtable_offset_user,
    SCM_EXPANDED_TYPE_CODE,
    SCM_EXPANDED_TYPE_FIELDS,
  };

#define SCM_EXPANDED_P(x)                                               \
  (SCM_STRUCTP (x)                                                      \
   && (scm_is_eq (SCM_STRUCT_VTABLE (SCM_STRUCT_VTABLE (x)), scm_exp_vtable_vtable)))
#define SCM_EXPANDED_REF(x,type,field) \
  (scm_struct_ref (x, SCM_I_MAKINUM (SCM_EXPANDED_##type##_##field)))
#define SCM_EXPANDED_TYPE(x) \
  SCM_STRUCT_DATA_REF (SCM_STRUCT_VTABLE (x), SCM_EXPANDED_TYPE_CODE)


\f


#define SCM_EXPANDED_VOID_TYPE_NAME "void"
#define SCM_EXPANDED_VOID_FIELD_NAMES \
  { "src" }  
enum
  {
    SCM_EXPANDED_VOID_SRC,
    SCM_NUM_EXPANDED_VOID_FIELDS,
  };
#define SCM_MAKE_EXPANDED_VOID(src) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_VOID], 0, SCM_NUM_EXPANDED_VOID_FIELDS, SCM_UNPACK (src))

#define SCM_EXPANDED_CONST_TYPE_NAME "const"
#define SCM_EXPANDED_CONST_FIELD_NAMES          \
  { "src", "exp", }
enum
  {
    SCM_EXPANDED_CONST_SRC,
    SCM_EXPANDED_CONST_EXP,
    SCM_NUM_EXPANDED_CONST_FIELDS,
  };
#define SCM_MAKE_EXPANDED_CONST(src, exp) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_CONST], 0, SCM_NUM_EXPANDED_CONST_FIELDS, SCM_UNPACK (src), SCM_UNPACK (exp))

#define SCM_EXPANDED_PRIMITIVE_REF_TYPE_NAME "primitive-ref"
#define SCM_EXPANDED_PRIMITIVE_REF_FIELD_NAMES  \
  { "src", "name", }
enum
  {
    SCM_EXPANDED_PRIMITIVE_REF_SRC,
    SCM_EXPANDED_PRIMITIVE_REF_NAME,
    SCM_NUM_EXPANDED_PRIMITIVE_REF_FIELDS,
  };
#define SCM_MAKE_EXPANDED_PRIMITIVE_REF(src, name) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_PRIMITIVE_REF], 0, SCM_NUM_EXPANDED_PRIMITIVE_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name))

#define SCM_EXPANDED_LEXICAL_REF_TYPE_NAME "lexical-ref"
#define SCM_EXPANDED_LEXICAL_REF_FIELD_NAMES    \
  { "src", "name", "gensym", }
enum
  {
    SCM_EXPANDED_LEXICAL_REF_SRC,
    SCM_EXPANDED_LEXICAL_REF_NAME,
    SCM_EXPANDED_LEXICAL_REF_GENSYM,
    SCM_NUM_EXPANDED_LEXICAL_REF_FIELDS,
  };
#define SCM_MAKE_EXPANDED_LEXICAL_REF(src, name, gensym) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_LEXICAL_REF], 0, SCM_NUM_EXPANDED_LEXICAL_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (gensym))

#define SCM_EXPANDED_LEXICAL_SET_TYPE_NAME "lexical-set"
#define SCM_EXPANDED_LEXICAL_SET_FIELD_NAMES    \
  { "src", "name", "gensym", "exp", }
enum
  {
    SCM_EXPANDED_LEXICAL_SET_SRC,
    SCM_EXPANDED_LEXICAL_SET_NAME,
    SCM_EXPANDED_LEXICAL_SET_GENSYM,
    SCM_EXPANDED_LEXICAL_SET_EXP,
    SCM_NUM_EXPANDED_LEXICAL_SET_FIELDS,
  };
#define SCM_MAKE_EXPANDED_LEXICAL_SET(src, name, gensym, exp) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_LEXICAL_SET], 0, SCM_NUM_EXPANDED_LEXICAL_SET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (gensym), SCM_UNPACK (exp))

#define SCM_EXPANDED_MODULE_REF_TYPE_NAME "module-ref"
#define SCM_EXPANDED_MODULE_REF_FIELD_NAMES     \
  { "src", "mod", "name", "public?", }
enum
  {
    SCM_EXPANDED_MODULE_REF_SRC,
    SCM_EXPANDED_MODULE_REF_MOD,
    SCM_EXPANDED_MODULE_REF_NAME,
    SCM_EXPANDED_MODULE_REF_PUBLIC,
    SCM_NUM_EXPANDED_MODULE_REF_FIELDS,
  };
#define SCM_MAKE_EXPANDED_MODULE_REF(src, mod, name, public) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_MODULE_REF], 0, SCM_NUM_EXPANDED_MODULE_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (mod), SCM_UNPACK (name), SCM_UNPACK (public))

#define SCM_EXPANDED_MODULE_SET_TYPE_NAME "module-set"
#define SCM_EXPANDED_MODULE_SET_FIELD_NAMES     \
  { "src", "mod", "name", "public?", "exp", }
enum
  {
    SCM_EXPANDED_MODULE_SET_SRC,
    SCM_EXPANDED_MODULE_SET_MOD,
    SCM_EXPANDED_MODULE_SET_NAME,
    SCM_EXPANDED_MODULE_SET_PUBLIC,
    SCM_EXPANDED_MODULE_SET_EXP,
    SCM_NUM_EXPANDED_MODULE_SET_FIELDS,
  };
#define SCM_MAKE_EXPANDED_MODULE_SET(src, mod, name, public, exp) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_MODULE_SET], 0, SCM_NUM_EXPANDED_MODULE_SET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (mod), SCM_UNPACK (name), SCM_UNPACK (public), SCM_UNPACK (exp))

#define SCM_EXPANDED_TOPLEVEL_REF_TYPE_NAME "toplevel-ref"
#define SCM_EXPANDED_TOPLEVEL_REF_FIELD_NAMES   \
  { "src", "name", }
enum
  {
    SCM_EXPANDED_TOPLEVEL_REF_SRC,
    SCM_EXPANDED_TOPLEVEL_REF_NAME,
    SCM_NUM_EXPANDED_TOPLEVEL_REF_FIELDS,
  };
#define SCM_MAKE_EXPANDED_TOPLEVEL_REF(src, name) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_TOPLEVEL_REF], 0, SCM_NUM_EXPANDED_TOPLEVEL_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name))

#define SCM_EXPANDED_TOPLEVEL_SET_TYPE_NAME "toplevel-set"
#define SCM_EXPANDED_TOPLEVEL_SET_FIELD_NAMES   \
  { "src", "name", "exp", }
enum
  {
    SCM_EXPANDED_TOPLEVEL_SET_SRC,
    SCM_EXPANDED_TOPLEVEL_SET_NAME,
    SCM_EXPANDED_TOPLEVEL_SET_EXP,
    SCM_NUM_EXPANDED_TOPLEVEL_SET_FIELDS,
  };
#define SCM_MAKE_EXPANDED_TOPLEVEL_SET(src, name, exp) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_TOPLEVEL_SET], 0, SCM_NUM_EXPANDED_TOPLEVEL_SET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (exp))

#define SCM_EXPANDED_TOPLEVEL_DEFINE_TYPE_NAME "toplevel-define"
#define SCM_EXPANDED_TOPLEVEL_DEFINE_FIELD_NAMES        \
  { "src", "name", "exp", }
enum
  {
    SCM_EXPANDED_TOPLEVEL_DEFINE_SRC,
    SCM_EXPANDED_TOPLEVEL_DEFINE_NAME,
    SCM_EXPANDED_TOPLEVEL_DEFINE_EXP,
    SCM_NUM_EXPANDED_TOPLEVEL_DEFINE_FIELDS,
  };
#define SCM_MAKE_EXPANDED_TOPLEVEL_DEFINE(src, name, exp) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_TOPLEVEL_DEFINE], 0, SCM_NUM_EXPANDED_TOPLEVEL_DEFINE_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (exp))

#define SCM_EXPANDED_CONDITIONAL_TYPE_NAME "conditional"
#define SCM_EXPANDED_CONDITIONAL_FIELD_NAMES    \
  { "src", "test", "consequent", "alternate", }
enum
  {
    SCM_EXPANDED_CONDITIONAL_SRC,
    SCM_EXPANDED_CONDITIONAL_TEST,
    SCM_EXPANDED_CONDITIONAL_CONSEQUENT,
    SCM_EXPANDED_CONDITIONAL_ALTERNATE,
    SCM_NUM_EXPANDED_CONDITIONAL_FIELDS,
  };
#define SCM_MAKE_EXPANDED_CONDITIONAL(src, test, consequent, alternate) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_CONDITIONAL], 0, SCM_NUM_EXPANDED_CONDITIONAL_FIELDS, SCM_UNPACK (src), SCM_UNPACK (test), SCM_UNPACK (consequent), SCM_UNPACK (alternate))

#define SCM_EXPANDED_CALL_TYPE_NAME "call"
#define SCM_EXPANDED_CALL_FIELD_NAMES    \
  { "src", "proc", "args", }
enum
  {
    SCM_EXPANDED_CALL_SRC,
    SCM_EXPANDED_CALL_PROC,
    SCM_EXPANDED_CALL_ARGS,
    SCM_NUM_EXPANDED_CALL_FIELDS,
  };
#define SCM_MAKE_EXPANDED_CALL(src, proc, args) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_CALL], 0, SCM_NUM_EXPANDED_CALL_FIELDS, SCM_UNPACK (src), SCM_UNPACK (proc), SCM_UNPACK (args))

#define SCM_EXPANDED_PRIMCALL_TYPE_NAME "primcall"
#define SCM_EXPANDED_PRIMCALL_FIELD_NAMES    \
  { "src", "name", "args", }
enum
  {
    SCM_EXPANDED_PRIMCALL_SRC,
    SCM_EXPANDED_PRIMCALL_NAME,
    SCM_EXPANDED_PRIMCALL_ARGS,
    SCM_NUM_EXPANDED_PRIMCALL_FIELDS,
  };
#define SCM_MAKE_EXPANDED_PRIMCALL(src, name, args) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_PRIMCALL], 0, SCM_NUM_EXPANDED_PRIMCALL_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (args))

#define SCM_EXPANDED_SEQ_TYPE_NAME "seq"
#define SCM_EXPANDED_SEQ_FIELD_NAMES       \
  {  "src", "head", "tail", }
enum
  {
    SCM_EXPANDED_SEQ_SRC,
    SCM_EXPANDED_SEQ_HEAD,
    SCM_EXPANDED_SEQ_TAIL,
    SCM_NUM_EXPANDED_SEQ_FIELDS,
  };
#define SCM_MAKE_EXPANDED_SEQ(src, head, tail)                          \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_SEQ], 0, SCM_NUM_EXPANDED_SEQ_FIELDS, SCM_UNPACK (src), SCM_UNPACK (head), SCM_UNPACK (tail))

#define SCM_EXPANDED_LAMBDA_TYPE_NAME "lambda"
#define SCM_EXPANDED_LAMBDA_FIELD_NAMES         \
  { "src", "meta", "body", }
enum
  {
    SCM_EXPANDED_LAMBDA_SRC,
    SCM_EXPANDED_LAMBDA_META,
    SCM_EXPANDED_LAMBDA_BODY,
    SCM_NUM_EXPANDED_LAMBDA_FIELDS,
  };
#define SCM_MAKE_EXPANDED_LAMBDA(src, meta, body) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_LAMBDA], 0, SCM_NUM_EXPANDED_LAMBDA_FIELDS, SCM_UNPACK (src), SCM_UNPACK (meta), SCM_UNPACK (body))

#define SCM_EXPANDED_LAMBDA_CASE_TYPE_NAME "lambda-case"
#define SCM_EXPANDED_LAMBDA_CASE_FIELD_NAMES    \
  { "src", "req", "opt", "rest", "kw", "inits", "gensyms", "body", "alternate", }
enum
  {
    SCM_EXPANDED_LAMBDA_CASE_SRC,
    SCM_EXPANDED_LAMBDA_CASE_REQ,
    SCM_EXPANDED_LAMBDA_CASE_OPT,
    SCM_EXPANDED_LAMBDA_CASE_REST,
    SCM_EXPANDED_LAMBDA_CASE_KW,
    SCM_EXPANDED_LAMBDA_CASE_INITS,
    SCM_EXPANDED_LAMBDA_CASE_GENSYMS,
    SCM_EXPANDED_LAMBDA_CASE_BODY,
    SCM_EXPANDED_LAMBDA_CASE_ALTERNATE,
    SCM_NUM_EXPANDED_LAMBDA_CASE_FIELDS,
  };
#define SCM_MAKE_EXPANDED_LAMBDA_CASE(src, req, opt, rest, kw, inits, gensyms, body, alternate) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_LAMBDA_CASE], 0, SCM_NUM_EXPANDED_LAMBDA_CASE_FIELDS, SCM_UNPACK (src), SCM_UNPACK (req), SCM_UNPACK (opt), SCM_UNPACK (rest), SCM_UNPACK (kw), SCM_UNPACK (inits), SCM_UNPACK (gensyms), SCM_UNPACK (body), SCM_UNPACK (alternate))

#define SCM_EXPANDED_LET_TYPE_NAME "let"
#define SCM_EXPANDED_LET_FIELD_NAMES            \
  { "src", "names", "gensyms", "vals", "body", }
enum
  {
    SCM_EXPANDED_LET_SRC,
    SCM_EXPANDED_LET_NAMES,
    SCM_EXPANDED_LET_GENSYMS,
    SCM_EXPANDED_LET_VALS,
    SCM_EXPANDED_LET_BODY,
    SCM_NUM_EXPANDED_LET_FIELDS,
  };
#define SCM_MAKE_EXPANDED_LET(src, names, gensyms, vals, body) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_LET], 0, SCM_NUM_EXPANDED_LET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (names), SCM_UNPACK (gensyms), SCM_UNPACK (vals), SCM_UNPACK (body))

#define SCM_EXPANDED_LETREC_TYPE_NAME "letrec"
#define SCM_EXPANDED_LETREC_FIELD_NAMES         \
  { "src", "in-order?", "names", "gensyms", "vals", "body", }
enum
  {
    SCM_EXPANDED_LETREC_SRC,
    SCM_EXPANDED_LETREC_IN_ORDER_P,
    SCM_EXPANDED_LETREC_NAMES,
    SCM_EXPANDED_LETREC_GENSYMS,
    SCM_EXPANDED_LETREC_VALS,
    SCM_EXPANDED_LETREC_BODY,
    SCM_NUM_EXPANDED_LETREC_FIELDS,
  };
#define SCM_MAKE_EXPANDED_LETREC(src, in_order_p, names, gensyms, vals, body) \
  scm_c_make_struct (exp_vtables[SCM_EXPANDED_LETREC], 0, SCM_NUM_EXPANDED_LETREC_FIELDS, SCM_UNPACK (src), SCM_UNPACK (in_order_p), SCM_UNPACK (names), SCM_UNPACK (gensyms), SCM_UNPACK (vals), SCM_UNPACK (body))

#endif /* BUILDING_LIBGUILE */

\f

SCM_INTERNAL SCM scm_macroexpand (SCM exp);
SCM_INTERNAL SCM scm_macroexpanded_p (SCM exp);

SCM_INTERNAL SCM scm_convert_assignment (SCM exp);

SCM_INTERNAL void scm_init_expand (void);


#endif  /* SCM_EXPAND_H */

/*
  Local Variables:
  c-file-style: "gnu"
  End:
*/
Commit	Line	Data
dc3e203e AW	1	/* classes: h_files */
	2
	3	#ifndef SCM_EXPAND_H
	4	#define SCM_EXPAND_H
	5
7974c579	6	/* Copyright (C) 2010, 2011, 2013, 2014
dc3e203e AW	7	* Free Software Foundation, Inc.
	8	*
	9	* This library is free software; you can redistribute it and/or
	10	* modify it under the terms of the GNU Lesser General Public License
	11	* as published by the Free Software Foundation; either version 3 of
	12	* the License, or (at your option) any later version.
	13	*
	14	* This library is distributed in the hope that it will be useful, but
	15	* WITHOUT ANY WARRANTY; without even the implied warranty of
	16	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
	17	* Lesser General Public License for more details.
	18	*
	19	* You should have received a copy of the GNU Lesser General Public
	20	* License along with this library; if not, write to the Free Software
	21	* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
	22	* 02110-1301 USA
	23	*/
	24
	25	\f
	26
	27	#include "libguile/__scm.h"
	28
	29
	30	\f
	31
	32	#ifdef BUILDING_LIBGUILE
	33
	34	/* All private for now. Ask if you want to use this. Surely this should be
	35	auto-generated by something; for now I wrangle it with keyboard macros. */
	36
	37	typedef enum
	38	{
	39	SCM_EXPANDED_VOID,
	40	SCM_EXPANDED_CONST,
	41	SCM_EXPANDED_PRIMITIVE_REF,
	42	SCM_EXPANDED_LEXICAL_REF,
	43	SCM_EXPANDED_LEXICAL_SET,
	44	SCM_EXPANDED_MODULE_REF,
	45	SCM_EXPANDED_MODULE_SET,
	46	SCM_EXPANDED_TOPLEVEL_REF,
	47	SCM_EXPANDED_TOPLEVEL_SET,
	48	SCM_EXPANDED_TOPLEVEL_DEFINE,
	49	SCM_EXPANDED_CONDITIONAL,
7081d4f9	50	SCM_EXPANDED_CALL,
a881a4ae	51	SCM_EXPANDED_PRIMCALL,
6fc3eae4	52	SCM_EXPANDED_SEQ,
dc3e203e AW	53	SCM_EXPANDED_LAMBDA,
	54	SCM_EXPANDED_LAMBDA_CASE,
	55	SCM_EXPANDED_LET,
	56	SCM_EXPANDED_LETREC,
dc3e203e AW	57	SCM_NUM_EXPANDED_TYPES,
	58	} scm_t_expanded_type;
	59
	60
	61	\f
	62
	63
	64	/* {Expanded Source}
	65	*/
	66
	67	SCM_INTERNAL SCM scm_exp_vtable_vtable;
	68
	69	enum
	70	{
	71	SCM_EXPANDED_TYPE_NAME = scm_vtable_offset_user,
	72	SCM_EXPANDED_TYPE_CODE,
	73	SCM_EXPANDED_TYPE_FIELDS,
	74	};
	75
d223c3fc AW	76	#define SCM_EXPANDED_P(x) \
	77	(SCM_STRUCTP (x) \
	78	&& (scm_is_eq (SCM_STRUCT_VTABLE (SCM_STRUCT_VTABLE (x)), scm_exp_vtable_vtable)))
dc3e203e AW	79	#define SCM_EXPANDED_REF(x,type,field) \
	80	(scm_struct_ref (x, SCM_I_MAKINUM (SCM_EXPANDED_##type##_##field)))
	81	#define SCM_EXPANDED_TYPE(x) \
	82	SCM_STRUCT_DATA_REF (SCM_STRUCT_VTABLE (x), SCM_EXPANDED_TYPE_CODE)
	83
	84
	85	\f
	86
	87
	88	#define SCM_EXPANDED_VOID_TYPE_NAME "void"
	89	#define SCM_EXPANDED_VOID_FIELD_NAMES \
	90	{ "src" }
	91	enum
	92	{
	93	SCM_EXPANDED_VOID_SRC,
	94	SCM_NUM_EXPANDED_VOID_FIELDS,
	95	};
	96	#define SCM_MAKE_EXPANDED_VOID(src) \
	97	scm_c_make_struct (exp_vtables[SCM_EXPANDED_VOID], 0, SCM_NUM_EXPANDED_VOID_FIELDS, SCM_UNPACK (src))
	98
	99	#define SCM_EXPANDED_CONST_TYPE_NAME "const"
	100	#define SCM_EXPANDED_CONST_FIELD_NAMES \
	101	{ "src", "exp", }
	102	enum
	103	{
	104	SCM_EXPANDED_CONST_SRC,
	105	SCM_EXPANDED_CONST_EXP,
	106	SCM_NUM_EXPANDED_CONST_FIELDS,
	107	};
	108	#define SCM_MAKE_EXPANDED_CONST(src, exp) \
	109	scm_c_make_struct (exp_vtables[SCM_EXPANDED_CONST], 0, SCM_NUM_EXPANDED_CONST_FIELDS, SCM_UNPACK (src), SCM_UNPACK (exp))
	110
	111	#define SCM_EXPANDED_PRIMITIVE_REF_TYPE_NAME "primitive-ref"
	112	#define SCM_EXPANDED_PRIMITIVE_REF_FIELD_NAMES \
	113	{ "src", "name", }
	114	enum
	115	{
	116	SCM_EXPANDED_PRIMITIVE_REF_SRC,
	117	SCM_EXPANDED_PRIMITIVE_REF_NAME,
	118	SCM_NUM_EXPANDED_PRIMITIVE_REF_FIELDS,
	119	};
	120	#define SCM_MAKE_EXPANDED_PRIMITIVE_REF(src, name) \
	121	scm_c_make_struct (exp_vtables[SCM_EXPANDED_PRIMITIVE_REF], 0, SCM_NUM_EXPANDED_PRIMITIVE_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name))
	122
	123	#define SCM_EXPANDED_LEXICAL_REF_TYPE_NAME "lexical-ref"
	124	#define SCM_EXPANDED_LEXICAL_REF_FIELD_NAMES \
	125	{ "src", "name", "gensym", }
	126	enum
	127	{
	128	SCM_EXPANDED_LEXICAL_REF_SRC,
	129	SCM_EXPANDED_LEXICAL_REF_NAME,
	130	SCM_EXPANDED_LEXICAL_REF_GENSYM,
	131	SCM_NUM_EXPANDED_LEXICAL_REF_FIELDS,
	132	};
	133	#define SCM_MAKE_EXPANDED_LEXICAL_REF(src, name, gensym) \
	134	scm_c_make_struct (exp_vtables[SCM_EXPANDED_LEXICAL_REF], 0, SCM_NUM_EXPANDED_LEXICAL_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (gensym))
	135
	136	#define SCM_EXPANDED_LEXICAL_SET_TYPE_NAME "lexical-set"
	137	#define SCM_EXPANDED_LEXICAL_SET_FIELD_NAMES \
	138	{ "src", "name", "gensym", "exp", }
	139	enum
	140	{
	141	SCM_EXPANDED_LEXICAL_SET_SRC,
	142	SCM_EXPANDED_LEXICAL_SET_NAME,
143	SCM_EXPANDED_LEXICAL_SET_GENSYM,
144	SCM_EXPANDED_LEXICAL_SET_EXP,
145	SCM_NUM_EXPANDED_LEXICAL_SET_FIELDS,
146	};
147	#define SCM_MAKE_EXPANDED_LEXICAL_SET(src, name, gensym, exp) \
148	scm_c_make_struct (exp_vtables[SCM_EXPANDED_LEXICAL_SET], 0, SCM_NUM_EXPANDED_LEXICAL_SET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (gensym), SCM_UNPACK (exp))
149
150	#define SCM_EXPANDED_MODULE_REF_TYPE_NAME "module-ref"
151	#define SCM_EXPANDED_MODULE_REF_FIELD_NAMES \
e1ca9100	152	{ "src", "mod", "name", "public?", }
dc3e203e AW	153	enum
	154	{
	155	SCM_EXPANDED_MODULE_REF_SRC,
	156	SCM_EXPANDED_MODULE_REF_MOD,
	157	SCM_EXPANDED_MODULE_REF_NAME,
	158	SCM_EXPANDED_MODULE_REF_PUBLIC,
	159	SCM_NUM_EXPANDED_MODULE_REF_FIELDS,
	160	};
	161	#define SCM_MAKE_EXPANDED_MODULE_REF(src, mod, name, public) \
	162	scm_c_make_struct (exp_vtables[SCM_EXPANDED_MODULE_REF], 0, SCM_NUM_EXPANDED_MODULE_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (mod), SCM_UNPACK (name), SCM_UNPACK (public))
	163
	164	#define SCM_EXPANDED_MODULE_SET_TYPE_NAME "module-set"
	165	#define SCM_EXPANDED_MODULE_SET_FIELD_NAMES \
e1ca9100	166	{ "src", "mod", "name", "public?", "exp", }
dc3e203e AW	167	enum
	168	{
	169	SCM_EXPANDED_MODULE_SET_SRC,
	170	SCM_EXPANDED_MODULE_SET_MOD,
	171	SCM_EXPANDED_MODULE_SET_NAME,
	172	SCM_EXPANDED_MODULE_SET_PUBLIC,
	173	SCM_EXPANDED_MODULE_SET_EXP,
	174	SCM_NUM_EXPANDED_MODULE_SET_FIELDS,
	175	};
	176	#define SCM_MAKE_EXPANDED_MODULE_SET(src, mod, name, public, exp) \
	177	scm_c_make_struct (exp_vtables[SCM_EXPANDED_MODULE_SET], 0, SCM_NUM_EXPANDED_MODULE_SET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (mod), SCM_UNPACK (name), SCM_UNPACK (public), SCM_UNPACK (exp))
	178
	179	#define SCM_EXPANDED_TOPLEVEL_REF_TYPE_NAME "toplevel-ref"
	180	#define SCM_EXPANDED_TOPLEVEL_REF_FIELD_NAMES \
	181	{ "src", "name", }
	182	enum
	183	{
	184	SCM_EXPANDED_TOPLEVEL_REF_SRC,
	185	SCM_EXPANDED_TOPLEVEL_REF_NAME,
	186	SCM_NUM_EXPANDED_TOPLEVEL_REF_FIELDS,
	187	};
	188	#define SCM_MAKE_EXPANDED_TOPLEVEL_REF(src, name) \
	189	scm_c_make_struct (exp_vtables[SCM_EXPANDED_TOPLEVEL_REF], 0, SCM_NUM_EXPANDED_TOPLEVEL_REF_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name))
	190
	191	#define SCM_EXPANDED_TOPLEVEL_SET_TYPE_NAME "toplevel-set"
	192	#define SCM_EXPANDED_TOPLEVEL_SET_FIELD_NAMES \
	193	{ "src", "name", "exp", }
	194	enum
	195	{
	196	SCM_EXPANDED_TOPLEVEL_SET_SRC,
	197	SCM_EXPANDED_TOPLEVEL_SET_NAME,
	198	SCM_EXPANDED_TOPLEVEL_SET_EXP,
	199	SCM_NUM_EXPANDED_TOPLEVEL_SET_FIELDS,
	200	};
	201	#define SCM_MAKE_EXPANDED_TOPLEVEL_SET(src, name, exp) \
	202	scm_c_make_struct (exp_vtables[SCM_EXPANDED_TOPLEVEL_SET], 0, SCM_NUM_EXPANDED_TOPLEVEL_SET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (exp))
	203
	204	#define SCM_EXPANDED_TOPLEVEL_DEFINE_TYPE_NAME "toplevel-define"
	205	#define SCM_EXPANDED_TOPLEVEL_DEFINE_FIELD_NAMES \
	206	{ "src", "name", "exp", }
	207	enum
	208	{
	209	SCM_EXPANDED_TOPLEVEL_DEFINE_SRC,
	210	SCM_EXPANDED_TOPLEVEL_DEFINE_NAME,
	211	SCM_EXPANDED_TOPLEVEL_DEFINE_EXP,
	212	SCM_NUM_EXPANDED_TOPLEVEL_DEFINE_FIELDS,
	213	};
	214	#define SCM_MAKE_EXPANDED_TOPLEVEL_DEFINE(src, name, exp) \
	215	scm_c_make_struct (exp_vtables[SCM_EXPANDED_TOPLEVEL_DEFINE], 0, SCM_NUM_EXPANDED_TOPLEVEL_DEFINE_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (exp))
	216
	217	#define SCM_EXPANDED_CONDITIONAL_TYPE_NAME "conditional"
	218	#define SCM_EXPANDED_CONDITIONAL_FIELD_NAMES \
	219	{ "src", "test", "consequent", "alternate", }
	220	enum
	221	{
	222	SCM_EXPANDED_CONDITIONAL_SRC,
	223	SCM_EXPANDED_CONDITIONAL_TEST,
	224	SCM_EXPANDED_CONDITIONAL_CONSEQUENT,
	225	SCM_EXPANDED_CONDITIONAL_ALTERNATE,
	226	SCM_NUM_EXPANDED_CONDITIONAL_FIELDS,
	227	};
	228	#define SCM_MAKE_EXPANDED_CONDITIONAL(src, test, consequent, alternate) \
	229	scm_c_make_struct (exp_vtables[SCM_EXPANDED_CONDITIONAL], 0, SCM_NUM_EXPANDED_CONDITIONAL_FIELDS, SCM_UNPACK (src), SCM_UNPACK (test), SCM_UNPACK (consequent), SCM_UNPACK (alternate))
	230
7081d4f9 AW	231	#define SCM_EXPANDED_CALL_TYPE_NAME "call"
7081d4f9 AW	232	#define SCM_EXPANDED_CALL_FIELD_NAMES \
e1ca9100	233	{ "src", "proc", "args", }
dc3e203e AW	234	enum
dc3e203e AW	235	{
7081d4f9 AW	236	SCM_EXPANDED_CALL_SRC,
	237	SCM_EXPANDED_CALL_PROC,
	238	SCM_EXPANDED_CALL_ARGS,
	239	SCM_NUM_EXPANDED_CALL_FIELDS,
dc3e203e	240	};
7081d4f9 AW	241	#define SCM_MAKE_EXPANDED_CALL(src, proc, args) \
7081d4f9 AW	242	scm_c_make_struct (exp_vtables[SCM_EXPANDED_CALL], 0, SCM_NUM_EXPANDED_CALL_FIELDS, SCM_UNPACK (src), SCM_UNPACK (proc), SCM_UNPACK (args))
dc3e203e	243
a881a4ae AW	244	#define SCM_EXPANDED_PRIMCALL_TYPE_NAME "primcall"
	245	#define SCM_EXPANDED_PRIMCALL_FIELD_NAMES \
	246	{ "src", "name", "args", }
	247	enum
	248	{
	249	SCM_EXPANDED_PRIMCALL_SRC,
	250	SCM_EXPANDED_PRIMCALL_NAME,
	251	SCM_EXPANDED_PRIMCALL_ARGS,
	252	SCM_NUM_EXPANDED_PRIMCALL_FIELDS,
	253	};
	254	#define SCM_MAKE_EXPANDED_PRIMCALL(src, name, args) \
	255	scm_c_make_struct (exp_vtables[SCM_EXPANDED_PRIMCALL], 0, SCM_NUM_EXPANDED_PRIMCALL_FIELDS, SCM_UNPACK (src), SCM_UNPACK (name), SCM_UNPACK (args))
	256
6fc3eae4 AW	257	#define SCM_EXPANDED_SEQ_TYPE_NAME "seq"
	258	#define SCM_EXPANDED_SEQ_FIELD_NAMES \
	259	{ "src", "head", "tail", }
dc3e203e AW	260	enum
dc3e203e AW	261	{
6fc3eae4 AW	262	SCM_EXPANDED_SEQ_SRC,
	263	SCM_EXPANDED_SEQ_HEAD,
	264	SCM_EXPANDED_SEQ_TAIL,
	265	SCM_NUM_EXPANDED_SEQ_FIELDS,
dc3e203e	266	};
6fc3eae4 AW	267	#define SCM_MAKE_EXPANDED_SEQ(src, head, tail) \
6fc3eae4 AW	268	scm_c_make_struct (exp_vtables[SCM_EXPANDED_SEQ], 0, SCM_NUM_EXPANDED_SEQ_FIELDS, SCM_UNPACK (src), SCM_UNPACK (head), SCM_UNPACK (tail))
dc3e203e AW	269
	270	#define SCM_EXPANDED_LAMBDA_TYPE_NAME "lambda"
	271	#define SCM_EXPANDED_LAMBDA_FIELD_NAMES \
	272	{ "src", "meta", "body", }
	273	enum
	274	{
	275	SCM_EXPANDED_LAMBDA_SRC,
	276	SCM_EXPANDED_LAMBDA_META,
	277	SCM_EXPANDED_LAMBDA_BODY,
	278	SCM_NUM_EXPANDED_LAMBDA_FIELDS,
	279	};
	280	#define SCM_MAKE_EXPANDED_LAMBDA(src, meta, body) \
	281	scm_c_make_struct (exp_vtables[SCM_EXPANDED_LAMBDA], 0, SCM_NUM_EXPANDED_LAMBDA_FIELDS, SCM_UNPACK (src), SCM_UNPACK (meta), SCM_UNPACK (body))
	282
	283	#define SCM_EXPANDED_LAMBDA_CASE_TYPE_NAME "lambda-case"
	284	#define SCM_EXPANDED_LAMBDA_CASE_FIELD_NAMES \
	285	{ "src", "req", "opt", "rest", "kw", "inits", "gensyms", "body", "alternate", }
	286	enum
	287	{
	288	SCM_EXPANDED_LAMBDA_CASE_SRC,
	289	SCM_EXPANDED_LAMBDA_CASE_REQ,
	290	SCM_EXPANDED_LAMBDA_CASE_OPT,
	291	SCM_EXPANDED_LAMBDA_CASE_REST,
	292	SCM_EXPANDED_LAMBDA_CASE_KW,
	293	SCM_EXPANDED_LAMBDA_CASE_INITS,
	294	SCM_EXPANDED_LAMBDA_CASE_GENSYMS,
	295	SCM_EXPANDED_LAMBDA_CASE_BODY,
	296	SCM_EXPANDED_LAMBDA_CASE_ALTERNATE,
	297	SCM_NUM_EXPANDED_LAMBDA_CASE_FIELDS,
	298	};
	299	#define SCM_MAKE_EXPANDED_LAMBDA_CASE(src, req, opt, rest, kw, inits, gensyms, body, alternate) \
	300	scm_c_make_struct (exp_vtables[SCM_EXPANDED_LAMBDA_CASE], 0, SCM_NUM_EXPANDED_LAMBDA_CASE_FIELDS, SCM_UNPACK (src), SCM_UNPACK (req), SCM_UNPACK (opt), SCM_UNPACK (rest), SCM_UNPACK (kw), SCM_UNPACK (inits), SCM_UNPACK (gensyms), SCM_UNPACK (body), SCM_UNPACK (alternate))
	301
	302	#define SCM_EXPANDED_LET_TYPE_NAME "let"
	303	#define SCM_EXPANDED_LET_FIELD_NAMES \
	304	{ "src", "names", "gensyms", "vals", "body", }
	305	enum
	306	{
	307	SCM_EXPANDED_LET_SRC,
	308	SCM_EXPANDED_LET_NAMES,
	309	SCM_EXPANDED_LET_GENSYMS,
	310	SCM_EXPANDED_LET_VALS,
	311	SCM_EXPANDED_LET_BODY,
	312	SCM_NUM_EXPANDED_LET_FIELDS,
	313	};
	314	#define SCM_MAKE_EXPANDED_LET(src, names, gensyms, vals, body) \
	315	scm_c_make_struct (exp_vtables[SCM_EXPANDED_LET], 0, SCM_NUM_EXPANDED_LET_FIELDS, SCM_UNPACK (src), SCM_UNPACK (names), SCM_UNPACK (gensyms), SCM_UNPACK (vals), SCM_UNPACK (body))
	316
	317	#define SCM_EXPANDED_LETREC_TYPE_NAME "letrec"
	318	#define SCM_EXPANDED_LETREC_FIELD_NAMES \
fb6e61ca	319	{ "src", "in-order?", "names", "gensyms", "vals", "body", }
dc3e203e AW	320	enum
	321	{
	322	SCM_EXPANDED_LETREC_SRC,
fb6e61ca	323	SCM_EXPANDED_LETREC_IN_ORDER_P,
dc3e203e AW	324	SCM_EXPANDED_LETREC_NAMES,
	325	SCM_EXPANDED_LETREC_GENSYMS,
	326	SCM_EXPANDED_LETREC_VALS,
	327	SCM_EXPANDED_LETREC_BODY,
	328	SCM_NUM_EXPANDED_LETREC_FIELDS,
	329	};
fb6e61ca AW	330	#define SCM_MAKE_EXPANDED_LETREC(src, in_order_p, names, gensyms, vals, body) \
fb6e61ca AW	331	scm_c_make_struct (exp_vtables[SCM_EXPANDED_LETREC], 0, SCM_NUM_EXPANDED_LETREC_FIELDS, SCM_UNPACK (src), SCM_UNPACK (in_order_p), SCM_UNPACK (names), SCM_UNPACK (gensyms), SCM_UNPACK (vals), SCM_UNPACK (body))
dc3e203e	332
dc3e203e AW	333	#endif /* BUILDING_LIBGUILE */
	334
	335	\f
	336
	337	SCM_INTERNAL SCM scm_macroexpand (SCM exp);
a310a1d1	338	SCM_INTERNAL SCM scm_macroexpanded_p (SCM exp);
dc3e203e	339
7974c579 AW	340	SCM_INTERNAL SCM scm_convert_assignment (SCM exp);
7974c579 AW	341
dc3e203e AW	342	SCM_INTERNAL void scm_init_expand (void);
	343
	344
	345	#endif /* SCM_EXPAND_H */
	346
	347	/*
	348	Local Variables:
	349	c-file-style: "gnu"
	350	End:
	351	*/