Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Robby Findler
Oh! Thanks! Perhaps DrRacket's button should include the +m flag. Robby On Mon, May 3, 2021 at 10:37 AM Sam Caldwell wrote: > Ah, I meant what happens when I open up my scribble file in DrRacket and > press the "Scribble HTML" button. Maybe it would be more accurate to > describe that as a pl

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Sam Caldwell
Ah, I meant what happens when I open up my scribble file in DrRacket and press the "Scribble HTML" button. Maybe it would be more accurate to describe that as a plugin than DrRacket itself? -Sam Caldwell On Mon, May 3, 2021 at 11:24 AM Robby Findler wrote: > On Mon, May 3, 2021 at 10:19 AM Sam

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Robby Findler
On Mon, May 3, 2021 at 10:19 AM Sam Caldwell wrote: > When I first ran Ryan's example, the reference to `racket:let` did not > resolve to the proper link. After further investigating, this appears to be > due to scribble's default behavior of not loading extra cross-referencing > information [1].

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Sam Caldwell
When I first ran Ryan's example, the reference to `racket:let` did not resolve to the proper link. After further investigating, this appears to be due to scribble's default behavior of not loading extra cross-referencing information [1]. If instead of `raco scribble`, I run `raco scribble +m` the l

[racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-01 Thread Ryan Kramer
Using the prefix should still link correctly. When I run the following program, it links to section 3.9 of the Racket Reference where `let` is defined. Does your link go somewhere else? ``` #lang scribble/manual @(require (prefix-in racket: (for-label racket/base))) @defform[(let ([id expr] ..