(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)))