2024/11/08

2024-11-08 00:00:45 +0100notzmv(~daniel@user/notzmv) notzmv
2024-11-08 00:04:34 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-08 00:04:38 +0100pnotequalnp(~pnotequal@user/pnotequalnp) pnotequalnp
2024-11-08 00:06:47 +0100 <yin> this is fun!: i have a bidirectional pattern synonym and try to use record update syntax like `MyPattern { x = ... }` i can get the error `constructor MyPattern does not have field 'x'`
2024-11-08 00:07:10 +0100 <yin> the solution: `(MyPattern) { x = ... }`
2024-11-08 00:07:46 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2024-11-08 00:07:47 +0100ljdarj1ljdarj
2024-11-08 00:08:19 +0100xff0x(~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 260 seconds)
2024-11-08 00:08:24 +0100 <yin> this feels kind of lispy
2024-11-08 00:09:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 00:10:51 +0100 <yin> also feels like PatternSynonyms could be patched to allow the former
2024-11-08 00:11:07 +0100pnotequalnp44(~pnotequal@user/pnotequalnp) pnotequalnp
2024-11-08 00:11:57 +0100pnotequalnp(~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds)
2024-11-08 00:13:02 +0100pavonia(~user@user/siracusa) siracusa
2024-11-08 00:13:49 +0100pnotequalnp44(~pnotequal@user/pnotequalnp) (Client Quit)
2024-11-08 00:15:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-11-08 00:21:07 +0100xff0x(~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a)
2024-11-08 00:21:18 +0100supercode(~supercode@user/supercode) supercode
2024-11-08 00:23:29 +0100CoolMa7(~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…)
2024-11-08 00:23:46 +0100supercode(~supercode@user/supercode) (Client Quit)
2024-11-08 00:25:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 00:30:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 00:31:59 +0100son0p(~ff@186.121.30.70) son0p
2024-11-08 00:32:34 +0100 <c_wraith> that definitely sounds like a feature it should have.
2024-11-08 00:32:54 +0100 <c_wraith> If it allows you to create a record pattern, it should use the same syntax as a record pattern...
2024-11-08 00:33:05 +0100 <monochrom> To me it feels like kind of CPP. "#define add(x,y) ((x)+(y))" :)
2024-11-08 00:33:49 +0100 <monochrom> PPP = pattern pre-processor >:)
2024-11-08 00:36:51 +0100 <geekosaur> record update syntax is a bit weird
2024-11-08 00:37:38 +0100 <c_wraith> like at the parser level?
2024-11-08 00:37:41 +0100 <monochrom> It's probably a simple oversight in the parser.
2024-11-08 00:38:00 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2024-11-08 00:39:37 +0100 <geekosaur> yeh, it's probably missing a case for patsyns so it makes you fall into the parenthesized expression case
2024-11-08 00:42:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 00:44:33 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-11-08 00:44:34 +0100 <geekosaur> they left
2024-11-08 00:44:38 +0100 <geekosaur> whoops
2024-11-08 00:47:13 +0100 <geekosaur> anyway it sounds like someone should file a bug on gitlab
2024-11-08 00:50:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 00:57:10 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-08 01:00:29 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-11-08 01:00:49 +0100jero98772(~jero98772@2800:484:1d7c:cc00::1) (Remote host closed the connection)
2024-11-08 01:00:54 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2024-11-08 01:01:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 01:02:52 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
2024-11-08 01:07:06 +0100troojg(~troojg@user/troojg) troojg
2024-11-08 01:11:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-11-08 01:14:18 +0100sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 244 seconds)
2024-11-08 01:19:32 +0100FeuermagierGuest603
2024-11-08 01:19:32 +0100Guest603(~Feuermagi@user/feuermagier) (Killed (platinum.libera.chat (Nickname regained by services)))
2024-11-08 01:21:25 +0100acidjnk(~acidjnk@p200300d6e7283f9509f155732eb456c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-11-08 01:22:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-08 01:23:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 01:26:25 +0100xff0x(~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 248 seconds)
2024-11-08 01:26:42 +0100comonad(~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2024-11-08 01:28:34 +0100comonad(~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de)
2024-11-08 01:28:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 01:37:02 +0100user363627(~user@user/user363627) user363627