Newest at the top
2024-10-07 18:23:36 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-07 18:23:13 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-07 18:12:01 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-07 18:10:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-07 18:10:47 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-10-07 18:06:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-07 18:04:42 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-10-07 18:00:05 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2024-10-07 17:58:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-07 17:58:08 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
2024-10-07 17:57:59 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
2024-10-07 17:56:42 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2024-10-07 17:52:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-07 17:43:56 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-07 17:43:33 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-07 17:36:11 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-10-07 17:35:05 +0200 | __monty_1 | __monty__ |
2024-10-07 17:35:02 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
2024-10-07 17:34:52 +0200 | __monty_1 | (~toonn@user/toonn) toonn |
2024-10-07 17:24:12 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e06c:ffe4:c8a0:d22b) |
2024-10-07 17:21:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3313-f515-a060-99c7-e89f-be85.rev.sfr.net) (Remote host closed the connection) |
2024-10-07 17:19:28 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Client Quit) |
2024-10-07 17:17:34 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3313-f515-a060-99c7-e89f-be85.rev.sfr.net) alexherbo2 |
2024-10-07 17:16:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3313-f515-191c-fe44-fc95-fb26.rev.sfr.net) (Remote host closed the connection) |
2024-10-07 17:14:37 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-07 17:14:08 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-07 17:12:49 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
2024-10-07 17:12:49 +0200 | Pixi` | Pixi |
2024-10-07 17:12:09 +0200 | mari-estel | (~mari-este@185.238.219.77) () |
2024-10-07 17:02:10 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-10-07 17:00:06 +0200 | Duste3 | (~Duste3@2a0c:5a84:b809:8900:87e9:2b45:1b5f:c816) (Remote host closed the connection) |
2024-10-07 16:59:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
2024-10-07 16:58:23 +0200 | benjaminl | (~benjaminl@user/benjaminl) benjaminl |
2024-10-07 16:57:59 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
2024-10-07 16:50:29 +0200 | mari-estel | (~mari-este@185.238.219.77) |
2024-10-07 16:50:06 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 244 seconds) |
2024-10-07 16:48:33 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
2024-10-07 16:47:05 +0200 | <lortabac> | but depending on what you are trying to achieve you may not actually need this |
2024-10-07 16:46:34 +0200 | <lortabac> | maybe you can use the qualified type name as a Symbol with TemplateHaskell |
2024-10-07 16:44:23 +0200 | <lortabac> | fr33domlover: can I ask you what your goal is? |
2024-10-07 16:41:57 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2024-10-07 16:41:00 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
2024-10-07 16:37:05 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-07 16:34:30 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-07 16:32:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-07 16:31:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
2024-10-07 16:31:02 +0200 | <haskellbridge> | <Bowuigi> The type family/type alias issue happens because they are supposed to be fully saturated (exceptions exist) as to avoid going to System F omega and further complicating GHC |
2024-10-07 16:29:51 +0200 | <haskellbridge> | <Bowuigi> Perhaps a bit too conservative there |
2024-10-07 16:27:59 +0200 | <dolio> | Yeah. I don't think you can even manually instantiate without ImpredicativeTypes, though. |
2024-10-07 16:26:57 +0200 | <haskellbridge> | <Bowuigi> Also type inference (ala HM, inferring type applications and abstractions) in impredicative system F is undecidable IIRC, it makes sense that GHC is a bit conservative just in casd |