Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Shriram Krishnamurthi
I asked students to go to File | Install Package (not the DWIM box). From there, I too get this "inferred package name includes disallowed characters" message as Robby. But that isn't what my student got… So it seems a bit unlikely this is the issue? There is the possibility this is somehow differ

[racket-users] hashcons

2020-09-10 Thread Hendrik Boom
Is there a way to run Racket so that every immuable cons is made with a hashcons operation; i.e. it makes a new cons scel only if there isn't already one in memory somewhere with the same car and cdr values? -- hendrik -- You received this message because you are subscribed to the Google Grou

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Robby Findler
I was able to follow John's instructions and I get what Shriram had in the original message, so that seems like it is on the right track. Confusingly, however, I also seem to be getting this more helpful message: DrRacket install: invalid package source; inferred package name includes disallowed

Re: [racket-users] -i as an identifier

2020-09-10 Thread Robby Findler
The r6rs number syntax has explicit cases for +i and -i http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-7.html#node_sec_4.2 Robby On Thu, Sep 10, 2020 at 7:27 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > I think you read the doc correctly, but there are programs that use +i >

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Shriram Krishnamurthi
It's not me doing this, it's a student. I agree this is always a possibility. But note that it also happened to a TA. I suppose they could all have been making the same mistake. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread 'John Clements' via Racket Users
Shriram, have you ruled out the classic multi-paste prolem? It looks very much like that’s what you’re seeing here. That is, if you paste a string that ends with a newline into the “do what I mean” box, it will appear still to be blank. So you paste it again. So you paste it again. Eventually y

Re: [racket-users] -i as an identifier

2020-09-10 Thread Sorawee Porncharoenwase
I think you read the doc correctly, but there are programs that use +i and -i, so it's unclear if fixing the reader is desirable. Perhaps the documentation should be adjusted instead. Here’s an example of how people use +i and -i: https://github.com/mbutterick/aoc-racket/blob/master/2019/03.rkt#L2

[racket-users] -i as an identifier

2020-09-10 Thread Sage Gerard
It looks like -i cannot be used as an identifier because it evaluates to the complex number 0-1i. So in the v7.8 REPL, (define -i "foo") fails. I noticed this when trying to map CLI flag strings to identifiers. -i was the only one in the set to fall over. In the Reading Numbers section of the r

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread George Neuner
On 9/10/2020 10:06 AM, Philip McGrath wrote: Also, this is happening over encrypted HTTPS: no one is sniffing the User-Agent header. While it may not be the issue here, you need to understand that appliance firewalls CAN and routinely DO examine data inside encrypted connections. George

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Shriram Krishnamurthi
The original student (on Windows 10) has confirmed they were able to install with raco on the shell, which further lends credence to the likelihood that the PM and raco are doing something differently. (I have some other issues w/ the caching and how clearing out the trash doesn't seem to affect t

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Philip McGrath
Also, this is happening over encrypted HTTPS: no one is sniffing the User-Agent header. My initial attempt to reproduce in the GUI package manager was foiled because I’d first tried installing at the command line, and the package manager used a cached copy of the repository. From Shriram’s update

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Shriram Krishnamurthi
Please note that, per my message last night, this is also happening (my TA claims he saw the *identical* text: multiple red lines, etc.) on macOS 11. So it's not just for Windows any more. On Thu, Sep 10, 2020 at 9:20 AM George Neuner wrote: > > On 9/10/2020 7:37 AM, Hendrik Boom wrote: > > On T

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread George Neuner
On 9/10/2020 7:37 AM, Hendrik Boom wrote: On Thu, Sep 10, 2020 at 12:49:25AM -0400, George Neuner wrote: > > I don't know if DrRacket even sends a "user agent" string. If DrRacket can send a user agent string, so can malware. So it's not really reliable to filter on the user agent string.

Re: [racket-users] package manager woes on Windows 10?

2020-09-10 Thread Hendrik Boom
On Thu, Sep 10, 2020 at 12:49:25AM -0400, George Neuner wrote: > > I don't know if DrRacket even sends a "user agent" string. If DrRacket can send a user agent string, so can malware. So it's not really reliable to filter on the user agent string. -- hendrik -- You received this message becau