Programmation déclarative - Q2C - 06/2012

(require (lib "defmacro.ss"))

(define-macro (do2 test . body)
  `(letrec ((loop (lambda ()
                    (begin ,@body
                           (if ,test
                               (void)
                               (loop)
                               )
                           )
                    )
                  ))
     (loop)
     ))