BTW, the same problem occurs with define-sequence-syntax.

On Sat, Oct 3, 2015 at 8:59 PM, Antonio Menezes Leitao <
[email protected]> wrote:

> Hi,
>
> It seems that define-syntax is provided by typed/racket but not by
> typed/racket/base. Is that on purpose?
>
> The following program compiles in DrRacket, version
> 6.2.900.17--2015-09-20(6dfc20d/a) [3m]:
>
> #lang typed/racket
>
> (define-syntax (foo stx)
>   (syntax-case stx ()
>     ((_ expr)
>      (syntax/loc stx expr))))
>
> However, if I change the #lang line to
>
> #lang typed/racket/base
>
> I get an error:
>
> syntax-case: unbound identifier in the transformer environment;
>  also, no #%app syntax transformer is bound in: syntax-case
>
> BTW, there is no problem with define-syntax-rule.
>
> Best,
> Antonio.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAJQmiZU2RZGvzvOcVxUTumDOu952WQYaFrRmaVaWSqhoOUdphQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to