Newest at the top
| 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) |
| 2024-05-10 17:24:27 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 260 seconds) |
| 2024-05-10 17:23:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-10 17:19:56 +0200 | <brox66> | EvanR and jackdk, I finally got past the error! I switched back from gcc-12 to gcc-11 using update-alternatives, and now it seems to work! Many thanks!! |
| 2024-05-10 17:19:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-10 17:18:23 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-10 17:16:21 +0200 | euleritian | (~euleritia@dynamic-176-005-132-201.176.5.pool.telefonica.de) |
| 2024-05-10 17:15:41 +0200 | <EvanR> | or whatever the command on the website was at the time |
| 2024-05-10 17:15:24 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2024-05-10 17:15:06 +0200 | euleritian | (~euleritia@dynamic-176-002-065-139.176.2.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-05-10 17:14:15 +0200 | <EvanR> | curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 2024-05-10 17:13:54 +0200 | <brox66> | EvanR, how did you install it? |
| 2024-05-10 17:13:34 +0200 | <EvanR> | I'm on ubuntu, ghcup worked |
| 2024-05-10 17:12:47 +0200 | <brox66> | Yes, I got the impression that ghcup is the recommended way now, and got surprised it was so hard to get it working. |
| 2024-05-10 17:12:46 +0200 | <brox66> | try to switch... |
| 2024-05-10 17:12:46 +0200 | <brox66> | jackdk, thanks! I have already installed all those dependencies successfully. I have a working Rust toolchain, a working c++ environment when I try to compile some examples containing c++ code for CUDA demos, so I believe they work correctly. Although there is a setting between verion 11 and version 12 I can set. Maybe that could be a problem. I'll |
| 2024-05-10 17:12:19 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-10 17:08:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-10 17:05:51 +0200 | <jackdk> | I use nix these days so I'm not across ghcup, though it is the default recommendation |
| 2024-05-10 17:05:37 +0200 | <jackdk> | https://www.haskell.org/ghcup/install/#linux-ubuntu is the packages you need, though I would've thought the script would've installed them for you |