From c25810fed503c37a1a9fb12f338b0aa1dd94af4b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <jahvascriptmaniac+github@free.fr>
Date: Sat, 8 Jan 2011 22:52:53 +0100
Subject: [PATCH] =?UTF-8?q?Infrastructure=20pour=20les=20tests=20d'=C3=A9q?=
 =?UTF-8?q?uivalence=20eval=20/=20mini-meval=20/=20squash-lisp-1=20/=20squ?=
 =?UTF-8?q?ash-lisp-2=20/=20squash-lisp-3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lisp/equiv-tests.lisp | 21 +++++++++++++++++++++
 lisp/main.lisp        |  3 ++-
 2 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100644 lisp/equiv-tests.lisp

diff --git a/lisp/equiv-tests.lisp b/lisp/equiv-tests.lisp
new file mode 100644
index 0000000..597aba8
--- /dev/null
+++ b/lisp/equiv-tests.lisp
@@ -0,0 +1,21 @@
+(require 'squash-lisp "squash-lisp")
+(require 'mini-meval "mini-meval")
+
+(defun test-expr-in-all (expr)
+  (let ((res-eval (eval expr))
+        (sql nil))
+    (unless (equalp res-eval (mini-meval expr))
+      (return-from test-expr-in-all "mini-meval differs from-eval"))
+    (setq sql (squash-lisp-1 expr))
+    (unless (squash-lisp-1-check sql)
+      (return-from test-expr-in-all "squash-lisp-1-check failed"))
+    (unless (equalp res-eval (eval (squash-lisp-1-wrap sql)))
+      (return-from test-expr-in-all "squash-lisp-1 differs from-eval"))
+    ;; (setq sql (squash-lisp-2 (squash-lisp-1 expr)))
+    ;; (unless (squash-lisp-2-check sql)
+    ;;   (return-from test-expr-in-all "squash-lisp-2-check failed"))
+    ;; (unless (equalp res-eval (eval (squash-lisp-2-wrap sql)))
+    ;;   (return-from test-expr-in-all "squash-lisp-2 differs from-eval"))
+    t))
+
+(provide 'equiv-tests)
diff --git a/lisp/main.lisp b/lisp/main.lisp
index 07c17d6..6d1dc7c 100644
--- a/lisp/main.lisp
+++ b/lisp/main.lisp
@@ -9,5 +9,6 @@
 (load "match")
 (load "mini-meval")
 (load "squash-lisp")
+(load "equiv-tests")
 
-(provide 'main)
\ No newline at end of file
+(provide 'main)