Scheme "power-let" exploring

power-let.ss

(trace-define-syntax power-let
  (syntax-rules (<-)
    [(_ (v <- expr) rest ...) (let [(v expr)] (power-let rest ...))]
    [(_ body0 body* ...) (begin body0 body* ...)]))

(define-syntax def
  (syntax-rules ()
    ((_ (name args ...) body ...)
     (define (name args ...)
       (power-let body ...)))))

(def (test1 a b) (+ a b))
(printf "~s\n" (test1 1 2))

(power-let (a <- 1)
           (b <- 2)
           (printf "~s ~s\n" a b))

(printf "\n")

(def (test2 a b)
     (c <- (+ a b))
     (printf "~s\n" c)
     (list a b c))
(printf "~s\n" (test2 1 2))