Logs: freenode/#haskell
| 2020-09-22 15:42:41 | <Guest_91> | got a prob while installing haskell on mac |
| 2020-09-22 15:42:59 | × | shad0w_ quits (~shad0w_@160.202.36.59) (Ping timeout: 240 seconds) |
| 2020-09-22 15:43:31 | <Guest_91> | can somebody help me ?? |
| 2020-09-22 15:43:46 | <siraben> | Guest_91: just ask your question |
| 2020-09-22 15:44:32 | <Guest_91> | i install haskell via their website but when i wanna use i get the error GHCi command not found |
| 2020-09-22 15:44:58 | <Guest_91> | how to overcome this error?? |
| 2020-09-22 15:46:23 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 2020-09-22 15:46:41 | × | sagax quits (~sagax_nb@213.138.71.146) (Remote host closed the connection) |
| 2020-09-22 15:47:22 | → | Turmfalke joins (~user@unaffiliated/siracusa) |
| 2020-09-22 15:47:32 | → | blase joins (~blase@4e69b241.skybroadband.com) |
| 2020-09-22 15:47:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-22 15:50:13 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) |
| 2020-09-22 15:50:31 | <c_wraith> | well first of all, how did you actually install it? "via the website" isn't really informative. What was the name of the thing you downloaded? What did you run to install it? |
| 2020-09-22 15:50:35 | → | Kaivo joins (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) |
| 2020-09-22 15:51:26 | <Guest_91> | https://www.haskell.org/ghcup/ t |
| 2020-09-22 15:51:45 | <c_wraith> | ok. are you using bash as your shell? |
| 2020-09-22 15:51:59 | <maerwald> | Guest_91: source ~/.ghcup/env |
| 2020-09-22 15:52:03 | <maerwald> | in your current shell |
| 2020-09-22 15:52:06 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 260 seconds) |
| 2020-09-22 15:52:13 | <maerwald> | then add the same line in ~/.bash_profile |
| 2020-09-22 15:52:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-22 15:52:25 | <Guest_91> | i run this code on terminal to instal :curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 2020-09-22 15:52:58 | <Guest_91> | im using the terminal |
| 2020-09-22 15:53:42 | <AWizzArd> | Emacs + Haskell Language Server: the three suggested Emacs plugins (lsp-mode, lsp-ui and lsp-haskell)... do they automatically try to call the haskell-language-server-wrapper exe, as soon as I open a .hs file? Or do I need to configure this binary at first? |
| 2020-09-22 15:54:18 | × | knupfer quits (~Thunderbi@200116b82410ab00c51d1171b9c0c856.dip.versatel-1u1.de) (Quit: knupfer) |
| 2020-09-22 15:54:34 | → | knupfer joins (~Thunderbi@200116b82410ab0070339623689cb0d4.dip.versatel-1u1.de) |
| 2020-09-22 15:56:21 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-gdptvzwawxoahyub) |
| 2020-09-22 15:56:51 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-22 15:57:25 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-09-22 15:57:43 | → | zacts joins (~zacts@dragora/developer/zacts) |
| 2020-09-22 15:58:10 | × | knupfer quits (~Thunderbi@200116b82410ab0070339623689cb0d4.dip.versatel-1u1.de) (Client Quit) |
| 2020-09-22 15:58:23 | → | knupfer joins (~Thunderbi@200116b82410ab006d6825eaf402e280.dip.versatel-1u1.de) |
| 2020-09-22 15:59:10 | → | slack1256 joins (~slack1256@181.203.58.122) |
| 2020-09-22 15:59:38 | × | cpressey quits (~cpressey@88.144.69.118) (Quit: WeeChat 1.9.1) |
| 2020-09-22 15:59:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-22 16:00:15 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 2020-09-22 16:00:25 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 2020-09-22 16:00:58 | <maerwald> | Guest_91: did you do what I said? |
| 2020-09-22 16:02:34 | <Guest_91> | i am new on mac from windows and also new on haskell so please be more explicit !!! |
| 2020-09-22 16:04:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-22 16:05:37 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2020-09-22 16:06:57 | <yushyin> | Needs more punctuation marks |
| 2020-09-22 16:07:16 | <sm[m]> | that's telling you maerwald :) |
| 2020-09-22 16:07:23 | × | ambiso quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 2020-09-22 16:07:42 | → | ambiso joins (~ambiso@209.182.239.205) |
| 2020-09-22 16:08:05 | <sm[m]> | welcome Guest_91 be patient and we can help you :) |
| 2020-09-22 16:08:21 | <maerwald> | I don't have a mac, but sm[m] is very knowledgable about that |
| 2020-09-22 16:08:22 | × | datajerk quits (~datajerk@sense.net) (Quit: ZNC 1.7.3 - https://znc.in) |
| 2020-09-22 16:08:29 | → | mmohammadi9812 joins (~mmohammad@86.106.194.98) |
| 2020-09-22 16:08:32 | <sm[m]> | doh |
| 2020-09-22 16:08:45 | × | blackdog quits (~blackdog@198.211.112.85) (Ping timeout: 240 seconds) |
| 2020-09-22 16:08:46 | <Guest_91> | thank you |
| 2020-09-22 16:09:01 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-09-22 16:09:13 | → | |-\|-\ joins (~justsomeg@216.186.218.241) |
| 2020-09-22 16:09:13 | × | |-\|-\ quits (~justsomeg@216.186.218.241) (Changing host) |
| 2020-09-22 16:09:13 | → | |-\|-\ joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-09-22 16:09:22 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-09-22 16:09:45 | × | relrod quits (~relrod@redhat/ansible.staff.relrod) (Ping timeout: 240 seconds) |
| 2020-09-22 16:10:25 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds) |
| 2020-09-22 16:11:55 | → | Colpop4323 joins (~logstash@176.251.234.203) |
| 2020-09-22 16:12:02 | <sm[m]> | if you use ghcup, I defer to your maerwald who is the worlds number one expert. I use brew or stack's install script, myself |
| 2020-09-22 16:12:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-22 16:12:53 | <yushyin> | Guest_91: do you have the terminal still open? Type in 'source ~/.ghcup/env' and ghcup should work. If yes open the file ~/.bash_profile and also write that line into that file, save it! Open another terminal check if ghcup works |
| 2020-09-22 16:13:00 | <maerwald> | sm[m]: xD |
| 2020-09-22 16:13:05 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 2020-09-22 16:13:13 | <AWizzArd> | About the Haskell Language Server: can it show me the types of sub expressions? For example I mark the var `y` in the call `foo x y z` and it will tell me the type of y? |
| 2020-09-22 16:13:33 | → | blackdog joins (~blackdog@198.211.112.85) |
| 2020-09-22 16:14:17 | <Guest_91> | it workkkkk, thankk youuuuu yushyin!!!! |
| 2020-09-22 16:14:33 | → | relrod joins (~relrod@origin.elrod.me) |
| 2020-09-22 16:14:35 | × | relrod quits (~relrod@origin.elrod.me) (Changing host) |
| 2020-09-22 16:14:35 | → | relrod joins (~relrod@redhat/ansible.staff.relrod) |
| 2020-09-22 16:14:39 | <Turmfalke> | > head (_ : "bar") |
| 2020-09-22 16:14:45 | <lambdabot> | error: |
| 2020-09-22 16:14:45 | <lambdabot> | • Found hole: _ :: Char |
| 2020-09-22 16:14:45 | <lambdabot> | • In the first argument of ‘(:)’, namely ‘_’ |
| 2020-09-22 16:14:50 | <Guest_91> | how can i open the file ~/.bash_profile ?? |
| 2020-09-22 16:15:02 | → | datajerk joins (~datajerk@sense.net) |
| 2020-09-22 16:15:04 | <Turmfalke> | AWizzArd: ^ You could use holes like in the example |
| 2020-09-22 16:15:13 | <yushyin> | Guest_91: With any editor |
| 2020-09-22 16:15:25 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 2020-09-22 16:15:31 | <yushyin> | Don't know what mac users use |
| 2020-09-22 16:16:14 | <sm[m]> | Guest_91: one way is to type: open -a textedit --args ~/.bash_profile |
| 2020-09-22 16:16:16 | <AWizzArd> | Turmfalke: yes sure, I am just comparing what HLS already can do vs. intero. |
| 2020-09-22 16:16:43 | <AWizzArd> | Turmfalke: in Intero I simply mark (in Emacs) the thing I want to know the type of and immediately get it in the mini buffer. |
| 2020-09-22 16:16:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-22 16:17:01 | <Turmfalke> | Oh, I don't know even what those are, sorry |
| 2020-09-22 16:19:44 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-24.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2020-09-22 16:20:16 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds) |
| 2020-09-22 16:20:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-22 16:21:14 | × | nineonin_ quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2020-09-22 16:21:23 | × | Colpop4323 quits (~logstash@176.251.234.203) (Ping timeout: 258 seconds) |
| 2020-09-22 16:22:02 | → | sand_dull joins (~theuser@62.182.99.37) |
| 2020-09-22 16:23:21 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2020-09-22 16:23:37 | × | tomku quits (~tomku@unaffiliated/tomku) (Ping timeout: 264 seconds) |
| 2020-09-22 16:23:47 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-22 16:24:41 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 2020-09-22 16:26:36 | <slack1256> | The RecordDotSyntax is expected to land in 8.12 or so? |
| 2020-09-22 16:27:06 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 2020-09-22 16:27:06 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 2020-09-22 16:27:06 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
All times are in UTC.