Newest at the top
| 2024-11-17 22:38:53 +0100 | <cuteguest> | ahh ok ok |
| 2024-11-17 22:38:38 +0100 | <hellwolf> | while the [a] is more general |
| 2024-11-17 22:38:31 +0100 | <hellwolf> | I guess it's bad because, you'd think "*" is like a glob, for anything, but actually it is for the specific kind Type. |
| 2024-11-17 22:38:26 +0100 | <cuteguest> | wait.. but the compiler tells me when i write forall {a} (x :: a) (as :: '[a]) that '[a] has kind [*] |
| 2024-11-17 22:36:57 +0100 | <cuteguest> | aahh i see |
| 2024-11-17 22:36:44 +0100 | <geekosaur> | no, it's a type level list of `a`s |
| 2024-11-17 22:36:25 +0100 | <cuteguest> | could '[a] be a [*] ? like, '[a] is a [*] with 1 element, a |
| 2024-11-17 22:35:25 +0100 | <cuteguest> | okay.. the stars look so cool though.. but youre probably right.. |
| 2024-11-17 22:35:06 +0100 | <hellwolf> | I'd stop using "*", import Data.Kind (Type), to be clearer. |
| 2024-11-17 22:34:27 +0100 | <hellwolf> | very different. * is "Type" kind, a is any kind. |
| 2024-11-17 22:33:39 +0100 | <cuteguest> | this might be too specific of a question but.. for something like "forall {a} (x :: a) (as :: [*])." is there a difference between [*] and '[a]? shouldnt they both basically be [*]? |
| 2024-11-17 22:31:03 +0100 | cuteguest | (~cuteguest@75.149.164.102) |
| 2024-11-17 22:29:08 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.209) (Ping timeout: 245 seconds) |
| 2024-11-17 22:28:05 +0100 | RedFlamingos | (~RedFlamin@user/RedFlamingos) RedFlamingos |
| 2024-11-17 22:26:50 +0100 | GuerrillaMonkey | (~Jeanne-Ka@79.127.217.59) Jeanne-Kamikaze |
| 2024-11-17 22:25:37 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-17 22:23:10 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-17 22:20:30 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-17 22:19:12 +0100 | <hellwolf> | no. I meant the lsp code lens, not the code itself. |
| 2024-11-17 22:18:46 +0100 | <geekosaur> | do you have ormolu/fourmolu turned on? |
| 2024-11-17 22:18:42 +0100 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2024-11-17 22:14:08 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.209) Jeanne-Kamikaze |
| 2024-11-17 22:09:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-17 22:08:50 +0100 | <hellwolf> | red herring. instead, it seems it tries to format with one argument per line. |
| 2024-11-17 22:02:42 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2024-11-17 21:58:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-17 21:56:46 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) (Ping timeout: 272 seconds) |
| 2024-11-17 21:50:41 +0100 | briandaed | (~root@user/briandaed) (Remote host closed the connection) |
| 2024-11-17 21:47:49 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
| 2024-11-17 21:46:21 +0100 | Alleria_ | (~Alleria@user/alleria) Alleria |
| 2024-11-17 21:41:30 +0100 | Everything | (~Everythin@178-133-36-30.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-17 21:39:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2024-11-17 21:38:29 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-17 21:35:37 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-17 21:29:06 +0100 | gvg | (~dcd@user/gvg) gvg |
| 2024-11-17 21:26:15 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-17 21:25:44 +0100 | gvg | (~dcd@user/gvg) (Read error: Connection reset by peer) |
| 2024-11-17 21:25:25 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-11-17 21:24:55 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-17 21:24:49 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-17 21:22:39 +0100 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2024-11-17 21:17:45 +0100 | son0p | (~ff@2800:e2:f80:ee7::4) son0p |
| 2024-11-17 21:14:45 +0100 | divya | (~user@139.5.11.76) (Ping timeout: 248 seconds) |
| 2024-11-17 21:12:31 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-11-17 21:09:07 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-17 21:07:14 +0100 | jonkri | (~jonkri@90-230-234-124-no600.tbcn.telia.com) jonkri |
| 2024-11-17 21:06:27 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-11-17 21:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-17 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-17 20:59:29 +0100 | <shapr> | hellwolf: I don't know if I ever found the exact setting, but I do know that lsp-treemacs-symbols changes the length when it first runs (and does not change it back on exit, thus my starting point) |