Newest at the top
| 2025-01-06 02:30:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-06 02:25:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 02:20:07 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Client Quit) |
| 2025-01-06 02:19:22 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-01-06 02:15:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-06 02:14:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 02:12:44 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-06 02:07:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 02:04:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-06 01:56:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-06 01:51:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:49:50 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-06 01:49:34 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 01:48:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-06 01:47:00 +0100 | sshine | (~simon@142.132.168.56) () |
| 2025-01-06 01:45:48 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 246 seconds) |
| 2025-01-06 01:44:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:40:31 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 01:37:37 +0100 | <Leary> | s/big/non-trivial/ |
| 2025-01-06 01:37:18 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving) |
| 2025-01-06 01:36:10 +0100 | <Leary> | The other piece of advice I'd give is to shrink your existentials as much as possible, such that you more rarely hit these issues (and when you do, you know better why). That can mean either: exposing types that don't actually need to be hidden; splitting out constructors and fields not related to the existential type; writing all your big data types non-existenially and giving them trivial existential wrappers; etc. |
| 2025-01-06 01:33:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-06 01:32:05 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-01-06 01:30:24 +0100 | sprotte24 | (~sprotte24@p200300d16f49e900bc53369c93ac6b88.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-06 01:28:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:23:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-06 01:23:10 +0100 | <Leary> | due to* |
| 2025-01-06 01:22:21 +0100 | <Leary> | kaol: I imagine the issue arises due `i1` being existential: <https://github.com/kaol/snaplet-customauth/blob/master/Snap/Snaplet/CustomAuth/AuthManager.hs#L45>. You shouldn't expect to treat existentials like ordinary datatypes and have everything "just work". The first thing I'd try would be to pattern match on the constructor: `modify \mgr@AuthManager{} -> mgr{ ... }`. |
| 2025-01-06 01:21:46 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9eea:e9b7:c052:2e2b) (Ping timeout: 265 seconds) |
| 2025-01-06 01:19:33 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 01:17:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 01:12:01 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2025-01-06 01:10:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:08:36 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-01-06 01:08:10 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 01:08:05 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-06 01:06:42 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-06 01:02:29 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2025-01-06 01:00:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-06 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 00:53:16 +0100 | elnegro | (elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) () |
| 2025-01-06 00:49:18 +0100 | elnegro | (elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) elnegro |
| 2025-01-06 00:47:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-06 00:44:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-06 00:44:04 +0100 | rosco | (~rosco@171.5.0.29) (Ping timeout: 260 seconds) |
| 2025-01-06 00:41:22 +0100 | Core2677 | (~rosco@171.5.26.74) rosco |
| 2025-01-06 00:40:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 00:38:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-06 00:36:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-06 00:36:15 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |