Newest at the top
2024-09-25 02:19:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-25 02:15:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 02:14:28 +0200 | ubert1 | ubert |
2024-09-25 02:14:27 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
2024-09-25 02:13:51 +0200 | ubert1 | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
2024-09-25 02:10:20 +0200 | Guest93 | (~Guest93@5.195.226.142) (Client Quit) |
2024-09-25 02:10:08 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 02:08:14 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 255 seconds) |
2024-09-25 02:06:35 +0200 | Guest93 | (~Guest93@5.195.226.142) |
2024-09-25 02:05:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
2024-09-25 02:03:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-25 02:00:50 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 01:58:59 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
2024-09-25 01:58:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-25 01:57:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:57:22 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-09-25 01:55:57 +0200 | <raehik> | geekosaur: Yeah, agreed. I went by the name in the docs |
2024-09-25 01:55:41 +0200 | <raehik> | but the GADT is perfect |
2024-09-25 01:55:40 +0200 | <geekosaur> | I personally think more of "visibility" than "inference" here |
2024-09-25 01:55:20 +0200 | <raehik> | the pattern synonym worked as well, I didn't know they were fine with foralls |
2024-09-25 01:54:46 +0200 | <geekosaur> | it is kinda unfortunate that this isn't what one normally thinks of with "inferred" (type inference being the usual thing) |
2024-09-25 01:53:38 +0200 | <raehik> | thank you very much Lears , geekosaur ! I simply never knew that and didn't find it with my googling |
2024-09-25 01:52:33 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 01:52:06 +0200 | <geekosaur> | and gives an example thereof |
2024-09-25 01:50:44 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_applications.html#manually-def… which confirms it's only supported with GADTSyntax |
2024-09-25 01:50:39 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
2024-09-25 01:50:11 +0200 | <Lears> | `data Magic a where Magic :: forall {k} (a :: k). Magic a` |
2024-09-25 01:49:39 +0200 | <raehik> | hmm not sure how I would write it with GADT syntax (I don't use them much) |
2024-09-25 01:48:45 +0200 | <Lears> | Perhaps GADTSyntax will allow it? |
2024-09-25 01:48:36 +0200 | <raehik> | I want to force `k` to be inferred (because for my uses it will be) |
2024-09-25 01:48:14 +0200 | <raehik> | I want `Magic :: forall {k} (a :: k). Magic a` |
2024-09-25 01:47:50 +0200 | <geekosaur> | ^5 |
2024-09-25 01:47:35 +0200 | <Lears> | What /do/ you want, though? |
2024-09-25 01:47:33 +0200 | <geekosaur> | I'm not even sure what you want |
2024-09-25 01:47:18 +0200 | <raehik> | Alternatively, can I do what I want with a pattern synonym? |
2024-09-25 01:47:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-25 01:45:59 +0200 | <raehik> | I have `data Magic (a :: k) = Magic`, which is fine, but `:t Magic` gives `Magic :: forall k (a :: k). Magic a` |
2024-09-25 01:45:21 +0200 | <raehik> | Is there a way to force a type variable to be inferred, in a `data` declaration? |
2024-09-25 01:44:35 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
2024-09-25 01:42:52 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-09-25 01:42:36 +0200 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
2024-09-25 01:42:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:40:53 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2024-09-25 01:40:20 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 255 seconds) |
2024-09-25 01:39:35 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
2024-09-25 01:36:24 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
2024-09-25 01:32:40 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
2024-09-25 01:31:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-25 01:30:28 +0200 | krei-se- | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-09-25 01:28:49 +0200 | pavonia | (~user@user/siracusa) siracusa |