;; Copyright (C) Marc Nieper-Wißkirchen (2021).  All Rights Reserved.

;; Permission is hereby granted, free of charge, to any person
;; obtaining a copy of this software and associated documentation
;; files (the "Software"), to deal in the Software without
;; restriction, including without limitation the rights to use, copy,
;; modify, merge, publish, distribute, sublicense, and/or sell copies
;; of the Software, and to permit persons to whom the Software is
;; furnished to do so, subject to the following conditions:

;; The above copyright notice and this permission notice shall be
;; included in all copies or substantial portions of the Software.

;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
;; NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
;; BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
;; ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
;; CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
;; SOFTWARE.

(define f
  (lambda/tag 42
      (x)
    (* x x)))

(test "srfi-229.1" #t (procedure/tag? f))
(test "srfi-229.2" 9 (f 3))
(test "srfi-229.3" 42 (procedure-tag f))

(define f*
  (lambda/tag 43
      (x)
    (* x x)))

(test "srfi-229.4" #f (eqv? f f*))

(define g
  (let ((y 10))
    (lambda/tag y ()
	(set! y (+ y 1))
	y)))

(test "srfi-229.5" 10 (procedure-tag g))
(test "srfi-229.6" 10 (let ((y 9)) (procedure-tag g)))
(test "srfi-229.7" 11 (g))
(test "srfi-229.8" 10 (procedure-tag g))

(define h
  (let ((box (vector #f)))
    (case-lambda/tag box
      (() (vector-ref box 0))
      ((val) (vector-set! box 0 val)))))

(test "srfi-229.9"  #void (h 1))
(test "srfi-229.10" 1 (vector-ref (procedure-tag h) 0))
(test "srfi-229.11" 1 (h))

