1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
;; -*-theme-d-*-
;; Copyright (C) 2021 Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.
;; Expected results: translation and running OK
(define-proper-program (tests test823)
(import (standard-library core)
(standard-library dynamic-list)
(standard-library console-io)
(tests numerical-test-env))
(define-simple-proc myproc1 (((x <object>)) <boolean> nonpure)
(console-display-line x)
(symbol? x))
(define-simple-proc myproc2 (((x1 <object>) (x2 <object>)) <boolean> nonpure)
(console-display x1)
(console-display ", ")
(console-display-line x2)
(equal? x1 x2))
(define-simple-proc myproc3 (((l (rest <object>))) <boolean> pure)
(equal? (d-list-ref l 0) (d-list-ref l 1)))
(define-simple-proc myproc4 (((l (rest <object>))) <boolean> nonpure)
(console-display (d-list-ref l 0))
(console-display ", ")
(console-display-line (d-list-ref l 1))
(equal? (d-list-ref l 0) (d-list-ref l 1)))
(define-simple-proc myproc5 (((x <object>)) <boolean> nonpure)
(console-display-line x)
(integer? x))
(define-main-proc (() <none> nonpure)
(let ((l1 '(a b c d e))
(l2 '(1 2 3 abc 4)))
(report-boolean-test (d-for-all1? symbol? l1) #t)
(report-boolean-test (d-for-all1? symbol? l2) #f)
(report-boolean-test (d-for-all-nonpure1? myproc1 l1) #t)
(report-boolean-test (d-for-all-nonpure1? myproc1 l2) #f)
(report-boolean-test (d-for-all2? equal? l1 l2) #f)
(report-boolean-test (d-for-all2? equal? l1 l1) #t)
(report-boolean-test (d-for-all-nonpure2? myproc2 l1 l2) #f)
(report-boolean-test (d-for-all-nonpure2? myproc2 l1 l1) #t)
(report-boolean-test (d-for-all? myproc3 l1 l2) #f)
(report-boolean-test (d-for-all? myproc3 l1 l1) #t)
(report-boolean-test (d-for-all-nonpure? myproc4 l1 l2) #f)
(report-boolean-test (d-for-all-nonpure? myproc4 l1 l1) #t)
(report-boolean-test (d-exists1? integer? l1) #f)
(report-boolean-test (d-exists1? integer? l2) #t)
(report-boolean-test (d-exists-nonpure1? myproc5 l1) #f)
(report-boolean-test (d-exists-nonpure1? myproc5 l2) #t)
(report-boolean-test (d-exists2? equal? l1 l2) #f)
(report-boolean-test (d-exists2? equal? l1 l1) #t)
(report-boolean-test (d-exists-nonpure2? myproc2 l1 l2) #f)
(report-boolean-test (d-exists-nonpure2? myproc2 l1 l1) #t)
(report-boolean-test (d-exists? myproc3 l1 l2) #f)
(report-boolean-test (d-exists? myproc3 l1 l1) #t)
(report-boolean-test (d-exists-nonpure? myproc4 l1 l2) #f)
(report-boolean-test (d-exists-nonpure? myproc4 l1 l1) #t))))
|
