tests/let-syntax.test

   1 #! /bin/sh
   2 # -*-scheme-*-
   3 echo ' ()' | cat $($(dirname $0)/../scripts/include.mes $0) $0 /dev/stdin | $(dirname $0)/../scripts/mes "$@"
   4 #paredit:||
   5 exit $?
   6 !#
   7
   8 ;;; -*-scheme-*-
   9
  10 ;;; Mes --- Maxwell Equations of Software
  11 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
  12 ;;;
  13 ;;; let-syntax.test: This file is part of Mes.
  14 ;;;
  15 ;;; Mes is free software; you can redistribute it and/or modify it
  16 ;;; under the terms of the GNU General Public License as published by
  17 ;;; the Free Software Foundation; either version 3 of the License, or (at
  18 ;;; your option) any later version.
  19 ;;;
  20 ;;; Mes is distributed in the hope that it will be useful, but
  21 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
  22 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  23 ;;; GNU General Public License for more details.
  24 ;;;
  25 ;;; You should have received a copy of the GNU General Public License
  26 ;;; along with Mes.  If not, see <http://www.gnu.org/licenses/>.
  27
  28 (mes-use-module (mes base-0))
  29 (mes-use-module (mes base))
  30 (mes-use-module (mes quasiquote))
  31 (mes-use-module (mes let))
  32 (mes-use-module (mes scm))
  33 (mes-use-module (mes syntax))
  34 (mes-use-module (mes let-syntax))
  35 (mes-use-module (mes test))
  36
  37 (pass-if "first dummy" #t)
  38 (pass-if-not "second dummy" #f)
  39
  40 (pass-if "let-syntax"
  41   (seq?
  42    (let-syntax ((when (syntax-rules ()
  43                         ((when condition exp ...)
  44                          (if (not condition)
  45                              (begin exp ...))))))
  46      (when #f 3))
  47    3))
  48
  49 (pass-if "let-syntax no-leak"
  50   (seq?
  51    (when #f 3)
  52    *unspecified*))
  53
  54 (pass-if "let-syntax"
  55   (sequal?
  56    (let-syntax ((when (syntax-rules ()
  57                         ((when condition exp ...)
  58                          (if (not condition)
  59                              (begin exp ...)))))
  60                 (unless (syntax-rules ()
  61                         ((when condition exp ...)
  62                          (if condition
  63                              (begin exp ...))))))
  64      (list (when #f 0) (unless #t 1)))
  65    '(0 1)))
  66
  67 (result 'report)