[racket-users] Re: polymorphic datastructures in typed/racket

2019-11-17 Thread bedeke
Hi, I managed to do the second part using prefab structures, but then I can't be sure it was created with the right constructor. Since it seems not doable to get this working with classes I will go back to untyped code. On Wednesday, 6 November 2019 20:51:39 UTC+1, bedeke wrote: > > Hello, > >

Re: [racket-users] Custom scribble renderers and xref information

2019-11-17 Thread Matthew Flatt
At Sun, 17 Nov 2019 12:12:15 -0600, Alexis King wrote: > I do have two related followup questions, though. First, how does > `raco setup` know what the dependencies are in the first place, so it > knows what it needs to rerender? I’ve noticed it seems to do things > in at least two passes—“running”

Re: [racket-users] Problem building racket in-place

2019-11-17 Thread 'Reuben Thomas' via Racket Users
On Sun, 17 Nov 2019 at 06:35, Matthew Flatt wrote: > At Sat, 16 Nov 2019 18:32:00 +, Reuben Thomas wrote: > > On Sat, 16 Nov 2019 at 15:06, Matthew Flatt wrote: > > > > > > > > The checked-in `configure` scripts are generated by "make-configure" in > > > "racket/src/ac", and that script does

Re: [racket-users] Custom scribble renderers and xref information

2019-11-17 Thread Hendrik Boom
On Sun, Nov 17, 2019 at 06:15:15PM +0100, Matthew Flatt wrote: > Yes, I think you're arriving at the right conclusions here. > > If I remember correctly, "external" means "from a different run of > `render`", which normally means different documents --- but not if you > give multiple documents to

Re: [racket-users] Custom scribble renderers and xref information

2019-11-17 Thread Alexis King
Thanks for the prompt reply! > On Nov 17, 2019, at 11:15, Matthew Flatt wrote: > > Making mutual references work is the job of info-in and info-out files. > Document A's info-out file is the info-in file for any document that > needs to reference document A. Yes, you have to run to a fixed point

Re: [racket-users] Custom scribble renderers and xref information

2019-11-17 Thread Matthew Flatt
Yes, I think you're arriving at the right conclusions here. If I remember correctly, "external" means "from a different run of `render`", which normally means different documents --- but not if you give multiple documents to `render` at once. Since you want to be able to render blog posts separate

[racket-users] Custom scribble renderers and xref information

2019-11-17 Thread Alexis King
I’ve been playing on and off with writing a custom scribble renderer for a blog, and my experiments have mostly been fine, but I am very confused about xref information. I want to use a URL fragment format for my blog that is different from the one used by the Racket documentation, but I would a

[racket-users] macOSX trick linking drracket in dock to current version via /etc/paths.d/racket ?

2019-11-17 Thread Tim Hanson
hi, I just upgraded to 7.4 and rediscovered (here, thanks for helpful posts!) the best practice for the bash $PATH using /etc/paths.d/racket. Is there an analogous trick to "update" which version I get when I click on the drracket icon in the macOSX dock? (OK, it's only a few clicks to remove