mes/tests/optargs.test

#! /bin/sh
# -*-scheme-*-
MES=${MES-$(dirname $0)/../scripts/mes}
echo ' ()' | cat $(dirname $0)/../module/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
#paredit:||
exit $?
!#

;;; -*-scheme-*-

;;; Mes --- Maxwell Equations of Software
;;; Copyright © 2016,2018 Jan Nieuwenhuizen <janneke@gnu.org>
;;;
;;; This file is part of Mes.
;;;
;;; 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.
;;;
;;; 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 Mes.  If not, see <http://www.gnu.org/licenses/>.

(cond-expand
 (guile-2)
 (guile
  (use-modules (ice-9 optargs)))
 (mes
  (mes-use-module (mes optargs))
  (mes-use-module (mes test))))

(pass-if-equal "cond =>" 10
  (cond
   (5 => (lambda (p) (* p 2)))))
(pass-if-equal "cond => 2" 10
  (cond
   (#f (display "hallo") (newline))
   (5 => (lambda (p) (* p 2)))
   (#t (display "wereld" (newline)))))
(pass-if-equal "cond => last" 10
  (cond
   (#f (display "hallo") (newline))
   (5 => (lambda (p) (* p 2)))))

(pass-if "keyword?" (keyword? #:foo))
(pass-if "keywords" (eq? #:foo #:foo))
(pass-if-equal "keyword->symbol" 'foo (keyword->symbol #:foo))
(pass-if-equal "symbol->keyword" #:foo (symbol->keyword 'foo))
(pass-if-not "keywords" (eq? #:foo ':foo))
(pass-if "optargs #:optional" ((lambda* (#:optional (x #f)) x) #t))
(pass-if-equal "optargs #:optional default" #f ((lambda* (#:optional (x #f)) x)))
(pass-if "optargs key" ((lambda* (#:key (foo #f)) foo) #:foo #t))
(pass-if-equal "optargs key default" #f ((lambda* (#:key (foo #f)) foo)))

(cond-expand
 (guile (use-modules (system base pmatch)
                     (ice-9 optargs)))
 (mes (mes-use-module (mes pmatch))))

(define <info> '<info>)
(define <functions> '<functions>)
(define <globals> '<globals>)
(define <locals> '<locals>)
(define <text> '<text>)

(define* (make o #:key (functions '()) (globals '()) (locals '()) (text '()))
  (pmatch o
    (<info> (list <info>
                  (cons <functions> functions)
                  (cons <globals> globals)
                  (cons <locals> locals)
                  (cons <text> text)))))

;; (define* (make o #:key (functions '()) (globals '()) (locals '()) (text '()))
;;   (format (current-error-port) "make\n")
;;   ((cond ((info? o)
;;           (list <info>
;;                 (cons <functions> functions)
;;                 (cons <globals> globals)
;;                 (cons <locals> locals)
;;                 (cons <text> text))))))

(define (.functions o)
  (pmatch o
    ((<info> . ,alist) (assq-ref alist <functions>))))

(define (.globals o)
  (pmatch o
    ((<info> . ,alist) (assq-ref alist <globals>))))

(define (.locals o)
  (pmatch o
    ((<info> . ,alist) (assq-ref alist <locals>))))

(define (.text o)
  (pmatch o
    ((<info> . ,alist) (assq-ref alist <text>))))

(define (info? o)
  (and (pair? o) (eq? (car o) <info>)))

;; FIXME: psyntax+pmatch+optarg is broken; BINDINGS-> (g1234 g1234)
;; iso (function function)
;; (define (clone o . rest)
;;   (pmatch o
;;     ((<info>
;;       (<functions> . ,functions)
;;       (<globals> . ,globals)
;;       (<locals> . ,locals)
;;       (<text> . ,text))
;;      (let-keywords rest
;;                    #f
;;                    ((functions functions)
;;                     (globals globals)
;;                     (locals locals)
;;                     (text text))
;;                    (make <info> #:functions functions #:globals globals #:locals locals #:text text)))))

(define (clone o . rest)
  (cond ((info? o)
         (let ((functions (.functions o))
               (globals (.globals o))
               (locals (.locals o))
               (text (.text o)))
           (let-keywords rest
                         #f
                         ((functions functions)
                          (globals globals)
                          (locals locals)
                          (text text))
                         (make <info> #:functions functions #:globals globals #:locals locals #:text text))))))

(pass-if-equal "clone <info>"
    (make <info> #:functions '(0))
  (clone (make <info>) #:functions '(0)))

(result 'report)