2025/01/09

Newest at the top

2025-01-09 05:48:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:35:17 +0100hueso(~root@user/hueso) hueso
2025-01-09 05:31:29 +0100hueso(~root@user/hueso) (Quit: hueso)
2025-01-09 05:30:15 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-09 05:29:30 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-01-09 05:26:45 +0100chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-01-09 05:26:14 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-01-09 05:24:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-09 05:19:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:15:56 +0100gorignak(~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 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-09 05:08:59 +0100gdr3941`(~user@50.234.116.5) (Quit: done)
2025-01-09 05:08:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-09 05:01:42 +0100housemate(~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) housemate
2025-01-09 05:01:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 05:00:53 +0100user363627(~user@user/user363627) (Ping timeout: 248 seconds)
2025-01-09 04:58:45 +0100gdr3941(~user@50.234.116.5) (Ping timeout: 248 seconds)
2025-01-09 04:57:40 +0100nkatte(~nkatte@user/nkatte) nkatte
2025-01-09 04:57:03 +0100weary-traveler(~user@user/user363627) user363627
2025-01-09 04:56:20 +0100nkatte(~nkatte@user/nkatte) (Quit: nkatte)
2025-01-09 04:55:50 +0100gdr3941`(~user@50.234.116.5)
2025-01-09 04:55:02 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds)
2025-01-09 04:50:26 +0100merijn(~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 +0100glguy. o O (or-patterns combined with view patterns)
2025-01-09 04:46:06 +0100merijn(~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 +0100gdr3941(~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 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-09 04:30:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-09 04:25:28 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-09 04:22:12 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-09 04:20:05 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-01-09 04:19:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-09 04:15:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn