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.
