2026/04/23

Newest at the top

2026-04-23 06:01:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 05:52:50 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2026-04-23 05:52:38 +0000tusko(~uwu@user/tusko) tusko
2026-04-23 05:50:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-23 05:47:19 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-04-23 05:45:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 05:42:11 +0000jreicher(~joelr@user/jreicher) jreicher
2026-04-23 05:41:03 +0000jreicher(~joelr@user/jreicher) (Read error: Connection reset by peer)
2026-04-23 05:40:56 +0000tomboy64(~tomboy64@user/tomboy64) tomboy64
2026-04-23 05:38:27 +0000tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 268 seconds)
2026-04-23 05:38:01 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-04-23 05:37:59 +0000tusko(~uwu@user/tusko) tusko
2026-04-23 05:32:29 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-04-23 05:31:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-23 05:27:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 05:27:04 +0000layline_(~layline@149.154.26.56) (Quit: ZZZzzz…)
2026-04-23 05:24:49 +0000nek0(~nek0@user/nek0) nek0
2026-04-23 05:20:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-23 05:17:12 +0000nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2026-04-23 05:15:36 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 05:13:46 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-04-23 05:04:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-04-23 05:03:17 +0000tusko(~uwu@user/tusko) tusko
2026-04-23 04:59:59 +0000layline_(~layline@149.154.26.56) layline
2026-04-23 04:57:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 04:47:37 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds)
2026-04-23 04:47:18 +0000tusko(~uwu@user/tusko) (Ping timeout: 265 seconds)
2026-04-23 04:46:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-23 04:41:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 04:40:57 +0000tusko(~uwu@user/tusko) tusko
2026-04-23 04:39:58 +0000Googulator46(~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed)
2026-04-23 04:39:34 +0000Googulator54(~Googulato@84-236-65-56.pool.digikabel.hu)
2026-04-23 04:35:33 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-04-23 04:30:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-23 04:26:26 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 04:22:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-23 04:18:52 +0000 <EvanR> usually, isn't an IO value not reported (what would it show)
2026-04-23 04:17:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 04:13:59 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-04-23 04:12:08 +0000Guest44(~Guest44@49.224.213.158) ()
2026-04-23 04:08:59 +0000 <Guest44> pavonia:  I was relying on the inner monad defaulting to IO, which FlexibleContexts seems to not recognise.
2026-04-23 04:08:45 +0000michalz(~michalz@185.246.207.197)
2026-04-23 04:07:49 +0000 <pavonia> I can only guess it doesn't know which type to run the computation in if flexible contexts are involved. But no idea if this is expected behaviour or not
2026-04-23 04:07:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-23 04:04:25 +0000 <Guest44> pavonia: I solved the problem by changing type declarations upstream, although that still doesn't explain why :set -XFlexibleContexts results in printing type information not computation result.
2026-04-23 04:02:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-23 03:51:52 +0000whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) jgart
2026-04-23 03:51:14 +0000Googulator74(~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed)
2026-04-23 03:51:00 +0000dolio(~dolio@130.44.140.168) dolio
2026-04-23 03:50:55 +0000jmcantrell_jmcantrell