Logs: liberachat/#haskell
| 2025-10-15 23:09:07 | ski | 'sn't convinced `Exception SomeException' is a good thing |
| 2025-10-15 23:09:19 | → | qqe joins (~qqq@185.54.23.200) |
| 2025-10-15 23:09:26 | <ski> | % catch (error "foo") (\e -> return ((fromException . toException . toException) (e :: ErrorCall) :: Maybe ErrorCall)) |
| 2025-10-15 23:09:26 | <yahb2> | Just foo |
| 2025-10-15 23:09:35 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-10-15 23:09:36 | <ski> | this doesn't really make sense, to me |
| 2025-10-15 23:09:54 | <ski> | (also, i don't like the `Show' instance) |
| 2025-10-15 23:10:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-15 23:16:08 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-15 23:16:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-15 23:19:19 | <int-e> | ski: I get the complaint about the Show instance, but what is your complaint about the Exception instance? It enables you to use `throw` with SomeException |
| 2025-10-15 23:19:47 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-10-15 23:21:37 | <ski> | if i convert a `SomeException' to `SomeException' with `toException', i expect that `fromException' will only give a `Just' when the result type is `Maybe SomeException' |
| 2025-10-15 23:21:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 23:22:30 | <ski> | iow, `fromException . toException :: E0 -> Maybe E1' is `const Nothing', when `E0' is distinct from `E1', and is `Just' when they're equal |
| 2025-10-15 23:24:51 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-10-15 23:24:55 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 2025-10-15 23:25:19 | <int-e> | I don't want to know all the things that would break if the toException would re-wrap a SomeException a second time. |
| 2025-10-15 23:27:05 | <ski> | without `Exception SomeException', you'd need `catchSome :: IO a -> (SomeException -> IO a) -> IO a' or so, but the re-wrapping couldn't happen |
| 2025-10-15 23:27:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 23:27:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 250 seconds) |
| 2025-10-15 23:28:05 | <ski> | (and, i guess, a `throwSome :: SomeException -> IO a', for convenience) |
| 2025-10-15 23:28:07 | <int-e> | And how would you re-throw that SomeException? |
| 2025-10-15 23:28:21 | × | machined1od quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-10-15 23:28:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-15 23:28:32 | <int-e> | (overlapping trains of thoughts) |
| 2025-10-15 23:29:47 | <ski> | (you could alternatively unwap the `SomeException' yourself, and call `throwIO' as usual) |
| 2025-10-15 23:31:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-15 23:34:55 | <int-e> | I guess I can see the complaint. Oh well, if you want onions, you can still wrap any exception in a newtype of your own. |
| 2025-10-15 23:35:36 | <int-e> | or existential? |
| 2025-10-15 23:38:37 | × | inline quits (~inline@2a02:8071:57a1:1260:4106:e4e7:b42:df15) (Ping timeout: 246 seconds) |
| 2025-10-15 23:39:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 23:42:02 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-15 23:43:36 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-10-15 23:46:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 23:47:43 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-15 23:50:25 | × | gustrb quits (~gustrb@200.132.2.8) (Ping timeout: 250 seconds) |
| 2025-10-15 23:56:15 | × | acidjnk quits (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-10-15 23:57:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-15 23:59:02 | → | acidjnk joins (~acidjnk@p200300d6e717197548bf8d9923882cf1.dip0.t-ipconnect.de) |
| 2025-10-16 00:00:48 | → | Googulator38 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 00:00:48 | × | Googulator45 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 00:02:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-16 00:10:10 | → | inline joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-16 00:10:51 | × | Guest66 quits (~Guest66@p200300eb67060a00a8651d2ed7b6608e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-16 00:11:25 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-16 00:13:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 00:14:05 | × | acidjnk quits (~acidjnk@p200300d6e717197548bf8d9923882cf1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-10-16 00:15:20 | → | Square joins (~Square4@user/square) |
| 2025-10-16 00:15:22 | → | Square2 joins (~Square@user/square) |
| 2025-10-16 00:18:24 | × | Googulator38 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 00:18:37 | → | Googulator38 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 00:18:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-16 00:20:42 | × | Googulator38 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Client Quit) |
| 2025-10-16 00:20:48 | → | Googulator34 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 00:23:17 | → | inline_ joins (~inline@2a02:8071:57a1:1260:a990:1573:d543:d1a1) |
| 2025-10-16 00:25:57 | × | inline quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2025-10-16 00:27:25 | → | inline joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 00:28:32 | × | inline_ quits (~inline@2a02:8071:57a1:1260:a990:1573:d543:d1a1) (Ping timeout: 244 seconds) |
| 2025-10-16 00:29:21 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 00:30:45 | inline | is now known as Guest9135 |
| 2025-10-16 00:30:45 | inline_ | is now known as inline |
| 2025-10-16 00:31:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 00:31:40 | inline | is now known as Inline |
| 2025-10-16 00:32:09 | × | Guest9135 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 2025-10-16 00:35:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-16 00:36:20 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 00:39:54 | × | Inline quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 2025-10-16 00:40:12 | → | inline joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 00:40:38 | → | Googulator3 joins (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
| 2025-10-16 00:40:46 | × | Googulator34 quits (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-16 00:42:29 | × | inline_ quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 2025-10-16 00:43:38 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 00:43:40 | inline | is now known as Guest9313 |
| 2025-10-16 00:43:40 | inline_ | is now known as Inline |
| 2025-10-16 00:44:28 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 00:44:29 | Inline | is now known as Guest2636 |
| 2025-10-16 00:44:30 | inline_ | is now known as inline |
| 2025-10-16 00:46:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 00:47:07 | × | otto_s quits (~user@p5de2f68d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-10-16 00:47:08 | × | Guest9313 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 2025-10-16 00:47:10 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-10-16 00:47:54 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-16 00:48:10 | × | Guest2636 quits (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) (Ping timeout: 244 seconds) |
| 2025-10-16 00:48:31 | → | otto_s joins (~user@p4ff27814.dip0.t-ipconnect.de) |
| 2025-10-16 00:51:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-16 00:52:07 | × | xff0x quits (~xff0x@2405:6580:b080:900:3bfc:a749:138a:b4ac) (Ping timeout: 246 seconds) |
| 2025-10-16 00:52:13 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-16 00:59:44 | × | df_ quits (~ben@justworks.xyz) (Ping timeout: 240 seconds) |
| 2025-10-16 01:00:11 | → | df joins (~ben@justworks.xyz) |
| 2025-10-16 01:00:20 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 01:00:35 | inline | is now known as Guest2246 |
| 2025-10-16 01:00:35 | inline_ | is now known as inline |
| 2025-10-16 01:01:53 | → | inline_ joins (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) |
| 2025-10-16 01:02:01 | inline | is now known as Guest5355 |
| 2025-10-16 01:02:01 | inline_ | is now known as inline |
| 2025-10-16 01:02:04 | → | jrm2 joins (~jrm@user/jrm) |
| 2025-10-16 01:02:45 | → | otto_s_ joins (~user@p4ff27814.dip0.t-ipconnect.de) |
| 2025-10-16 01:03:23 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 2025-10-16 01:03:23 | × | FANTOM quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
All times are in UTC.