Logs: liberachat/#haskell
| 2025-11-10 17:37:17 | <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 17:37:50 | <tomsmeding> | yeah checked the HLS source and this is explicitly unsupported |
| 2025-11-10 17:37:52 | Googulator2 | is now known as Googulator |
| 2025-11-10 17:38:42 | <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 17:40:26 | <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 17:40:50 | <tomsmeding> | yes, a module without an export list exports everything so HLS categorically rejects renaming anything in such a module |
| 2025-11-10 17:40:59 | <geekosaur> | keep in mind that that might have been true for older HLS versions; it is under active development |
| 2025-11-10 17:41:35 | <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 17:41:39 | <haskellbridge> | <Morj> Ohh right. Without an export list I can't even rename local bindings like function arguments |
| 2025-11-10 17:41:46 | <haskellbridge> | <Morj> That's a silly restriction |
| 2025-11-10 17:41:59 | <tomsmeding> | https://github.com/haskell/haskell-language-server/blob/39519d60f868b618ca5c2f07c97a60ddd0e6c2af/plugins/hls-rename-plugin/src/Ide/Plugin/Rename.hs#L123-L140 |
| 2025-11-10 17:42:21 | <tomsmeding> | tbh V}:s |
| 2025-11-10 17:42:38 | trickard_ | is now known as trickard |
| 2025-11-10 17:42:40 | <tomsmeding> | (if we're in vim lingo anyway) |
| 2025-11-10 17:43:47 | <haskellbridge> | <Morj> I have empty lines in my functions ;-) But true |
| 2025-11-10 17:43:57 | <tomsmeding> | V}}}:s |
| 2025-11-10 17:44:19 | <haskellbridge> | <Morj> V/^\k<CR>:s |
| 2025-11-10 17:44:24 | <tomsmeding> | but yeah it sounds like it should be perfectly fine to support that |
| 2025-11-10 17:44:46 | <tomsmeding> | \k? |
| 2025-11-10 17:45:15 | <haskellbridge> | <Morj> :help /\k - a keyword character |
| 2025-11-10 17:45:26 | <haskellbridge> | <Morj> Like a smarter \w |
| 2025-11-10 17:45:29 | <tomsmeding> | right I found that |
| 2025-11-10 17:45:50 | <tomsmeding> | oh it matches essentially everything |
| 2025-11-10 17:46:07 | <tomsmeding> | at least in haskell for me |
| 2025-11-10 17:46:17 | <tomsmeding> | seems identical to \w |
| 2025-11-10 17:46:46 | <haskellbridge> | <Morj> It doesn't match operator symbols, but it matches "'" |
| 2025-11-10 17:47:05 | <haskellbridge> | <Morj> Which an identifier can't start with so \w would still work... Whatever |
| 2025-11-10 17:47:36 | <tomsmeding> | oh I see |
| 2025-11-10 17:49:00 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 17:49:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 17:49:19 | → | Googulator joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-10 17:58:37 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-10 18:00:40 | × | Googulator quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:00:42 | → | Googulator16 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:10:56 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds) |
| 2025-11-10 18:13:43 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 2025-11-10 18:18:28 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-10 18:20:49 | → | Googulator24 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:20:49 | × | Googulator16 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:24:00 | Googulator24 | is now known as Googulator |
| 2025-11-10 18:30:35 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:30:42 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:32:18 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-10 18:33:36 | → | tromp joins (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) |
| 2025-11-10 18:34:34 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-11-10 18:35:45 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-10 18:37:03 | → | img joins (~img@user/img) |
| 2025-11-10 18:38:24 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-10 18:42:03 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:dcbd:e63a:1e59:c9c4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-11-10 18:42:20 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:d977:548d:70c4:d88f) |
| 2025-11-10 18:47:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 18:48:47 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-10 18:50:44 | → | Googulator64 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 18:50:49 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 18:53:37 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 265 seconds) |
| 2025-11-10 18:54:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 19:05:27 | × | comonad quits (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-10 19:10:31 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2025-11-10 19:20:05 | → | haritz joins (~hrtz@140.228.70.141) |
| 2025-11-10 19:20:05 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2025-11-10 19:20:05 | → | haritz joins (~hrtz@user/haritz) |
| 2025-11-10 19:20:54 | → | weary-traveler joins (~user@user/user363627) |
| 2025-11-10 19:32:17 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-10 19:33:35 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-11-10 19:35:04 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-10 19:39:59 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-11-10 19:49:10 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-10 19:50:16 | → | califax joins (~califax@user/califx) |
| 2025-11-10 19:50:45 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-10 19:58:12 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-10 19:59:12 | → | califax joins (~califax@user/califx) |
| 2025-11-10 20:05:57 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-11-10 20:07:47 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 2025-11-10 20:07:49 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 2025-11-10 20:12:41 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-10 20:15:39 | → | Googulator78 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-10 20:17:50 | × | Googulator64 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 20:18:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 20:23:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 20:31:55 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2025-11-10 20:34:05 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2025-11-10 20:35:35 | × | Googulator78 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 20:35:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 20:35:42 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 20:40:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 20:50:42 | → | Googulator62 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 20:50:48 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 20:51:55 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 2025-11-10 20:53:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 20:53:37 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2025-11-10 20:53:55 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-11-10 20:57:38 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-10 20:57:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 21:07:14 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-10 21:10:00 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Client Quit) |
| 2025-11-10 21:10:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 21:10:29 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-10 21:10:41 | → | Googulator5 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 21:10:46 | × | Googulator62 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 21:14:38 | → | infinity0 joins (~infinity0@pwned.gg) |
All times are in UTC.