support (equal? identifier1 identifier2)

This commit is contained in:
Yuichi Nishiwaki 2015-06-16 21:13:41 +09:00
parent cf66d600bb
commit 7dd0e01b70
2 changed files with 19 additions and 15 deletions

View File

@ -104,6 +104,14 @@ internal_equal_p(pic_state *pic, pic_value x, pic_value y, size_t depth, xhash *
}
return true;
}
case PIC_TT_ID: {
struct pic_id *id1, *id2;
id1 = pic_id_ptr(x);
id2 = pic_id_ptr(y);
return pic_eq_p(pic_expand(pic, id1->var, id1->env), pic_expand(pic, id2->var, id2->env));
}
default:
return false;
}

View File

@ -152,24 +152,20 @@ pic_macro_variable_p(pic_state *pic)
static pic_value
pic_macro_variable_eq_p(pic_state *pic)
{
pic_value var1, var2;
size_t argc, i;
pic_value *argv;
pic_get_args(pic, "oo", &var1, &var2);
pic_get_args(pic, "*", &argc, &argv);
pic_assert_type(pic, var1, var);
pic_assert_type(pic, var2, var);
if (pic_sym_p(var1) && pic_sym_p(var2)) {
return pic_bool_value(pic_eq_p(var1, var2));
for (i = 0; i < argc; ++i) {
if (! pic_var_p(argv[i])) {
return pic_false_value();
}
if (! pic_equal_p(pic, argv[i], argv[0])) {
return pic_false_value();
}
}
if (pic_id_p(var1) && pic_id_p(var2)) {
struct pic_id *id1, *id2;
id1 = pic_id_ptr(var1);
id2 = pic_id_ptr(var2);
return pic_bool_value(pic_eq_p(pic_expand(pic, id1->var, id1->env), pic_expand(pic, id2->var, id2->env)));
}
return pic_false_value();
return pic_true_value();
}
void