blob: c5923e40149a9d6dff88618bb3f40e93e254b588 (
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
(define-library (csc match-test)
(import (scheme base)
(only (csc testing) assert-equal test)
(csc match))
(begin
(test match-cond
(assert-equal
3
(match 3
('0 0)
('1 1)
('2 2)
('3 3)
('4 4))))
(test match-list
(assert-equal
2
(match '(1 2 3)
('() 0)
(('1 '2) 1)
(('1 '2 '3) 2)
(('1 '2 '3 '4) 3)
(_ 4))))
(test match-binding
(assert-equal
2
(match '(1 2 3)
(('1 x '3) x))))
(test match-destructuring
(assert-equal
1
(match '(1 2 3)
('() 0)
((head . _) head))))
(test match-ignore
(assert-equal
2
(match '(1 2 3)
((_ _ _ _) 0)
(('2 _ _) 1)
(('1 _ _) 2)
(_ 3))))
(test match-improper-list
(assert-equal
2
(match '(1 2 3)
(('2 . _) 1)
(('1 . x) (car x))
(_ 3))))
(test match-symbol
(assert-equal
2
(match 'b
('a 1)
('b 2)
(_ 3))))
(test match-when
(assert-equal
3
(match 'b
('a 1)
('b when #f 2)
('b when #t 3)
(_ 4))))
(test match-when-depending-on-pattern-variable
(assert-equal
2
(match 10
(n when (= 1 n) 1)
(n when (= 10 n) 2)
(_ 3))))
(define-match-record-type <test-record-type>
(make-test-record-type a b c)
test-record-type?
%test-record-type
(a test-record-type-a)
(b test-record-type-b)
(c test-record-type-c))
(test match-record-type
(assert-equal
2
(match (make-test-record-type 1 2 3)
((% %test-record-type a b c) b))))
(test match-record-type-any
(assert-equal
2
(match '(1 2 3)
((% %test-record-type . _) 1)
('(1 2 3) 2))))))
|
