Newest at the top
2025-10-16 02:27:25 +0200 | inline | (~inline@2a02:8071:57a1:1260:1986:799b:750a:f7e8) Inline |
2025-10-16 02:25:57 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
2025-10-16 02:23:17 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:a990:1573:d543:d1a1) Inline |
2025-10-16 02:20:48 +0200 | Googulator34 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
2025-10-16 02:20:42 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Client Quit) |
2025-10-16 02:18:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-16 02:18:37 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
2025-10-16 02:18:24 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-16 02:15:22 +0200 | Square2 | (~Square@user/square) Square |
2025-10-16 02:15:20 +0200 | Square | (~Square4@user/square) Square |
2025-10-16 02:14:05 +0200 | acidjnk | (~acidjnk@p200300d6e717197548bf8d9923882cf1.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-10-16 02:13:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-16 02:11:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
2025-10-16 02:10:51 +0200 | Guest66 | (~Guest66@p200300eb67060a00a8651d2ed7b6608e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2025-10-16 02:10:10 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-16 02:02:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-16 02:00:48 +0200 | Googulator45 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-16 02:00:48 +0200 | Googulator38 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
2025-10-16 01:59:02 +0200 | acidjnk | (~acidjnk@p200300d6e717197548bf8d9923882cf1.dip0.t-ipconnect.de) acidjnk |
2025-10-16 01:57:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-16 01:56:15 +0200 | acidjnk | (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-10-16 01:50:25 +0200 | gustrb | (~gustrb@200.132.2.8) (Ping timeout: 250 seconds) |
2025-10-16 01:47:43 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2025-10-16 01:46:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-16 01:43:36 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2025-10-16 01:42:02 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-10-16 01:39:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-16 01:38:37 +0200 | inline | (~inline@2a02:8071:57a1:1260:4106:e4e7:b42:df15) (Ping timeout: 246 seconds) |
2025-10-16 01:35:36 +0200 | <int-e> | or existential? |
2025-10-16 01:34:55 +0200 | <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-16 01:31:02 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-10-16 01:29:47 +0200 | <ski> | (you could alternatively unwap the `SomeException' yourself, and call `throwIO' as usual) |
2025-10-16 01:28:32 +0200 | <int-e> | (overlapping trains of thoughts) |
2025-10-16 01:28:22 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-10-16 01:28:21 +0200 | machined1od | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
2025-10-16 01:28:07 +0200 | <int-e> | And how would you re-throw that SomeException? |
2025-10-16 01:28:05 +0200 | <ski> | (and, i guess, a `throwSome :: SomeException -> IO a', for convenience) |
2025-10-16 01:27:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 250 seconds) |
2025-10-16 01:27:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-16 01:27:05 +0200 | <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-16 01:25:19 +0200 | <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-16 01:24:55 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
2025-10-16 01:24:51 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
2025-10-16 01:22:30 +0200 | <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-16 01:21:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-16 01:21:37 +0200 | <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-16 01:19:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-10-16 01:19:19 +0200 | <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-16 01:16:52 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-10-16 01:16:08 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |