#racket on 2020-10-08 — irc logs at freenode.irclog.whitequark.org

2020-09-10 10:23 samth changed the topic of #racket to: Racket v7.8 has been released: https://blog.racket-lang.org/2020/08/racket-v7-8.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:02 rj_ has quit [Ping timeout: 260 seconds]

00:04 rj_ has joined #racket

00:30 rj_ has quit [Ping timeout: 260 seconds]

00:32 rj_ has joined #racket

00:36 orivej has quit [Ping timeout: 260 seconds]

00:36 catonano_ has joined #racket

00:40 catonano has quit [Ping timeout: 256 seconds]

00:40 catonano_ is now known as catonano

00:45 mirrorbird is now known as mockduck

00:47 MetaHertz has quit [Remote host closed the connection]

00:49 mockduck has quit [Quit: Leaving]

00:58 rj_ has quit [Ping timeout: 256 seconds]

01:00 rj_ has joined #racket

01:09 badkins has quit [Remote host closed the connection]

01:09 badkins has joined #racket

01:09 badkins has quit [Remote host closed the connection]

01:11 badkins has joined #racket

01:16 badkins has quit [Ping timeout: 272 seconds]

01:17 TCZ has quit [Quit: Leaving]

01:26 rj_ has quit [Ping timeout: 246 seconds]

01:29 rj_ has joined #racket

01:35 nebunez has quit [Ping timeout: 260 seconds]

01:39 wingsorc has quit [Ping timeout: 240 seconds]

01:54 rj_ has quit [Ping timeout: 260 seconds]

01:56 rj_ has joined #racket

02:22 rj_ has quit [Ping timeout: 256 seconds]

02:23 arpunk has quit [Remote host closed the connection]

02:24 arpunk has joined #racket

02:24 rj_ has joined #racket

02:42 _whitelogger has joined #racket

02:50 rj_ has quit [Ping timeout: 240 seconds]

02:53 rj_ has joined #racket

03:11 <countvajhula> does anyone know if there's a way to intentionally match the dot character in macros?

03:12 badkins has joined #racket

03:14 <countvajhula> e.g. in something like `(mac . cheese)`, it should match the macro `mac` only if an actual dot is there, as opposed to packing the arguments passed to mac as the dot usually does

03:15 <countvajhula> i.e. this packs any arguments into `cheese`: (define-simple-macro (mac . cheese) ...)

03:16 <countvajhula> i tried (define-simple-macro (mac (~datum .) cheese) ...) but it doesn't like that at all

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

03:20 rj_ has quit [Ping timeout: 272 seconds]

03:21 rj_ has joined #racket

03:36 badkins has joined #racket

03:46 rj_ has quit [Ping timeout: 240 seconds]

03:48 rj_ has joined #racket

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

04:12 acarrico has quit [Ping timeout: 256 seconds]

04:15 rj_ has quit [Ping timeout: 256 seconds]

04:17 rj_ has joined #racket

04:41 MetaHertz has joined #racket

04:43 rj_ has quit [Ping timeout: 240 seconds]

04:45 rj_ has joined #racket

04:53 endformationage has quit [Quit: WeeChat 2.9]

05:10 rj_ has quit [Ping timeout: 260 seconds]

05:13 rj_ has joined #racket

05:39 rj_ has quit [Ping timeout: 260 seconds]

05:41 rj_ has joined #racket

05:56 narimiran has joined #racket

06:07 rj_ has quit [Ping timeout: 256 seconds]

06:08 <dzoe> countvajhula: I'd go with define-syntax and syntax-rules probably (or parse).

06:09 rj_ has joined #racket

06:15 <dzoe> countvajhula: Ok, I was probably wrong. A few experiments show that at the time of expansion the syntax objects already lost the information.

06:16 <dzoe> countvajhula: a simple test: (define-syntax (mac stx) (displayln stx) (datum->syntax stx '1)) (mac . 1) (mac . (1 2)) (mac 1)

06:24 Sgeo_ has quit [Read error: Connection reset by peer]

06:25 countvajhula has quit [Remote host closed the connection]

06:25 countvajhula has joined #racket

06:35 rj_ has quit [Ping timeout: 258 seconds]

06:35 Fernando-Basso[m has quit [Quit: killed]

06:35 yurb has quit [Quit: killed]

06:35 peddie has quit [Quit: killed]

06:37 rj_ has joined #racket

06:42 <countvajhula> dzoe: that's a good test. at first I thought the first case (mac . 1) was preserving the dot, but looks like that's actually a "syntax pair" and the dot is just indicating that it's a cons

06:44 <countvajhula> so the information is lost prior to that point... i guess this is where reader extensions come in?

06:46 <countvajhula> and thank you for checking!

06:59 peddie has joined #racket

06:59 yurb has joined #racket

07:02 rj_ has quit [Ping timeout: 272 seconds]

07:04 rj_ has joined #racket

07:30 cloveistaken has joined #racket

07:30 rj_ has quit [Ping timeout: 244 seconds]

07:35 _whitelogger has joined #racket

07:37 countvajhula has joined #racket

07:38 DGASAU has joined #racket

07:50 countvajhula has quit [Ping timeout: 260 seconds]

07:51 cjv has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:55 cjv has joined #racket

07:59 rj_ has quit [Ping timeout: 272 seconds]

07:59 sputny has quit [Read error: Connection reset by peer]

08:00 sputny has joined #racket

08:01 rj_ has joined #racket

08:07 cjv has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:26 rj_ has quit [Ping timeout: 246 seconds]

08:28 rj_ has joined #racket

08:29 sputny has quit [Quit: sputny]

08:29 sputny has joined #racket

08:54 rj_ has quit [Ping timeout: 240 seconds]

08:56 rj_ has joined #racket

09:08 liltechdude has joined #racket

09:09 <liltechdude> Hello, how to stop timer% (from racket/gui) inside notify-callback?

09:23 rj_ has quit [Ping timeout: 240 seconds]

09:25 rj_ has joined #racket

09:25 samth has quit [Ping timeout: 260 seconds]

09:26 samth has joined #racket

09:26 catonano has quit [Read error: Connection reset by peer]

09:27 catonano has joined #racket

09:51 rj_ has quit [Ping timeout: 272 seconds]

09:52 rj_ has joined #racket

09:55 sputny has quit [Read error: Connection reset by peer]

09:58 sputny has joined #racket

09:59 phillbush has joined #racket

10:10 sputny has quit [Ping timeout: 260 seconds]

10:16 countvajhula has joined #racket

10:18 rj_ has quit [Ping timeout: 240 seconds]

10:20 sputny has joined #racket

10:21 rj_ has joined #racket

10:21 countvajhula has quit [Ping timeout: 260 seconds]

10:27 liltechdude has quit [Remote host closed the connection]

10:30 sputny has quit [Quit: sputny]

10:31 sputny has joined #racket

10:32 TCZ has joined #racket

10:41 sputny has quit [Quit: sputny]

10:42 sputny has joined #racket

10:47 rj_ has quit [Ping timeout: 256 seconds]

10:49 rj_ has joined #racket

10:53 orivej has joined #racket

10:57 sputny has quit [Quit: sputny]

10:58 sputny has joined #racket

10:59 orivej has quit [Ping timeout: 260 seconds]

11:03 orivej has joined #racket

11:14 narimiran has quit [Ping timeout: 258 seconds]

11:17 rj_ has quit [Ping timeout: 240 seconds]

11:19 rj_ has joined #racket

11:23 BitPuffin has joined #racket

11:23 notzmv has joined #racket

11:36 wingsorc has joined #racket

11:44 sputny has quit [Remote host closed the connection]

11:44 sputny has joined #racket

11:46 rj_ has quit [Ping timeout: 272 seconds]

11:48 rj_ has joined #racket

11:49 orivej has quit [Ping timeout: 240 seconds]

12:00 badkins has joined #racket

12:02 sputny has quit [Quit: sputny]

12:03 sputny has joined #racket

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

12:14 rj_ has quit [Ping timeout: 256 seconds]

12:16 rj_ has joined #racket

12:17 countvajhula has joined #racket

12:18 sputny has quit [Quit: sputny]

12:18 sputny has joined #racket

12:21 countvajhula has quit [Ping timeout: 240 seconds]

12:25 <greghendershott> rudybot: later tell countvajhula Although not sure exactly relevant, there are 3 reader dot parameters https://docs.racket-lang.org/reference/Reading.html#(def._((quote._~23~25kernel)._read-accept-dot))

12:25 <rudybot> greghendershott: I asked `MemoServ' to forward the message to countvajhula.

12:42 rj_ has quit [Ping timeout: 272 seconds]

12:43 rj_ has joined #racket

13:08 Fernando-Basso[m has joined #racket

13:10 rj_ has quit [Ping timeout: 272 seconds]

13:12 rj_ has joined #racket

13:35 orivej has joined #racket

13:38 rj_ has quit [Ping timeout: 240 seconds]

13:40 rj_ has joined #racket

13:42 nebunez has joined #racket

13:44 arpunk has quit [Read error: Connection reset by peer]

13:47 arpunk has joined #racket

13:54 sputny has quit [Remote host closed the connection]

13:56 arpunk has quit [Read error: Connection reset by peer]

13:58 arpunk has joined #racket

14:02 nebunez has quit [Read error: Connection reset by peer]

14:02 badkins has joined #racket

14:04 Sgeo has joined #racket

14:05 rj_ has quit [Ping timeout: 240 seconds]

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

14:07 rj_ has joined #racket

14:09 nebunez has joined #racket

14:17 countvajhula has joined #racket

14:22 countvajhula has quit [Ping timeout: 260 seconds]

14:27 nebunez has quit [Ping timeout: 240 seconds]

14:33 rj_ has quit [Ping timeout: 240 seconds]

14:33 evdubs_ has joined #racket

14:35 evdubs has quit [Ping timeout: 244 seconds]

14:36 rj_ has joined #racket

14:39 orivej has quit [Ping timeout: 240 seconds]

14:39 orivej has joined #racket

14:42 badkins has joined #racket

14:48 bitmapper has quit [Quit: Connection closed for inactivity]

14:59 rmnull has joined #racket

15:00 rmnull has quit [Read error: Connection reset by peer]

15:02 rj_ has quit [Ping timeout: 256 seconds]

15:04 rj_ has joined #racket

15:11 countvajhula has joined #racket

15:13 arpunk has quit [Read error: Connection reset by peer]

15:14 arpunk has joined #racket

15:17 countvajhula has quit [Ping timeout: 240 seconds]

15:22 narimiran has joined #racket

15:29 rj_ has quit [Ping timeout: 240 seconds]

15:31 arpunk has quit [Read error: Connection reset by peer]

15:31 rj_ has joined #racket

15:38 sm2n has quit [Read error: Connection reset by peer]

15:38 sm2n has joined #racket

15:39 arpunk has joined #racket

15:45 rj_ has quit [Quit: WeeChat 2.5]

15:47 cjv has joined #racket

15:58 sputny has joined #racket

16:00 countvajhula has joined #racket

16:01 zacts_ has joined #racket

16:02 zacts_ has quit [Client Quit]

16:03 zacts_ has joined #racket

16:04 zacts_ is now known as zacts

16:04 zacts has quit [Client Quit]

16:05 zacts has joined #racket

16:15 countvajhula has quit [Ping timeout: 260 seconds]

16:20 countvajhula has joined #racket

16:24 TCZ has quit [Quit: Leaving]

16:25 countvajhula has quit [Ping timeout: 240 seconds]

16:30 countvajhula has joined #racket

17:07 zacts has quit [Quit: leaving]

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

17:08 zacts has joined #racket

17:08 badkins has joined #racket

17:13 badkins has quit [Ping timeout: 260 seconds]

17:26 zacts has quit [Quit: leaving]

17:26 badkins has joined #racket

17:27 zacts has joined #racket

17:38 zacts has quit [Quit: leaving]

17:39 zacts has joined #racket

18:13 endformationage has joined #racket

18:18 cjv has quit [Quit: Textual IRC Client: www.textualapp.com]

18:29 zacts has quit [Quit: leaving]

18:30 zacts has joined #racket

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

18:31 badkins has joined #racket

18:36 badkins has quit [Ping timeout: 246 seconds]

18:52 badkins has joined #racket

18:53 bitmapper has joined #racket

19:35 countvajhula has quit [Remote host closed the connection]

19:36 zacts has quit [Quit: leaving]

19:57 narimiran has quit [Ping timeout: 240 seconds]

20:09 acarrico has joined #racket

20:18 sputny has quit [Quit: sputny]

20:28 nebunez has joined #racket

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

20:29 badkins has joined #racket

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

20:37 badkins has joined #racket

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

20:45 countvajhula has joined #racket

20:46 <countvajhula> greghendershott: thanks, I'll take a look!

20:50 TCZ has joined #racket

21:05 countvajhula has quit [Ping timeout: 260 seconds]

21:07 countvajhula has joined #racket

21:25 selimcan has joined #racket

21:36 TCZ has quit [Quit: Leaving]

21:39 zacts has joined #racket

21:52 ridik has joined #racket

21:52 countvajhula has quit [Ping timeout: 240 seconds]

21:55 zacts has quit [Quit: leaving]

21:55 zacts has joined #racket

21:58 ridik has quit [Quit: Leaving]

21:58 TCZ has joined #racket

21:58 ridik has joined #racket

21:58 countvajhula has joined #racket

22:12 <countvajhula> reading about those parameters definitely sheds some light on how racket treats the literal dot

22:12 <countvajhula> for instance, turns out '(1 . 2 . 3) is valid syntax, TIL

22:15 <countvajhula> sounds like read-accept-infix-dot controls whether that example would be considered valid or not

22:15 <countvajhula> so that setting it to false would make '(1 . 2 . 3) unacceptable, I blv

22:18 <countvajhula> but I just tried that and it still accepted it, so I don't know

22:20 mirrorbird has joined #racket

22:21 <countvajhula> from the sounds of it, configuring these parameters probably won't allow something like (~datum .) to work

22:34 cloveistaken has quit [Ping timeout: 244 seconds]

22:40 aidalgol has quit [Read error: Connection reset by peer]

22:41 selimcan has quit [Ping timeout: 258 seconds]

22:42 aidalgol has joined #racket

22:43 aidalgol has quit [Read error: Connection reset by peer]

22:45 countvajhula has quit [Ping timeout: 260 seconds]

22:52 aidalgol has joined #racket

22:58 zacts has quit [Quit: leaving]

23:15 ridik has quit [Quit: Leaving]

23:24 phillbush has quit [Quit: Leaving]

23:36 acarrico has quit [Ping timeout: 272 seconds]

23:38 acarrico has joined #racket

23:41 badkins has joined #racket