Newest at the top
| 2025-01-09 04:50:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 04:48:50 +0100 | <hololeap> | or turn off -Wincomplete-patterns (boo) |
| 2025-01-09 04:48:24 +0100 | <hololeap> | I just need to separate the two constructors that share common logic into their own type, I think, so I can do a nested case statement without the final `_ -> undefined` redundant catchall |
| 2025-01-09 04:46:12 +0100 | glguy | . o O (or-patterns combined with view patterns) |
| 2025-01-09 04:46:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:45:28 +0100 | <glguy> | then or-patterns probably wouldn't have helped |
| 2025-01-09 04:45:26 +0100 | gdr3941 | (~user@50.234.116.5) gdr3941 |
| 2025-01-09 04:45:14 +0100 | <hololeap> | which is just really clunky |
| 2025-01-09 04:44:30 +0100 | <hololeap> | in this code I'm working on, the two branches that share code have different types attached to their constructors, so now my shared function needs to take an Either |
| 2025-01-09 04:42:56 +0100 | <jle`> | er hyped as in hyped to migrate lol |
| 2025-01-09 04:42:55 +0100 | <hololeap> | (or patterns) |
| 2025-01-09 04:42:50 +0100 | <hololeap> | that would be perfect for this |
| 2025-01-09 04:42:37 +0100 | <jle`> | also hyped for multiline strings |
| 2025-01-09 04:42:34 +0100 | <jle`> | hyped for or patterns |
| 2025-01-09 04:42:10 +0100 | <ephemient> | speaking of which, I'm a little amazed it took so long for this to arrive, but it finally did: https://downloads.haskell.org/ghc/9.12.1/docs/users_guide/exts/or_patterns.html |
| 2025-01-09 04:38:54 +0100 | <glguy> | hololeap: shared function is a good default |
| 2025-01-09 04:37:09 +0100 | <hololeap> | I could shove the shared code into some function, or add another inner case statements with a redundant extra branch |
| 2025-01-09 04:36:33 +0100 | <hololeap> | how to handle case statements where two of the three branches share most of the same code, but not all? |
| 2025-01-09 04:35:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 04:30:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:25:28 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-09 04:22:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 04:20:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-09 04:19:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 04:15:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:06:14 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 04:05:42 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Client Quit) |
| 2025-01-09 04:05:41 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 04:05:32 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 04:04:58 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 04:04:56 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 04:04:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-09 04:04:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 04:02:28 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-09 03:59:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:54:55 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-09 03:54:24 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (Client Quit) |
| 2025-01-09 03:52:49 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-09 03:52:06 +0100 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-01-09 03:48:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 03:44:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:38:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-09 03:34:00 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-01-09 03:26:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 03:26:34 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 03:25:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-09 03:19:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:15:32 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 03:14:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-09 03:14:00 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |