update test/main.lali

1 files changed, 89 insertions, 4 deletions

diff --git a/test/main.lali b/test/main.lali
index a3e4b9a..25a23cf 100644
--- a/test/main.lali
+++ b/test/main.lali
@@ -1,40 +1,125 @@
+(set 'success t)
+
 (defun test (test-expr res)
+  (newline)
   (princ
-   (list (fill
-          ((differ (eval test-expr) res) 'ok)
-          ('f 'fail))
+   (list (fill ((differ (eval test-expr) res) '+)
+               ('f 'fail))
          '--> test-expr))
-  (newline))
+  (and success
+       (set 'success (fill ((differ (eval test-expr) res) t)
+                           (f f)))))
 
 ;; atom
+(test '(atom ()) f)
 (test '(atom 'a) t)
 (test '(atom '(x . a)) f)
+(test '(atom '(x a)) f)
 ;(test '(atom 'a) undef)
 
 ;; dif
+(test '(dif () 'b) t)
+(test '(dif () ()) f)
 (test '(dif 'a 'b) t)
 (test '(dif 'a 'a) f)
 (test '(dif 'a '(b . c)) t)
+(test '(dif 'a '(b c)) t)
 (test '(dif '(b . c) '(b . c)) t)
+(test '(dif '(b c) '(b c)) t)
+
+;; differ
+(test '(differ 'a ()) t)
+(test '(differ () ()) f)
+(test '(differ 'a '(b c)) t)
+(test '(differ '(a b) '(b c)) t)
+(test '(differ '(b . c) '(b . c)) f)
+(test '(differ '(b c) '(b c)) f)
 
 ;; car
+(test '(car ()) ())
+(test '(car '(a)) 'a)
 (test '(car '(a . b)) 'a)
+(test '(car '(a b)) 'a)
 (test '(car '((a . b) . c)) '(a . b))
 ;(test '(car 'a) undef)
 
 ;; cdr
+(test '(cdr ()) ())
+(test '(cdr '(a)) ())
 (test '(cdr '(a . b)) 'b)
+(test '(cdr '(a b)) '(b))
 (test '(cdr '((a . b) . c)) 'c)
 ;(test '(cdr 'a) undef)
 
 ;; cons
+(test '(cons 'a ()) '(a))
 (test '(cons 'a 'b) '(a . b))
+(test '(cons 'a '(b)) '(a b))
 (test '(cons '(a . b) 'c) '((a . b) . c))
 
 ;; or
+(test '(or () 'a) ())
+(test '(or t 'a) t)
+(test '(or 'a 'b 'c) 'a)
+(test '(or f f t) t)
 (test '(or t (car 'a)) t)
 ;(test '(or (car 'a) t) undef)
 
 ;; and
+(test '(and () 'a) 'a)
+(test '(and f 'a) f)
+(test '(and 'a 'b 'c) 'c)
+(test '(and t t f) f)
 (test '(and f (car 'a)) f)
 ;(test '(and (car 'a) f) undef)
+
+;; cond
+(test '(cond (() 'a) (f 'b)) 'a)
+(test '(cond (t 'a) (f 'b)) 'a)
+(test '(cond (f 'a) (t 'b) (t 'c)) 'b)
+(test '(cond (f 'a) (t 'b)) 'b)
+(test '(cond (f (car 'a)) (t 'b)) 'b)
+;(test '(cond (f 'a) (t (car 'a))) undef)
+(test '(cond (f 'a) (f 'b)) n)
+
+;; fill
+(test '(fill (() 'a) (f 'b)) 'b)
+(test '(fill (f 'a) (t 'b)) 'a)
+(test '(fill (t 'a) (f 'b) (f 'c)) 'b)
+(test '(fill (t 'a) (f 'b)) 'b)
+(test '(fill (t (car 'a)) (f 'b)) 'b)
+;(test '(fill (t 'a) (f (car 'a))) undef)
+(test '(fill (t 'a) (t 'b)) n)
+
+;; final message
+(and success (prog
+                (newline)
+                (princ '(All with success.))
+                (newline)))
+
+(defmacro clean (x) (newline) (princ '(** macro clean:)) (newline) (print x) (newline) (print x) (newline))
+(defmacro mac (x) (newline) (princ '(** macro:)) (newline) (print x) (newline) (print (eval x)) (newline))
+(defmacro macr (x) (newline) (princ '(** macro reverse:)) (newline) (print (eval x)) (newline) (print x) (newline))
+(defmacro double (x) (newline) (princ '(** double:)) (newline) (print (eval (eval x))) (newline))
+(defun fun (x) (newline) (princ '(** function:)) (newline) (print x) (newline) (print (eval x)) (newline))
+(defun fun1 (x) (newline) (princ '(** function reverse:)) (newline) (print (eval x)) (newline) (print x) (newline))
+
+(newline)
+(princ '(TEST (and t t f)))
+(newline)
+(princ '(- unquoted))
+(newline)
+(clean (and t t f))
+(mac (and t t f))
+(macr (and t t f))
+(double (and t t f))
+(fun (and t t f))
+(fun1 (and t t f))
+(princ '(- quoted))
+(newline)
+(clean '(and t t f))
+(mac '(and t t f))
+(macr '(and t t f))
+(double '(and t t f))
+(fun '(and t t f))
+(fun1 '(and t t f))