#racket on 2021-02-01 — irc logs at freenode.irclog.whitequark.org

2021-01-03 04:01 samth changed the topic of #racket to: Racket v7.9 has been released: https://blog.racket-lang.org/2020/11/racket-v7-9.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:26 rgherdt has quit [Ping timeout: 265 seconds]

00:35 ArneBab has joined #racket

00:39 phillbush has quit [Remote host closed the connection]

00:39 phillbush has joined #racket

00:49 phillbush has quit [Quit: Leaving]

00:51 ArneBab has quit [Remote host closed the connection]

01:22 aeth has quit [Ping timeout: 272 seconds]

01:23 aeth has joined #racket

01:39 davidl has joined #racket

01:59 ArneBab has joined #racket

02:18 ArneBab has quit [Read error: Connection reset by peer]

02:22 davidl has quit [Ping timeout: 246 seconds]

02:25 davidl has joined #racket

02:26 brainfunnel has quit [Quit: thanks, bye!]

02:34 sudden has quit [Ping timeout: 240 seconds]

02:35 davidl has quit [Ping timeout: 240 seconds]

02:35 sudden has joined #racket

02:36 davidl has joined #racket

02:41 teardown has quit [Ping timeout: 268 seconds]

02:42 teardown has joined #racket

03:23 caente has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]

03:25 caente has joined #racket

03:42 mmohammadi9812 has quit [Ping timeout: 260 seconds]

03:45 mmohammadi9812 has joined #racket

03:56 caente has quit [Ping timeout: 246 seconds]

04:01 catt has quit [Remote host closed the connection]

04:36 fredmanglis has joined #racket

04:53 epony has quit [Remote host closed the connection]

05:14 mmohammadi9812 has quit [Ping timeout: 260 seconds]

05:14 mmohammadi9812 has joined #racket

05:19 catt has joined #racket

05:39 narimiran has joined #racket

05:45 endformationage has quit [Quit: WeeChat 2.9]

06:17 teardown has quit [Ping timeout: 268 seconds]

06:18 teardown has joined #racket

06:25 mirrorbird has joined #racket

06:27 cubik has joined #racket

06:33 jellie has joined #racket

07:04 orivej has joined #racket

07:06 andreyorst` has joined #racket

07:07 andreyorst` has quit [Remote host closed the connection]

07:14 jellie has quit [Ping timeout: 240 seconds]

07:20 cubik has quit [Quit: Leaving.]

07:22 orivej has quit [Ping timeout: 256 seconds]

07:23 orivej has joined #racket

07:36 tilpner_ has joined #racket

07:37 tilpner has quit [Ping timeout: 246 seconds]

07:37 tilpner_ is now known as tilpner

07:56 _whitelogger has joined #racket

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

08:00 tilpner_ has joined #racket

08:01 tilpner has quit [Ping timeout: 256 seconds]

08:01 tilpner_ is now known as tilpner

08:06 tilpner has quit [Remote host closed the connection]

08:06 tilpner has joined #racket

08:06 rgherdt has joined #racket

08:13 cubik has joined #racket

08:41 davidl has quit [Quit: WeeChat 3.0]

08:44 Sgeo has quit [Read error: Connection reset by peer]

08:45 mirrorbird has quit [Quit: Leaving]

08:55 ArneBab has joined #racket

09:13 Major_Biscuit has joined #racket

09:39 fredmanglis has quit [Ping timeout: 240 seconds]

09:40 fredmanglis has joined #racket

10:07 <cubik> Hello. I'm using racket 7.9 on windows and I have an issue with redex typesetting - https://gist.github.com/ethframe/52734412e804ac1e9a855b6d90af2440. The problem is with the vertical spacing in metafunctions and typing judgments. Setting metafunction-line-gap-space and metafunction-rule-gap-space to -30 seems to help, but I have no idea from where this huge extra space comes from. And

10:07 <cubik> I can't figure out how to fix spacing in judgments. Where should I search for the root of the problem?

10:09 ArneBab has quit [Remote host closed the connection]

10:35 <cubik> Well, I've tried to run this on another windows machine and everything is rendered as expected. The difference is that in the first case rendered picts have a large descent - (pict-descent (metafunction->pict lookup #:contract? #t) returns 34.0 instead of 4.0. Could this possibly be a configuration issue?

10:40 nullcone has quit [Quit: Connection closed for inactivity]

10:44 tilpner_ has joined #racket

10:46 tilpner has quit [Ping timeout: 264 seconds]

10:46 tilpner_ is now known as tilpner

10:54 Codaraxis__ has quit [Ping timeout: 264 seconds]

10:54 tilpner has quit [Ping timeout: 258 seconds]

10:56 tilpner has joined #racket

10:59 Codaraxis__ has joined #racket

11:07 Codaraxis__ has quit [Remote host closed the connection]

11:08 tilpner has quit [Remote host closed the connection]

11:08 tilpner has joined #racket

11:25 phillbush has joined #racket

12:04 epony has joined #racket

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

12:16 ArneBab has joined #racket

12:30 brainfunnel has joined #racket

12:49 ArneBab has quit [Remote host closed the connection]

12:52 brainfunnel_ has joined #racket

12:55 brainfunnel has quit [Ping timeout: 264 seconds]

12:55 ArneBab_ has joined #racket

13:19 ArneBab_ has quit [Read error: Connection reset by peer]

13:30 phillbush has quit [Quit: Leaving]

13:37 ces has joined #racket

13:40 mmohammadi9812 has quit [Ping timeout: 264 seconds]

13:40 Major_Biscuit has quit [Ping timeout: 260 seconds]

13:44 acarrico has joined #racket

13:47 Major_Biscuit has joined #racket

13:48 mmohammadi9812 has joined #racket

13:54 ces has quit [Quit: WeeChat 3.0]

14:07 caente has joined #racket

14:08 tilpner_ has joined #racket

14:10 tilpner has quit [Ping timeout: 265 seconds]

14:11 tilpner has joined #racket

14:13 tilpner_ has quit [Ping timeout: 260 seconds]

14:27 gproto23 has joined #racket

14:32 acarrico has quit [Ping timeout: 256 seconds]

14:42 orivej has joined #racket

14:46 brainfunnel has joined #racket

14:49 brainfunnel_ has quit [Ping timeout: 264 seconds]

14:50 gproto23 has quit [Quit: Leaving]

14:51 mirrorbird has joined #racket

14:52 gproto23 has joined #racket

14:52 ArneBab has joined #racket

14:53 gproto023 has joined #racket

14:54 gproto023 has quit [Remote host closed the connection]

14:59 nebunez has joined #racket

15:05 rj_ has joined #racket

15:08 ArneBab has quit [Remote host closed the connection]

15:17 Sgeo has joined #racket

15:32 acarrico has joined #racket

15:42 Major_Biscuit has quit [Ping timeout: 256 seconds]

15:50 phillbush has joined #racket

15:54 acarrico has quit [Ping timeout: 240 seconds]

15:56 rj_ has quit [Ping timeout: 264 seconds]

16:01 Major_Biscuit has joined #racket

16:05 caente has quit [Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/]

16:06 caente has joined #racket

16:16 phillbush has quit [Quit: Leaving]

16:31 endformationage has joined #racket

16:33 darklambda has joined #racket

16:34 <darklambda> hi, how does one clear the racket repl? i'm using racket v7.9

16:34 <bremner> clear it how? remove all definitions?

16:34 <nisstyre> darklambda: ,shell clear

16:34 <darklambda> cool.. let me try

16:34 <nisstyre> assuming you're not in drracket

16:35 <bremner> oh for screenclear, C-l should do it

16:35 <darklambda> it says 'clear' is not recognized as an internal or external command

16:35 <nisstyre> darklambda: what OS?

16:35 <darklambda> i'm using racket from terminal

16:35 <nisstyre> windows?

16:35 <darklambda> yes

16:35 <nisstyre> sorry, IDK then

16:35 <darklambda> ok

16:36 <nisstyre> cls maybe

16:36 <nisstyre> so ,shell cls

16:36 <darklambda> ah yes! thanks a lot

16:36 <bremner> darklambda: does Ctrl-l work?

16:36 <darklambda> ,shell cls worked!

16:36 <nisstyre> awesome

16:36 <darklambda> ctrl-l didn't work

16:36 <bremner> huh. OK then... Windows issue I guess.

16:37 <darklambda> it's ok... got ,shell cls anyway

16:37 <darklambda> just needed something to clear

16:48 aeth_ has joined #racket

16:48 aeth has quit [Disconnected by services]

16:48 aeth_ is now known as aeth

16:50 aeth_ has joined #racket

16:51 aeth has quit [Disconnected by services]

16:51 fredmanglis has quit [Ping timeout: 240 seconds]

16:51 aeth_ is now known as aeth

16:52 fredmanglis has joined #racket

17:08 ces has joined #racket

17:12 ces has quit [Client Quit]

17:13 nperez has joined #racket

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

17:18 _apg has joined #racket

17:40 teardown has quit [Remote host closed the connection]

17:40 teardown has joined #racket

17:44 phillbush has joined #racket

17:48 phillbush has quit [Client Quit]

17:49 mirrorbird has quit [Ping timeout: 265 seconds]

17:50 ces has joined #racket

17:50 Major_Biscuit has quit [Ping timeout: 256 seconds]

17:53 mirrorbird has joined #racket

18:01 mirrorbird has quit [Ping timeout: 240 seconds]

18:03 acarrico has joined #racket

18:09 rj_ has joined #racket

18:10 willghatch has quit [Ping timeout: 244 seconds]

18:10 yurb has quit [Ping timeout: 244 seconds]

18:10 cky has quit [Ping timeout: 244 seconds]

18:20 willghatch has joined #racket

18:22 cky has joined #racket

18:24 yurb has joined #racket

18:47 nullcone has joined #racket

18:48 rj_ has quit [Read error: Connection reset by peer]

18:55 <andreyorst> TIL that let can have a name, that's amazing

19:03 teardown has quit [Remote host closed the connection]

19:03 teardown has joined #racket

19:19 rj_ has joined #racket

19:26 tilpner_ has joined #racket

19:27 tilpner has quit [Ping timeout: 246 seconds]

19:27 tilpner_ is now known as tilpner

19:46 tilpner has quit [Remote host closed the connection]

19:46 tilpner_ has joined #racket

19:52 tilpner_ is now known as tilpner

20:18 alanz_ has joined #racket

20:21 fredmanglis has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

20:21 jmiven_ has joined #racket

20:22 aeth has quit [Ping timeout: 240 seconds]

20:24 aeth has joined #racket

20:26 alanz has quit [*.net *.split]

20:26 jmiven has quit [*.net *.split]

20:26 alanz_ is now known as alanz

20:44 jmiven_ is now known as jmiven

20:56 cubik has quit [Quit: Leaving.]

21:00 narimiran has quit [Ping timeout: 240 seconds]

21:17 orivej has quit [Ping timeout: 265 seconds]

21:34 evdubs has quit [Quit: Leaving]

21:37 evdubs has joined #racket

21:54 ces has quit [Ping timeout: 264 seconds]

21:54 rj_ has quit [Read error: Connection reset by peer]

22:51 tilpner_ has joined #racket

22:52 Codaraxis__ has joined #racket

22:52 tilpner has quit [Ping timeout: 256 seconds]

22:52 tilpner_ is now known as tilpner

22:55 rj_ has joined #racket

23:07 tilpner_ has joined #racket

23:07 Codaraxis__ has quit [Ping timeout: 240 seconds]

23:08 tilpner has quit [Ping timeout: 256 seconds]

23:08 tilpner_ is now known as tilpner

23:11 Codaraxis__ has joined #racket

23:16 tilpner_ has joined #racket

23:18 tilpner has quit [Ping timeout: 256 seconds]

23:18 tilpner_ is now known as tilpner

23:20 Codaraxis__ has quit [Ping timeout: 258 seconds]

23:24 Codaraxis__ has joined #racket

23:26 Codaraxis__ has quit [Max SendQ exceeded]

23:31 ces has joined #racket

23:32 rgherdt has quit [Ping timeout: 246 seconds]

23:56 oats has left #racket ["until later, my friends."]