From 8f619fcc1804198c4e53bdba89cdb334cb9e2c7f Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Thu, 25 Jun 2015 15:38:23 +0900
Subject: [PATCH] add test case for #229

---
 t/syntax-rules.scm | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 t/syntax-rules.scm

diff --git a/t/syntax-rules.scm b/t/syntax-rules.scm
new file mode 100644
index 00000000..12b16a95
--- /dev/null
+++ b/t/syntax-rules.scm
@@ -0,0 +1,40 @@
+(import (picrin base)
+        (picrin syntax-rules)
+        (picrin test))
+
+(test-begin)
+
+(define-syntax extract?
+  (syntax-rules ()
+    ((_ symb body _cont-t _cont-f)
+     (letrec-syntax
+         ((tr
+            (syntax-rules (symb)
+              ((_ x symb tail (cont-head symb-l . cont-args) cont-false)
+               (cont-head (x . symb-l) . cont-args))
+            ((_ d (x . y) tail . rest) ; if body is a composite form,
+             (tr x x (y . tail) . rest)) ; look inside
+            ((_ d1 d2 () cont-t (cont-head symb-l . cont-args))
+             (cont-head (symb . symb-l) . cont-args))
+            ((_ d1 d2 (x . y) . rest)
+             (tr x x y . rest)))))
+       (tr body body () _cont-t _cont-f)))))
+
+(define-syntax extract
+  (syntax-rules ()
+    ((_ symb body cont)
+     (extract? symb body cont cont))))
+
+(define-syntax mbi-dirty-v1
+  (syntax-rules ()
+    ((_ _val _body)
+     (let-syntax
+         ((cont
+           (syntax-rules ()
+             ((_ (symb) val body)
+              (let ((symb val)) body)))))
+       (extract i _body (cont () _val _body))))))
+
+(test 11 (mbi-dirty-v1 10 (+ i 1)))
+
+(test-end)