Newest at the top
| 2025-11-10 19:00:42 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 19:00:40 +0100 | Googulator | (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:58:37 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-10 18:49:19 +0100 | Googulator | (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-10 18:49:08 +0100 | tromp | (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 18:49:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:47:36 +0100 | <tomsmeding> | oh I see |
| 2025-11-10 18:47:05 +0100 | <haskellbridge> | <Morj> Which an identifier can't start with so \w would still work... Whatever |
| 2025-11-10 18:46:46 +0100 | <haskellbridge> | <Morj> It doesn't match operator symbols, but it matches "'" |
| 2025-11-10 18:46:17 +0100 | <tomsmeding> | seems identical to \w |
| 2025-11-10 18:46:07 +0100 | <tomsmeding> | at least in haskell for me |
| 2025-11-10 18:45:50 +0100 | <tomsmeding> | oh it matches essentially everything |
| 2025-11-10 18:45:29 +0100 | <tomsmeding> | right I found that |
| 2025-11-10 18:45:26 +0100 | <haskellbridge> | <Morj> Like a smarter \w |
| 2025-11-10 18:45:15 +0100 | <haskellbridge> | <Morj> :help /\k - a keyword character |
| 2025-11-10 18:44:46 +0100 | <tomsmeding> | \k? |
| 2025-11-10 18:44:24 +0100 | <tomsmeding> | but yeah it sounds like it should be perfectly fine to support that |
| 2025-11-10 18:44:19 +0100 | <haskellbridge> | <Morj> V/^\k<CR>:s |
| 2025-11-10 18:43:57 +0100 | <tomsmeding> | V}}}:s |
| 2025-11-10 18:43:47 +0100 | <haskellbridge> | <Morj> I have empty lines in my functions ;-) But true |
| 2025-11-10 18:42:40 +0100 | <tomsmeding> | (if we're in vim lingo anyway) |
| 2025-11-10 18:42:38 +0100 | trickard_ | trickard |
| 2025-11-10 18:42:21 +0100 | <tomsmeding> | tbh V}:s |
| 2025-11-10 18:41:59 +0100 | <tomsmeding> | https://github.com/haskell/haskell-language-server/blob/39519d60f868b618ca5c2f07c97a60ddd0e6c2af/p… |
| 2025-11-10 18:41:46 +0100 | <haskellbridge> | <Morj> That's a silly restriction |
| 2025-11-10 18:41:39 +0100 | <haskellbridge> | <Morj> Ohh right. Without an export list I can't even rename local bindings like function arguments |
| 2025-11-10 18:41:35 +0100 | <geekosaur> | it's also possible that multi-component rename is on a WIP branch somewhere, since multi-component support is still fairly new |
| 2025-11-10 18:40:59 +0100 | <geekosaur> | keep in mind that that might have been true for older HLS versions; it is under active development |
| 2025-11-10 18:40:50 +0100 | <tomsmeding> | yes, a module without an export list exports everything so HLS categorically rejects renaming anything in such a module |
| 2025-11-10 18:40:26 +0100 | <haskellbridge> | <Morj> You're right, I get the same error. Am I getting mandela syndrome right now. I was very sure there was some limitation on modules without export lists |
| 2025-11-10 18:38:42 +0100 | <tomsmeding> | Morj: a within-module rename can still be more powerful than :s if the name is a normal english word that also appears in comments |
| 2025-11-10 18:37:52 +0100 | Googulator2 | Googulator |
| 2025-11-10 18:37:50 +0100 | <tomsmeding> | yeah checked the HLS source and this is explicitly unsupported |
| 2025-11-10 18:37:17 +0100 | <tomsmeding> | I haven't used that kind of IDE for a language like Java, but I think there this behaviour is considered standard |
| 2025-11-10 18:37:01 +0100 | <tomsmeding> | well HLS knows about this component, at the very least, and one might expect it to rename inside that |
| 2025-11-10 18:36:39 +0100 | <geekosaur> | tbh I think that's a sane constraint: what else that HLS can't know about might be using it? |
| 2025-11-10 18:36:06 +0100 | <tomsmeding> | or is that my client lol |
| 2025-11-10 18:35:52 +0100 | <tomsmeding> | Morj: "rename: Internal Error: Renaming of an exported name is unsupported" |
| 2025-11-10 18:34:19 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2025-11-10 18:33:47 +0100 | annamalai | (~annamalai@157.33.216.97) annamalai |
| 2025-11-10 18:30:58 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-11-10 18:25:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 18:23:30 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-11-10 18:22:47 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-10 18:22:13 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-10 18:20:54 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:20:54 +0100 | Googulator2 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:20:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-10 18:15:40 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:15:37 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |