2025/10/16

2025-10-16 00:00:36 +0200jrm2(~jrm@user/jrm) jrm
2025-10-16 00:00:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 00:00:48 +0200Tuplanolla1(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi)
2025-10-16 00:01:48 +0200CiaoSen(~Jura@ipservice-092-210-206-067.092.210.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
2025-10-16 00:03:37 +0200lol_(~lol@2603:3016:1e01:b9c0:4892:4dea:36cf:7d26)
2025-10-16 00:03:48 +0200bggd(~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Remote host closed the connection)
2025-10-16 00:03:59 +0200ft_(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-16 00:04:31 +0200FANTOM(~fantom@90.244.183.5) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200bramh(~bramh@user/bramh) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200craunts795335385(~craunts@136.158.7.194) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200Tri(~tnguyen@69.74.159.34) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200Ekho(~Ekho@user/ekho) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200jrm(~jrm@user/jrm) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200lortabac(~lortabac@mx1.fracta.dev) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200otto_s(~user@p5de2f68d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 256 seconds)
2025-10-16 00:04:32 +0200FANTOM(~fantom@90.244.183.5)
2025-10-16 00:04:32 +0200jrm2jrm
2025-10-16 00:04:33 +0200trickard_trickard
2025-10-16 00:04:34 +0200ft_ft
2025-10-16 00:04:38 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-10-16 00:04:49 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-16 00:05:16 +0200Tri(~tnguyen@69.74.159.34)
2025-10-16 00:05:33 +0200rubin55(sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 260 seconds)
2025-10-16 00:05:33 +0200b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 260 seconds)
2025-10-16 00:05:38 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: Ping timeout (120 seconds))
2025-10-16 00:05:43 +0200rubin55_(sid666180@id-666180.ilkley.irccloud.com) rubin55
2025-10-16 00:05:48 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-10-16 00:05:51 +0200otto_s(~user@p5de2f68d.dip0.t-ipconnect.de)
2025-10-16 00:05:55 +0200b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2025-10-16 00:06:43 +0200haltsolver(~cmo@2604:3d09:207f:8000::d1dc) (Read error: Connection reset by peer)
2025-10-16 00:07:17 +0200jcarpenter2(~lol@2603:3016:1e01:b9c0:4892:4dea:36cf:7d26) (Ping timeout: 260 seconds)
2025-10-16 00:07:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-16 00:07:52 +0200TriN(~tnguyen@69.74.159.34) (Ping timeout: 260 seconds)
2025-10-16 00:08:09 +0200TriN(~tnguyen@69.74.159.34)
2025-10-16 00:08:14 +0200ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-16 00:12:28 +0200orizuru(~orizuru@user/orizuru) orizuru
2025-10-16 00:12:53 +0200jrm2(~jrm@user/jrm) jrm
2025-10-16 00:12:55 +0200machined1od(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-16 00:12:59 +0200ft_(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-16 00:13:48 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 246 seconds)
2025-10-16 00:13:55 +0200malte(~malte@mal.tc) (Ping timeout: 246 seconds)
2025-10-16 00:13:55 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 246 seconds)
2025-10-16 00:13:55 +0200edwardk(sid47016@haskell/developer/edwardk) (Ping timeout: 246 seconds)
2025-10-16 00:14:16 +0200Square2(~Square@user/square) Square
2025-10-16 00:14:20 +0200malte(~malte@mal.tc) malte
2025-10-16 00:14:22 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2025-10-16 00:14:26 +0200tnks(sid412124@id-412124.helmsley.irccloud.com) tnks
2025-10-16 00:14:33 +0200Square3(~Square@user/square) (Read error: Connection reset by peer)
2025-10-16 00:14:52 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-16 00:15:39 +0200GdeVolpi1(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2025-10-16 00:15:39 +0200yin(~zero@user/zero) (Ping timeout: 246 seconds)
2025-10-16 00:15:43 +0200hsw(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Ping timeout: 246 seconds)
2025-10-16 00:15:43 +0200andreas303(andreas303@is.drunk.and.ready-to.party) (Ping timeout: 246 seconds)
2025-10-16 00:15:43 +0200Yumemi_(~Yumemi@chamoin.net) (Ping timeout: 246 seconds)
2025-10-16 00:16:15 +0200williu5(~williu5@user/williu5) (Ping timeout: 246 seconds)
2025-10-16 00:16:15 +0200bionade24(~quassel@server2.oscloud.info) (Ping timeout: 246 seconds)
2025-10-16 00:16:22 +0200op_4(~tslil@user/op-4/x-9116473) (Ping timeout: 246 seconds)
2025-10-16 00:16:22 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 246 seconds)
2025-10-16 00:16:36 +0200Yumemi(~Yumemi@chamoin.net) Yumemi
2025-10-16 00:16:43 +0200down200(~down200@shell.lug.mtu.edu) (Ping timeout: 246 seconds)
2025-10-16 00:17:04 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 246 seconds)
2025-10-16 00:17:35 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split)
2025-10-16 00:17:35 +0200Tri(~tnguyen@69.74.159.34) (*.net *.split)
2025-10-16 00:17:35 +0200wootehfoot(~wootehfoo@user/wootehfoot) (*.net *.split)
2025-10-16 00:17:36 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (*.net *.split)
2025-10-16 00:17:36 +0200Tuplanolla1(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (*.net *.split)
2025-10-16 00:17:36 +0200jrm(~jrm@user/jrm) (*.net *.split)
2025-10-16 00:17:36 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (*.net *.split)
2025-10-16 00:17:36 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (*.net *.split)
2025-10-16 00:17:36 +0200karenw(~karenw@user/karenw) (*.net *.split)
2025-10-16 00:17:36 +0200target_i(~target_i@user/target-i/x-6023099) (*.net *.split)
2025-10-16 00:17:36 +0200peutri_(~peutri@bobo.desast.re) (*.net *.split)
2025-10-16 00:17:36 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2025-10-16 00:17:36 +0200semifunctor(~omnifunct@user/semifunctor) (*.net *.split)
2025-10-16 00:17:36 +0200mzg_(mzg@abusers.hu) (*.net *.split)
2025-10-16 00:17:36 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) (*.net *.split)
2025-10-16 00:17:36 +0200Goodbye_Vincent1(cyvahl@freakshells.net) (*.net *.split)
2025-10-16 00:17:37 +0200ft_ft
2025-10-16 00:17:38 +0200jrm2jrm
2025-10-16 00:18:18 +0200yin(~zero@user/zero) zero
2025-10-16 00:18:30 +0200pmk(6afe4476a1@2a03:6000:1812:100::26d)
2025-10-16 00:18:32 +0200cipherrot(~jez@user/petrichor) petrichor
2025-10-16 00:18:36 +0200petrichor(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-10-16 00:18:45 +0200karenw_(~karenw@user/karenw) karenw
2025-10-16 00:18:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 00:19:02 +0200vetkat(~vetkat@user/vetkat) (Ping timeout: 246 seconds)
2025-10-16 00:19:02 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 246 seconds)
2025-10-16 00:19:10 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds)
2025-10-16 00:19:24 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-10-16 00:19:30 +0200williu5(~williu5@user/williu5) williu5
2025-10-16 00:19:41 +0200down200(~down200@shell.lug.mtu.edu) down200
2025-10-16 00:19:51 +0200Kamuela(sid111576@id-111576.tinside.irccloud.com) Kamuela
2025-10-16 00:19:56 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2025-10-16 00:20:13 +0200andreas303(andreas303@is.drunk.and.ready-to.party) andreas303
2025-10-16 00:20:16 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) chymera
2025-10-16 00:20:22 +0200lortabac(~lortabac@mx1.fracta.dev) lortabac
2025-10-16 00:20:24 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-16 00:21:13 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2025-10-16 00:22:30 +0200inline(~inline@2a02:8071:57a1:1260:3972:4016:52d3:7ff6) Inline
2025-10-16 00:22:42 +0200bionade24(~quassel@server2.oscloud.info)
2025-10-16 00:22:42 +0200hsw_(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw)
2025-10-16 00:22:42 +0200edwardk(sid47016@id-47016.ilkley.irccloud.com)
2025-10-16 00:22:42 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-10-16 00:22:42 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-16 00:22:42 +0200semifunctor(~omnifunct@user/semifunctor) omnifunctor
2025-10-16 00:22:42 +0200mzg_(mzg@abusers.hu)
2025-10-16 00:23:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-16 00:24:16 +0200Square2(~Square@user/square) (Read error: Connection reset by peer)
2025-10-16 00:24:17 +0200yin(~zero@user/zero) (Ping timeout: 256 seconds)
2025-10-16 00:24:17 +0200williu5(~williu5@user/williu5) (Max SendQ exceeded)
2025-10-16 00:24:21 +0200Yumemi(~Yumemi@chamoin.net) (Ping timeout: 256 seconds)
2025-10-16 00:24:23 +0200yin_(~zero@user/zero) zero
2025-10-16 00:24:28 +0200williu5(~williu5@user/williu5) williu5
2025-10-16 00:24:39 +0200Yumemi(~Yumemi@chamoin.net) Yumemi
2025-10-16 00:24:43 +0200yin_yin
2025-10-16 00:24:44 +0200Square2(~Square@user/square) Square
2025-10-16 00:24:48 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-16 00:27:25 +0200cheater(~fuck@84-115-208-145.cable.dynamic.surfer.at)
2025-10-16 00:28:08 +0200peutri(~peutri@bobo.desast.re) peutri
2025-10-16 00:28:18 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) Jonno_FTW
2025-10-16 00:28:37 +0200cheater-(~fuck@84-115-208-145.cable.dynamic.surfer.at) (Ping timeout: 246 seconds)
2025-10-16 00:28:58 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 246 seconds)
2025-10-16 00:29:25 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-16 00:29:30 +0200Igloo(~ian@81.2.99.210)
2025-10-16 00:30:22 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 246 seconds)
2025-10-16 00:31:15 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-10-16 00:34:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 00:37:58 +0200Ekho(~Ekho@user/ekho) Ekho
2025-10-16 00:39:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-16 00:40:22 +0200gustrb(~gustrb@200.132.2.8)
2025-10-16 00:43:05 +0200inline(~inline@2a02:8071:57a1:1260:3972:4016:52d3:7ff6) (Read error: Connection reset by peer)
2025-10-16 00:45:05 +0200synchromesh(~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (Read error: Connection reset by peer)
2025-10-16 00:45:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-16 00:46:11 +0200synchromesh(~john@2406:5a00:2412:2c00:20d4:65ae:d853:d670) synchromesh
2025-10-16 00:50:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 00:50:41 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-10-16 00:51:35 +0200inline(~inline@2a02:8071:57a1:1260:4106:e4e7:b42:df15) Inline
2025-10-16 00:52:46 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
2025-10-16 00:52:58 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-10-16 00:53:14 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-10-16 00:55:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-16 01:01:02 +0200trickard_trickard
2025-10-16 01:02:32 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-16 01:04:26 +0200Guest66(~Guest66@p200300eb67060a00a8651d2ed7b6608e.dip0.t-ipconnect.de)
2025-10-16 01:06:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 01:09:07 +0200ski'sn't convinced `Exception SomeException' is a good thing
2025-10-16 01:09:19 +0200qqe(~qqq@185.54.23.200)
2025-10-16 01:09:26 +0200 <ski> % catch (error "foo") (\e -> return ((fromException . toException . toException) (e :: ErrorCall) :: Maybe ErrorCall))
2025-10-16 01:09:26 +0200 <yahb2> Just foo
2025-10-16 01:09:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-10-16 01:09:36 +0200 <ski> this doesn't really make sense, to me
2025-10-16 01:09:54 +0200 <ski> (also, i don't like the `Show' instance)
2025-10-16 01:10:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-10-16 01:16:08 +0200peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-10-16 01:16:52 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
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:19:47 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
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:21:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
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:24:51 +0200peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds)
2025-10-16 01:24:55 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
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: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:27:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-16 01:27:53 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 250 seconds)
2025-10-16 01:28:05 +0200 <ski> (and, i guess, a `throwSome :: SomeException -> IO a', for convenience)
2025-10-16 01:28:07 +0200 <int-e> And how would you re-throw that SomeException?
2025-10-16 01:28:21 +0200machined1od(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-10-16 01:28:22 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-10-16 01:28:32 +0200 <int-e> (overlapping trains of thoughts)
2025-10-16 01:29:47 +0200 <ski> (you could alternatively unwap the `SomeException' yourself, and call `throwIO' as usual)
2025-10-16 01:31:02 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
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:35:36 +0200 <int-e> or existential?
2025-10-16 01:38:37 +0200inline(~inline@2a02:8071:57a1:1260:4106:e4e7:b42:df15) (Ping timeout: 246 seconds)
2025-10-16 01:39:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 01:42:02 +0200poscat(~poscat@user/poscat) poscat
2025-10-16 01:43:36 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 252 seconds)
2025-10-16 01:46:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-16 01:47:43 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-16 01:50:25 +0200gustrb(~gustrb@200.132.2.8) (Ping timeout: 250 seconds)
2025-10-16 01:56:15 +0200acidjnk(~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-10-16 01:57:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-16 01:59:02 +0200acidjnk(~acidjnk@p200300d6e717197548bf8d9923882cf1.dip0.t-ipconnect.de) acidjnk
2025-10-16 02:00:48 +0200Googulator38(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu)
2025-10-16 02:00:48 +0200Googulator45(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed)
2025-10-16 02:02:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)