#racket on 2019-11-10 — 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:27 wreed has quit [Quit: Goodbye]

00:36 wreed has joined #racket

00:49 wreed has quit [Quit: Goodbye]

00:51 wreed has joined #racket

00:52 wreed has quit [Client Quit]

01:05 fanta1 has quit [Quit: fanta1]

01:18 notzmv has joined #racket

01:27 meepdeew has quit [Remote host closed the connection]

01:50 hjek has joined #racket

02:01 catonano has quit [Ping timeout: 265 seconds]

02:04 wreed has joined #racket

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

02:09 libertyprime has quit [Ping timeout: 240 seconds]

02:26 hjek has quit [Quit: hjek]

02:29 sz0 has joined #racket

02:31 Sgeo_ has joined #racket

02:31 libertyprime has joined #racket

02:33 Sgeo has quit [Ping timeout: 240 seconds]

02:34 iyzsong has joined #racket

02:42 pmatos has joined #racket

03:17 notzmv has quit [Remote host closed the connection]

03:24 ZombieChicken has joined #racket

03:29 Guest56162 has quit [Ping timeout: 265 seconds]

03:39 ZombieChicken has quit [Remote host closed the connection]

03:40 ZombieChicken has joined #racket

03:44 Arcaelyx has joined #racket

03:44 orivej has quit [Ping timeout: 268 seconds]

03:54 dented42 has joined #racket

04:06 pie_ has quit [Ping timeout: 276 seconds]

04:08 pie_ has joined #racket

04:14 meepdeew has joined #racket

04:16 meepdeew has quit [Remote host closed the connection]

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

04:24 aidalgol has quit [Remote host closed the connection]

04:40 meepdeew has joined #racket

04:41 iyzsong has quit [Ping timeout: 240 seconds]

04:45 dddddd has quit [Remote host closed the connection]

04:45 DogHackit has joined #racket

04:48 DogHackit has quit [Read error: No route to host]

04:50 DogHackit has joined #racket

04:53 iyzsong has joined #racket

05:03 notzmv has joined #racket

05:05 wreed has quit [Quit: Goodbye]

05:17 _whitelogger has joined #racket

05:23 DogHackit has quit [Ping timeout: 268 seconds]

05:24 zmv has joined #racket

05:25 manualcrank has quit [Quit: WeeChat 1.9.1]

05:38 zmv has quit [Remote host closed the connection]

05:41 wreed has joined #racket

05:41 ZombieChicken has quit [Remote host closed the connection]

05:43 notzmv has quit [Remote host closed the connection]

05:51 Arcaelyx has quit [Quit: Arcaelyx]

06:00 aeth has quit [Read error: Connection reset by peer]

06:01 aeth has joined #racket

06:22 wreed has quit [Quit: Goodbye]

06:24 wreed has joined #racket

06:28 ZombieChicken has joined #racket

06:30 pie_ has quit [Ping timeout: 252 seconds]

06:30 Nomenclatura has joined #racket

06:32 pie_ has joined #racket

06:38 wreed has quit [Quit: Goodbye]

06:43 pie_ has quit [Quit: pie_]

06:49 pie_ has joined #racket

06:51 Nomenclatura has quit [Quit: q]

06:58 revtintin has joined #racket

07:09 fanta1 has joined #racket

07:19 notzmv has joined #racket

07:24 ziyourenxiang has quit [Quit: Leaving]

07:32 t3rtius has joined #racket

07:35 t3rtius has quit [Client Quit]

07:36 t3rtius has joined #racket

07:44 t3rtius has quit [Quit: leaving]

07:44 t3rtius has joined #racket

07:45 t3rtius has quit [Client Quit]

07:47 t3rtius has joined #racket

07:48 pie_ has quit [Quit: pie_]

07:48 catonano has joined #racket

07:52 pie_ has joined #racket

07:55 t3rtius has quit [Quit: leaving]

07:56 dented42 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

08:24 pie_ has quit [Ping timeout: 268 seconds]

08:44 _whitelogger has joined #racket

08:53 _whitelogger has joined #racket

09:19 pie_ has joined #racket

09:26 hjek has joined #racket

09:28 hjek has quit [Client Quit]

09:28 pie_ has quit [Ping timeout: 240 seconds]

09:29 pie_ has joined #racket

09:33 revtintin has quit [Quit: WeeChat 1.9.1]

09:37 jellie has joined #racket

09:45 jellie has quit [Ping timeout: 268 seconds]

10:01 mzan has joined #racket

10:09 Fernando-Basso has joined #racket

10:29 ArthurStrong has joined #racket

10:34 hjek has joined #racket

10:53 _whitelogger has joined #racket

11:00 pie_ has quit [Ping timeout: 265 seconds]

11:12 <ArthurStrong> Hi all. What do you use instead of assert()?

11:23 pie_ has joined #racket

11:29 ng0 has joined #racket

11:39 hjek has quit [Quit: hjek]

11:46 t3rtius has joined #racket

11:59 <rgherdt> @ArthurStrong as I see it, contracts covers possibly any use case of assert() I can think of, do you have a particular use case in mind?

11:59 libertyprime has quit [Quit: leaving]

12:00 <ArthurStrong> rgherdt: ah thanks, going to look into them

12:02 <rgherdt> you're welcome, Racket's Guide gives a nice overview of it

12:17 ng0 has quit [Ping timeout: 260 seconds]

12:18 ng0 has joined #racket

12:22 s455wang has quit [Quit: WeeChat 2.3]

12:41 <ArthurStrong> I have two DLLs for Windows. 32/64 bits. I can freely call them via FFI. So far so good. But do I need both 32/64 version of DrRacket installed? Is this OK?

12:41 <ArthurStrong> How do you solve this problem?

13:06 dddddd has joined #racket

13:38 hjek has joined #racket

13:43 catonano has quit [Quit: catonano]

13:47 hjek has quit [Remote host closed the connection]

13:48 hjek has joined #racket

14:02 t3rtius has quit [Ping timeout: 240 seconds]

14:13 iyzsong has quit [Ping timeout: 265 seconds]

14:17 dustyweb has joined #racket

14:22 analogue has joined #racket

14:23 jao has joined #racket

14:30 orivej has joined #racket

14:40 orivej has quit [Ping timeout: 276 seconds]

14:50 endformationage has joined #racket

14:51 orivej has joined #racket

15:00 tazmanoo has joined #racket

15:14 chiefgoat has joined #racket

15:17 chiefgoat has quit [Client Quit]

15:18 chiefgoat has joined #racket

15:28 mzan has quit [Quit: Leaving]

15:30 acarrico has quit [Ping timeout: 265 seconds]

15:33 acarrico has joined #racket

15:35 chiefgoat has quit [Ping timeout: 265 seconds]

15:37 Sgeo__ has joined #racket

15:40 Sgeo_ has quit [Ping timeout: 268 seconds]

15:54 tazmanoo has quit [Ping timeout: 265 seconds]

15:58 tazmanoo has joined #racket

16:05 chiefgoat has joined #racket

16:06 t3rtius has joined #racket

16:06 chiefgoat has quit [Client Quit]

16:08 chiefgoat has joined #racket

16:11 dddddd has quit [Ping timeout: 245 seconds]

16:12 dddddd has joined #racket

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

16:16 chiefgoat has joined #racket

16:20 chiefgoat has quit [Client Quit]

16:20 hjek has quit [Ping timeout: 265 seconds]

16:22 chiefgoat has joined #racket

16:24 chiefgoat has quit [Client Quit]

16:25 chiefgoat has joined #racket

16:27 chiefgoat has quit [Client Quit]

16:28 acarrico has quit [Ping timeout: 276 seconds]

16:29 wreed has joined #racket

16:31 chiefgoat has joined #racket

16:41 jrslepak has quit [Ping timeout: 246 seconds]

16:43 jrslepak has joined #racket

16:48 Arcaelyx has joined #racket

17:01 hjek has joined #racket

17:03 tazmanoo has quit [Ping timeout: 240 seconds]

17:10 hjek has quit [Quit: hjek]

17:12 acarrico has joined #racket

17:20 mzan has joined #racket

17:23 tazmanoo has joined #racket

17:28 tazmanoo has quit [Ping timeout: 268 seconds]

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

17:36 rgherdt has joined #racket

17:37 Arcaelyx has quit [Ping timeout: 240 seconds]

17:46 fanta1 has quit [Quit: fanta1]

17:47 tazmanoo has joined #racket

17:51 tazmanoo has quit [Ping timeout: 240 seconds]

18:19 fanta1 has joined #racket

18:24 t3rtius has quit [Quit: leaving]

18:26 tazmanoo has joined #racket

18:28 badkins has joined #racket

18:31 wreed has quit [Quit: Goodbye]

18:31 tazmanoo has quit [Ping timeout: 265 seconds]

18:32 ng0 has quit [Ping timeout: 260 seconds]

18:39 acarrico has quit [Ping timeout: 240 seconds]

18:40 ng0 has joined #racket

18:46 meepdeew has joined #racket

18:48 fanta1 has quit [Quit: fanta1]

18:51 meepdeew has quit [Remote host closed the connection]

18:55 manualcrank has joined #racket

19:03 tazmanoo has joined #racket

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

19:36 acarrico has joined #racket

19:38 analogue has quit [Ping timeout: 240 seconds]

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

19:51 Fernando-Basso has quit [Quit: Leaving]

19:54 tazmanoo has joined #racket

19:58 tazmanoo has quit [Ping timeout: 240 seconds]

20:02 Arcaelyx has joined #racket

20:05 <nisstyre> rgherdt: to be fair, I don't think contracts really cover all use-cases for assert (people use it for writing unit tests too)

20:05 <nisstyre> but Racket has unit testing libraries so

20:08 vraid has joined #racket

20:13 <rgherdt> you're right, I had actually the use of asserts in the context of pre-conditions and post-conditions in mind

20:16 aidalgol has joined #racket

20:18 rs has quit [Ping timeout: 245 seconds]

20:21 aidalgol has quit [Remote host closed the connection]

20:21 Arcaelyx has quit [Ping timeout: 276 seconds]

20:22 aidalgol has joined #racket

20:24 tazmanoo has joined #racket

20:33 fftww has joined #racket

20:34 tazmanoo has quit [Ping timeout: 268 seconds]

20:35 <fftww> Is it a right channel to ask how to get non-zero exit code when at least one testcases of rackunit fails?

20:37 <fftww> I try to follow https://docs.racket-lang.org/rackunit/quick-start.html, but when I run tests using ```racket tests.rkt```, it just outputs errors on screen without returning some non-zero exit code which I would prefer...

20:47 tazmanoo has joined #racket

20:52 tazmanoo has quit [Ping timeout: 252 seconds]

21:00 wreed has joined #racket

21:03 <rgherdt> fftww, do you mean the return code of the program? If you run "raco test tests.rkt", it returns 1 in case of any failure, 0 otherwise

21:12 <fftww> yep, that works, thanks! is raco something standard installed with racket altogether by default?

21:15 <winny> yep, it's an essential component =)

21:15 <winny> https://docs.racket-lang.org/raco/

21:15 tazjin has joined #racket

21:18 <fftww> thanks guys

21:20 vraid has quit [Disconnected by services]

21:21 vraid has joined #racket

21:44 _whitelogger has joined #racket

21:48 wreed has quit [Quit: Goodbye]

21:49 tazmanoo has quit [Ping timeout: 268 seconds]

21:50 hjek has joined #racket

21:52 wreed has joined #racket

21:55 <tazjin> Can I somehow import an `opaque` type as polymorphic using `require/typed`?

21:56 <tazjin> concretely I'm trying to use the `graph` library from typed racket and am importing the generic graph as an opaque `Graph` type, which I would like to parameterise over the vertex and edge types

21:57 tazmanoo has joined #racket

22:02 Arcaelyx has joined #racket

22:05 tazmanoo has quit [Ping timeout: 240 seconds]

22:09 analogue has joined #racket

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

22:15 ZombieChicken has joined #racket

22:22 pera has joined #racket

22:43 tazmanoo has joined #racket

22:48 tazmanoo has quit [Ping timeout: 240 seconds]

22:56 meepdeew has joined #racket

22:58 tazmanoo has joined #racket

23:02 wreed has quit [Quit: Goodbye]

23:04 tazmanoo has quit [Ping timeout: 240 seconds]

23:04 tazmanoo has joined #racket

23:13 meepdeew has quit [Remote host closed the connection]

23:15 hjek1 has joined #racket

23:16 hjek has quit [Ping timeout: 245 seconds]

23:16 hjek1 is now known as hjek

23:16 wreed has joined #racket

23:18 analogue has quit [Ping timeout: 265 seconds]

23:36 Arcaelyx has quit [Quit: Arcaelyx]

23:38 tazmanoo has quit [Ping timeout: 276 seconds]

23:40 Arcaelyx has joined #racket

23:40 tazmanoo has joined #racket

23:43 ZombieChicken has quit [Remote host closed the connection]

23:47 tazmanoo has quit [Ping timeout: 265 seconds]

23:55 ArthurStrong has quit [Quit: leaving]

23:55 wreed has quit [Quit: Goodbye]

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