Newest at the top
| 2025-01-09 05:15:56 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-09 05:15:01 +0100 | <hololeap> | it's also a desugared version of what OrPatterns+ViewPatterns would do |
| 2025-01-09 05:13:27 +0100 | <hololeap> | kind of a duh moment |
| 2025-01-09 05:13:15 +0100 | <hololeap> | I think I see now what to do here (use a shared function but normalize the two types so there is no Either) |
| 2025-01-09 05:09:13 +0100 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-09 05:08:59 +0100 | gdr3941` | (~user@50.234.116.5) (Quit: done) |
| 2025-01-09 05:08:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 05:01:42 +0100 | housemate | (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 05:01:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:00:53 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-01-09 04:58:45 +0100 | gdr3941 | (~user@50.234.116.5) (Ping timeout: 248 seconds) |
| 2025-01-09 04:57:40 +0100 | nkatte | (~nkatte@user/nkatte) nkatte |
| 2025-01-09 04:57:03 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-09 04:56:20 +0100 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-09 04:55:50 +0100 | gdr3941` | (~user@50.234.116.5) |
| 2025-01-09 04:55:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 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 |