blob: b029bfce6277355261f985f499f93c479756ba53 (
plain) (
blame)
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
67
68
69
70
71
72
73
74
75
76
77
78
|
#| Copyright 2024 Peter McGoron
|
| Licensed under the Apache License, Version 2.0 (the "License");
|
| you may not use this file except in compliance with the License.
| You may obtain a copy of the License at
|
| http://www.apache.org/licenses/LICENSE-2.0
|
| Unless required by applicable law or agreed to in writing, software
| distributed under the License is distributed on an "AS IS" BASIS,
| WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
| See the License for the specific language governing permissions and
| limitations under the License.
|#
(test-begin "(mcgoron cond-thunk base)")
(test-assert
"cond-thunk basic"
(cond-thunk
(if #t
(lambda ()
#t)
#f)
(else #f)))
(test-assert
"when-ct true"
(cond-thunk
(when-ct #t #t)
(else #f)))
(test
"cond-thunk multiple branches"
'two
(cond-thunk
(when-ct (pair? #f) 'one)
(when-ct (boolean? #f) 'two)
(when-ct (boolean? #f) 'three)
(else #f)))
(let ((on-pair
(lambda-ct (x) (pair? x)
'pair))
(on-boolean
(lambda-ct (x) (boolean? x)
'boolean)))
(test
"lambda-ct basic"
'boolean
(cond-thunk
(on-pair #f)
(on-boolean #f)
(else #f))))
(let ()
(define-ct (on-pair x) (pair? x)
'pair)
(define-ct (on-boolean x) (boolean? x)
'boolean)
(test
"define-ct basic"
'boolean
(cond-thunk
(on-pair #f)
(on-boolean #f)
(else #f)))
(test
"evaluate-thunk-to-boolean 1"
#f
(evaluate-thunk-to-boolean (on-pair #f)))
(test
"evaluate-thunk-to-boolean 2"
#t
(evaluate-thunk-to-boolean (on-boolean #t))))
(test-end "(mcgoron cond-thunk base)")
|
