#racket on 2019-11-04 — irc logs at freenode.irclog.whitequark.org

2019-09-16 20:37 samth changed the topic of #racket to: Racket v7.4 has been released: https://blog.racket-lang.org/2019/08/racket-v7-4.html -- Racket -- https://racket-lang.org -- https://pkgs.racket-lang.org -- Paste at http://pasterack.org

00:10 hjek has joined #racket

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

00:19 tazmanoo has joined #racket

00:41 FreeFull has quit []

00:41 hjek has quit [Quit: hjek]

01:05 dented42 has joined #racket

01:18 aidalgol has joined #racket

01:23 hjek has joined #racket

01:33 dev_ has joined #racket

01:45 sword865 has joined #racket

02:11 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:13 vraid has quit [Ping timeout: 265 seconds]

02:41 tazmanoo has quit [Ping timeout: 276 seconds]

03:04 keep_learning has quit [Ping timeout: 240 seconds]

03:08 dented42 has joined #racket

03:13 Arcaelyx has joined #racket

03:56 selimcan-i_sani has quit [Quit: Leaving]

03:59 dddddd has quit [Remote host closed the connection]

04:11 xd1le has joined #racket

04:20 Arcaelyx has quit [Quit: Arcaelyx]

04:25 ArthurStrong has joined #racket

04:37 tazmanoo has joined #racket

04:41 endformationage has quit [Quit: WeeChat 2.6]

04:42 tazmanoo has quit [Ping timeout: 265 seconds]

06:38 tazmanoo has joined #racket

06:42 tazmanoo has quit [Ping timeout: 265 seconds]

06:48 tilpner has joined #racket

06:48 DGASAU has joined #racket

06:50 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:00 orivej has joined #racket

07:10 pera has quit [Quit: leaving]

07:20 dented42 has joined #racket

07:30 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

07:48 hjek has quit [Quit: hjek]

07:48 hjek has joined #racket

07:58 hjek has quit [Ping timeout: 240 seconds]

08:19 gdsg has quit [Ping timeout: 268 seconds]

08:21 ng0 has joined #racket

08:24 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:26 Fernando-Basso has joined #racket

08:38 tazmanoo has joined #racket

08:42 tazmanoo has quit [Ping timeout: 240 seconds]

09:12 orivej has quit [Ping timeout: 246 seconds]

09:28 orivej has joined #racket

09:41 Fernando-Basso has quit [Quit: Leaving]

09:42 libertyprime has joined #racket

09:50 orivej has quit [Ping timeout: 240 seconds]

10:07 dmiles has quit [Read error: Connection reset by peer]

10:09 dmiles has joined #racket

10:11 aidalgol has quit [Remote host closed the connection]

10:22 mzan has joined #racket

10:33 mSSM has joined #racket

10:38 tazmanoo has joined #racket

10:38 iyzsong has joined #racket

10:42 tazmanoo has quit [Ping timeout: 240 seconds]

10:46 dTal has joined #racket

11:29 mSSM has quit [Ping timeout: 240 seconds]

11:34 mSSM has joined #racket

12:15 ckoparkar has joined #racket

12:26 orivej has joined #racket

12:32 <ckoparkar> I have Redex question. I'm defining a reduction relation, and was wondering how to apply it recursively in it's definition. For example, I want to apply it to the RHS, get the updated environments, and then reduce it to bod[x=v], but with the updated environment

12:33 <ckoparkar> I tried (where/error (env v) (apply-reduction-relation* r (env rhs))), but it fails with "did not match"

12:33 orivej has quit [Ping timeout: 268 seconds]

12:34 <ckoparkar> typo: (where/error (env_2 v) ...)

12:43 orivej has joined #racket

13:07 orivej has quit [Ping timeout: 246 seconds]

13:11 mzan has quit [Quit: Leaving]

13:40 badkins has joined #racket

14:01 ckoparkar has quit [Remote host closed the connection]

14:05 iyzsong has quit [Quit: ZNC 1.7.1 - https://znc.in]

14:15 sword865 has quit [Quit: Connection closed for inactivity]

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

14:27 orivej has joined #racket

14:28 mzan has joined #racket

14:30 xd1le has quit [Quit: leaving]

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

14:50 dddddd has joined #racket

14:59 badkins has joined #racket

15:10 manualcrank has joined #racket

15:11 endformationage has joined #racket

15:23 ermo has quit [Quit: ZNC 1.7.5 - https://znc.in]

15:27 ermo has joined #racket

15:32 badkins_ has joined #racket

15:32 badkins has quit [Ping timeout: 264 seconds]

16:03 acarrico has joined #racket

16:08 efm has quit [Remote host closed the connection]

16:08 efm has joined #racket

16:28 ziyourenxiang has quit [Ping timeout: 265 seconds]

16:39 DGASAU has quit [Read error: Connection reset by peer]

16:39 DGASAU has joined #racket

16:44 badkins_ has quit [Remote host closed the connection]

17:21 selimcan has joined #racket

17:21 rgherdt has joined #racket

17:25 pera has joined #racket

17:50 rgherdt has quit [Remote host closed the connection]

17:50 jellie has joined #racket

17:59 mzan has quit [Ping timeout: 265 seconds]

17:59 jellie has quit [Ping timeout: 240 seconds]

18:00 badkins has joined #racket

18:02 jellie has joined #racket

18:08 FreeFull has joined #racket

18:19 jellie has quit [Ping timeout: 240 seconds]

18:29 oofoe has quit [Remote host closed the connection]

18:33 pera has quit [Ping timeout: 268 seconds]

18:34 pera has joined #racket

18:42 ArthurStrong has quit [Quit: leaving]

19:11 jellie has joined #racket

19:14 pie_ has quit [Quit: pie_]

19:16 selimcan has quit [Quit: Leaving]

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

19:23 jellie has quit [Ping timeout: 265 seconds]

19:23 pera has joined #racket

19:25 jellie has joined #racket

19:35 hjek has joined #racket

19:39 vraid has joined #racket

19:42 jellie has quit [Ping timeout: 265 seconds]

19:45 badkins has quit [Ping timeout: 245 seconds]

19:52 badkins has joined #racket

19:58 mzan has joined #racket

20:00 badkins has quit [Ping timeout: 264 seconds]

20:10 hjek has quit [Read error: Connection reset by peer]

20:16 teardown has quit [Ping timeout: 276 seconds]

20:17 efm has quit [Read error: Connection reset by peer]

20:18 hjek has joined #racket

20:24 efm has joined #racket

20:25 teardown has joined #racket

20:32 vraid has quit [Read error: Connection reset by peer]

20:34 jellie has joined #racket

20:40 badkins has joined #racket

20:55 mzan has quit [Quit: Leaving]

21:03 jellie has quit [Ping timeout: 268 seconds]

21:04 vraid has joined #racket

21:11 hjek has quit [Quit: hjek]

21:11 jellie has joined #racket

21:12 hjek has joined #racket

21:15 jellie has quit [Ping timeout: 240 seconds]

21:32 hjek has quit [Ping timeout: 240 seconds]

21:35 hjek has joined #racket

22:04 teardown has quit [Ping timeout: 265 seconds]

22:11 orivej has joined #racket

22:21 teardown has joined #racket

22:22 hjek has quit [Ping timeout: 245 seconds]

22:24 jellie has joined #racket

22:37 ziyourenxiang has joined #racket

22:48 vraid has quit [Quit: Leaving]

22:52 acarrico has quit [Ping timeout: 250 seconds]

22:58 jellie has quit [Ping timeout: 240 seconds]

23:07 hjek has joined #racket

23:08 mSSM has quit [Ping timeout: 240 seconds]

23:14 m1dnight_ has quit [Ping timeout: 240 seconds]

23:15 m1dnight_ has joined #racket

23:22 hjek has quit [Quit: hjek]

23:24 libertyprime has quit [Quit: leaving]

23:28 <winny> hmmm 7.4 has a weird configure bug - plt_lib_version=`grep " MZSCHEME_VERSION " ${srcdir}/racket/src/schvers.h | cut -d '"' -f 2` <- that'll output three lines with a single dot on each line

23:31 pie_ has joined #racket

23:47 acarrico has joined #racket