Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-26 11:49:23 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 11:49:57 Synthetica joins (uid199651@gateway/web/irccloud.com/x-txjeacswfxemjhpo)
2021-03-26 11:50:25 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection)
2021-03-26 11:51:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-26 11:51:54 lambda joins (~xiretza@mail.xiretza.xyz)
2021-03-26 11:52:13 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-26 11:52:24 ubert1 joins (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-03-26 11:52:46 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 11:53:11 apeyroux joins (~alex@78.20.138.88.rev.sfr.net)
2021-03-26 11:54:14 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-26 11:54:58 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2021-03-26 11:57:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-26 11:58:19 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-26 11:58:38 <ClaudiusMaximus> zclod: runSTUArray is the wrong thing to use in that position, because it creates a new 's' dataflow thread which is not allowed to escape its scope
2021-03-26 12:01:10 × LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-26 12:02:27 × apeyroux quits (~alex@78.20.138.88.rev.sfr.net) (Ping timeout: 265 seconds)
2021-03-26 12:02:31 ddellacosta joins (~ddellacos@86.106.143.66)
2021-03-26 12:03:16 <ClaudiusMaximus> zclod: I think you want something more like readMemory :: C s (); readMemory = do{ s <- get ; x' <- lift $ readArray (_y s) 0 ; put s{ _x = x' } }
2021-03-26 12:03:29 <ClaudiusMaximus> zclod: which you can sprinkle with lens if you like
2021-03-26 12:04:32 drbean_ joins (~drbean@TC210-63-209-73.static.apol.com.tw)
2021-03-26 12:05:28 LKoen joins (~LKoen@191.254.88.92.rev.sfr.net)
2021-03-26 12:07:16 × ddellacosta quits (~ddellacos@86.106.143.66) (Ping timeout: 252 seconds)
2021-03-26 12:07:41 × ubert1 quits (~Thunderbi@p200300ecdf25d922ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-03-26 12:10:46 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2021-03-26 12:12:20 berberman joins (~berberman@unaffiliated/berberman)
2021-03-26 12:12:25 × benkolera quits (uid285671@gateway/web/irccloud.com/x-wpfqxhktxgpaqzio) (Quit: Connection closed for inactivity)
2021-03-26 12:14:42 × LKoen quits (~LKoen@191.254.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-26 12:16:42 × thomas77 quits (9d2a1197@157.42.17.151) (Ping timeout: 240 seconds)
2021-03-26 12:17:48 geekosaur joins (82650c7a@130.101.12.122)
2021-03-26 12:18:21 × andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2021-03-26 12:18:46 × Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Ping timeout: 240 seconds)
2021-03-26 12:18:58 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-26 12:19:17 Blkt joins (~Blkt@2a01:4f8:200:2425::adda)
2021-03-26 12:20:43 andreas31 joins (~andreas@gateway/tor-sasl/andreas303)
2021-03-26 12:22:37 × coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-26 12:23:28 × v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 12:24:05 codygman__ joins (~user@47.186.207.161)
2021-03-26 12:24:11 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
2021-03-26 12:24:24 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa) (Ping timeout: 258 seconds)
2021-03-26 12:26:20 Shadorain joins (uid453914@gateway/web/irccloud.com/x-kxlgtieracwagtls)
2021-03-26 12:26:29 clog joins (~nef@bespin.org)
2021-03-26 12:29:38 × plutoniix quits (~q@ppp-27-55-70-219.revip3.asianet.co.th) (Ping timeout: 246 seconds)
2021-03-26 12:30:34 invaser joins (~Thunderbi@31.148.23.125)
2021-03-26 12:31:06 <invaser> Hi, is there a version of `readFile` that returns Maybe String and not String? I'd like to check in some way if file exists or not
2021-03-26 12:31:57 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds)
2021-03-26 12:32:18 stree joins (~stree@68.36.8.116)
2021-03-26 12:33:10 <dminuoso> invaser: That's not a useful thing to do.
2021-03-26 12:33:11 × lateef quits (~lateef@171.121.237.35.bc.googleusercontent.com) (Quit: lateef)
2021-03-26 12:33:20 <ovanr> you can use System.Directory.doesFileExist function
2021-03-26 12:33:21 <dminuoso> It'd be a toctou race.
2021-03-26 12:33:35 <dminuoso> Just use `readFile` and catch the exception.
2021-03-26 12:34:19 <invaser> Oh, ok. Actually I haven't tried catching exceptions before
2021-03-26 12:34:32 <merijn> @hoogle try
2021-03-26 12:34:32 <lambdabot> Control.Exception try :: Exception e => IO a -> IO (Either e a)
2021-03-26 12:34:32 <lambdabot> Control.Exception.Base try :: Exception e => IO a -> IO (Either e a)
2021-03-26 12:34:32 <lambdabot> System.Directory.Internal.Prelude try :: Exception e => IO a -> IO (Either e a)
2021-03-26 12:34:37 <merijn> @hoogle catch
2021-03-26 12:34:37 <lambdabot> Control.Exception catch :: Exception e => IO a -> (e -> IO a) -> IO a
2021-03-26 12:34:38 <lambdabot> Control.Exception.Base catch :: Exception e => IO a -> (e -> IO a) -> IO a
2021-03-26 12:34:38 <lambdabot> GHC.IO catch :: Exception e => IO a -> (e -> IO a) -> IO a
2021-03-26 12:35:07 <merijn> invaser: You can catch it using try and then converting the "Either" into Maybe should be straightforward
2021-03-26 12:35:12 Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-26 12:35:27 <invaser> Yeah, thanks a lot
2021-03-26 12:35:42 × borne quits (~fritjof@200116b864d14f00f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 258 seconds)
2021-03-26 12:36:21 <merijn> @hoogle IOError
2021-03-26 12:36:21 <lambdabot> Prelude type IOError = IOException
2021-03-26 12:36:21 <lambdabot> System.IO.Error type IOError = IOException
2021-03-26 12:36:21 <lambdabot> GHC.IO.Exception type IOError = IOException
2021-03-26 12:36:47 <merijn> Probably wanna dig into System.IO/Syste.IO.Error to make sure you only catch doesNotExist errors
2021-03-26 12:36:50 Shadorain parts (uid453914@gateway/web/irccloud.com/x-kxlgtieracwagtls) ()
2021-03-26 12:37:25 borne joins (~fritjof@83.135.94.174)
2021-03-26 12:40:13 Deide joins (~Deide@217.155.19.23)
2021-03-26 12:42:12 average joins (uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh)
2021-03-26 12:42:46 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-26 12:44:32 geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-26 12:45:10 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-26 12:45:25 shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa)
2021-03-26 12:47:19 × son0p quits (~son0p@181.58.39.182) (Remote host closed the connection)
2021-03-26 12:49:56 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-03-26 12:50:21 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 12:50:43 × graf_blutwurst quits (~user@2001:171b:226e:adc0:2863:3362:bbea:a2d7) (Remote host closed the connection)
2021-03-26 12:52:16 hackage morley-prelude 0.4.0 - A custom prelude used in Morley https://hackage.haskell.org/package/morley-prelude-0.4.0 (pasqu4le)
2021-03-26 12:55:07 codygman__ joins (~user@47.186.207.161)
2021-03-26 12:55:41 × gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-26 12:58:13 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
2021-03-26 12:58:42 codygman__ joins (~user@47.186.207.161)
2021-03-26 12:59:07 orzo joins (joe@lasker.childrenofmay.org)
2021-03-26 13:04:07 megaTherion_ is now known as megaTherion
2021-03-26 13:04:46 × haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds)
2021-03-26 13:06:24 × openheimer quits (~death__@unaffiliated/death/x-3645061) (Quit: openheimer)
2021-03-26 13:06:26 bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-26 13:07:01 codygman` joins (~user@47.186.207.161)
2021-03-26 13:07:16 urodna joins (~urodna@unaffiliated/urodna)
2021-03-26 13:07:48 <maerwald> invaser: what about broken symlinks?
2021-03-26 13:08:13 nbloomf joins (~nbloomf@2600:1700:ad14:3020:d71:c4d6:19f2:8fea)
2021-03-26 13:08:16 haritz joins (~hrtz@62.3.70.206)
2021-03-26 13:08:17 × haritz quits (~hrtz@62.3.70.206) (Changing host)
2021-03-26 13:08:17 haritz joins (~hrtz@unaffiliated/haritz)
2021-03-26 13:09:55 × ovanr quits (c22a0b1f@194.42.11.31) (Quit: Connection closed)
2021-03-26 13:11:09 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)

All times are in UTC.