[racket-users] format-id and blue arrows

Folks, The following program behaves as I would expect: ;; -- #lang racket (require (for-syntax racket/syntax)) (define-syntax (def-a/boxed-a stx) (syntax-case stx () [(_ base-name base-val) (with-syntax

Re: [racket-users] format-id and blue arrows

On Fri, Dec 4, 2015 at 8:45 AM, Tim Brown wrote: > These examples seem to work fine without syntax-local-introduce on the > identifiers. What is s-l-i’s role in this code? The syntax-local-introduce compensates for the extra macro-introduction scope that the expander puts on

Re: [racket-users] format-id and blue arrows

Robby, Thanks for that. The following works splendidly for me (and is ripped pretty well straight off from the Check_Syntax page you quoted below): ~ (define-syntax (def-a/boxed-a stx) (syntax-case stx () [(_ base-name

Re: [racket-users] format-id and blue arrows

Looking at the implementation of format-id, I see that it doesn't do what would be needed to be done in order to make the arrows in DrRacket show up like they do for define-syntax. I think this would be a great addition, however! It basically needs to set up some properties on the identifier. If

Re: [racket-users] format-id and blue arrows

These examples seem to work fine without syntax-local-introduce on the identifiers. What is s-l-i’s role in this code? Tim -- 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

Re: [racket-users] format-id and blue arrows

On Fri, Dec 4, 2015 at 10:36 AM, Alex Knauth wrote: > I just happened to run into that exact problem yesterday, and my solution > was to have an `id-append` function that returned two values: >

Re: [racket-users] format-id and blue arrows

I've pushed a fix to DrRacket to look for the property on occurrences of binding identifiers. Thanks! Robby On Fri, Dec 4, 2015 at 7:45 AM, Tim Brown wrote: > Robby, > > Thanks for that. > > The following works splendidly for me (and is ripped pretty well > straight off

Re: [racket-users] format-id and blue arrows

I just happened to run into that exact problem yesterday, and my solution was to have an `id-append` function that returned two values: https://github.com/AlexKnauth/lens/blob/0b026923508eabdff241cad861c5e1c4008cfb19/unstable/lens/private/id-append.rkt