Logs: freenode/#haskell
| 2021-04-15 04:24:49 | <jackdk> | apparently I needed `documentation: True` in `~/.cabal/config` and not `cabal.project` |
| 2021-04-15 04:26:06 | × | seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-15 04:26:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-04-15 04:26:23 | × | __minoru__shirae quits (~shiraeesh@109.166.59.77) (Ping timeout: 246 seconds) |
| 2021-04-15 04:27:20 | → | seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 2021-04-15 04:28:13 | × | slack1256 quits (~slack1256@191.113.234.51) (Ping timeout: 240 seconds) |
| 2021-04-15 04:30:26 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 04:33:58 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 268 seconds) |
| 2021-04-15 04:34:32 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 04:37:35 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-04-15 04:38:39 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 265 seconds) |
| 2021-04-15 04:38:54 | <gnumonic> | I'm getting a "Reduction stack overflow ... when simplifying the following type: SDecide Nat". Is anything bad going to happen if I listen to the error message and disable the check? (I'm sure my proof terminates) |
| 2021-04-15 04:39:54 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-15 04:42:28 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-04-15 04:44:27 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds) |
| 2021-04-15 04:47:28 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-15 04:47:32 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-15 04:47:52 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-04-15 04:51:24 | → | antaoiseach joins (~z0ltan@103.5.134.18) |
| 2021-04-15 04:51:34 | <antaoiseach> | Hello folks, good place to ask about cabal build failures? |
| 2021-04-15 04:51:51 | <antaoiseach> | (Newbie to the Haskell ecosystem, beginner-intermediate in the language itself) |
| 2021-04-15 04:52:20 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-04-15 04:54:54 | <glguy> | This is a fine place to ask. Things are a bit slow this time of the day |
| 2021-04-15 04:57:57 | <antaoiseach> | glguy: Thank you! |
| 2021-04-15 04:58:38 | <antaoiseach> | So I'm working through the Haskell MOOC (haskell.mooc.fi) course, and my setup was working with a manually installed ghc (8.8.4 IIRC) via homebrew. |
| 2021-04-15 04:59:03 | <antaoiseach> | That led to some problems generating executables (link errors with both clang and gcc), and so I decided to do a fresh install. |
| 2021-04-15 04:59:05 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 2021-04-15 04:59:16 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 246 seconds) |
| 2021-04-15 04:59:26 | <antaoiseach> | I followed the recommended procedure and installed ghc vis ghcup (am on macOS) and installed stack as well |
| 2021-04-15 04:59:53 | <antaoiseach> | The test cases are built using the command `cabal v2-build && cabal v2-exec runhaskell <testfile>` |
| 2021-04-15 04:59:58 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 252 seconds) |
| 2021-04-15 05:00:06 | → | Alleria joins (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 2021-04-15 05:00:17 | <antaoiseach> | Now this gives me problems during the build step itself (the stack version of the instructions also fail spectacularly) |
| 2021-04-15 05:00:29 | Alleria | is now known as Guest80128 |
| 2021-04-15 05:00:38 | <antaoiseach> | ```cabal: Failed to build basement-0.0.11 (which is required by tests-0.0.1). See |
| 2021-04-15 05:00:38 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-15 05:00:41 | <antaoiseach> | the build log above for details. |
| 2021-04-15 05:00:43 | <antaoiseach> | Failed to build clock-0.8.2 (which is required by tests-0.0.1). See the build |
| 2021-04-15 05:00:46 | <antaoiseach> | log above for details. |
| 2021-04-15 05:00:48 | <antaoiseach> | Failed to build hourglass-0.2.12 (which is required by tests-0.0.1). See the |
| 2021-04-15 05:00:51 | <antaoiseach> | build log above for details. |
| 2021-04-15 05:00:51 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-15 05:00:53 | <antaoiseach> | Failed to build hashable-1.3.1.0 (which is required by tests-0.0.1). See the |
| 2021-04-15 05:00:56 | <antaoiseach> | build log above for details. |
| 2021-04-15 05:00:58 | <antaoiseach> | Failed to build network-3.1.2.1 (which is required by tests-0.0.1). See the |
| 2021-04-15 05:01:01 | <antaoiseach> | build log above for details.``` |
| 2021-04-15 05:01:03 | <antaoiseach> | (Sorry, thought the snippet would paste as a single message) |
| 2021-04-15 05:01:24 | <antaoiseach> | I have a suspicion the libraries used by the mooc might be a build old and for an older lts version, but I'm not experienced in the haskell ecosystem enough to figure it out. |
| 2021-04-15 05:01:37 | <antaoiseach> | Any tips to proceed debugging would be highly appreciated! :-) |
| 2021-04-15 05:01:41 | <opqdonut> | antaoiseach: hi, author of haskell.mooc.fi here. I haven't tested the alternative cabal instructions in a while so it might very well be that they're broken. The recommended way is to use stack and that does seem to work for most studens. What problems are you having with stack? |
| 2021-04-15 05:02:31 | <antaoiseach> | Oh hi opqdonut! Stack also crashes out with more inscrutable errors! :-) |
| 2021-04-15 05:02:48 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 2021-04-15 05:03:39 | <antaoiseach> | opqdonut: Sorry, let me get the relevant output ... my computer seems to have frozen |
| 2021-04-15 05:03:55 | <opqdonut> | use some sort of pastebin site |
| 2021-04-15 05:03:58 | <opqdonut> | @where paste |
| 2021-04-15 05:03:58 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-04-15 05:04:04 | <antaoiseach> | opqdonut: yes, will do. Thanks! |
| 2021-04-15 05:04:31 | × | Guest80128 quits (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-15 05:05:00 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-15 05:05:01 | → | aerona joins (~aerona@2600:6c54:4600:f300:3482:b912:44a5:8346) |
| 2021-04-15 05:08:36 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-15 05:08:47 | <opqdonut> | antaoiseach: meanwhile, I tried the cabal v2-build method on my machine and it worked fine, so it's not _completely_ broken :) |
| 2021-04-15 05:09:23 | <antaoiseach> | opqdonut: Here is the error part at the end - https://paste.tomsmeding.com/QMG5AEI7, and the full stack trace for `stack build` - https://paste.tomsmeding.com/llww9793 |
| 2021-04-15 05:09:50 | <antaoiseach> | opqdonut: yes, cabal v2-build worked nicely for me with ghc 8.8.4 (IIRC). Let me my latest versions info |
| 2021-04-15 05:09:57 | × | Natch quits (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-04-15 05:10:15 | <antaoiseach> | ~/.../haskell-mooc/exercises:master$ ghc --version |
| 2021-04-15 05:10:15 | <antaoiseach> | \The Glorious Glasgow Haskell Compilation System, version 8.10.4 |
| 2021-04-15 05:10:15 | <antaoiseach> | ~/.../haskell-mooc/exercises:master$ cabal --version |
| 2021-04-15 05:10:15 | <antaoiseach> | cabal-install version 3.4.0.0 |
| 2021-04-15 05:10:15 | <antaoiseach> | compiled using version 3.4.0.0 of the Cabal library |
| 2021-04-15 05:10:18 | <antaoiseach> | ~/.../haskell-mooc/exercises:master$ stack --version |
| 2021-04-15 05:10:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 05:10:26 | <antaoiseach> | Version 2.5.1, Git revision d6ab861544918185236cf826cb2028abb266d6d5 x86_64 hpack-0.33.0 |
| 2021-04-15 05:10:31 | <antaoiseach> | (stack version) |
| 2021-04-15 05:10:39 | <antaoiseach> | Sorry for the walls of text, appreciate your help! ;-) |
| 2021-04-15 05:11:18 | <sclv> | antaoiseach: ok so tou |
| 2021-04-15 05:11:42 | <sclv> | er ok so you’re using homebrew gcc with ghc? |
| 2021-04-15 05:11:57 | <antaoiseach> | sclv: Previously, but not installed with `ghcup` |
| 2021-04-15 05:12:04 | <antaoiseach> | and stack from the stack site |
| 2021-04-15 05:12:18 | <antaoiseach> | sclv: oh sorry, no, using clang |
| 2021-04-15 05:12:22 | <antaoiseach> | (well, Apple clang) |
| 2021-04-15 05:12:47 | <antaoiseach> | tried with gcc - gave a bunch of errors about unrecognised symbols and gc-options |
| 2021-04-15 05:12:52 | <sclv> | the no pie stuff is a giveaway that there’s something funny with the combo of ghc and your system |
| 2021-04-15 05:13:02 | <antaoiseach> | (gcc/clang/actual clang is a real mess on macOS I know :() |
| 2021-04-15 05:13:16 | <antaoiseach> | sclv: I hope that's the case! |
| 2021-04-15 05:13:24 | <antaoiseach> | not issues with lib versions |
| 2021-04-15 05:13:53 | <sclv> | stack manages ghc in its own way, but if the ghcup installed one works fine my advice is stick to that |
| 2021-04-15 05:14:15 | <sclv> | You can pass a flag to stack so it uses system ghc instead of its own |
| 2021-04-15 05:14:53 | <antaoiseach> | here is my ghc settings file (from `ghc --print-libdir`) if it helps - https://paste.tomsmeding.com/KwXxg7OI |
| 2021-04-15 05:15:15 | <antaoiseach> | sclv: that's for stack, right? the system-ghc flag |
| 2021-04-15 05:15:17 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-15 05:15:20 | → | Natch joins (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 05:16:51 | <sclv> | ya |
| 2021-04-15 05:17:13 | <antaoiseach> | sclv: yes, that makes sense! |
| 2021-04-15 05:17:26 | <sclv> | note that your settings file says that the c compiler supports no-pie but the error message says it doesn’t |
| 2021-04-15 05:17:27 | × | Iam_thor quits (~Iam_thor@185.204.1.185) (Remote host closed the connection) |
| 2021-04-15 05:17:49 | <sclv> | here’s an older ticket with some details https://gitlab.haskell.org/ghc/ghc/-/issues/16656 |
| 2021-04-15 05:17:49 | <antaoiseach> | sclv: lemme try setting that off and try |
| 2021-04-15 05:18:28 | → | michalz joins (~user@185.246.204.44) |
| 2021-04-15 05:18:40 | <sclv> | you can pass verbosity flags to cabal to see the gcc/clang invocations too |
All times are in UTC.