bd5abf518a87febb1948b0b19f8407809c425033
[mes.git] / tests / scm.test
1 ;;; -*-scheme-*-
2
3 ;;; Mes --- Maxwell Equations of Software
4 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
5 ;;;
6 ;;; scm.test: This file is part of Mes.
7 ;;;
8 ;;; Mes is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
12 ;;;
13 ;;; Mes is distributed in the hope that it will be useful, but
14 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
15 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16 ;;; GNU General Public License for more details.
17 ;;;
18 ;;; You should have received a copy of the GNU General Public License
19 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
20
21 (mes-use-module (mes base))
22 (mes-use-module (mes quasiquote))
23 (mes-use-module (mes let))
24 (mes-use-module (srfi srfi-0))
25 (mes-use-module (mes scm))
26 (mes-use-module (mes test))
27
28 (when guile?
29   (module-define! (current-module) 'builtin? (lambda (. x) #t))
30   (use-modules (srfi srfi-1))
31   )
32
33 (pass-if "first dummy" #t)
34 (pass-if-not "second dummy" #f)
35
36 (pass-if "when" (seq? (when #t 'true) 'true))
37 (pass-if "when 2" (seq? (when #f 'true) *unspecified*))
38
39 (pass-if "map" (sequal? (map identity '(1 2 3 4)) '(1 2 3 4)))
40 (pass-if "map 2 " (sequal? (map (lambda (i a) (cons i a)) '(1 2 3 4) '(a b c d))
41                            '((1 . a) (2 . b) (3 . c) (4 . d))))
42 (pass-if "for-each" (sequal? (let ((acc '())) (for-each (lambda (x) (set! acc (cons x acc))) '(1 2 3 4)) acc) '(4 3 2 1)))
43 (define xxxa 0)
44 (pass-if "set! " (seq? (begin (set! xxxa 1) xxxa) 1))
45 (pass-if "set! 2" (seq? (let ((a 0)) (set! a 1) a) 1))
46
47
48 (pass-if "list-ref" (seq? (list-ref '(0 1 2) 1) 1))
49
50 (pass-if "do" (sequal? (let ((acc '())) (do ((i 0 (+ i 1))) ((>= i 3)) (set! acc (cons i acc))) acc) '(2 1 0)))
51
52
53
54
55
56
57 (pass-if "+" (seq? (+ 1 2 3) 6))
58 (pass-if "*" (seq? (* 3 3 3) 27))
59 (pass-if "/" (seq? (/ 9 3) 3))
60 (pass-if "remainder" (seq? (remainder 11 3) 2))
61 (pass-if "modulo" (seq? (modulo 11 3) 2))
62 (pass-if "expt" (seq? (expt 2 3) 8))
63 (pass-if "logior" (seq? (logior 0 1 2 4) 7))
64
65 (pass-if "=" (seq? 3 '3))
66 (pass-if "= 2" (not (= 3 '4)))
67
68 (pass-if "string-append" (sequal? (string-append "a" "b" "c") "abc"))
69 (pass-if "substring" (sequal? (substring "hello world" 6) "world"))
70 (pass-if "substring 2" (sequal? (substring "hello world" 4 7) "o w"))
71 (pass-if "string-ref" (seq? (string-ref "hello world" 4) #\o))
72 (pass-if "eq?" (not (eq? (string-append "a" "b" "c") "abc")))
73 (pass-if "string-length" (seq? (string-length (string-append "a" "b" "c")) 3))
74 (pass-if "string->list" (sequal? (string->list "abc\n") '(#\a #\b #\c #\newline)))
75 (pass-if "char" (seq? (char->integer #\A) 65))
76 (pass-if "char 2" (seq? (char->integer #\101) (char->integer #\A)))
77 (pass-if "char 3" (seq? (integer->char 10) #\newline))
78 (pass-if "char 4" (seq? (integer->char 32) #\space))
79 (pass-if "string " (sequal? (string #\a #\space #\s #\t #\r #\i #\n #\g) "a string"))
80 (pass-if "length" (seq? (length '()) 0))
81 (pass-if "length 2" (seq? (length '(a b c)) 3))
82 (pass-if "vector?" (vector? #(1 2 c)))
83 (pass-if "vector-length" (seq? (vector-length #(1)) 1))
84 (pass-if "list->vector" (sequal? (list->vector '(a b c)) #(a b c)))
85 (pass-if "make-list" (sequal? (make-list 3 1) '(1 1 1)))
86 (pass-if "vector" (sequal? #(vector 0 1 2) #(vector 0 1 2)))
87 (when (not guile?)
88   (pass-if "make-vector" (sequal? (make-vector 3) #(*unspecified* *unspecified* *unspecified*))))
89 (pass-if "make-vector 2" (sequal? (make-vector 3 0) #(0 0 0)))
90 (pass-if "vector-ref" (seq? (vector-ref #(0 1) 1) 1))
91 (pass-if "vector-set" (equal? (let ((v #(0 1))) (vector-set! v 1 'q) v) #(0 q)))
92 (pass-if "vector-set 2" (not (equal? (let ((v #(0 1))) (vector-set! v 1 'q) v) #())))
93 (pass-if "equal?" (sequal? #(1) #(1)))
94 (pass-if "equal?" (not (equal? #() #(1))))
95 (pass-if "memq" (sequal? (memq 'a '(a b c)) '(a b c)))
96 (pass-if "memq" (sequal? (memq 'b '(a b c)) '(b c)))
97 (pass-if "memq" (seq? (memq 'd '(a b c)) #f))
98 (pass-if "member" (sequal? (member '(a) '((a) b c)) '((a) b c)))
99 (pass-if "assq-ref" (seq? (assq-ref '((b . 1) (c . 2)) 'c) 2))
100 (pass-if "assq-ref 2" (seq? (assq-ref '((b . 1) (c . 2)) 'a) #f))
101 (pass-if "assq-set!" (sequal? (assq-set! '((b . 1)) 'a 0) '((a . 0) (b . 1))))
102 (pass-if "assq-set! 2" (sequal? (assq-set! '((a . 0)) 'a 1) '((a . 1))))
103 (pass-if "assoc" (sequal? (assoc '(a . 0) '((a . 0) (b . 1) ((a . 0) aa))) '((a . 0) aa)))
104
105 ;; works, but debugging is foo
106 ;; (cond ((defined? 'loop2)
107 ;;        (display "mes:values broken after loop2")
108 ;;        (newline))
109 ;;       (#t
110 ;;        (values 0 1)
111 ;;        (display "(values 0 1): ")
112 ;;        (display (values 0 1))
113 ;;        (newline)
114
115 ;;        (display "call-with-values ==> 6: ")
116 ;;        (display
117 ;;         (call-with-values (lambda () (values 1 2 3))
118 ;;           (lambda (a b c) (+ a b c))))
119 ;;        (newline)
120 ;;        (display "call-with-values ==> 1: ")
121 ;;        (display ((lambda (x) x) (values 1 2 3)))
122 ;;        (newline)))
123
124 (pass-if "builtin?" (builtin? eval))
125 ;;(pass-if "builtin?" (builtin? cond))
126 (pass-if "procedure?" (procedure? builtin?))
127 (pass-if "procedure?" (procedure? procedure?))
128 (when (not guile?)
129   (pass-if "gensym" (seq? (gensym) 'g0))
130   (pass-if "gensym" (seq? (gensym) 'g1))
131   (pass-if "gensym" (seq? (gensym) 'g2)))
132
133 (pass-if "last-pair " (sequal? (last-pair '(1 2 3 4)) '(4)))
134 (pass-if "last-pair 2" (seq? (last-pair '()) '()))
135 ;; (pass-if "circular-list? "
136 ;;   (seq?
137 ;;    (let ((x (list 1 2 3 4)))
138 ;;      (set-cdr! (last-pair x) (cddr x))
139 ;;      (circular-list? x))
140 ;;    #t))
141
142 (pass-if "reverse" (sequal? (reverse '(1 2 3)) '(3 2 1)))
143
144 (pass-if "cond-expand" (sequal? (cond-expand (foobar #f) (mes (display ": pass: *YAY*") 'mes) (guile (display ": pass: *GUILE*") 'mes)) 'mes))
145
146 (pass-if "apply identity" (seq? (apply identity '(0)) 0))
147 (pass-if "apply identity 2" (sequal? (apply identity '((0 1))) '(0 1)))
148 (pass-if "apply append" (sequal? (apply append '((1 2) (3 4))) '(1 2 3 4)))
149
150 (pass-if "=" (seq? (=) #t))
151 (pass-if "= 1" (seq? (= 0) #t))
152 (pass-if "= 2" (seq? (= 0 0) #t))
153 (pass-if "= 3" (seq? (= 0 0) #t))
154 (pass-if "= 4" (seq? (= 0 1 0) #f))
155
156 (pass-if "<" (seq? (<) #t))
157 (pass-if "< 1" (seq? (< 0) #t))
158 (pass-if "< 2" (seq? (< 0 1) #t))
159 (pass-if "< 3" (seq? (< 1 0) #f))
160 (pass-if "< 4" (seq? (< 0 1 2) #t))
161 (pass-if "< 5" (seq? (< 0 2 1) #f))
162
163 (pass-if ">" (seq? (>) #t))
164 (pass-if "> 1" (seq? (> 0) #t))
165 (pass-if "> 2" (seq? (> 1 0) #t))
166 (pass-if "> 3" (seq? (> 0 1) #f))
167 (pass-if "> 4" (seq? (> 2 1 0) #t))
168 (pass-if "> 5" (seq? (> 1 2 0) #f))
169
170 (pass-if ">=" (seq? (>= 3 2 1) #t))
171 (pass-if ">= 2" (seq? (>= 1 2 3) #f))
172
173 (pass-if "<=" (seq? (<= 3 2 1) #f))
174 (pass-if "<= 2" (seq? (<= 1 2 3) #t))
175
176 (pass-if "max" (seq? (max 0) 0))
177 (pass-if "max 1" (seq? (max 0 1) 1))
178 (pass-if "max 2" (seq? (max 1 0 2) 2))
179
180 (pass-if "min" (seq? (min 0) 0))
181 (pass-if "min 1" (seq? (min 0 1) 0))
182 (pass-if "min 2" (seq? (min 1 0 2) 0))
183
184 (pass-if "char-alphabetic?" (seq? (char-alphabetic? #\a) #t))
185 (pass-if "char-alphabetic? 2" (seq? (char-alphabetic? #\[) #f))
186
187 (result 'report)