From 95740b86a0eb26bb8c6df074e65ff6d59b39954f Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Thu, 18 Feb 2016 16:29:13 +0900
Subject: [PATCH] remove libraries procedure

---
 contrib/20.r7rs/src/r7rs.c |  2 ++
 src/main.c                 | 23 ++---------------------
 2 files changed, 4 insertions(+), 21 deletions(-)

diff --git a/contrib/20.r7rs/src/r7rs.c b/contrib/20.r7rs/src/r7rs.c
index ad3090aa..301f9152 100644
--- a/contrib/20.r7rs/src/r7rs.c
+++ b/contrib/20.r7rs/src/r7rs.c
@@ -18,4 +18,6 @@ pic_init_r7rs(pic_state *pic)
   pic_init_mutable_string(pic);
   pic_init_system(pic);
   pic_init_time(pic);
+
+  pic_add_feature(pic, "r7rs");
 }
diff --git a/src/main.c b/src/main.c
index 6b69accd..5168b502 100644
--- a/src/main.c
+++ b/src/main.c
@@ -4,30 +4,11 @@
 
 #include "picrin.h"
 
-void pic_init_contrib(pic_state *);
-void pic_load_piclib(pic_state *);
-
-static pic_value
-pic_libraries(pic_state *pic)
-{
-  pic_value libs = pic_nil_value(), lib, it;
-
-  pic_get_args(pic, "");
-
-  pic_for_each (lib, pic->libs, it) {
-    libs = pic_cons(pic, pic_car(pic, lib), libs);
-  }
-
-  return libs;
-}
-
 void
 pic_init_picrin(pic_state *pic)
 {
-  pic_add_feature(pic, "r7rs");
-
-  pic_deflibrary(pic, "(picrin library)");
-  pic_defun(pic, "libraries", pic_libraries);
+  void pic_init_contrib(pic_state *);
+  void pic_load_piclib(pic_state *);
 
   pic_init_contrib(pic);
   pic_load_piclib(pic);