Is the problem still there when you (require (for-syntax racket/base))? > On Oct 3, 2015, at 4:46 PM, Antonio Menezes Leitao > <[email protected]> wrote: > > BTW, the same problem occurs with define-sequence-syntax. > > On Sat, Oct 3, 2015 at 8:59 PM, Antonio Menezes Leitao > <[email protected] > <mailto:[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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAJQmiZU2RZGvzvOcVxUTumDOu952WQYaFrRmaVaWSqhoOUdphQ%40mail.gmail.com > > <https://groups.google.com/d/msgid/racket-dev/CAJQmiZU2RZGvzvOcVxUTumDOu952WQYaFrRmaVaWSqhoOUdphQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>.
-- 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/66A8BA74-09FC-4820-8C61-8AD3FFE2FB30%40knauth.org. For more options, visit https://groups.google.com/d/optout.
