Logs: liberachat/#haskell
| 2025-12-02 04:24:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 04:31:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 04:35:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 04:37:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 04:41:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 04:50:28 | × | Googulator70 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 04:50:39 | → | Googulator70 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 04:52:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 04:54:02 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 04:56:42 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 04:57:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 05:02:04 | → | Guest5 joins (~Guest5@c-67-164-2-23.hsd1.ca.comcast.net) |
| 2025-12-02 05:02:21 | × | Guest5 quits (~Guest5@c-67-164-2-23.hsd1.ca.comcast.net) (Client Quit) |
| 2025-12-02 05:02:35 | → | iqubic joins (~sophia@2601:602:9203:1660:dd83:8e66:bfcb:8c1e) |
| 2025-12-02 05:04:40 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 246 seconds) |
| 2025-12-02 05:06:42 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-12-02 05:06:55 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds) |
| 2025-12-02 05:08:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 05:12:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 05:13:51 | trickard_ | is now known as trickard |
| 2025-12-02 05:19:04 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-02 05:23:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 05:27:05 | <Leary> | zoil: Let me quote myself: "There is a kind-of workaround for `Read`-like cases by taking a singleton as a constraint and matching on it, but then you have to supply that singleton constraint everywhere instead." |
| 2025-12-02 05:27:29 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-02 05:27:42 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-02 05:28:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 05:29:52 | <Leary> | However, if you have multiple such cases, the same singleton constraint will cover all of them. Further, these constraints often useful in and of themselves. |
| 2025-12-02 05:30:42 | <Leary> | are often* |
| 2025-12-02 05:31:05 | trickard_ | is now known as trickard |
| 2025-12-02 05:39:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 05:43:21 | → | michalz joins (~michalz@185.246.207.221) |
| 2025-12-02 05:43:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-02 05:44:02 | → | Square2 joins (~Square4@user/square) |
| 2025-12-02 05:46:55 | × | Square quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-02 05:54:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 05:55:42 | <iqubic> | Um... This is a strange LSP error. It looks like applying hlint code refactoring doesn't work on GHC 9.10 |
| 2025-12-02 05:55:47 | <iqubic> | 2025-12-02T05:54:01.159312Z | Error | hlint: Internal Error: Exception in plugin PluginId "hlint" while processing SMethod_CodeActionResolve: Cannot apply refactoring: apply-refact does not work on GHC 9.10 |
| 2025-12-02 05:57:00 | <iqubic> | And now my LSP just exited! |
| 2025-12-02 05:58:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 06:00:14 | <iqubic> | https://dpaste.alwaysdata.org/2T0oxtWG |
| 2025-12-02 06:00:53 | <iqubic> | I'm not sure if any of you know enough about the Haskell LSP to help me here. |
| 2025-12-02 06:07:04 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-02 06:09:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 06:12:06 | <iqubic> | From what I can tell, this seems to be an issue with HLint, GHC 9.10.3, and NixOS. |
| 2025-12-02 06:12:13 | <iqubic> | https://github.com/haskell/haskell-language-server/issues/4674 |
| 2025-12-02 06:13:15 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-02 06:14:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 06:22:08 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-12-02 06:24:05 | → | bliminse joins (~bliminse@user/bliminse) |
| 2025-12-02 06:25:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 06:29:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-02 06:38:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 06:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 06:44:30 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-12-02 06:45:07 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 2025-12-02 06:45:28 | divlamir_ | is now known as divlamir |
| 2025-12-02 06:50:44 | × | Googulator70 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 06:50:52 | → | Googulator29 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 06:53:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-02 06:53:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 06:58:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-02 07:04:31 | × | X-Scale quits (~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-02 07:09:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 07:12:15 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-02 07:12:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:4073:6a24:b181:8b56) |
| 2025-12-02 07:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 07:16:12 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-02 07:16:28 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-12-02 07:19:30 | × | annamalai quits (~annamalai@2409:4042:4dc2:f11::9e8a:e814) (Remote host closed the connection) |
| 2025-12-02 07:20:43 | × | Googulator29 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 07:20:50 | → | Googulator29 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 07:22:14 | → | annamalai joins (~annamalai@157.32.222.111) |
| 2025-12-02 07:23:09 | × | annamalai quits (~annamalai@157.32.222.111) (Remote host closed the connection) |
| 2025-12-02 07:23:40 | → | annamalai joins (~annamalai@157.32.222.111) |
| 2025-12-02 07:27:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 07:27:50 | × | annamalai quits (~annamalai@157.32.222.111) (Ping timeout: 245 seconds) |
| 2025-12-02 07:29:42 | × | hc quits (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-02 07:31:30 | → | annamalai joins (~annamalai@157.32.222.111) |
| 2025-12-02 07:31:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-02 07:32:50 | × | vgtw quits (~vgtw@user/vgtw) (Ping timeout: 245 seconds) |
| 2025-12-02 07:34:44 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 272 seconds) |
| 2025-12-02 07:36:30 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-02 07:39:01 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-02 07:39:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 07:41:19 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-12-02 07:41:34 | → | hc joins (~hc@mail.hce.li) |
| 2025-12-02 07:42:55 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2025-12-02 07:44:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-02 07:44:28 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-12-02 07:45:47 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-12-02 07:50:43 | × | Googulator29 quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 07:50:49 | → | Googulator32 joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-02 07:51:05 | × | hc quits (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-02 07:51:43 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-02 07:51:55 | → | hc joins (~hc@mail.hce.li) |
| 2025-12-02 07:55:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-02 07:56:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-02 07:56:40 | × | annamalai quits (~annamalai@157.32.222.111) (Remote host closed the connection) |
| 2025-12-02 07:57:12 | → | annamalai joins (~annamalai@157.32.222.111) |
| 2025-12-02 08:00:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
All times are in UTC.