| 2025-01-06 00:02:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-06 00:06:16 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2025-01-06 00:08:24 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-06 00:09:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 00:11:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-06 00:13:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-06 00:15:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-06 00:24:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 00:25:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-06 00:26:46 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-06 00:27:10 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-06 00:27:49 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2025-01-06 00:29:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-06 00:31:12 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-06 00:31:47 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-06 00:36:15 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 00:36:49 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-06 00:38:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-06 00:40:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 00:41:22 +0100 | Core2677 | (~rosco@171.5.26.74) rosco |
| 2025-01-06 00:44:04 +0100 | rosco | (~rosco@171.5.0.29) (Ping timeout: 260 seconds) |
| 2025-01-06 00:44:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-06 00:47:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-06 00:49:18 +0100 | elnegro | (elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) elnegro |
| 2025-01-06 00:53:16 +0100 | elnegro | (elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) () |
| 2025-01-06 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:00:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-06 01:02:29 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 2025-01-06 01:06:42 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-06 01:08:05 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-06 01:08:10 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 01:08:36 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-01-06 01:10:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:12:01 +0100 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2025-01-06 01:17:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 01:19:33 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 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: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:23:10 +0100 | <Leary> | due to* |
| 2025-01-06 01:23:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-06 01:28:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:30:24 +0100 | sprotte24 | (~sprotte24@p200300d16f49e900bc53369c93ac6b88.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-06 01:32:05 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-01-06 01:33:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 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:37:18 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving) |
| 2025-01-06 01:37:37 +0100 | <Leary> | s/big/non-trivial/ |
| 2025-01-06 01:40:31 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-06 01:44:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:45:48 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 246 seconds) |
| 2025-01-06 01:47:00 +0100 | sshine | (~simon@142.132.168.56) () |
| 2025-01-06 01:48:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-06 01:49:34 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 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:51:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 01:56:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-06 02:04:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-06 02:07:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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:14:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 02:15:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-06 02:19:22 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-01-06 02:20:07 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Client Quit) |
| 2025-01-06 02:25:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 02:30:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-06 02:31:30 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f7061700689b604dec0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-06 02:34:41 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-06 02:41:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 02:42:46 +0100 | otto_s | (~user@p5b044693.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-06 02:44:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-06 02:44:27 +0100 | otto_s | (~user@p5de2f29b.dip0.t-ipconnect.de) |
| 2025-01-06 02:44:58 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2025-01-06 02:47:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-06 02:50:05 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-06 02:50:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-06 02:52:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 248 seconds) |
| 2025-01-06 02:55:12 +0100 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2025-01-06 02:57:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 03:04:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 03:04:40 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-06 03:07:07 +0100 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-06 03:07:50 +0100 | emergence | (emergence@vm0.max-p.me) (Quit: emergence) |
| 2025-01-06 03:08:07 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-01-06 03:08:45 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2025-01-06 03:09:07 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-01-06 03:12:22 +0100 | emergence | (emergence@vm0.max-p.me) (Read error: Connection reset by peer) |
| 2025-01-06 03:12:31 +0100 | Core2677 | (~rosco@171.5.26.74) (Read error: Connection reset by peer) |
| 2025-01-06 03:12:37 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-01-06 03:12:37 +0100 | emergence | (emergence@vm0.max-p.me) (Client Quit) |
| 2025-01-06 03:12:48 +0100 | rosco | (~rosco@171.5.26.74) rosco |
| 2025-01-06 03:12:59 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-06 03:13:14 +0100 | emergence | (emergence@vm0.max-p.me) emergence |
| 2025-01-06 03:13:15 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-06 03:14:21 +0100 | Core1174 | (~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) rosco |
| 2025-01-06 03:15:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 03:17:17 +0100 | rosco | (~rosco@171.5.26.74) (Ping timeout: 265 seconds) |
| 2025-01-06 03:19:10 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:effe:71d9:1c5c:6a1a) dtman34 |
| 2025-01-06 03:19:29 +0100 | eluo | (~eluo@2600:1700:3190:b2f0:2c76:d8ec:d3b4:e88b) |
| 2025-01-06 03:19:50 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-06 03:19:55 +0100 | eluo | (~eluo@2600:1700:3190:b2f0:2c76:d8ec:d3b4:e88b) (Client Quit) |
| 2025-01-06 03:20:09 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-01-06 03:21:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 03:31:51 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-06 03:32:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 03:36:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 03:39:23 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-06 03:39:53 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-06 03:40:54 +0100 | anpad | (~pandeyan@user/anpad) (Client Quit) |
| 2025-01-06 03:47:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 03:47:51 +0100 | rosco | (~rosco@171.5.26.74) rosco |
| 2025-01-06 03:49:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-06 03:50:17 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-06 03:50:29 +0100 | Core1174 | (~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) (Ping timeout: 248 seconds) |
| 2025-01-06 03:50:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-06 03:57:20 +0100 | rosco | (~rosco@171.5.26.74) (Ping timeout: 260 seconds) |
| 2025-01-06 03:57:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-06 04:00:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-06 04:01:53 +0100 | rosco | (~rosco@171.5.26.74) rosco |
| 2025-01-06 04:06:17 +0100 | rosco | (~rosco@171.5.26.74) (Ping timeout: 244 seconds) |
| 2025-01-06 04:07:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 04:12:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-06 04:23:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 04:27:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 04:28:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-06 04:31:41 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-06 04:34:11 +0100 | rosco | (~rosco@2403:6200:8976:5488:1065:5768:5cec:6ab5) rosco |
| 2025-01-06 04:36:19 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-06 04:38:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-06 04:39:52 +0100 | <Square> | I have memory that you could shorten proxy creation as "Proxy :: Proxy MyType" in some way. |
| 2025-01-06 04:40:55 +0100 | <glguy> | Proxy @MyType |
| 2025-01-06 04:42:12 +0100 | <glguy> | Or with a different extension: Proxy :: _ MyType |
| 2025-01-06 04:43:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-06 04:43:58 +0100 | xdminsy | (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
| 2025-01-06 04:44:03 +0100 | <Square> | glguy, That was probably it. Thanks! |
| 2025-01-06 04:44:26 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |