Logs: freenode/#haskell
| 2020-10-08 03:37:18 | <Tario> | Hello hello! |
| 2020-10-08 03:38:00 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-08 03:38:06 | → | sand_dull joins (~theuser@104.140.53.43) |
| 2020-10-08 03:38:20 | <Axman6> | lemmih also said hello :) How can we help? |
| 2020-10-08 03:39:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit) |
| 2020-10-08 03:39:57 | × | thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-08 03:40:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-08 03:41:30 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-08 03:42:30 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-10-08 03:44:42 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 272 seconds) |
| 2020-10-08 03:45:22 | → | isovector1 joins (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2020-10-08 03:47:14 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 272 seconds) |
| 2020-10-08 03:51:41 | → | conal joins (~conal@209.58.130.230) |
| 2020-10-08 03:51:47 | × | falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds) |
| 2020-10-08 03:52:05 | × | brandly quits (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2020-10-08 03:53:52 | × | Saukk quits (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection) |
| 2020-10-08 03:54:07 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-10-08 03:54:48 | → | xPaw1 joins (~xPaw@217.146.82.202) |
| 2020-10-08 03:55:22 | <Tario> | I got disc for a moment there, poor connection from my end |
| 2020-10-08 03:55:33 | × | da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-08 03:56:33 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-08 03:56:51 | <Tario> | I was going to ask mainly for some help with a Yesod project I've been working on |
| 2020-10-08 03:56:52 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-08 03:56:52 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-08 03:56:52 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-08 03:57:37 | <Tario> | Mostly documentation or examples on how to implement Json web tokens into a mini-REST API |
| 2020-10-08 03:58:20 | <Tario> | And how to perform authentication with JWT + Yesod in this API |
| 2020-10-08 03:58:28 | <sm[m]> | Tario: tried the yesod book and the examples in the repo/wiki ? |
| 2020-10-08 03:58:50 | <Tario> | Im trying the Yesod book yes |
| 2020-10-08 03:59:09 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds) |
| 2020-10-08 03:59:20 | <Tario> | I haven't checked the wiki/repo, though |
| 2020-10-08 04:00:04 | <Tario> | Also I've found some interesting blogs on how to create rest API's with Yesod. They've been of great help too! |
| 2020-10-08 04:00:41 | → | polyrain joins (~polyrain@2001:8003:e501:6901:5812:b5a0:77ca:ac9e) |
| 2020-10-08 04:00:57 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-10-08 04:01:23 | → | Clough joins (~Cain@194-193-61-41.tpgi.com.au) |
| 2020-10-08 04:02:14 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 2020-10-08 04:03:15 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 2020-10-08 04:04:32 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2020-10-08 04:04:53 | → | mmohammadi981266 joins (~mmohammad@5.238.172.236) |
| 2020-10-08 04:05:22 | <Tario> | Is this the repo you were mentioning? |
| 2020-10-08 04:05:22 | <Tario> | https://github.com/yesodweb/yesod |
| 2020-10-08 04:05:28 | → | nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net) |
| 2020-10-08 04:05:42 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2020-10-08 04:06:43 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2020-10-08 04:09:17 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2020-10-08 04:11:10 | × | conal quits (~conal@209.58.130.230) (Quit: Computer has gone to sleep.) |
| 2020-10-08 04:12:26 | → | conal joins (~conal@209.58.130.230) |
| 2020-10-08 04:12:45 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 2020-10-08 04:12:51 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-10-08 04:14:36 | <sm[m]> | Tario: yes, in that repo's wiki there's a cookbook that might have something |
| 2020-10-08 04:23:07 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds) |
| 2020-10-08 04:23:52 | × | mmohammadi981266 quits (~mmohammad@5.238.172.236) (Quit: I quit (╯°□°)╯︵ ┻━┻) |
| 2020-10-08 04:28:19 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.166) |
| 2020-10-08 04:29:23 | × | Clough quits (~Cain@194-193-61-41.tpgi.com.au) (Read error: Connection reset by peer) |
| 2020-10-08 04:32:00 | → | yxe_tim joins (4640087f@S010664777daccce3.ss.shawcable.net) |
| 2020-10-08 04:34:06 | → | da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com) |
| 2020-10-08 04:34:36 | <yxe_tim> | Hello, (hopefully a quick question), I have installed haskell on wsl2 using ghcup (8.10.2) and then built ghcide, but vscode keeps displaying an error that ghcide was compiled against 8.10.1, does anyone have any experience setting up this toolchain? (WSL2, VSCode, Haskell Extension) |
| 2020-10-08 04:35:01 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 2020-10-08 04:35:11 | <yxe_tim> | (WSL2 ubuntu 20.04) |
| 2020-10-08 04:36:23 | <Axman6> | what does ghcide version say its GHC version is, and is VS Code pointing to the same ghcide executable as the one you're checking? |
| 2020-10-08 04:36:44 | <Axman6> | uh, ghcide --version |
| 2020-10-08 04:36:47 | → | day_ joins (~Unknown@unaffiliated/day) |
| 2020-10-08 04:36:57 | <Axman6> | (though the former works... but then gives an error |
| 2020-10-08 04:36:58 | <Axman6> | ) |
| 2020-10-08 04:37:25 | → | jneira_ joins (~jneira@153.red-176-87-39.dynamicip.rima-tde.net) |
| 2020-10-08 04:39:57 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds) |
| 2020-10-08 04:39:58 | day_ | is now known as day |
| 2020-10-08 04:42:44 | <yxe_tim> | In terminal it says "ghcide version: 0.4.0 (GHC: 8.10) (PATH: ~/.cabal/store/ghc-8.10.2/ghcide-0.4.0-13cf00411000e3d4a0caf0088b938e894a101bcba94c7f863c33d2e1fab1f877/bin/ghcide)", which is what I expect. Is there a way to ask the Haskell language server what version of ghcide it is using? using `find` I don't see an obvious alternate copy |
| 2020-10-08 04:44:36 | <Axman6> | if you open the VS code console with ctrl-` and then go to putput, select "Haskell (haskell-server)" and scrol to the top it should it should print out something like: ghcide version: 0.1.0.0 (GHC: 8.8.3) (PATH: /Users/REDACTED/.local/bin/haskell-language-server-wrapper) (GIT hash: d2654185eef1b0d703cebc694e85438e20600e37) |
| 2020-10-08 04:46:57 | <yxe_tim> | `haskell-language-server version: 0.5.0.0 (GHC: 8.10.1)` somehow I have an older one, okay well there's my answer I guess :) |
| 2020-10-08 04:47:11 | <Axman6> | does it show the path too? |
| 2020-10-08 04:47:50 | <yxe_tim> | yes `(PATH: ~/.ghcup/bin/haskell-language-server-8.10.1~0.5.0)` which is I think the default install location for `ghcup` |
| 2020-10-08 04:49:13 | <Axman6> | the Haskell VS Code plugin will also install the appropriate hls for your project IIRC |
| 2020-10-08 04:49:36 | <Axman6> | I'm not sure therte's much need to do it via ghcup if you're using VS code, but I could be mistaken |
| 2020-10-08 04:52:04 | <yxe_tim> | I removed it with `ghcup` and then reinstalled and now there is no error. 🤷🏻♂️ |
| 2020-10-08 04:52:40 | <yxe_tim> | appreciate your help, thanks Axman |
| 2020-10-08 04:56:33 | <Axman6> | All good :) |
| 2020-10-08 04:57:02 | → | shafox joins (~shafox@106.51.234.111) |
| 2020-10-08 04:57:09 | <Axman6> | that's probably the first time I've ever been able to help with a haskell on windows problem... WSL is truly a game changer in supporting the platform =) |
| 2020-10-08 04:57:45 | × | isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 240 seconds) |
| 2020-10-08 05:00:40 | → | falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) |
| 2020-10-08 05:04:56 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 2020-10-08 05:08:25 | → | polyrain_ joins (~polyrain@203.51.166.163) |
| 2020-10-08 05:09:42 | → | shatriff joins (~vitaliish@217.27.153.240) |
| 2020-10-08 05:10:17 | → | bitmagie joins (~Thunderbi@200116b8069ae700f8d11cefa1f5b393.dip.versatel-1u1.de) |
| 2020-10-08 05:10:22 | × | polyrain quits (~polyrain@2001:8003:e501:6901:5812:b5a0:77ca:ac9e) (Ping timeout: 260 seconds) |
| 2020-10-08 05:11:27 | → | zincy__ joins (~tom@host86-169-79-54.range86-169.btcentralplus.com) |
| 2020-10-08 05:11:37 | × | zincy_ quits (~tom@2a00:23c8:970a:3501:38a6:4546:df42:c1cb) (Remote host closed the connection) |
| 2020-10-08 05:14:19 | × | bitmagie quits (~Thunderbi@200116b8069ae700f8d11cefa1f5b393.dip.versatel-1u1.de) (Client Quit) |
| 2020-10-08 05:15:14 | × | gienah quits (~mwright@gentoo/developer/gienah) (Quit: leaving) |
| 2020-10-08 05:15:45 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-08 05:16:20 | → | _vaibhavingale_ joins (~Adium@203.188.228.27) |
| 2020-10-08 05:16:22 | × | jneira_ quits (~jneira@153.red-176-87-39.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-10-08 05:16:36 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Client Quit) |
| 2020-10-08 05:20:54 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 2020-10-08 05:33:30 | → | alp joins (~alp@2a01:e0a:58b:4920:d4de:2729:ba08:af8) |
| 2020-10-08 05:33:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-10-08 05:33:39 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-10-08 05:33:45 | → | yoeljacobsen joins (~yoel.jaco@5.28.167.89) |
| 2020-10-08 05:33:52 | → | yoja joins (~yoel.jaco@5.28.167.89) |
All times are in UTC.