993 lines
24 KiB
C
993 lines
24 KiB
C
/**
|
|
* See Copyright Notice in picrin.h
|
|
*/
|
|
|
|
#include "picrin.h"
|
|
#include "picrin/pair.h"
|
|
#include "picrin/string.h"
|
|
#include "picrin/proc.h"
|
|
#include "picrin/macro.h"
|
|
#include "picrin/lib.h"
|
|
#include "picrin/error.h"
|
|
#include "picrin/box.h"
|
|
|
|
struct pic_senv *
|
|
pic_null_syntactic_environment(pic_state *pic)
|
|
{
|
|
struct pic_senv *senv;
|
|
|
|
senv = (struct pic_senv *)pic_obj_alloc(pic, sizeof(struct pic_senv), PIC_TT_SENV);
|
|
senv->up = NULL;
|
|
xh_init_int(&senv->renames, sizeof(pic_sym));
|
|
|
|
pic_define_syntactic_keyword(pic, senv, pic->sDEFINE_LIBRARY);
|
|
pic_define_syntactic_keyword(pic, senv, pic->sIMPORT);
|
|
pic_define_syntactic_keyword(pic, senv, pic->sEXPORT);
|
|
|
|
return senv;
|
|
}
|
|
|
|
void
|
|
pic_define_syntactic_keyword(pic_state *pic, struct pic_senv *senv, pic_sym sym)
|
|
{
|
|
pic_put_rename(pic, senv, sym, sym);
|
|
|
|
if (pic->lib && pic->lib->senv == senv) {
|
|
pic_export(pic, sym);
|
|
}
|
|
}
|
|
|
|
pic_sym
|
|
pic_add_rename(pic_state *pic, struct pic_senv *senv, pic_sym sym)
|
|
{
|
|
pic_sym rename;
|
|
|
|
rename = pic_gensym(pic, sym);
|
|
pic_put_rename(pic, senv, sym, rename);
|
|
return rename;
|
|
}
|
|
|
|
void
|
|
pic_put_rename(pic_state *pic, struct pic_senv *senv, pic_sym sym, pic_sym rename)
|
|
{
|
|
UNUSED(pic);
|
|
|
|
xh_put(&senv->renames, sym, &rename);
|
|
}
|
|
|
|
bool
|
|
pic_find_rename(pic_state *pic, struct pic_senv *senv, pic_sym sym, pic_sym *rename)
|
|
{
|
|
xh_entry *e;
|
|
|
|
UNUSED(pic);
|
|
|
|
if ((e = xh_get(&senv->renames, sym)) == NULL) {
|
|
return false;
|
|
}
|
|
if (rename != NULL) {
|
|
*rename = xh_val(e, pic_sym);
|
|
}
|
|
return true;
|
|
}
|
|
|
|
void
|
|
pic_import(pic_state *pic, pic_value spec)
|
|
{
|
|
struct pic_lib *lib;
|
|
xh_iter it;
|
|
|
|
lib = pic_find_library(pic, spec);
|
|
if (! lib) {
|
|
pic_error(pic, "library not found");
|
|
}
|
|
xh_begin(&it, &lib->exports);
|
|
while (xh_next(&it)) {
|
|
|
|
#if DEBUG
|
|
printf("* importing %s as %s\n", pic_symbol_name(pic, xh_key(it.e, pic_sym)), pic_symbol_name(pic, xh_val(it.e, pic_sym)));
|
|
#endif
|
|
|
|
pic_put_rename(pic, pic->lib->senv, xh_key(it.e, pic_sym), xh_val(it.e, pic_sym));
|
|
}
|
|
}
|
|
|
|
void
|
|
pic_export(pic_state *pic, pic_sym sym)
|
|
{
|
|
pic_sym rename;
|
|
|
|
if (! pic_find_rename(pic, pic->lib->senv, sym, &rename)) {
|
|
pic_errorf(pic, "export: symbol not defined %s", pic_symbol_name(pic, sym));
|
|
}
|
|
|
|
#if DEBUG
|
|
printf("* exporting %s as %s\n", pic_symbol_name(pic, sym), pic_symbol_name(pic, rename));
|
|
#endif
|
|
|
|
xh_put(&pic->lib->exports, sym, &rename);
|
|
}
|
|
|
|
static void
|
|
define_macro(pic_state *pic, pic_sym rename, struct pic_proc *proc, struct pic_senv *senv)
|
|
{
|
|
struct pic_macro *mac;
|
|
|
|
mac = (struct pic_macro *)pic_obj_alloc(pic, sizeof(struct pic_macro), PIC_TT_MACRO);
|
|
mac->senv = senv;
|
|
mac->proc = proc;
|
|
|
|
xh_put(&pic->macros, rename, &mac);
|
|
}
|
|
|
|
static struct pic_macro *
|
|
find_macro(pic_state *pic, pic_sym rename)
|
|
{
|
|
xh_entry *e;
|
|
|
|
if ((e = xh_get(&pic->macros, rename)) == NULL) {
|
|
return NULL;
|
|
}
|
|
return xh_val(e, struct pic_macro *);
|
|
}
|
|
|
|
void
|
|
pic_defmacro(pic_state *pic, const char *name, struct pic_proc *macro)
|
|
{
|
|
pic_sym sym, rename;
|
|
|
|
/* symbol registration */
|
|
sym = pic_intern_cstr(pic, name);
|
|
rename = pic_add_rename(pic, pic->lib->senv, sym);
|
|
define_macro(pic, rename, macro, NULL);
|
|
|
|
/* auto export! */
|
|
pic_export(pic, sym);
|
|
}
|
|
|
|
static pic_value macroexpand_node(pic_state *, pic_value, struct pic_senv *, pic_value);
|
|
|
|
static pic_value
|
|
macroexpand(pic_state *pic, pic_value expr, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
int ai = pic_gc_arena_preserve(pic);
|
|
pic_value v;
|
|
|
|
v = macroexpand_node(pic, expr, senv, assoc_box);
|
|
|
|
pic_gc_arena_restore(pic, ai);
|
|
pic_gc_protect(pic, v);
|
|
return v;
|
|
}
|
|
|
|
static struct pic_senv *
|
|
push_scope(pic_state *pic, pic_value formals, struct pic_senv *up, pic_value assoc_box)
|
|
{
|
|
struct pic_senv *senv;
|
|
pic_value a;
|
|
|
|
senv = (struct pic_senv *)pic_obj_alloc(pic, sizeof(struct pic_senv), PIC_TT_SENV);
|
|
senv->up = up;
|
|
xh_init_int(&senv->renames, sizeof(pic_sym));
|
|
|
|
for (a = formals; pic_pair_p(a); a = pic_cdr(pic, a)) {
|
|
pic_value v = pic_car(pic, a);
|
|
|
|
if (! pic_sym_p(v)) {
|
|
v = macroexpand(pic, v, up, assoc_box);
|
|
}
|
|
if (! pic_sym_p(v)) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
pic_add_rename(pic, senv, pic_sym(v));
|
|
}
|
|
if (! pic_sym_p(a)) {
|
|
a = macroexpand(pic, a, up, assoc_box);
|
|
}
|
|
if (pic_sym_p(a)) {
|
|
pic_add_rename(pic, senv, pic_sym(a));
|
|
}
|
|
else if (! pic_nil_p(a)) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
return senv;
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_list(pic_state *pic, pic_value list, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
int ai = pic_gc_arena_preserve(pic);
|
|
pic_value v, vs;
|
|
|
|
/* macroexpand in order */
|
|
vs = pic_nil_value();
|
|
while (pic_pair_p(list)) {
|
|
v = pic_car(pic, list);
|
|
|
|
vs = pic_cons(pic, macroexpand(pic, v, senv, assoc_box), vs);
|
|
list = pic_cdr(pic, list);
|
|
|
|
pic_gc_arena_restore(pic, ai);
|
|
pic_gc_protect(pic, vs);
|
|
pic_gc_protect(pic, list);
|
|
}
|
|
|
|
list = macroexpand(pic, list, senv, assoc_box);
|
|
|
|
/* reverse the result */
|
|
pic_for_each (v, vs) {
|
|
list = pic_cons(pic, v, list);
|
|
|
|
pic_gc_arena_restore(pic, ai);
|
|
pic_gc_protect(pic, vs);
|
|
pic_gc_protect(pic, list);
|
|
}
|
|
|
|
pic_gc_arena_restore(pic, ai);
|
|
pic_gc_protect(pic, list);
|
|
return list;
|
|
}
|
|
|
|
static pic_sym
|
|
macroexpand_symbol(pic_state *pic, pic_sym sym, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
pic_sym rename;
|
|
pic_value x;
|
|
|
|
if (! pic_interned_p(pic, sym)) {
|
|
return sym;
|
|
}
|
|
while (true) {
|
|
if (pic_find_rename(pic, senv, sym, &rename)) {
|
|
return rename;
|
|
}
|
|
if (! senv->up)
|
|
break;
|
|
senv = senv->up;
|
|
}
|
|
x = pic_assq(pic, pic_sym_value(sym), pic_unbox(pic, assoc_box));
|
|
if (pic_test(x)) {
|
|
return pic_sym(pic_cdr(pic, x));
|
|
} else {
|
|
rename = pic_gensym(pic, sym);
|
|
pic_set_box(pic, assoc_box, pic_acons(pic, pic_sym_value(sym), pic_sym_value(rename), pic_unbox(pic, assoc_box)));
|
|
return rename;
|
|
}
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_deflibrary(pic_state *pic, pic_value expr)
|
|
{
|
|
struct pic_lib *prev = pic->lib;
|
|
pic_value v;
|
|
|
|
if (pic_length(pic, expr) < 2) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
|
|
pic_make_library(pic, pic_cadr(pic, expr));
|
|
|
|
pic_try {
|
|
pic_in_library(pic, pic_cadr(pic, expr));
|
|
|
|
pic_for_each (v, pic_cddr(pic, expr)) {
|
|
int ai = pic_gc_arena_preserve(pic);
|
|
|
|
pic_eval(pic, v);
|
|
|
|
pic_gc_arena_restore(pic, ai);
|
|
}
|
|
|
|
pic_in_library(pic, prev->name);
|
|
}
|
|
pic_catch {
|
|
/* restores pic->lib even if an error occurs */
|
|
pic_in_library(pic, prev->name);
|
|
pic_throw(pic, pic->err);
|
|
}
|
|
|
|
return pic_none_value();
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_import(pic_state *pic, pic_value expr)
|
|
{
|
|
pic_value spec;
|
|
|
|
pic_for_each (spec, pic_cdr(pic, expr)) {
|
|
pic_import(pic, spec);
|
|
}
|
|
|
|
return pic_none_value();
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_export(pic_state *pic, pic_value expr)
|
|
{
|
|
pic_value spec;
|
|
|
|
pic_for_each (spec, pic_cdr(pic, expr)) {
|
|
if (! pic_sym_p(spec)) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
/* TODO: warn if symbol is shadowed by local variable */
|
|
pic_export(pic, pic_sym(spec));
|
|
}
|
|
|
|
return pic_none_value();
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_defsyntax(pic_state *pic, pic_value expr, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
pic_value var, val;
|
|
pic_sym sym, rename;
|
|
|
|
if (pic_length(pic, expr) != 3) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
|
|
var = pic_cadr(pic, expr);
|
|
if (! pic_sym_p(var)) {
|
|
var = macroexpand(pic, var, senv, assoc_box);
|
|
}
|
|
if (! pic_sym_p(var)) {
|
|
pic_error(pic, "binding to non-symbol object");
|
|
}
|
|
sym = pic_sym(var);
|
|
if (! pic_find_rename(pic, senv, sym, &rename)) {
|
|
rename = pic_add_rename(pic, senv, sym);
|
|
}
|
|
|
|
val = pic_cadr(pic, pic_cdr(pic, expr));
|
|
|
|
pic_try {
|
|
val = pic_eval(pic, val);
|
|
} pic_catch {
|
|
pic_errorf(pic, "macroexpand error: %s", pic_errmsg(pic));
|
|
}
|
|
|
|
if (! pic_proc_p(val)) {
|
|
pic_errorf(pic, "macro definition \"~s\" evaluates to non-procedure object", var);
|
|
}
|
|
|
|
define_macro(pic, rename, pic_proc_ptr(val), senv);
|
|
|
|
return pic_none_value();
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_defmacro(pic_state *pic, pic_value expr, struct pic_senv *senv)
|
|
{
|
|
pic_value var, val;
|
|
pic_sym sym, rename;
|
|
|
|
if (pic_length(pic, expr) < 2) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
|
|
var = pic_car(pic, pic_cdr(pic, expr));
|
|
if (pic_pair_p(var)) {
|
|
/* FIXME: unhygienic */
|
|
val = pic_cons(pic, pic_sym_value(pic->sLAMBDA),
|
|
pic_cons(pic, pic_cdr(pic, var),
|
|
pic_cdr(pic, pic_cdr(pic, expr))));
|
|
var = pic_car(pic, var);
|
|
}
|
|
else {
|
|
if (pic_length(pic, expr) != 3) {
|
|
pic_error(pic, "syntax_error");
|
|
}
|
|
val = pic_car(pic, pic_cdr(pic, pic_cdr(pic, expr)));
|
|
}
|
|
if (! pic_sym_p(var)) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
sym = pic_sym(var);
|
|
if (! pic_find_rename(pic, senv, sym, &rename)) {
|
|
rename = pic_add_rename(pic, senv, sym);
|
|
}
|
|
|
|
pic_try {
|
|
val = pic_eval(pic, val);
|
|
} pic_catch {
|
|
pic_errorf(pic, "macroexpand error: %s", pic_errmsg(pic));
|
|
}
|
|
|
|
if (! pic_proc_p(val)) {
|
|
pic_errorf(pic, "macro definition \"~s\" evaluates to non-procedure object", var);
|
|
}
|
|
|
|
define_macro(pic, rename, pic_proc_ptr(val), NULL);
|
|
|
|
return pic_none_value();
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_define(pic_state *pic, pic_value expr, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
pic_sym sym;
|
|
pic_value formals;
|
|
|
|
if (pic_length(pic, expr) < 2) {
|
|
pic_error(pic, "syntax error");
|
|
}
|
|
|
|
formals = pic_cadr(pic, expr);
|
|
if (pic_pair_p(formals)) {
|
|
struct pic_senv *in = push_scope(pic, pic_cdr(pic, formals), senv, assoc_box);
|
|
pic_value a;
|
|
|
|
/* defined symbol */
|
|
a = pic_car(pic, formals);
|
|
if (! pic_sym_p(a)) {
|
|
a = macroexpand(pic, a, senv, assoc_box);
|
|
}
|
|
if (! pic_sym_p(a)) {
|
|
pic_error(pic, "binding to non-symbol object");
|
|
}
|
|
sym = pic_sym(a);
|
|
if (! pic_find_rename(pic, senv, sym, NULL)) {
|
|
pic_add_rename(pic, senv, sym);
|
|
}
|
|
|
|
/* binding value */
|
|
return pic_cons(pic, pic_sym_value(pic->sDEFINE),
|
|
pic_cons(pic,
|
|
macroexpand_list(pic, pic_cadr(pic, expr), in, assoc_box),
|
|
macroexpand_list(pic, pic_cddr(pic, expr), in, assoc_box)));
|
|
}
|
|
|
|
if (! pic_sym_p(formals)) {
|
|
formals = macroexpand(pic, formals, senv, assoc_box);
|
|
}
|
|
if (! pic_sym_p(formals)) {
|
|
pic_error(pic, "binding to non-symbol object");
|
|
}
|
|
sym = pic_sym(formals);
|
|
if (! pic_find_rename(pic, senv, sym, NULL)) {
|
|
pic_add_rename(pic, senv, sym);
|
|
}
|
|
|
|
return pic_cons(pic, pic_sym_value(pic->sDEFINE), macroexpand_list(pic, pic_cdr(pic, expr), senv, assoc_box));
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_lambda(pic_state *pic, pic_value expr, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
struct pic_senv *in = push_scope(pic, pic_cadr(pic, expr), senv, assoc_box);
|
|
|
|
return pic_cons(pic, pic_sym_value(pic->sLAMBDA),
|
|
pic_cons(pic,
|
|
macroexpand_list(pic, pic_cadr(pic, expr), in, assoc_box),
|
|
macroexpand_list(pic, pic_cddr(pic, expr), in, assoc_box)));
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_quote(pic_state *pic, pic_value expr)
|
|
{
|
|
return pic_cons(pic, pic_sym_value(pic->sQUOTE), pic_cdr(pic, expr));
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_macro(pic_state *pic, struct pic_macro *mac, pic_value expr, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
pic_value v, args;
|
|
|
|
#if DEBUG
|
|
puts("before expand-1:");
|
|
pic_debug(pic, expr);
|
|
puts("");
|
|
#endif
|
|
|
|
if (mac->senv == NULL) { /* legacy macro */
|
|
args = pic_cdr(pic, expr);
|
|
}
|
|
else {
|
|
args = pic_list3(pic, expr, pic_obj_value(senv), pic_obj_value(mac->senv));
|
|
}
|
|
|
|
pic_try {
|
|
v = pic_apply(pic, mac->proc, args);
|
|
} pic_catch {
|
|
pic_errorf(pic, "macroexpand error: %s", pic_errmsg(pic));
|
|
}
|
|
|
|
#if DEBUG
|
|
puts("after expand-1:");
|
|
pic_debug(pic, v);
|
|
puts("");
|
|
#endif
|
|
|
|
return macroexpand(pic, v, senv, assoc_box);
|
|
}
|
|
|
|
static pic_value
|
|
macroexpand_node(pic_state *pic, pic_value expr, struct pic_senv *senv, pic_value assoc_box)
|
|
{
|
|
#if DEBUG
|
|
printf("[macroexpand] expanding... ");
|
|
pic_debug(pic, expr);
|
|
puts("");
|
|
#endif
|
|
|
|
switch (pic_type(expr)) {
|
|
case PIC_TT_SC: {
|
|
return macroexpand(pic, pic_sc_ptr(expr)->expr, pic_sc_ptr(expr)->senv, assoc_box);
|
|
}
|
|
case PIC_TT_SYMBOL: {
|
|
return pic_sym_value(macroexpand_symbol(pic, pic_sym(expr), senv, assoc_box));
|
|
}
|
|
case PIC_TT_PAIR: {
|
|
pic_value car;
|
|
struct pic_macro *mac;
|
|
|
|
if (! pic_list_p(expr)) {
|
|
pic_errorf(pic, "cannot macroexpand improper list: ~s", expr);
|
|
}
|
|
|
|
car = macroexpand(pic, pic_car(pic, expr), senv, assoc_box);
|
|
if (pic_sym_p(car)) {
|
|
pic_sym tag = pic_sym(car);
|
|
|
|
if (tag == pic->sDEFINE_LIBRARY) {
|
|
return macroexpand_deflibrary(pic, expr);
|
|
}
|
|
else if (tag == pic->sIMPORT) {
|
|
return macroexpand_import(pic, expr);
|
|
}
|
|
else if (tag == pic->sEXPORT) {
|
|
return macroexpand_export(pic, expr);
|
|
}
|
|
else if (tag == pic->sDEFINE_SYNTAX) {
|
|
return macroexpand_defsyntax(pic, expr, senv, assoc_box);
|
|
}
|
|
else if (tag == pic->sDEFINE_MACRO) {
|
|
return macroexpand_defmacro(pic, expr, senv);
|
|
}
|
|
else if (tag == pic->sLAMBDA) {
|
|
return macroexpand_lambda(pic, expr, senv, assoc_box);
|
|
}
|
|
else if (tag == pic->sDEFINE) {
|
|
return macroexpand_define(pic, expr, senv, assoc_box);
|
|
}
|
|
else if (tag == pic->sQUOTE) {
|
|
return macroexpand_quote(pic, expr);
|
|
}
|
|
|
|
if ((mac = find_macro(pic, tag)) != NULL) {
|
|
return macroexpand_macro(pic, mac, expr, senv, assoc_box);
|
|
}
|
|
}
|
|
|
|
return pic_cons(pic, car, macroexpand_list(pic, pic_cdr(pic, expr), senv, assoc_box));
|
|
}
|
|
case PIC_TT_EOF:
|
|
case PIC_TT_NIL:
|
|
case PIC_TT_BOOL:
|
|
case PIC_TT_FLOAT:
|
|
case PIC_TT_INT:
|
|
case PIC_TT_CHAR:
|
|
case PIC_TT_STRING:
|
|
case PIC_TT_VECTOR:
|
|
case PIC_TT_BLOB: {
|
|
return expr;
|
|
}
|
|
case PIC_TT_PROC:
|
|
case PIC_TT_PORT:
|
|
case PIC_TT_ERROR:
|
|
case PIC_TT_ENV:
|
|
case PIC_TT_CONT:
|
|
case PIC_TT_UNDEF:
|
|
case PIC_TT_SENV:
|
|
case PIC_TT_MACRO:
|
|
case PIC_TT_LIB:
|
|
case PIC_TT_VAR:
|
|
case PIC_TT_IREP:
|
|
case PIC_TT_DATA:
|
|
case PIC_TT_BOX:
|
|
pic_errorf(pic, "unexpected value type: ~s", expr);
|
|
}
|
|
UNREACHABLE();
|
|
}
|
|
|
|
pic_value
|
|
pic_macroexpand(pic_state *pic, pic_value expr)
|
|
{
|
|
pic_value v, box;
|
|
|
|
#if DEBUG
|
|
puts("before expand:");
|
|
pic_debug(pic, expr);
|
|
puts("");
|
|
#endif
|
|
|
|
box = pic_box(pic, pic_nil_value());
|
|
|
|
v = macroexpand(pic, expr, pic->lib->senv, box);
|
|
|
|
#if DEBUG
|
|
puts("after expand:");
|
|
pic_debug(pic, v);
|
|
puts("");
|
|
#endif
|
|
|
|
return v;
|
|
}
|
|
|
|
/* once read.c is implemented move there */
|
|
static pic_value
|
|
pic_macro_include(pic_state *pic)
|
|
{
|
|
size_t argc, i;
|
|
pic_value *argv, exprs, body;
|
|
FILE *file;
|
|
|
|
pic_get_args(pic, "*", &argc, &argv);
|
|
|
|
/* FIXME unhygienic */
|
|
body = pic_list1(pic, pic_sym_value(pic->sBEGIN));
|
|
|
|
for (i = 0; i < argc; ++i) {
|
|
const char *filename;
|
|
if (! pic_str_p(argv[i])) {
|
|
pic_error(pic, "expected string");
|
|
}
|
|
filename = pic_str_cstr(pic_str_ptr(argv[i]));
|
|
file = fopen(filename, "r");
|
|
if (file == NULL) {
|
|
pic_error(pic, "could not open file");
|
|
}
|
|
exprs = pic_parse_file(pic, file);
|
|
if (pic_undef_p(exprs)) {
|
|
pic_error(pic, "parse error");
|
|
}
|
|
body = pic_append(pic, body, exprs);
|
|
}
|
|
|
|
return body;
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_gensym(pic_state *pic)
|
|
{
|
|
static const char skel[] = ".g";
|
|
pic_sym uniq;
|
|
|
|
pic_get_args(pic, "");
|
|
|
|
uniq = pic_gensym(pic, pic_intern_cstr(pic, skel));
|
|
return pic_sym_value(uniq);
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_macroexpand(pic_state *pic)
|
|
{
|
|
pic_value expr;
|
|
|
|
pic_get_args(pic, "o", &expr);
|
|
|
|
return pic_macroexpand(pic, expr);
|
|
}
|
|
|
|
static struct pic_sc *
|
|
sc_new(pic_state *pic, pic_value expr, struct pic_senv *senv)
|
|
{
|
|
struct pic_sc *sc;
|
|
|
|
sc = (struct pic_sc *)pic_obj_alloc(pic, sizeof(struct pic_sc), PIC_TT_SC);
|
|
sc->expr = expr;
|
|
sc->senv = senv;
|
|
return sc;
|
|
}
|
|
|
|
static bool
|
|
sc_identifier_p(pic_value obj)
|
|
{
|
|
if (pic_sym_p(obj)) {
|
|
return true;
|
|
}
|
|
if (pic_sc_p(obj)) {
|
|
return sc_identifier_p(pic_sc_ptr(obj)->expr);
|
|
}
|
|
return false;
|
|
}
|
|
|
|
static bool
|
|
sc_identifier_eq_p(pic_state *pic, struct pic_senv *e1, pic_value x, struct pic_senv *e2, pic_value y)
|
|
{
|
|
pic_value box;
|
|
|
|
if (! (sc_identifier_p(x) && sc_identifier_p(y))) {
|
|
return false;
|
|
}
|
|
|
|
box = pic_box(pic, pic_nil_value());
|
|
|
|
x = macroexpand(pic, x, e1, box);
|
|
y = macroexpand(pic, y, e2, box);
|
|
|
|
return pic_eq_p(x, y);
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_make_sc(pic_state *pic)
|
|
{
|
|
pic_value senv, free_vars, expr;
|
|
struct pic_sc *sc;
|
|
|
|
pic_get_args(pic, "ooo", &senv, &free_vars, &expr);
|
|
|
|
if (! pic_senv_p(senv))
|
|
pic_error(pic, "make-syntactic-closure: senv required");
|
|
|
|
/* just ignore free_vars for now */
|
|
sc = sc_new(pic, expr, pic_senv_ptr(senv));
|
|
|
|
return pic_obj_value(sc);
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_identifier_p(pic_state *pic)
|
|
{
|
|
pic_value obj;
|
|
|
|
pic_get_args(pic, "o", &obj);
|
|
|
|
return pic_bool_value(sc_identifier_p(obj));
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_identifier_eq_p(pic_state *pic)
|
|
{
|
|
pic_value e, x, f, y;
|
|
struct pic_senv *e1, *e2;
|
|
|
|
pic_get_args(pic, "oooo", &e, &x, &f, &y);
|
|
|
|
if (! pic_senv_p(e)) {
|
|
pic_error(pic, "unexpected type of argument 1");
|
|
}
|
|
e1 = pic_senv_ptr(e);
|
|
if (! pic_senv_p(f)) {
|
|
pic_error(pic, "unexpected type of argument 3");
|
|
}
|
|
e2 = pic_senv_ptr(f);
|
|
|
|
return pic_bool_value(sc_identifier_eq_p(pic, e1, x, e2, y));
|
|
}
|
|
|
|
static pic_value
|
|
er_macro_rename(pic_state *pic)
|
|
{
|
|
pic_sym sym;
|
|
struct pic_senv *mac_env;
|
|
pic_value assoc_box;
|
|
|
|
pic_get_args(pic, "m", &sym);
|
|
|
|
mac_env = pic_senv_ptr(pic_proc_cv_ref(pic, pic_get_proc(pic), 1));
|
|
assoc_box = pic_proc_cv_ref(pic, pic_get_proc(pic), 2);
|
|
|
|
return pic_sym_value(macroexpand_symbol(pic, sym, mac_env, assoc_box));
|
|
}
|
|
|
|
static pic_value
|
|
er_macro_compare(pic_state *pic)
|
|
{
|
|
pic_value a, b;
|
|
struct pic_senv *use_env;
|
|
pic_sym m, n;
|
|
pic_value assoc_box;
|
|
|
|
pic_get_args(pic, "oo", &a, &b);
|
|
|
|
if (! pic_sym_p(a) || ! pic_sym_p(b))
|
|
return pic_false_value(); /* should be an error? */
|
|
|
|
use_env = pic_senv_ptr(pic_proc_cv_ref(pic, pic_get_proc(pic), 0));
|
|
assoc_box = pic_proc_cv_ref(pic, pic_get_proc(pic), 2);
|
|
|
|
m = macroexpand_symbol(pic, pic_sym(a), use_env, assoc_box);
|
|
n = macroexpand_symbol(pic, pic_sym(b), use_env, assoc_box);
|
|
|
|
return pic_bool_value(m == n);
|
|
}
|
|
|
|
static pic_value
|
|
er_macro_call(pic_state *pic)
|
|
{
|
|
pic_value expr, use_env, mac_env, box;
|
|
struct pic_proc *rename, *compare, *cb;
|
|
|
|
pic_get_args(pic, "ooo", &expr, &use_env, &mac_env);
|
|
|
|
if (! pic_senv_p(use_env)) {
|
|
pic_error(pic, "unexpected type of argument 1");
|
|
}
|
|
if (! pic_senv_p(mac_env)) {
|
|
pic_error(pic, "unexpected type of argument 3");
|
|
}
|
|
|
|
box = pic_box(pic, pic_nil_value());
|
|
|
|
rename = pic_proc_new(pic, er_macro_rename, "<er-macro-renamer>");
|
|
pic_proc_cv_init(pic, rename, 3);
|
|
pic_proc_cv_set(pic, rename, 0, use_env);
|
|
pic_proc_cv_set(pic, rename, 1, mac_env);
|
|
pic_proc_cv_set(pic, rename, 2, box);
|
|
|
|
compare = pic_proc_new(pic, er_macro_compare, "<er-macro-comparator>");
|
|
pic_proc_cv_init(pic, compare, 3);
|
|
pic_proc_cv_set(pic, compare, 0, use_env);
|
|
pic_proc_cv_set(pic, compare, 1, mac_env);
|
|
pic_proc_cv_set(pic, compare, 2, box);
|
|
|
|
cb = pic_proc_ptr(pic_proc_cv_ref(pic, pic_get_proc(pic), 0));
|
|
|
|
return pic_apply3(pic, cb, expr, pic_obj_value(rename), pic_obj_value(compare));
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_er_macro_transformer(pic_state *pic)
|
|
{
|
|
struct pic_proc *cb, *proc;
|
|
|
|
pic_get_args(pic, "l", &cb);
|
|
|
|
proc = pic_proc_new(pic, er_macro_call, "<er-macro-procedure>");
|
|
pic_proc_cv_init(pic, proc, 1);
|
|
pic_proc_cv_set(pic, proc, 0, pic_obj_value(cb));
|
|
|
|
return pic_obj_value(proc);
|
|
}
|
|
|
|
static pic_value
|
|
ir_macro_inject(pic_state *pic)
|
|
{
|
|
pic_sym sym;
|
|
struct pic_senv *use_env;
|
|
pic_value assoc_box;
|
|
|
|
pic_get_args(pic, "m", &sym);
|
|
|
|
use_env = pic_senv_ptr(pic_proc_cv_ref(pic, pic_get_proc(pic), 0));
|
|
assoc_box = pic_proc_cv_ref(pic, pic_get_proc(pic), 2);
|
|
|
|
return pic_sym_value(macroexpand_symbol(pic, sym, use_env, assoc_box));
|
|
}
|
|
|
|
static pic_value
|
|
ir_macro_compare(pic_state *pic)
|
|
{
|
|
pic_value a, b;
|
|
struct pic_senv *mac_env;
|
|
pic_sym m, n;
|
|
pic_value assoc_box;
|
|
|
|
pic_get_args(pic, "oo", &a, &b);
|
|
|
|
if (! pic_sym_p(a) || ! pic_sym_p(b))
|
|
return pic_false_value(); /* should be an error? */
|
|
|
|
mac_env = pic_senv_ptr(pic_proc_cv_ref(pic, pic_get_proc(pic), 1));
|
|
assoc_box = pic_proc_cv_ref(pic, pic_get_proc(pic), 2);
|
|
|
|
m = macroexpand_symbol(pic, pic_sym(a), mac_env, assoc_box);
|
|
n = macroexpand_symbol(pic, pic_sym(b), mac_env, assoc_box);
|
|
|
|
return pic_bool_value(m == n);
|
|
}
|
|
|
|
static pic_value
|
|
ir_macro_wrap(pic_state *pic, pic_value expr, struct pic_senv *use_env, pic_value assoc_box, pic_value *ir)
|
|
{
|
|
if (pic_sym_p(expr)) {
|
|
pic_value r;
|
|
r = pic_sym_value(macroexpand_symbol(pic, pic_sym(expr), use_env, assoc_box));
|
|
*ir = pic_acons(pic, r, expr, *ir);
|
|
return r;
|
|
}
|
|
else if (pic_pair_p(expr)) {
|
|
return pic_cons(pic,
|
|
ir_macro_wrap(pic, pic_car(pic, expr), use_env, assoc_box, ir),
|
|
ir_macro_wrap(pic, pic_cdr(pic, expr), use_env, assoc_box, ir));
|
|
}
|
|
else {
|
|
return expr;
|
|
}
|
|
}
|
|
|
|
static pic_value
|
|
ir_macro_unwrap(pic_state *pic, pic_value expr, struct pic_senv *mac_env, pic_value assoc_box, pic_value *ir)
|
|
{
|
|
if (pic_sym_p(expr)) {
|
|
pic_value r;
|
|
if (pic_test(r = pic_assq(pic, expr, *ir))) {
|
|
return pic_cdr(pic, r);
|
|
}
|
|
return pic_sym_value(macroexpand_symbol(pic, pic_sym(expr), mac_env, assoc_box));
|
|
}
|
|
else if (pic_pair_p(expr)) {
|
|
return pic_cons(pic,
|
|
ir_macro_unwrap(pic, pic_car(pic, expr), mac_env, assoc_box, ir),
|
|
ir_macro_unwrap(pic, pic_cdr(pic, expr), mac_env, assoc_box, ir));
|
|
}
|
|
else {
|
|
return expr;
|
|
}
|
|
}
|
|
|
|
static pic_value
|
|
ir_macro_call(pic_state *pic)
|
|
{
|
|
pic_value expr, use_env, mac_env, box;
|
|
struct pic_proc *inject, *compare, *cb;
|
|
pic_value ir = pic_nil_value();
|
|
|
|
pic_get_args(pic, "ooo", &expr, &use_env, &mac_env);
|
|
|
|
if (! pic_senv_p(use_env)) {
|
|
pic_error(pic, "unexpected type of argument 1");
|
|
}
|
|
if (! pic_senv_p(mac_env)) {
|
|
pic_error(pic, "unexpected type of argument 3");
|
|
}
|
|
|
|
box = pic_box(pic, pic_nil_value());
|
|
|
|
inject = pic_proc_new(pic, ir_macro_inject, "<ir-macro-injecter>");
|
|
pic_proc_cv_init(pic, inject, 3);
|
|
pic_proc_cv_set(pic, inject, 0, use_env);
|
|
pic_proc_cv_set(pic, inject, 1, mac_env);
|
|
pic_proc_cv_set(pic, inject, 2, box);
|
|
|
|
compare = pic_proc_new(pic, ir_macro_compare, "<ir-macro-comparator>");
|
|
pic_proc_cv_init(pic, compare, 3);
|
|
pic_proc_cv_set(pic, compare, 0, use_env);
|
|
pic_proc_cv_set(pic, compare, 1, mac_env);
|
|
pic_proc_cv_set(pic, compare, 2, box);
|
|
|
|
cb = pic_proc_ptr(pic_proc_cv_ref(pic, pic_get_proc(pic), 0));
|
|
|
|
expr = ir_macro_wrap(pic, expr, pic_senv_ptr(use_env), box, &ir);
|
|
expr = pic_apply3(pic, cb, expr, pic_obj_value(inject), pic_obj_value(compare));
|
|
expr = ir_macro_unwrap(pic, expr, pic_senv_ptr(mac_env), box, &ir);
|
|
|
|
return expr;
|
|
}
|
|
|
|
static pic_value
|
|
pic_macro_ir_macro_transformer(pic_state *pic)
|
|
{
|
|
struct pic_proc *cb, *proc;
|
|
|
|
pic_get_args(pic, "l", &cb);
|
|
|
|
proc = pic_proc_new(pic, ir_macro_call, "<ir-macro-procedure>");
|
|
pic_proc_cv_init(pic, proc, 1);
|
|
pic_proc_cv_set(pic, proc, 0, pic_obj_value(cb));
|
|
|
|
return pic_obj_value(proc);
|
|
}
|
|
|
|
void
|
|
pic_init_macro(pic_state *pic)
|
|
{
|
|
pic_defmacro(pic, "include", pic_proc_new(pic, pic_macro_include, "<include-procedure>"));
|
|
|
|
pic_deflibrary ("(picrin macro)") {
|
|
|
|
/* export define-macro syntax */
|
|
pic_define_syntactic_keyword(pic, pic->lib->senv, pic->sDEFINE_MACRO);
|
|
|
|
pic_defun(pic, "gensym", pic_macro_gensym);
|
|
pic_defun(pic, "macroexpand", pic_macro_macroexpand);
|
|
pic_defun(pic, "make-syntactic-closure", pic_macro_make_sc);
|
|
pic_defun(pic, "identifier?", pic_macro_identifier_p);
|
|
pic_defun(pic, "identifier=?", pic_macro_identifier_eq_p);
|
|
pic_defun(pic, "er-macro-transformer", pic_macro_er_macro_transformer);
|
|
pic_defun(pic, "ir-macro-transformer", pic_macro_ir_macro_transformer);
|
|
}
|
|
}
|