#racket on 2022-03-06 — irc logs at libera.irclog.whitequark.org

00:31 badkins has quit [Remote host closed the connection]

00:35 s-liao has joined #racket

00:44 bryan has left #racket [WeeChat 1.4]

00:44 casmajavi has quit [Quit: Leaving]

00:58 capfredf has joined #racket

00:59 badkins has joined #racket

01:02 s-liao has quit [Quit: Client closed]

01:02 capfredf has quit [Ping timeout: 256 seconds]

01:04 badkins has quit [Ping timeout: 250 seconds]

01:14 s-liao has joined #racket

01:27 badkins has joined #racket

01:31 badkins has quit [Ping timeout: 240 seconds]

01:42 badkins has joined #racket

01:46 badkins has quit [Ping timeout: 250 seconds]

03:25 badkins has joined #racket

03:30 badkins has quit [Ping timeout: 256 seconds]

04:11 s-liao has quit [Ping timeout: 256 seconds]

04:12 s-liao has joined #racket

04:26 s-liao has quit [Ping timeout: 256 seconds]

04:32 zostj has joined #racket

04:46 s-liao has joined #racket

05:16 zostj has left #racket [WeeChat 3.4]

05:37 epony has quit [Read error: Connection reset by peer]

05:37 epony has joined #racket

05:51 epony has quit [Remote host closed the connection]

05:57 badkins has joined #racket

06:01 badkins has quit [Ping timeout: 250 seconds]

06:04 capfredf has joined #racket

06:08 capfredf has quit [Ping timeout: 240 seconds]

06:21 epony has joined #racket

06:58 s-liao has quit [Quit: Client closed]

07:26 s-liao has joined #racket

07:52 capfredf has joined #racket

07:58 capfredf has quit [Ping timeout: 272 seconds]

08:04 badkins has joined #racket

08:08 ur5us has joined #racket

08:19 skapata has quit [Read error: Connection reset by peer]

08:22 s-liao78 has joined #racket

08:22 badkins has quit [Remote host closed the connection]

08:26 s-liao has quit [Ping timeout: 256 seconds]

08:32 epony has quit [Ping timeout: 240 seconds]

08:40 epony has joined #racket

09:46 ur5us has quit [Ping timeout: 240 seconds]

09:57 badkins has joined #racket

10:03 badkins has quit [Remote host closed the connection]

10:14 s-liao78 has quit [Ping timeout: 256 seconds]

10:37 capfredf has joined #racket

10:43 capfredf has quit [Ping timeout: 256 seconds]

10:58 s-liao has joined #racket

11:45 s-liao has quit [Ping timeout: 256 seconds]

12:03 badkins has joined #racket

12:08 badkins has quit [Ping timeout: 240 seconds]

12:14 cynomys has joined #racket

12:37 badkins has joined #racket

12:41 badkins has quit [Ping timeout: 240 seconds]

12:48 badkins has joined #racket

12:51 cynomys has quit [Ping timeout: 256 seconds]

12:53 badkins has quit [Ping timeout: 256 seconds]

13:05 badkins has joined #racket

13:09 badkins has quit [Ping timeout: 240 seconds]

13:12 badkins has joined #racket

13:20 badkins has quit [Ping timeout: 250 seconds]

13:26 badkins has joined #racket

13:30 badkins has quit [Ping timeout: 240 seconds]

13:36 s-liao has joined #racket

13:54 casmajavi has joined #racket

13:55 casmajavi has quit [Client Quit]

14:12 badkins has joined #racket

14:13 capfredf has joined #racket

14:16 badkins has quit [Ping timeout: 250 seconds]

14:19 capfredf has quit [Ping timeout: 256 seconds]

14:29 s-liao has quit [Ping timeout: 256 seconds]

14:30 s-liao has joined #racket

14:37 s-liao has quit [Quit: Client closed]

14:46 badkins has joined #racket

14:48 capfredf has joined #racket

14:52 capfredf has quit [Remote host closed the connection]

14:52 badkins has quit [Ping timeout: 240 seconds]

14:52 capfredf has joined #racket

14:55 badkins has joined #racket

14:57 capfredf has quit [Ping timeout: 250 seconds]

14:59 badkins has quit [Ping timeout: 240 seconds]

15:08 badkins has joined #racket

15:13 badkins has quit [Ping timeout: 256 seconds]

15:17 badkins has joined #racket

15:17 skapata has joined #racket

15:17 skapata has quit [Changing host]

15:17 skapata has joined #racket

15:56 Everything has joined #racket

16:05 capfredf has joined #racket

16:11 capfredf has quit [Ping timeout: 272 seconds]

16:17 msiism has joined #racket

16:20 <msiism> Quick question about https://docs.racket-lang.org/guide/Pairs__Lists__and_Racket_Syntax.html, section 2.4.2:

16:20 <msiism> Shouldn't the first occurence of "quote" in the last code example be colored blue instead of green?

16:21 capfredf has joined #racket

16:25 capfredf has quit [Remote host closed the connection]

16:33 <bremner> msiism: iiuc, it is green because it is just a symbol like road here

16:33 <bremner> just to be clear, you mean in '(quote road) ?

16:34 <bremner> rudybot: eval '(quote road)

16:34 <rudybot> bremner: your sandbox is ready

16:34 <rudybot> bremner: ; Value: ''road

16:34 <msiism> What I mean is the first occurence of "quote" in `> (quote (quote road))`.

16:36 <msiism> I mean, to the best of my current Racket knowledge, the first one is a function call.

16:36 <bremner> ah. yeah. that should be the same as the other quote forms.

16:36 <bremner> not _exactly_ a function call, but your intuition is correct. It is not quoted there.

16:37 <msiism> I see. So, I guess I should probably report this somewhere.

16:37 cwebber has quit [Ping timeout: 240 seconds]

16:37 <bremner> msiism: more reliable than the highlighting is to hover in DrRacket.

16:38 <bremner> it shows the first quote as "imported from racket" and nothing for the second

16:43 <msiism> I see.

16:43 <bremner> if you can find the right repo under the racket github project, feel free to report an issue

16:44 <bremner> someone should point out that there is not much contrast between those two colours, even ignoring blue-green colourblindness

16:44 <msiism> Yeah, that's probably a factor as well.

16:45 <msiism> I was actually hoping to be able to report this without having to use GitHub.

16:46 <bremner> I sympathize, but I don't think there's a way.

16:46 <msiism> I guess, I still have one or two e-mail addresses lying around from reporting stuff a while ago. I guess I'll try those first.

16:46 <msiism> Anyway, thanks for clearing this up.

16:47 <bremner> sure.

16:59 cwebber has joined #racket

17:13 capfredf has joined #racket

17:25 capfredf has quit [Remote host closed the connection]

17:35 Everything has quit [Quit: leaving]

17:43 cwebber has quit [Ping timeout: 240 seconds]

18:04 badkins has quit [Remote host closed the connection]

18:06 monkey_ has joined #racket

18:12 capfredf has joined #racket

18:13 badkins has joined #racket

18:17 capfredf has quit [Read error: Connection reset by peer]

18:17 capfredf has joined #racket

18:17 notzmv has quit [Ping timeout: 240 seconds]

18:22 capfredf has quit [Ping timeout: 256 seconds]

18:25 badkins has quit [Remote host closed the connection]

18:35 badkins has joined #racket

18:43 skapata has quit [Ping timeout: 245 seconds]

18:51 monkey_ has quit [Read error: Connection reset by peer]

18:56 skapata has joined #racket

19:04 skapata has quit [Ping timeout: 260 seconds]

19:05 vats has joined #racket

19:15 vats has quit [Ping timeout: 256 seconds]

20:07 veinoftls has joined #racket

20:10 badkins has quit [Remote host closed the connection]

20:17 badkins has joined #racket

20:23 badkins has quit [Ping timeout: 240 seconds]

20:30 ur5us has joined #racket

20:42 notzmv has joined #racket

21:03 cynomys has joined #racket

21:11 capfredf has joined #racket

21:12 skapata has joined #racket

21:12 skapata has quit [Changing host]

21:31 FreeFull has joined #racket

21:52 capfredf has quit [Remote host closed the connection]

21:53 capfredf has joined #racket

21:57 capfredf has quit [Ping timeout: 256 seconds]

22:00 johnjaye has quit [Ping timeout: 256 seconds]

22:02 johnjaye has joined #racket

22:18 badkins has joined #racket

22:25 capfredf has joined #racket

22:27 badkins has quit [Ping timeout: 240 seconds]

22:31 notzmv has quit [Ping timeout: 268 seconds]

22:33 msiism has quit [Quit: Konversation vaporized.]

22:35 capfredf has quit [Ping timeout: 250 seconds]

23:00 cwebber has joined #racket

23:11 capfredf has joined #racket

23:14 plane has joined #racket

23:20 ur5us has quit [Ping timeout: 256 seconds]

23:22 monkey_ has joined #racket

23:22 capfredf has quit [Remote host closed the connection]

23:23 capfredf has joined #racket

23:27 capfredf has quit [Ping timeout: 240 seconds]

23:39 ur5us has joined #racket

23:52 s-liao has joined #racket

23:54 FreeFull has quit []