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

2022-05-25 08:19 tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!

00:03 jao has quit [Remote host closed the connection]

00:04 jao has joined #racket

00:05 jao has quit [Remote host closed the connection]

00:06 littlebobeep has joined #racket

00:12 jao has joined #racket

00:19 monkey_ has joined #racket

00:38 ur5us has quit [Ping timeout: 258 seconds]

00:47 littlebobeep has quit [Ping timeout: 240 seconds]

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

00:56 littlebobeep has joined #racket

01:50 ur5us has joined #racket

01:57 badkins has joined #racket

02:02 badkins has quit [Ping timeout: 246 seconds]

02:07 littlebobeep has quit [Ping timeout: 240 seconds]

02:09 monkey_ has quit [Ping timeout: 276 seconds]

02:11 littlebobeep has joined #racket

02:23 littlebobeep has quit [Ping timeout: 240 seconds]

02:48 jao has quit [Remote host closed the connection]

02:51 jao has joined #racket

02:58 dbohdan has quit [Read error: Connection reset by peer]

02:59 dbohdan has joined #racket

03:09 littlebobeep has joined #racket

03:19 jao has quit [Ping timeout: 246 seconds]

03:22 littlebo1eep has joined #racket

03:24 littlebobeep has quit [Ping timeout: 240 seconds]

03:47 littlebo1eep has quit [Ping timeout: 240 seconds]

03:57 littlebobeep has joined #racket

04:04 ec_ has joined #racket

04:28 lowhope has quit [Ping timeout: 240 seconds]

04:29 livoreno has quit [Read error: Connection reset by peer]

04:29 livoreno has joined #racket

04:29 lowhope has joined #racket

04:40 badkins has joined #racket

04:45 badkins has quit [Ping timeout: 255 seconds]

05:11 ec_ has quit [Ping timeout: 240 seconds]

05:22 ur5us has quit [Ping timeout: 272 seconds]

05:34 littlebobeep has quit [Ping timeout: 240 seconds]

05:48 littlebobeep has joined #racket

06:07 littlebo1eep has joined #racket

06:08 Avichi has joined #racket

06:10 littlebobeep has quit [Ping timeout: 240 seconds]

06:26 littlebobeep has joined #racket

06:29 littlebo1eep has quit [Ping timeout: 240 seconds]

06:34 littlebobeep has quit [Ping timeout: 240 seconds]

06:35 littlebobeep has joined #racket

06:37 littlebo1eep has joined #racket

06:38 Avichi has quit [Ping timeout: 252 seconds]

06:39 littlebobeep has quit [Ping timeout: 240 seconds]

06:57 littlebo1eep has quit [Ping timeout: 240 seconds]

07:04 littlebobeep has joined #racket

07:27 littlebobeep has quit [Ping timeout: 240 seconds]

07:36 littlebobeep has joined #racket

07:41 littlebobeep has quit [Ping timeout: 240 seconds]

08:00 littlebobeep has joined #racket

08:04 endobson has quit [Ping timeout: 272 seconds]

08:23 ur5us has joined #racket

08:23 endobson has joined #racket

08:35 littlebobeep has quit [Ping timeout: 240 seconds]

09:09 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

09:11 gproto23 has joined #racket

09:12 ur5us has quit [Remote host closed the connection]

09:13 ur5us has joined #racket

09:24 littlebobeep has joined #racket

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

09:54 littlebobeep has quit [Ping timeout: 240 seconds]

10:01 littlebobeep has joined #racket

10:10 littlebobeep has quit [Ping timeout: 240 seconds]

10:20 <dpk> bäh, my attempt to add at least basic indentation to scribble-mode by detecting when the line is inside a Racket expression (though @(...) or the [] part of a command) and delegating to scheme-indent-function is not really working

10:21 <dpk> you want different indentation rules for the [] part, at least …

10:21 <dpk> does DrRacket or some other editor already have indentation rules for Scribble i could copy?

10:25 littlebobeep has joined #racket

10:36 littlebobeep has quit [Ping timeout: 240 seconds]

10:43 badkins has joined #racket

10:48 badkins has quit [Ping timeout: 256 seconds]

10:53 <dpk> aha https://github.com/racket/gui/blob/master/gui-lib/scribble/private/indentation.rkt#L403

11:13 <dpk> "Return exact integer represents number of #\space to put in front of current paragraph(line) or #f" — so wait, when reading this code i should understand 'paragraph' as meaning 'line'? what is 'current paragraph(line)' meant to mean?

11:25 littlebobeep has joined #racket

11:47 <dpk> hmm, that algorithm doesn't exactly give satisfying result either

11:50 littlebo1eep has joined #racket

11:53 littlebobeep has quit [Ping timeout: 240 seconds]

11:54 <dpk> it doesn't even match the Scribble examples in the Racket manual, heh

12:02 littlebo1eep has quit [Ping timeout: 240 seconds]

12:17 badkins has joined #racket

12:22 badkins has quit [Ping timeout: 244 seconds]

12:30 jao has joined #racket

12:43 badkins has joined #racket

12:56 badkins has quit [Ping timeout: 255 seconds]

12:58 livoreno has quit [Ping timeout: 260 seconds]

12:58 littlebobeep has joined #racket

13:28 cwebber has quit [Read error: Connection reset by peer]

13:30 cwebber has joined #racket

13:38 badkins has joined #racket

14:23 endobson has joined #racket

14:55 endobson has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:38 morte_ has joined #racket

15:58 ec_ has joined #racket

16:24 badkins has quit [Remote host closed the connection]

16:48 gproto23 has quit [Read error: Connection reset by peer]

16:50 gproto23 has joined #racket

17:40 Avichi has joined #racket

18:00 littlebobeep has quit [Ping timeout: 240 seconds]

18:05 badkins has joined #racket

18:09 badkins has quit [Ping timeout: 250 seconds]

18:26 littlebobeep has joined #racket

18:55 morte_ has quit [Ping timeout: 276 seconds]

19:02 Avichi has quit [Quit: Client closed]

19:08 badkins has joined #racket

19:25 morte_ has joined #racket

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

19:29 badkins has joined #racket

20:47 gproto23_ has joined #racket

20:49 gproto23 has quit [Ping timeout: 246 seconds]

21:01 gproto23_ has quit [Quit: Leaving]

21:12 theruran has quit [Quit: Connection closed for inactivity]

21:13 ur5us has joined #racket

21:48 morte_ has quit [Remote host closed the connection]

21:56 jao has quit [Read error: Connection reset by peer]

22:32 sagax has quit [Excess Flood]

22:33 jao has joined #racket

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

23:11 ec_ has quit [Ping timeout: 240 seconds]

23:32 endobson has joined #racket

23:52 badkins has joined #racket

23:57 badkins has quit [Ping timeout: 256 seconds]