Logs: freenode/#haskell
| 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.