mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-29 19:30:36 +02:00
f41accb9c2
* module/ice-9/session.scm (procedure-arguments): Add an rtl-program?
case.
* module/system/vm/debug.scm (arity-arguments-alist): Use the order that
session.test expects.
* test-suite/tests/session.test ("procedure-arguments"): Adapt tests
with keywords for the new starting-with-the-procedure numbering of
locals.
124 lines
4.7 KiB
Scheme
124 lines
4.7 KiB
Scheme
;;;; session.test --- test suite for (ice-9 session) -*- scheme -*-
|
|
;;;; Jose Antonio Ortega Ruiz <jao@gnu.org> -- August 2010
|
|
;;;;
|
|
;;;; Copyright (C) 2010, 2012, 2013 Free Software Foundation, Inc.
|
|
;;;;
|
|
;;;; This library is free software; you can redistribute it and/or
|
|
;;;; modify it under the terms of the GNU Lesser General Public
|
|
;;;; License as published by the Free Software Foundation; either
|
|
;;;; version 3 of the License, or (at your option) any later version.
|
|
;;;;
|
|
;;;; This library 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
|
|
;;;; Lesser General Public License for more details.
|
|
;;;;
|
|
;;;; You should have received a copy of the GNU Lesser General Public
|
|
;;;; License along with this library; if not, write to the Free Software
|
|
;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
|
|
;;;; 02110-1301 USA
|
|
|
|
(define-module (test-suite session)
|
|
#:use-module (test-suite lib)
|
|
#:use-module (ice-9 match)
|
|
#:use-module (system base compile)
|
|
#:use-module (ice-9 session))
|
|
|
|
(define (find-module mod)
|
|
(call/cc (lambda (k)
|
|
(apropos-fold-all (lambda (m _)
|
|
(and (not (module? m)) (k #f))
|
|
(and (eq? m mod) (k #t)))
|
|
#f))))
|
|
(define (find-mod-name mod-name)
|
|
(find-module (resolve-module mod-name #f #:ensure #f)))
|
|
|
|
|
|
(with-test-prefix "apropos-fold-all"
|
|
(pass-if "a root module: ice-9" (find-mod-name '(ice-9)))
|
|
(pass-if "a child of test-suite" (find-mod-name '(test-suite lib)))
|
|
(pass-if "a non-module" (not (find-mod-name '(ice-999-0))))
|
|
(pass-if "a childish non-module" (not (find-mod-name '(ice-9 ice-999-0))))
|
|
(pass-if "an anonymous module" (find-mod-name (module-name (make-module)))))
|
|
|
|
(define (find-interface mod-name)
|
|
(let* ((mod (resolve-module mod-name #f #:ensure #f))
|
|
(ifc (and mod (module-public-interface mod))))
|
|
(and ifc
|
|
(call/cc (lambda (k)
|
|
(apropos-fold-exported (lambda (i _)
|
|
(and (eq? i ifc) (k #t)))
|
|
#f))))))
|
|
|
|
(with-test-prefix "apropos-fold-exported"
|
|
(pass-if "a child of test-suite" (find-interface '(test-suite lib)))
|
|
(pass-if "a child of ice-9" (find-interface '(ice-9 session))))
|
|
|
|
(with-test-prefix "procedure-arguments"
|
|
|
|
(define-syntax-rule (pass-if-valid-arguments name proc expected)
|
|
(pass-if name
|
|
(let ((args (procedure-arguments (compile 'proc #:to 'value))))
|
|
(or (equal? args 'expected)
|
|
(pk 'invalid-args args #f)))))
|
|
|
|
(pass-if-valid-arguments "lambda"
|
|
(lambda (a b c) #f)
|
|
((required . (a b c)) (optional) (keyword)
|
|
(allow-other-keys? . #f) (rest . #f)))
|
|
(pass-if-valid-arguments "lambda with rest"
|
|
(lambda (a b . r) #f)
|
|
((required . (a b)) (optional) (keyword)
|
|
(allow-other-keys? . #f) (rest . r)))
|
|
(pass-if-valid-arguments "lambda* with optionals"
|
|
(lambda* (a b #:optional (p 1) (q 2)) #f)
|
|
((required . (a b)) (optional . (p q))
|
|
(keyword) (allow-other-keys? . #f) (rest . #f)))
|
|
(pass-if-valid-arguments "lambda* with keywords"
|
|
(lambda* (a b #:key (k 42) l) #f)
|
|
((required . (a b)) (optional)
|
|
(keyword . ((#:k . 3) (#:l . 4))) (allow-other-keys? . #f)
|
|
(rest . #f)))
|
|
(pass-if-valid-arguments "lambda* with keywords and a-o-k"
|
|
(lambda* (a b #:key (k 42) #:allow-other-keys) #f)
|
|
((required . (a b)) (optional)
|
|
(keyword . ((#:k . 3))) (allow-other-keys? . #t)
|
|
(rest . #f)))
|
|
(pass-if-valid-arguments "lambda* with optionals, keys, and rest"
|
|
(lambda* (a b #:optional o p #:key k l #:rest r) #f)
|
|
((required . (a b)) (optional . (o p))
|
|
(keyword . ((#:k . 6) (#:l . 7))) (allow-other-keys? . #f)
|
|
(rest . r)))
|
|
|
|
(pass-if "aok? is preserved"
|
|
;; See <http://bugs.gnu.org/10938>.
|
|
(let* ((proc (compile '(lambda (a b) #f) #:to 'value))
|
|
(args (procedure-arguments proc)))
|
|
(set-procedure-property! proc 'arglist (map cdr args))
|
|
(equal? args (procedure-arguments proc))))
|
|
|
|
(pass-if "interpreted procedures (simple)"
|
|
(match (procedure-arguments
|
|
(eval '(lambda (x y) #f) (current-module)))
|
|
(((required _ _)
|
|
(optional)
|
|
(keyword)
|
|
(allow-other-keys? . #f)
|
|
(rest . #f))
|
|
#t)
|
|
(_ #f)))
|
|
|
|
(pass-if "interpreted procedures (complex)"
|
|
(match (procedure-arguments
|
|
(eval '(lambda* (a b #:optional c #:key d) #f) (current-module)))
|
|
(((required _ _)
|
|
(optional _)
|
|
(keyword (#:d . 3))
|
|
(allow-other-keys? . #f)
|
|
(rest . #f))
|
|
#t)
|
|
(_ #f))))
|
|
|
|
;;; Local Variables:
|
|
;;; eval: (put 'pass-if-valid-arguments 'scheme-indent-function 1)
|
|
;;; End:
|