.

original commit: 79cbf31c528279961f7cc3f138b51fdf5f77f42f
2005-05-18 16:41:39 +00:00 · 2005-05-18 16:41:39 +00:00 · 01ff14079f
commit 01ff14079f
parent eb72ab5bba
1 changed files with 2 additions and 1 deletions
--- a/collects/mzlib/foreign.ss
+++ b/collects/mzlib/foreign.ss
@ -360,7 +360,8 @@
      (syntax-case* x (=>) id=?
        [(id => body) (identifier? #'id)
         ;; Extract #'body from its context, use a key it needs certification:
-         (list #'id (syntax-recertify #'body orig #f fun-cert-key))]
+         (list (syntax-recertify #'id orig #f fun-cert-key)
+	       (syntax-recertify #'body orig #f fun-cert-key))]
        [_else x]))
   (let ([keys '()])
     (define (setkey! key val . id?)