Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 65 66 67 68 69 70 71 72 73 74 75 .. 17900
— 1,789,954 events total
2021-05-25 00:50:13 → lbseale_ joins (~lbseale@ip72-194-54-201.sb.sd.cox.net)
2021-05-25 00:51:48 → joaobarroso joins (~joaobarro@138.186.39.244)
2021-05-25 00:53:24 → zephyz joins (~zephyz@88.98.244.170)
2021-05-25 00:53:39 × lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 264 seconds)
2021-05-25 00:54:43 × oxide quits (~lambda@user/oxide) (Ping timeout: 265 seconds)
2021-05-25 01:00:04 → oxide joins (~lambda@user/oxide)
2021-05-25 01:02:31 → WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 01:03:22 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-25 01:04:24 × joaobarroso quits (~joaobarro@138.186.39.244) (Read error: Connection reset by peer)
2021-05-25 01:04:27 × Gurkenglas_ quits (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-05-25 01:05:32 × shachaf_ quits (~shachaf@li227-219.members.linode.com) (Changing host)
2021-05-25 01:05:32 → shachaf_ joins (~shachaf@user/shachaf)
2021-05-25 01:05:35 shachaf_ is now known as shachaf
2021-05-25 01:05:56 → xff0x_ joins (~xff0x@2001:1a81:531f:9800:5685:5dfc:fd90:b20e)
2021-05-25 01:09:10 × xff0x quits (~xff0x@92.195.37.214) (Ping timeout: 264 seconds)
2021-05-25 01:11:44 → nan` joins (~nan`@68.235.43.165)
2021-05-25 01:12:36 → cocreature joins (~moritz@2a03:b0c0:3:d0::c8:f001)
2021-05-25 01:14:12 glguy sets mode +C
2021-05-25 01:18:10 → khumba joins (~kvirc@S01066038e0ca1250.ok.shawcable.net)
2021-05-25 01:24:14 → phanf joins (~phanf@226.148.192.35.bc.googleusercontent.com)
2021-05-25 01:29:16 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Remote host closed the connection)
2021-05-25 01:31:36 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea)
2021-05-25 01:32:26 → learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 01:33:18 <koz> I'm a bit confused how to use tasty's 'withResource' combinator.
2021-05-25 01:33:56 <koz> It takes a 'IO a -> TestTree', but I have no idea how you'd 'escape' the IO here. I can easily do 'IO a -> IO TestTree', but not 'IO a -> TestTree'. Am I missing something?
2021-05-25 01:34:41 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-25 01:35:06 → learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 01:36:34 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-25 01:37:08 du is now known as hrnz
2021-05-25 01:38:15 <boxscape> koz there's an example here https://ro-che.info/articles/2013-12-29-tasty-resources-2
2021-05-25 01:39:27 <koz> boxscape: This only works because 'Assertion' is just IO.
2021-05-25 01:39:36 <koz> This is thus specific to tasty-hunit, which I am not using.
2021-05-25 01:39:52 <boxscape> ah
2021-05-25 01:41:21 <Cale> koz: Apparently if you need to access the resource, you're expected to just put it in an IORef or something, and get it from there in the tests
2021-05-25 01:41:42 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-05-25 01:41:45 <koz> Cale: OK, I'll just do it a slightly different way.
2021-05-25 01:41:59 <Cale> (Or were you asking something else?)
2021-05-25 01:42:06 × jneira quits (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed)
2021-05-25 01:42:46 <Cale> I don't really know why it wouldn't be withResource :: IO a -> (a -> IO ()) -> (a -> TestTree) -> TestTree
2021-05-25 01:42:54 <koz> I probably was, but upon further reflection, it's not important.
2021-05-25 01:43:06 <koz> As for why it is that way, the link boxscape posted explains.
2021-05-25 01:44:36 <Cale> ohhh, I'm looking at ancient documentation for tasty, so there's a third source of confusion
2021-05-25 01:44:40 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
2021-05-25 01:44:41 <Cale> Thanks Google, lol
2021-05-25 01:44:55 → Axman6 joins (~Axman6@user/axman6)
2021-05-25 01:47:31 mnamejeff is now known as nova
2021-05-25 01:48:27 <Cale> koz: So, yeah, you just execute the IO action it gives you from inside your individual tests to get hold of the resource that was allocated, but maybe that's no longer important for whatever reason.
2021-05-25 01:48:51 <koz> Ah, OK. So I just use whatever their 'do IO thing' is.
2021-05-25 01:54:08 × joeyh_ quits (joeyh@kitenet.net) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
2021-05-25 01:54:24 → joeyh joins (~joeyh@kitenet.net)
2021-05-25 01:55:22 → pavonia joins (~user@user/siracusa)
2021-05-25 01:59:43 → econo joins (uid147250@user/econo)
2021-05-25 01:59:50 × WikiLycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-25 02:00:51 × zephyz quits (~zephyz@88.98.244.170) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-25 02:02:34 × oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-25 02:04:15 → oxide joins (~lambda@user/oxide)
2021-05-25 02:07:26 → jaevanko joins (~jaevanko@2600:1700:1330:2bef:9b8b:fcff:47d:4c08)
2021-05-25 02:16:15 × sszark2 quits (~sszark@h-85-24-213-180.A392.priv.bahnhof.se) (Quit: WeeChat 3.1)
2021-05-25 02:17:57 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-05-25 02:17:57 × finn_elija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (mercury.libera.chat (Nickname regained by services)))
2021-05-25 02:17:57 FinnElija is now known as finn_elija
2021-05-25 02:24:51 × jaevanko quits (~jaevanko@2600:1700:1330:2bef:9b8b:fcff:47d:4c08) (Quit: Leaving)
2021-05-25 02:25:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-25 02:25:27 → siraben joins (~user@user/siraben)
2021-05-25 02:25:35 <siraben> hello!
2021-05-25 02:26:05 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-05-25 02:27:19 → kewa joins (~kewa@5.138.211.57)
2021-05-25 02:29:22 <boxscape> hey
2021-05-25 02:33:54 → ddellacosta joins (~ddellacos@89.46.62.31)
2021-05-25 02:38:28 × ddellacosta quits (~ddellacos@89.46.62.31) (Ping timeout: 244 seconds)
2021-05-25 02:38:34 × td__ quits (~td@94.134.91.149) (Ping timeout: 264 seconds)
2021-05-25 02:40:03 → td_ joins (~td@muedsl-82-207-238-005.citykom.de)
2021-05-25 02:41:04 → learner-monad joins (~eric@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 02:46:21 × kewa quits (~kewa@5.138.211.57) (Ping timeout: 272 seconds)
2021-05-25 02:48:39 × learner-monad quits (~eric@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-25 02:59:39 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-25 03:00:29 × waleee-cl quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds)
2021-05-25 03:03:35 hnOsmium0001 is now known as hnOsmium0002
2021-05-25 03:03:37 × hnOsmium0002 quits (uid453710@id-453710.stonehaven.irccloud.com) ()
2021-05-25 03:04:07 → hnOsmium0002 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-05-25 03:04:16 × hnOsmium0002 quits (uid453710@id-453710.stonehaven.irccloud.com) (Client Quit)
2021-05-25 03:04:26 × berberman_ quits (~berberman@2408:8207:256b:4ae0:584e:a9ff:fe9b:d3fe) (Changing host)
2021-05-25 03:04:26 → berberman_ joins (~berberman@user/berberman)
2021-05-25 03:04:38 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-05-25 03:04:58 × boxscape quits (~boxscape@user/boxscape) (Ping timeout: 264 seconds)
2021-05-25 03:05:02 × berberman_ quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-25 03:05:05 → gorignak joins (~gorignak@047-037-033-079.res.spectrum.com)
2021-05-25 03:05:22 → berberman joins (~berberman@user/berberman)
2021-05-25 03:05:30 → learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 03:06:40 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Client Quit)
2021-05-25 03:07:44 × smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-25 03:17:38 → holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 03:18:56 → Lord_of_Life_ joins (~Lord@46.217.219.90)
2021-05-25 03:19:22 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2021-05-25 03:19:22 → learner-monad joins (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com)
2021-05-25 03:22:03 × holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer)
2021-05-25 03:22:09 → holy_bazooka joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665)
2021-05-25 03:31:15 × learner-monad quits (~ehanneken@cpe-174-105-47-100.columbus.res.rr.com) (Quit: WeeChat 3.1)
2021-05-25 03:33:46 × holy_bazooka quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds)
2021-05-25 03:36:33 → holy_ joins (~h01y_b4z0@103.244.176.36)
←Prev  Next→
Page 1 .. 65 66 67 68 69 70 71 72 73 74 75 .. 17900

All times are in UTC.