2024-11-08 00:00:45 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
2024-11-08 00:04:34 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-11-08 00:04:38 +0100 | pnotequalnp | (~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 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
2024-11-08 00:07:47 +0100 | ljdarj1 | ljdarj |
2024-11-08 00:08:19 +0100 | xff0x | (~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 +0100 | merijn | (~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 +0100 | pnotequalnp44 | (~pnotequal@user/pnotequalnp) pnotequalnp |
2024-11-08 00:11:57 +0100 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds) |
2024-11-08 00:13:02 +0100 | pavonia | (~user@user/siracusa) siracusa |
2024-11-08 00:13:49 +0100 | pnotequalnp44 | (~pnotequal@user/pnotequalnp) (Client Quit) |
2024-11-08 00:15:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-11-08 00:21:07 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) |
2024-11-08 00:21:18 +0100 | supercode | (~supercode@user/supercode) supercode |
2024-11-08 00:23:29 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2024-11-08 00:23:46 +0100 | supercode | (~supercode@user/supercode) (Client Quit) |
2024-11-08 00:25:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 00:30:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 00:31:59 +0100 | son0p | (~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 +0100 | Leary | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 00:44:33 +0100 | JuanDaugherty | (~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 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-11-08 00:57:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-11-08 01:00:29 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-11-08 01:00:49 +0100 | jero98772 | (~jero98772@2800:484:1d7c:cc00::1) (Remote host closed the connection) |
2024-11-08 01:00:54 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-11-08 01:01:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 01:02:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
2024-11-08 01:07:06 +0100 | troojg | (~troojg@user/troojg) troojg |
2024-11-08 01:11:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-11-08 01:14:18 +0100 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 244 seconds) |
2024-11-08 01:19:32 +0100 | Feuermagier | Guest603 |
2024-11-08 01:19:32 +0100 | Guest603 | (~Feuermagi@user/feuermagier) (Killed (platinum.libera.chat (Nickname regained by services))) |
2024-11-08 01:21:25 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9509f155732eb456c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-11-08 01:22:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-11-08 01:23:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-11-08 01:26:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:759a:e3d6:c0c3:b78a) (Ping timeout: 248 seconds) |
2024-11-08 01:26:42 +0100 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2024-11-08 01:28:34 +0100 | comonad | (~comonad@p200300d027186300edf824b7b80a34ff.dip0.t-ipconnect.de) |
2024-11-08 01:28:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-11-08 01:37:02 +0100 | user363627 | (~user@user/user363627) user363627 |
2024-11-08 01:39:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |