Newest at the top
| 2026-04-23 05:47:19 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 05:45:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 05:42:11 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 05:41:03 +0000 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-04-23 05:40:56 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-04-23 05:38:27 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2026-04-23 05:38:01 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-23 05:37:59 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 05:32:29 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-23 05:31:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 05:27:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 05:27:04 +0000 | layline_ | (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-23 05:24:49 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-04-23 05:20:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-23 05:17:12 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-23 05:15:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 05:13:46 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 05:04:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 05:03:17 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 04:59:59 +0000 | layline_ | (~layline@149.154.26.56) layline |
| 2026-04-23 04:57:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:47:37 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2026-04-23 04:47:18 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-23 04:46:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 04:41:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:40:57 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 04:39:58 +0000 | Googulator46 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 04:39:34 +0000 | Googulator54 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 04:35:33 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 04:30:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 04:26:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:22:58 +0000 | merijn | (~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 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 04:13:59 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-23 04:12:08 +0000 | Guest44 | (~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 +0000 | michalz | (~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 +0000 | merijn | (~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 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 03:51:52 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-04-23 03:51:14 +0000 | Googulator74 | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 03:51:00 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-04-23 03:50:55 +0000 | jmcantrell_ | jmcantrell |
| 2026-04-23 03:49:35 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2026-04-23 03:49:35 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-04-23 03:49:22 +0000 | Googulator46 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 03:49:16 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |