8250ed032310c022675485dc991154069e5e2e2d
[mes.git] / tests / match.test
1 #! /bin/sh
2 # -*-scheme-*-
3 MES=${MES-$(dirname $0)/../scripts/mes}
4 echo ' ()' | cat $(dirname $0)/../module/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
5 #paredit:||
6 exit $?
7 !#
8
9 ;;; -*-scheme-*-
10
11 ;;; Mes --- Maxwell Equations of Software
12 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
13 ;;;
14 ;;; This file is part of Mes.
15 ;;;
16 ;;; Mes is free software; you can redistribute it and/or modify it
17 ;;; under the terms of the GNU General Public License as published by
18 ;;; the Free Software Foundation; either version 3 of the License, or (at
19 ;;; your option) any later version.
20 ;;;
21 ;;; Mes is distributed in the hope that it will be useful, but
22 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
23 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
24 ;;; GNU General Public License for more details.
25 ;;;
26 ;;; You should have received a copy of the GNU General Public License
27 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
28
29 (mes-use-module (mes match))
30 (mes-use-module (mes test))
31
32 (when guile?
33   (use-modules (ice-9 match))
34   )
35
36 (pass-if "first dummy" #t)
37 (pass-if-not "second dummy" #f)
38
39 (pass-if "match symbol"
40   (seq?
41    (match 'bla
42      ('bla 'bla))
43    'bla))
44
45 (pass-if "match no symbol"
46   (sequal?
47    (match 'foo
48      ('bla 'bla)
49      (_ "no match: foo"))
50    "no match: foo"))
51
52 (pass-if "match symbol?"
53   (seq?
54    (match 'foo
55      ((? symbol?) 'symbol)
56      (_ "no match: symbol")
57      )
58    'symbol))
59
60 (pass-if "match list"
61   (sequal?
62    (match '(0)
63      ((0) '(0))
64      (_ "no match: (0)"))
65    '(0)))
66
67 (pass-if "match list 2"
68   (sequal?
69    (match (list 1 2 3) ((1 b c) (list b c)))
70    '(2 3)))
71
72 (pass-if "match unquote"
73   (sequal?
74    (match (list 1 2 3) (`(1 ,b ,c) (list b c)))
75    '(2 3)))
76
77 (pass-if "match x-hygiene"
78   (seq?
79    (match '(0 1 2)
80      ((0 x y) (+ x y))
81      (_ "no match: 0 1 2"))
82    3))
83
84 (pass-if "match ellipsis"
85   (sequal?
86    (match '(1 2)
87      ((t ...) t)
88      (_ "no match: (1 2)"))
89    '(1 2)))
90
91 (result 'report)
92