72cb975213
Throughout, make these changes Copyright headers: GNU Mes First mention of name: GNU Mes Website: https://www.gnu.org/software/mes Git: git://git.savannah.gnu.org/mes.git
120 lines
2.8 KiB
Scheme
Executable file
120 lines
2.8 KiB
Scheme
Executable file
#! /bin/sh
|
|
# -*-scheme-*-
|
|
exec ${MES-src/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))
|