Newest at the top
2024-05-10 18:23:47 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-10 18:23:15 +0200 | __monty__ | (~toonn@user/toonn) (Client Quit) |
2024-05-10 18:23:08 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-10 18:22:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-10 18:21:47 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-10 18:21:30 +0200 | brox66 | (~Guest42@user/brox66) (Quit: Client closed) |
2024-05-10 18:21:18 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-10 18:16:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-10 18:13:44 +0200 | <glguy> | I don't know of any options for stack. I think you just have to configure your network first to use it |
2024-05-10 18:13:01 +0200 | <brox66> | glguy, I guess you are right. But nevertheless, if ipv6 doen't work for whatever reason, it would be good to be able to fall back to ipv4. I have seen others having the same problem. |
2024-05-10 18:12:31 +0200 | yeitrafferin | (~user@2a04:4540:720d:c100:db27:e626:fcd2:9951) (Quit: Leaving) |
2024-05-10 18:12:21 +0200 | <raehik> | I realize I can perform a transformation early so I never have to return a Natural, so I'm more certain the reification will get inlined now. so lucky this non-issue will remain so xd |
2024-05-10 18:11:16 +0200 | <lambdabot> | 9223372036854775807 |
2024-05-10 18:11:15 +0200 | <EvanR> | > maxBound :: Int |
2024-05-10 18:11:11 +0200 | <raehik> | you make a good point lambdabot |
2024-05-10 18:10:42 +0200 | <lambdabot> | 536870912 |
2024-05-10 18:10:40 +0200 | <EvanR> | > 2^29 |
2024-05-10 18:09:26 +0200 | <raehik> | I guess realistically no one's getting past 2^16. but curious if there's a hard stop |
2024-05-10 18:09:24 +0200 | <EvanR> | if you go over max Int, you'll probably have other problems first |
2024-05-10 18:08:02 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-10 18:07:59 +0200 | <raehik> | s/number of fields in a data type/number of fields in a constructor |
2024-05-10 18:07:42 +0200 | <raehik> | Does GHC place a limit on number of fields in a data type? I'm doing some generics and want to know that I can report the index of a field as an Int or something easier than a Natural. |
2024-05-10 18:05:27 +0200 | __monty_1 | __monty__ |
2024-05-10 18:05:19 +0200 | __monty__ | (~toonn@user/toonn) (Killed (NickServ (GHOST command used by __monty_1))) |
2024-05-10 18:05:03 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 260 seconds) |
2024-05-10 18:04:26 +0200 | __monty_1 | (~toonn@user/toonn) |
2024-05-10 18:02:59 +0200 | <EvanR> | but that's entirely thanks to my ISP |
2024-05-10 18:02:34 +0200 | <EvanR> | I leave my IPV6 enabled and it works |
2024-05-10 18:01:32 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
2024-05-10 18:00:27 +0200 | tram | (~tram@2a02:586:7e3a:cb96:c7d7:78d4:c6de:913a) |
2024-05-10 17:59:47 +0200 | <glguy> | most network applications just assume you have a working network stack. It's relatively uncommon for them to provide workarounds individually for one |
2024-05-10 17:58:42 +0200 | <brox66> | glguy, I have previously disabled ipv6 on my system, since many appllication becomes extremely unresponsive due to it. I believe it has to do wih dns queries. I should make another attempt to make it work, but I wish I could focus on Haskell issues and not having to dig deep into ipv6 now... |
2024-05-10 17:58:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-10 17:56:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-10 17:53:22 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-10 17:51:29 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-10 17:50:18 +0200 | <glguy> | If IPv6 is configured to be broken on your computer you should just fix that |
2024-05-10 17:49:26 +0200 | atwm | (~atwm@19-193-28-81.ftth.cust.kwaoo.net) (Quit: WeeChat 4.0.5) |
2024-05-10 17:49:19 +0200 | <brox66> | Another problem: stack times out for almost any stack command. I believe it tries to use ipv6. Is there a way to force it to use ipv4 instead? |
2024-05-10 17:48:19 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 272 seconds) |
2024-05-10 17:44:38 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-05-10 17:43:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-10 17:42:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-10 17:34:04 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
2024-05-10 17:31:48 +0200 | spamonia | (~user@user/siracusa) |
2024-05-10 17:31:26 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-05-10 17:27:49 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-05-10 17:26:15 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-10 17:25:52 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
2024-05-10 17:25:49 +0200 | rvalue | (~rvalue@user/rvalue) |