Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Greg Hendershott
Sexpr comments are interesting because people want them to act mostly like sexprs -- for indentation, and for structural editing/display like paredit or rainbow-parens. At most they should look like comments. Or not even that. As this thread shows. :) Another use case (that Mattias might not

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Greg Hendershott
p.s. On Mon, Oct 8, 2018 at 11:41 AM Greg Hendershott wrote: > Another use case (that Mattias might not love) is somewhere for "usage Apologies for the typo, Matthias! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Matthias Felleisen
> On Oct 8, 2018, at 11:44 AM, Greg Hendershott > wrote: > > p.s. > > On Mon, Oct 8, 2018 at 11:41 AM Greg Hendershott > wrote: >> Another use case (that Mattias might not love) is somewhere for "usage > > Apologies for the typo, Matthias! No worries. And for the record, I also use #;

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Sam Tobin-Hochstadt
A suggestion: what if #; comments used the code coloring, but shifted somewhat, or grayscaled, or something along those lines? Sam On Mon, Oct 8, 2018 at 11:56 AM Matthias Felleisen wrote: > > > > On Oct 8, 2018, at 11:44 AM, Greg Hendershott > > wrote: > > > > p.s. > > > > On Mon, Oct 8, 2018

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Matthias Felleisen
+1 > On Oct 8, 2018, at 11:57 AM, Sam Tobin-Hochstadt wrote: > > A suggestion: what if #; comments used the code coloring, but shifted > somewhat, or grayscaled, or something along those lines? > > Sam > On Mon, Oct 8, 2018 at 11:56 AM Matthias Felleisen > wrote: >> >> >>> On Oct 8,

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Robby Findler
I like the idea that you suggested where the parens keep their paren color but the rest of the text becomes comment colored. It's not a trivial change, but it seems doable. Robby On Mon, Oct 8, 2018 at 12:37 PM Christopher Lemmer Webber wrote: > > It sounds nice, but I wonder if it would be

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
This is an interesting angle I hadn't yet considered. Working on a GitHub issue for frog right now. Eric On Mon, Oct 8, 2018, 2:04 PM Alexis King wrote: > IIRC, --redirect-main only applies to packages installed in installation > scope, not packages installed in user scope. I don’t know why

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
On Mon, Oct 8, 2018 at 1:07 PM Greg Hendershott wrote: > > Is this for .md or .scrbl sources? For .scrbl sources. > If scribble: It's been some years since I worked on this, but at a > quick glance Frog is running Scribble with --redirect-main > http://docs.racket-lang.org/ > > >

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Matthew Flatt
The "main" in `--redirect-main` was meant to refer to "main installation". It can't handle links to user-scope documentation, because redirection is based on recognizing the target URL as a file path relative to the installation's "doc" directory. The `--redirect` argument should work more

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Alexis King
IIRC, --redirect-main only applies to packages installed in installation scope, not packages installed in user scope. I don’t know why this is the case, and I don’t know if it’s a bug or a (mis)feature, I just vaguely remember running into that problem before when using --redirect-main. You

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
On Mon, Oct 8, 2018 at 5:40 PM Matthew Flatt wrote: > > --redirect https://docs.racket-lang.org/local-redirect/ This works. Thanks! Eric -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving

Re: [racket-users] Should #; comments be colored as comments or code in Dr Racket?

2018-10-08 Thread Christopher Lemmer Webber
It sounds nice, but I wonder if it would be hard to shift consistently in the right direction for both light and dark themes... I guess if the code's opacity was reduced that could be a universal solution. Matthias Felleisen writes: > +1 > > >> On Oct 8, 2018, at 11:57 AM, Sam Tobin-Hochstadt

Re: [racket-users] Places code not using all the CPU

2018-10-08 Thread James Platt
I wonder if this has anything to do with mitigation for Spectre, Meltdown or the other speculative execution vulnerabilities that have been identified recently. I understand that some or all of the patches affect the performance of multi-CPU processing in general. James -- You received

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Greg Hendershott
Is this for .md or .scrbl sources? If scribble: It's been some years since I worked on this, but at a quick glance Frog is running Scribble with --redirect-main http://docs.racket-lang.org/ https://github.com/greghendershott/frog/blob/master/frog/private/read-scribble.rkt So I'm not sure

Re: [racket-users] Places code not using all the CPU

2018-10-08 Thread Philip McGrath
This is much closer to the metal than where I usually spend my time, but, if it terns out that multiple OS processes is better than OS threads in this case, Distributed Places might provide an easier path to move to multiple processes than using `subprocess` directly:

[racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
My frog-generated blog is almost ready, but there's one detail stopping the show: Is there a way to make frog link to docs.racket-lang.org for all scribble cross-references? Exports from the "special" modules (racket/base, racket, ...) already point to docs.racket-lang.org, but cross-referencing