Marco Maggi <marco.maggi-ipsu@poste.it> writes:
>     #!r6rs
>     (import (rnrs))
>     (define (alpha)
>       (define-syntax define-special
>         (syntax-rules ()
>           ((_ ?who ?val)
>            (define ?who ?val))))
>       (define-special beta #t)
>       #f)
>     (alpha)
>
> should succeed, but instead it fails with:
[...]
>     /home/marco/var/tmp/proof.sps:12:2: definition in expression context, where definitions are not allowed, in form (define beta #t)

I've attached two patches for stable-2.0.  The second patch fixes this
bug.  The first patch is for an unrelated bug that I discovered during
my investigation.

Reviews solicited, otherwise I'll commit these in a week or so.

     Mark