Re: [racket-users] Creating links to Racket docs for functions in user-scope packages

2020-07-29 Thread 'Joel Dueck' via Racket Users
On Friday, July 24, 2020 at 11:15:54 AM UTC-5 Matthew Flatt wrote: > A solution might use something like `path->pkg+subpath+collect+scope`, > where a 'user result for the scope triggers a different path > calculation. For my application, I was able to use this info to make a function that *se

Re: [racket-users] Creating links to Racket docs for functions in user-scope packages

2020-07-24 Thread Matthew Flatt
Hi Joel, At Tue, 21 Jul 2020 09:25:03 -0700 (PDT), "'Joel Dueck' via Racket Users" wrote: > It looks like the problem might be in this function > er.rkt#L440-L459> > where it always constructs a path that is relati

Re: [racket-users] Creating links to Racket docs for functions in user-scope packages

2020-07-21 Thread 'Joel Dueck' via Racket Users
It looks like the problem might be in this function where it always constructs a path that is relative to (find-doc-dir). Would it make sense instead to have it check the dest against all the paths

Re: [racket-users] Creating links to Racket docs for functions in user-scope packages

2020-07-13 Thread 'Joel Dueck' via Racket Users
On Monday, July 13, 2020 at 8:37:52 AM UTC-5, Matthew Flatt wrote: > > It might end up being about the same implementation effort to improve the > error message or to make the function work on user-scope packages > That was my sense as well...I will try taking a look at this, maybe I can contrib

Re: [racket-users] Creating links to Racket docs for functions in user-scope packages

2020-07-13 Thread Matthew Flatt
It's currently not intended to work for packages installed in user scope --- only for packages in the main installation --- although probably it shouldn't report a path error for a user-scope package. I'm not sure how difficult it would be to make redirection work on a user-scope package's documen

[racket-users] Creating links to Racket docs for functions in user-scope packages

2020-07-12 Thread 'Joel Dueck' via Racket Users
Trying to generate URLs for linking into the Racket docs. I get the error below, but only when the package/identifier combo in question are installed in user scope, and only when using the `#:external-root-url` keyword argument: > (define x (xref-binding->definition-tag (load-collections-xr