test: Add pmatch tests.
[mes.git] / tests / pmatch.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 © 2017 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 (cond-expand
30  (guile
31   (use-modules (system base pmatch)))
32  (mes
33   (mes-use-module (mes test))
34   (mes-use-module (mes pmatch))))
35
36 (pass-if "first dummy" #t)
37 (pass-if-not "second dummy" #f)
38
39 (pass-if-equal "pmatch" 0
40                (let ((o 0))
41                  (pmatch o
42                    (_ o))))
43
44 (pass-if-equal "pmatch" "main"
45                (let ((ast '(fctn-defn
46                             (decl-spec-list (type-spec (fixed-type "int")))
47                             (ftn-declr
48                              (ident "main")
49                              (param-list
50                               (param-decl
51                                (decl-spec-list (type-spec (fixed-type "int")))
52                                (param-declr (ident "argc")))
53                               (param-decl
54                                (decl-spec-list (type-spec (fixed-type "char")))
55                                (param-declr
56                                 (ptr-declr (pointer) (array-of (ident "argv")))))))
57                             (compd-stmt
58                              (block-item-list
59                               (if (gt (p-expr (ident "argc")) (p-expr (fixed "1")))
60                                   (return (p-expr (ident "argc"))))
61                               (return (p-expr (fixed "42"))))))))
62                  (pmatch ast
63                    ((fctn-defn _ (ftn-declr (ident ,name) _) _) name)
64                    (_ 'bla))))
65
66 (result 'report)