This is a minimized example (after expansions and simplifications):
#lang racket
(letrec-syntaxes+values ([(c) {lambda (stx)
(let ([x #'0]) x)}])
()
(c))
This prints correctly 0, but no identifier inside the curly {lambda
...} get any arrow. I guess it's a problem with
letrec-syntaxes+values.
Another similar problem:
#lang racket
(letrec-syntaxes+values ([(c) {lambda (stx) (displayln 5) #'0}])
()
(c))
This prints correctly 5 and 0, but no identifier inside the curly
{lambda ...} get any arrow. Moreover, when you press the "syntax
check" button, you get the cryptic error "5".
Gustavo
On Fri, May 22, 2015 at 4:52 PM, Jos Koot <jos.k...@gmail.com> wrote:
> Hi Alexander
> Thanks for taking notice of my post.
> Yes, it is within the *definition* that the arrows don't show up.
> I apologize if my post wasn't clear.
> Jos
>
>
> ________________________________
> From: Alexander D. Knauth [mailto:alexan...@knauth.org]
> Sent: viernes, 22 de mayo de 2015 21:42
> To: Jos Koot
> Cc: Racket-Users List
> Subject: Re: [racket-users] disappeeraing binding arrows
>
> Oh, I thought you were talking about the arrows within the *use* of
> stx-case.
> I just realized they don’t work within the *definition* of the second
> version of stx-case.
> That is weird.
>
> On May 22, 2015, at 3:37 PM, Alexander D. Knauth <alexan...@knauth.org>
> wrote:
>
> For me the arrows seem to work fine for both versions.
> I tried it with racket version 6.1.1 and a racket snapshot build version
> 6.2.0.3--2015-05-17.
> Which arrows aren’t working for you?
>
> On May 22, 2015, at 1:40 PM, Jos Koot <jos.k...@gmail.com> wrote:
>
> Below two versions of a very stripped version of a macro I have made.
> In version 1 background expansion and check-syntax show binding arrows
> within macro stx-case.
> However, in version 2 the arrows are not shown.
> How come?
> Thanks, Jos
>
> #lang racket
>
> (require (for-syntax racket))
>
> ;;; version 1
>
> (begin-for-syntax
> (define-syntax (stx-case stx) ; Here background expansion and macro stepper
> (syntax-case stx () ; do show binding arrows in stx-case.
> ((_ stx-expr clause ...)
> (with-syntax
> ((+ (datum->syntax stx '+))
> (- (datum->syntax stx '-))
> (* (datum->syntax stx '*))
> (/ (datum->syntax stx '/)))
> #'(syntax-case stx-expr (+ - * /) clause ...))))))
>
> (define-syntax (a stx)
> (stx-case stx
> ((_ +) #''plus)
> ((_ -) #''minus)
> ((_ *) #''mult)
> ((_ /) #''div)
> ((_ x) #''x)))
>
> ;;; version 2
>
> (define-syntax (b stx)
> (define-syntax (stx-case stx) ; Here background expansion and macro stepper
> (syntax-case stx () ; do NOT show binding arrows in stx-case.
> ((_ stx-expr clause ...)
> (with-syntax
> ((+ (datum->syntax stx '+))
> (- (datum->syntax stx '-))
> (* (datum->syntax stx '*))
> (/ (datum->syntax stx '/)))
> #'(syntax-case stx-expr (+ - * /) clause ...)))))
> (stx-case stx
> ((_ +) #''plus)
> ((_ -) #''minus)
> ((_ *) #''mult)
> ((_ /) #''div)
> ((_ x) #''x)))
>
> ; Both a and b work correctly:
>
> (a +)
> (a else)
> (b -)
> (b else)
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
