cyclone/tests/debug/test-let-values.scm
2016-09-27 02:26:35 -04:00

73 lines
2.5 KiB
Scheme

;; An alternate test case for SRFI 1 failing to compile:
;(import (scheme base))
;
;(define-syntax :optional
; (syntax-rules ()
; ((:optional rest default-exp)
; (let ((maybe-arg rest))
; (cond ((null? maybe-arg) default-exp)
; ((null? (cdr maybe-arg)) (car maybe-arg))
; (else (error "too many optional arguments" maybe-arg)))))))
;
;(define (alist-delete! key alist . maybe-=)
; (let ((= (:optional maybe-= equal?)))
; (filter! (lambda (elt) (not (= key (car elt)))) alist)))
;
;(alist-delete! #f '())
;;END
;(import (scheme base))
;(cond
; (else #t))
(import (scheme base) (scheme write))
;(define-syntax let*-values
; (syntax-rules ()
; ((let*-values () . body)
; (begin . body))
; ((let*-values (((a) expr) . rest) . body)
; (let ((a expr)) (let*-values rest . body)))
; ((let*-values ((params expr) . rest) . body)
; (call-with-values (lambda () expr)
; (lambda params (let*-values rest . body))))))
;; From http://okmij.org/ftp/Scheme/macros.html
(define-syntax mtrace
(syntax-rules ()
((mtrace x)
(begin
(display "Trace: ") (write 'x) (newline)
x))))
(define-syntax my-let-values
(syntax-rules ()
((my-let-values ("step") (binds ...) bind expr maps () () . body)
(mtrace
(let*-values (binds ... (bind expr)) (let maps . body)))
)
((my-let-values ("step") (binds ...) bind old-expr maps () ((params expr) . rest) . body)
(mtrace
(my-let-values ("step") (binds ... (bind old-expr)) () expr maps params rest . body))
)
((my-let-values ("step") binds (bind ...) expr (maps ...) (x . y) rest . body)
(mtrace
(my-let-values ("step") binds (bind ... tmp) expr (maps ... (x tmp)) y rest . body))
)
((my-let-values ("step") binds (bind ...) expr (maps ...) x rest . body)
(mtrace
(my-let-values ("step") binds (bind ... . tmp) expr (maps ... (x tmp)) () rest . body))
)
; ((my-let-values ((params expr) . rest) . body)
; (my-let-values ("step") () () expr () params rest . body))
))
;(list
; (my-let-values))
(write
; (my-let-values (((a b c) (values 1 2 3))) (list a b c)))
(my-let-values ("step") () () (values 1 2 3) () (a b c) () (list a b c)))
; (my-let-values ("step") () (tmp) (values 1 2 3) (((a b c) tmp)) () () (list a b c)))
; (my-let-values ("step") () tmp (values 1 2 3) (((a b c) tmp)) () () (list a b c)))
; (my-let-values ("step") () (tmp tmp tmp . tmp) (values 1 2 3) ((a tmp) (b tmp) (c tmp) (() tmp)) () () (list a b c)))