Logs: liberachat/#haskell
| 2025-11-10 14:09:38 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-10 14:10:43 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 14:13:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 14:13:21 | <haskellbridge> | <sm> welcome lucabtz |
| 2025-11-10 14:14:14 | → | m1dnight joins (~m1dnight@d8D861A17.access.telenet.be) |
| 2025-11-10 14:14:19 | <haskellbridge> | <Morj> Welcome lucabtz , are you working on a project or just playing around? I like to do both |
| 2025-11-10 14:14:39 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-11-10 14:14:48 | <lucabtz> | im kinda looking for a project to work on |
| 2025-11-10 14:14:55 | <lucabtz> | i dont have a lot a free time though |
| 2025-11-10 14:15:29 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-10 14:16:10 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 14:16:16 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-11-10 14:16:36 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 14:20:08 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-10 14:27:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 14:27:49 | → | ystael joins (~ystael@user/ystael) |
| 2025-11-10 14:29:48 | <tomsmeding> | Morj: renaming identifiers is not particularly well supported in HLS overall, I don't think it supports renaming across modules, for example |
| 2025-11-10 14:30:07 | <tomsmeding> | so I suspect people just don't use it much |
| 2025-11-10 14:30:21 | <tomsmeding> | because within a single file, doing the rename functionality is not _that_ much less effort than just a search-replace |
| 2025-11-10 14:31:37 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-10 14:31:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 14:35:48 | → | Googulator90 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 14:35:51 | × | Googulator59 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 14:38:09 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-11-10 14:38:25 | × | itaipu quits (~itaipu@168.121.97.28) (Read error: Connection reset by peer) |
| 2025-11-10 14:39:23 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 265 seconds) |
| 2025-11-10 14:40:17 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-10 14:49:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) |
| 2025-11-10 14:49:52 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-10 14:51:55 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 14:55:44 | → | Googulator6 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-10 14:55:45 | × | Googulator90 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 15:02:55 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-10 15:06:39 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-11-10 15:07:31 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-11-10 15:07:47 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-11-10 15:09:13 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-11-10 15:09:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 15:10:16 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 15:10:48 | × | Googulator6 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 15:10:58 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-10 15:11:08 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 15:14:32 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-11-10 15:16:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 15:17:00 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-10 15:17:05 | × | Inline quits (~inlinE@2a02:3035:667:b4a6:302c:e2db:579c:e1ef) (Ping timeout: 265 seconds) |
| 2025-11-10 15:21:34 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-11-10 15:28:00 | → | Inline joins (~inlinE@2a02:3035:673:88a7:64a3:d94e:b8fb:c889) |
| 2025-11-10 15:36:16 | × | annamalai quits (~annamalai@157.33.195.239) (Ping timeout: 256 seconds) |
| 2025-11-10 15:53:19 | Googulator6 | is now known as Googulator |
| 2025-11-10 16:00:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-10 16:10:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 16:14:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 16:15:36 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 16:15:44 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 16:20:08 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 16:20:10 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-10 16:22:35 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-11-10 16:27:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:5862:9c78:2f27:3ade) |
| 2025-11-10 16:27:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-11-10 16:28:52 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-11-10 16:29:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 16:29:08 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-10 16:31:31 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-11-10 16:31:43 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-11-10 16:33:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 16:35:45 | → | Googulator7 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 16:36:23 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-10 16:37:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-11-10 16:37:31 | ljdarj1 | is now known as ljdarj |
| 2025-11-10 16:38:53 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-11-10 16:40:19 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 2025-11-10 16:41:31 | → | jrm joins (~jrm@user/jrm) |
| 2025-11-10 16:45:28 | × | jrm quits (~jrm@user/jrm) (Client Quit) |
| 2025-11-10 16:45:31 | <haskellbridge> | <Morj> tomsmeding: I thought it supported cross-module renames when the import lists are present? Why would I need an in-module rename when I have :s |
| 2025-11-10 16:46:43 | → | jrm joins (~jrm@user/jrm) |
| 2025-11-10 16:47:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 16:51:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 17:04:21 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2025-11-10 17:04:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 17:06:32 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-11-10 17:08:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 17:13:27 | × | gentauro quits (~gentauro@user/gentauro) (Quit: leaving) |
| 2025-11-10 17:14:51 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2025-11-10 17:15:37 | × | Googulator7 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 17:15:40 | → | Googulator16 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 17:20:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 17:20:54 | → | Googulator2 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 17:20:54 | × | Googulator16 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 17:22:13 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-11-10 17:22:47 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-10 17:23:30 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-11-10 17:25:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 17:30:58 | → | petrichor joins (~jez@user/petrichor) |
| 2025-11-10 17:33:47 | → | annamalai joins (~annamalai@157.33.216.97) |
| 2025-11-10 17:34:19 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Read error: Connection reset by peer) |
| 2025-11-10 17:35:52 | <tomsmeding> | Morj: "rename: Internal Error: Renaming of an exported name is unsupported" |
| 2025-11-10 17:36:06 | <tomsmeding> | or is that my client lol |
| 2025-11-10 17:36:39 | <geekosaur> | tbh I think that's a sane constraint: what else that HLS can't know about might be using it? |
| 2025-11-10 17:37:01 | <tomsmeding> | well HLS knows about this component, at the very least, and one might expect it to rename inside that |
All times are in UTC.