| 2025-01-03 00:00:34 +0100 | some02 | sudden |
| 2025-01-03 00:02:01 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-03 00:02:32 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-03 00:02:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:05:24 +0100 | ubert1 | (~Thunderbi@p200300ecdf117c9c085b78743ebe2cd2.dip0.t-ipconnect.de) ubert |
| 2025-01-03 00:05:41 +0100 | ubert | (~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-03 00:05:41 +0100 | ubert1 | ubert |
| 2025-01-03 00:07:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-03 00:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-03 00:14:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-03 00:17:45 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-03 00:18:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:18:21 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-03 00:20:40 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-03 00:25:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 00:30:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-03 00:36:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:40:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 00:40:57 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 00:51:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:51:42 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 00:53:42 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-03 00:56:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 00:57:33 +0100 | itscaleb | (~itscaleb@user/itscaleb) itscaleb |
| 2025-01-03 00:58:57 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-01-03 01:02:02 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 272 seconds) |
| 2025-01-03 01:05:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-01-03 01:06:07 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-03 01:06:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:07:37 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-03 01:07:37 +0100 | ChanServ | +v haskellbridge |
| 2025-01-03 01:11:06 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 265 seconds) |
| 2025-01-03 01:11:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-03 01:13:54 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-01-03 01:15:52 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-03 01:22:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:27:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 01:30:28 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 252 seconds) |
| 2025-01-03 01:31:30 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-03 01:31:34 +0100 | mekeor | (~user@2001:a61:2430:1:c1ba:b095:314c:2638) (Quit: towards emacs as interface to cybernetic council communism) |
| 2025-01-03 01:32:48 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-03 01:37:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:37:45 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 01:39:49 +0100 | <hellwolf> | Probably I should ask here. Is there an opposite to Typeable, say Untypeable... Meaning that I would like that type variable to be bind to a phantom type such as Proxy, that has no runtime information. I can't use role annotation, because it is rather a constraint, not about the type variable itself. |
| 2025-01-03 01:41:06 +0100 | <hellwolf> | e.g. data F eff a b, and I like that eff to be total phantom, since I sometimes to unsafeCoerce to convert between different effs. |
| 2025-01-03 01:42:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-03 01:48:54 +0100 | <geekosaur> | I think at the moment the answer is no; iirc you can't use either type roles or required type arguments (which I think can "fake it"?) on `data` |
| 2025-01-03 01:52:13 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2025-01-03 01:54:45 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2025-01-03 01:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:56:40 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2025-01-03 01:56:49 +0100 | sprotte24 | (~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-03 01:57:12 +0100 | <hellwolf> | and on nth sort, the actual thing that brought me down is that I carried a constraint for the type, which broke all my unsafe practice. |
| 2025-01-03 01:57:22 +0100 | <hellwolf> | *thought |
| 2025-01-03 01:58:06 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-03 01:58:23 +0100 | <hellwolf> | rolled back, painfully. learned some lesson playing with fire. |
| 2025-01-03 02:02:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-03 02:08:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-03 02:10:55 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds) |
| 2025-01-03 02:12:01 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 02:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 02:14:19 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-03 02:15:02 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34 |
| 2025-01-03 02:15:17 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 02:16:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-03 02:17:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-03 02:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-03 02:19:43 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 02:21:47 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::45) (Ping timeout: 252 seconds) |
| 2025-01-03 02:29:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 02:29:57 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-01-03 02:30:17 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-03 02:30:42 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-03 02:31:57 +0100 | pandeyan | (~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-03 02:36:04 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-01-03 02:36:17 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-01-03 02:36:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 02:37:22 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-03 02:41:55 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 260 seconds) |
| 2025-01-03 02:45:25 +0100 | otto_s | (~user@p5de2f94b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-03 02:45:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-03 02:47:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 02:47:21 +0100 | otto_s | (~user@p4ff27e6d.dip0.t-ipconnect.de) |
| 2025-01-03 02:48:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |