csc/match-test.csc


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

(import (scheme base)
        (only (csc testing) assert-equal test)
        (csc match))


(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))))