Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 500 501 502 503 504 505 506 507 508 509 510 .. 5022
502,152 events total
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.