Newest at the top
| 2025-11-04 17:29:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-04 17:25:11 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:6814:5db7:263e:812e) |
| 2025-11-04 17:24:58 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) (Remote host closed the connection) |
| 2025-11-04 17:24:22 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 246 seconds) |
| 2025-11-04 17:23:48 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 17:23:11 +0100 | <merijn> | chromoblob: The TypeFamilies extension gives you a limited form of type-level functions |
| 2025-11-04 17:22:31 +0100 | <merijn> | chromoblob: Because type-level functions without restrictions makes type checking undecidable |
| 2025-11-04 17:20:36 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:e0d3:9bff:fe8d:1ac5) |
| 2025-11-04 17:19:37 +0100 | akegalj | (~akegalj@78-1-55-1.adsl.net.t-com.hr) (Quit: leaving) |
| 2025-11-04 17:15:45 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-04 17:15:39 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-04 17:15:17 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) (Ping timeout: 260 seconds) |
| 2025-11-04 17:11:56 +0100 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-11-04 17:10:31 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-11-04 17:09:51 +0100 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2) |
| 2025-11-04 17:05:31 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:16ee:40ed:bc66:c8a) |
| 2025-11-04 17:05:15 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-04 17:04:56 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) (Remote host closed the connection) |
| 2025-11-04 17:01:15 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2025-11-04 16:58:33 +0100 | jackneill__ | (~Jackneill@188-143-82-32.pool.digikabel.hu) |
| 2025-11-04 16:52:34 +0100 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-11-04 16:52:25 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2025-11-04 16:52:09 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-04 16:51:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-04 16:49:33 +0100 | Zemy | (~Zemy@2600:100c:b0a8:c287:4054:69ff:fe6f:ba19) |
| 2025-11-04 16:45:01 +0100 | deptype | (~deptype@2406:b400:3a:73c2:a915:dab7:6b73:f640) (Remote host closed the connection) |
| 2025-11-04 16:44:54 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:44:42 +0100 | deptype_ | (~deptype@2406:b400:3a:73c2:7620:a814:81ca:1405) |
| 2025-11-04 16:44:31 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-11-04 16:42:32 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:42:05 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-04 16:40:40 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:40:10 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-11-04 16:40:02 +0100 | <kaol> | I may have fixed it. The HasLink (a :> sub) constraint looked suspicious and removing it and copying over the implementation from Servant.Links instead of trying to use toLink with a Proxy seems to work. |
| 2025-11-04 16:37:56 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:37:46 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-11-04 16:37:35 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-04 16:34:14 +0100 | Jackneill | (~Jackneill@94-21-46-31.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2025-11-04 16:34:09 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-04 16:33:54 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:33:35 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-04 16:32:56 +0100 | <chromoblob> | "GHC's typechecker intentionally does not support treating type aliases as type-level functions" why? |
| 2025-11-04 16:32:27 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:32:05 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-11-04 16:31:03 +0100 | Jackneill_ | (~Jackneill@94-21-95-130.pool.digikabel.hu) |
| 2025-11-04 16:29:09 +0100 | Jackneill | (~Jackneill@94-21-46-31.pool.digikabel.hu) Jackneill |
| 2025-11-04 16:28:43 +0100 | Jackneill | (~Jackneill@94-21-46-31.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-11-04 16:28:31 +0100 | Jackneill_ | (~Jackneill@94-21-15-240.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2025-11-04 16:26:22 +0100 | Jackneill | (~Jackneill@94-21-46-31.pool.digikabel.hu) Jackneill |
| 2025-11-04 16:26:02 +0100 | Flow | (~none@gentoo/developer/flow) flow |