5f844def2f4e9f0b14de4d744fd3949699a673bf
[mes.git] / tests / pmatch.test
1 #! /bin/sh
2 # -*-scheme-*-
3 MES=${MES-$(dirname $0)/../src/mes.gcc}
4 #export MES_ARENA=${MES_ARENA-40000}
5 $MES -s $0
6 exit $?
7 !#
8
9 ;;; -*-scheme-*-
10
11 ;;; Mes --- Maxwell Equations of Software
12 ;;; Copyright © 2017 Jan (janneke) 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   ;;(include-from-path "mes/pmatch.scm")
33   ;;(include-from-path "mes-0.scm")
34   ;;(include-from-path "mes/test.mes")
35   )
36  (mes
37   (mes-use-module (mes test))
38   (mes-use-module (mes pmatch))))
39
40 (pass-if "first dummy" #t)
41 (pass-if-not "second dummy" #f)
42
43 (pass-if-equal "pmatch" 0
44                (let ((o 0))
45                  (pmatch o
46                    (_ o))))
47
48 (pass-if-equal "pmatch nyacc minimal" "main"
49   (let* ((ast '(("main") PARAM-LIST))
50          (mets (pmatch ast
51                  (((,name) _) name))))
52     ;;(format (current-error-port) "mets: ~s\n" mets)
53     mets))
54
55 (pass-if-equal "pmatch nyacc" "main"
56   (let ((ast '(fctn-defn
57                (decl-spec-list (type-spec (fixed-type "int")))
58                (ftn-declr
59                 (ident "main")
60                 (param-list
61                  (param-decl
62                   (decl-spec-list (type-spec (fixed-type "int")))
63                   (param-declr (ident "argc")))
64                  (param-decl
65                   (decl-spec-list (type-spec (fixed-type "char")))
66                   (param-declr
67                    (ptr-declr (pointer) (array-of (ident "argv")))))))
68                (compd-stmt
69                 (block-item-list
70                  (if (gt (p-expr (ident "argc")) (p-expr (fixed "1")))
71                      (return (p-expr (ident "argc"))))
72                  (return (p-expr (fixed "42"))))))))
73     (pmatch ast
74       ((fctn-defn _ (ftn-declr (ident ,name) _) _) name)
75       (_ 'bla))))
76
77 (result 'report)