From 18965f9ce76ea7d70cd9d55cbd1242c24679d92a Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Sat, 18 Jul 2015 15:31:37 +0900
Subject: [PATCH] remove undefined? procedure

---
 extlib/benz/state.c |  2 --
 extlib/benz/undef.c | 21 ---------------------
 2 files changed, 23 deletions(-)
 delete mode 100644 extlib/benz/undef.c

diff --git a/extlib/benz/state.c b/extlib/benz/state.c
index 8e03f6c4..bb587966 100644
--- a/extlib/benz/state.c
+++ b/extlib/benz/state.c
@@ -18,7 +18,6 @@ pic_add_feature(pic_state *pic, const char *feature)
   pic_push(pic, pic_obj_value(pic_intern(pic, feature)), pic->features);
 }
 
-void pic_init_undef(pic_state *);
 void pic_init_bool(pic_state *);
 void pic_init_pair(pic_state *);
 void pic_init_port(pic_state *);
@@ -162,7 +161,6 @@ pic_init_core(pic_state *pic)
     VM(pic->uGT, ">");
     VM(pic->uGE, ">=");
 
-    pic_init_undef(pic); DONE;
     pic_init_bool(pic); DONE;
     pic_init_pair(pic); DONE;
     pic_init_port(pic); DONE;
diff --git a/extlib/benz/undef.c b/extlib/benz/undef.c
deleted file mode 100644
index 9e709c0e..00000000
--- a/extlib/benz/undef.c
+++ /dev/null
@@ -1,21 +0,0 @@
-/**
- * See Copyright Notice in picrin.h
- */
-
-#include "picrin.h"
-
-static pic_value
-pic_undef_undefined_p(pic_state *pic)
-{
-  pic_value v;
-
-  pic_get_args(pic, "o", &v);
-
-  return pic_undef_p(v) ? pic_true_value() : pic_false_value();
-}
-
-void
-pic_init_undef(pic_state *pic)
-{
-  pic_defun(pic, "undefined?", pic_undef_undefined_p);
-}