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
114
115
116
117
118
119
|
#! /bin/sh
# -*-scheme-*-
exec ${MES-bin/mes} --no-auto-compile -L ${0%/*} -L module -C module -e '(tests match)' -s "$0" "$@"
!#
;;; -*-scheme-*-
;;; GNU Mes --- Maxwell Equations of Software
;;; Copyright © 2016,2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
;;;
;;; This file is part of GNU Mes.
;;;
;;; GNU Mes is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Mes is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Mes. If not, see <http://www.gnu.org/licenses/>.
(define-module (tests match)
#:use-module (mes mes-0)
#:use-module (mes test))
(mes-use-module (mes match))
(mes-use-module (mes test))
(cond-expand
(guile
(use-modules (ice-9 match)))
(mes))
(pass-if "first dummy" #t)
(pass-if-not "second dummy" #f)
(pass-if "match symbol"
(seq?
(match 'bla
('bla 'bla))
'bla))
(pass-if "match no symbol"
(sequal?
(match 'foo
('bla 'bla)
(_ "no match: foo"))
"no match: foo"))
(pass-if "match symbol?"
(seq?
(match 'foo
((? symbol?) 'symbol)
(_ "no match: symbol")
)
'symbol))
(pass-if "match list"
(sequal?
(match '(0)
((0) '(0))
(_ "no match: (0)"))
'(0)))
(pass-if "match list 2"
(sequal?
(match (list 1 2 3) ((1 b c) (list b c)))
'(2 3)))
(pass-if "match unquote"
(sequal?
(match (list 1 2 3) (`(1 ,b ,c) (list b c)))
'(2 3)))
(pass-if "match x-hygiene"
(seq?
(match '(0 1 2)
((0 x y) (+ x y))
(_ "no match: 0 1 2"))
3))
(pass-if "match ellipsis"
(sequal?
(match '(1 2)
((t ...) t)
(_ "no match: (1 2)"))
'(1 2)))
(pass-if-equal "match nyacc 0"
'(rest)
(match '(first rest)
((first . rest)
rest)))
(pass-if-equal "match nyacc 1"
'(#\. rest)
(match '(first #\. rest)
(('first . rest)
rest)))
(let ((tkl0-simple '((ident . type) rest)))
(pass-if-equal "match nyacc simple"
(cons (cdar tkl0-simple) (cdr tkl0-simple))
(match tkl0-simple
((('ident . val) . rest)
(cons val rest)))))
(let ((tkl0 '((ident . "type") #\. #\] (arg . "0") #\[ (ident . "g_cells"))))
(pass-if-equal "match nyacc tkl0"
(cdr tkl0)
(match tkl0
((('ident . val) . rest)
rest))))
(result 'report (if mes? 2 0))
|
