2024/11/08

Newest at the top

2024-11-08 22:14:20 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-11-08 22:12:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 22:11:32 +0100briandaed(~root@185.234.210.211) (Remote host closed the connection)
2024-11-08 22:08:20 +0100 <hololeap> could (toList :: Tree a -> [a]) be considered a forgetful functor?
2024-11-08 22:05:57 +0100 <yahb2> Node :: a -> [Tree a] -> Tree a
2024-11-08 22:05:57 +0100 <hololeap> % :t Node
2024-11-08 22:05:55 +0100 <yahb2> <no output>
2024-11-08 22:05:55 +0100 <hololeap> % import Data.Tree
2024-11-08 22:05:44 +0100 <yahb2> <interactive>:1:1: error: [GHC-88464] ; Data constructor not in scope: Node
2024-11-08 22:05:44 +0100 <hololeap> % :t Node
2024-11-08 22:01:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 21:56:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 21:55:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-11-08 21:54:37 +0100ChanServ+v haskellbridge
2024-11-08 21:54:37 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2024-11-08 21:53:48 +0100haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-11-08 21:50:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 21:38:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-11-08 21:38:45 +0100 <yin> just restructured everything so i don't have to match any of that
2024-11-08 21:38:17 +0100 <yin> tomsmeding: ty. i'm trying to avoid funkyness
2024-11-08 21:37:16 +0100 <briandaed> I stole it from someone probably, not sure from whom
2024-11-08 21:35:26 +0100 <sm> briandaed your nick is breaking my brain :)
2024-11-08 21:34:53 +0100 <lambdabot> Done.
2024-11-08 21:34:53 +0100 <sm> @where+ stack-ghcup https://www.haskell.org/ghcup/guide/#stack-integration
2024-11-08 21:34:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 21:23:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-11-08 21:22:37 +0100 <tomsmeding> if you want to get funky you can also `| y@Pattern { z = ((== minBound) -> True) } <- g x = ...` using ViewPatterns but... perhaps don't :D
2024-11-08 21:22:00 +0100 <tomsmeding> or | y <- g x, z y == minBound = ...
2024-11-08 21:21:45 +0100 <tomsmeding> | y@Pattern { z = zval } <- g x, zval == minBound = ...
2024-11-08 21:21:16 +0100 <tomsmeding> *this
2024-11-08 21:21:11 +0100 <tomsmeding> patterns don't allow thus, use a separate guard
2024-11-08 21:21:01 +0100 <tomsmeding> yin: you mean matching on a constant instead of a constructor?
2024-11-08 21:20:35 +0100 <yin> f x | y@Pattern { z = minBound } <- g x = ...
2024-11-08 21:20:21 +0100 <yin> sorry i mean
2024-11-08 21:19:32 +0100 <yin> is there an ergonomic way of achieving this?
2024-11-08 21:19:19 +0100 <yin> what about `f x | y@Pattern { z = minBound } = ...` ?
2024-11-08 21:19:17 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-08 21:18:26 +0100Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Read error: Connection reset by peer)
2024-11-08 21:18:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 21:15:34 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2024-11-08 21:15:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-08 21:13:22 +0100 <shapr> briandaed: thanks!
2024-11-08 21:11:24 +0100 <briandaed> https://github.com/haskell/cabal/issues/6659
2024-11-08 21:10:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-11-08 21:08:37 +0100 <shapr> Is there a 'fix' ? Maybe Cabal can save an index cache per version?
2024-11-08 21:07:55 +0100 <shapr> I use Nix and I switch GHC and cabal versions between projects, I think that's the cause of this warning? Warning: Parsing the index cache failed (Data.Binary.Get.runGet at position 16: Non-matching structured hashes:
2024-11-08 21:07:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-11-08 21:02:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-11-08 21:02:21 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-11-08 21:00:40 +0100caconym(~caconym@user/caconym) caconym