Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 135 136 137 138 139 140 141 142 143 144 145 .. 5022
502,152 events total
2020-09-22 13:20:59 <maralorn> siraben: Hm, maybe emacs is executing hls in the wrong directory? (just grasping here.)
2020-09-22 13:21:05 <fendor> siraben, then my first question would be, are you sure hls produces the errors and not some other tool such as flycheck?
2020-09-22 13:21:29 × aaaaaa quits (~ArthurStr@host-91-90-11-13.soborka.net) (Client Quit)
2020-09-22 13:21:39 <siraben> fendor: ah, when I do flycheck-list-errors, it appears there
2020-09-22 13:21:47 × thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-22 13:21:53 <siraben> So flycheck is the culprit here?
2020-09-22 13:22:10 <fendor> maybe, I am unfortunately not really familiar with emacs plugins
2020-09-22 13:22:12 <siraben> fendor: result of running haskell-language-server https://paste.debian.net/1164295/
2020-09-22 13:22:26 <maralorn> Uuugh. I have never heard about flycheck. m(
2020-09-22 13:22:34 <fendor> that looks ok to me
2020-09-22 13:22:48 <siraben> maralorn: flycheck-verify-setup says https://paste.debian.net/1164296/
2020-09-22 13:23:01 <siraben> First checker to run seems to be lsp
2020-09-22 13:23:20 <fendor> maralorn, I remember that multiple users had problems with errors showing up because of other tools, that is the only reason I know about it :)
2020-09-22 13:23:52 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-09-22 13:23:55 <maralorn> siraben: Can you just disable flycheck and see what happen?
2020-09-22 13:24:41 <siraben> Just disabled flycheck, but now all the hints and so on are gone
2020-09-22 13:24:44 × pgib quits (~textual@lmms/pgib) (Quit: 00 PC LOAD LETTER)
2020-09-22 13:25:10 <fendor> yeah, but the diagnostics are correct? How about completion, and types?
2020-09-22 13:25:17 <fendor> *type on hover
2020-09-22 13:25:24 <siraben> Ok, the types on hover seem to be correct
2020-09-22 13:25:34 <siraben> including the functions from the libraries it couldn't find before
2020-09-22 13:25:40 <siraben> implying that it loads correctly
2020-09-22 13:25:53 fendor throws confetti
2020-09-22 13:26:12 <siraben> Hm? But then why does flycheck report error?
2020-09-22 13:26:16 <siraben> I'm even more confused
2020-09-22 13:26:21 <fendor> flycheck and hls are completely unrelated
2020-09-22 13:26:26 <merijn> siraben: Because it's trying to use GHC directly or something
2020-09-22 13:26:41 <fendor> so I assume the setup of flycheck is broken in some way
2020-09-22 13:26:45 <fendor> but hls seems to work
2020-09-22 13:28:36 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:57:4cba:ee0e:cb3a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 13:28:40 × yoneda quits (~mike@193.206.102.122) (Quit: leaving)
2020-09-22 13:29:20 × LKoen quits (~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-09-22 13:29:49 × niHiggim quits (~manjaro-u@98.122.188.27) (Read error: Connection reset by peer)
2020-09-22 13:29:52 wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-09-22 13:30:04 × mmohammadi9812 quits (~mmohammad@2.178.188.114) (Quit: I quit (╯°□°)╯︵ ┻━┻)
2020-09-22 13:31:05 <maralorn> fendor: Lesson learned.
2020-09-22 13:31:21 <siraben> https://github.com/jwiegley/dot-emacs/blob/18be11e9d1459ec9d80dcea87b562f7cd30f72a9/settings.el#L648
2020-09-22 13:31:22 <siraben> interesting
2020-09-22 13:31:51 dhil joins (~dhil@11.29.39.217.dyn.plus.net)
2020-09-22 13:33:31 <fendor> maralorn, :)
2020-09-22 13:33:46 × ohmysomuchuser quits (~nickednam@dynamic-78-9-0-61.ssp.dialog.net.pl) (Quit: Lost terminal)
2020-09-22 13:34:10 <maralorn> Slightly unrelated: I imagine we could put some magic into nixpkgs so that haskell.packages.ghcxxx.haskell-language-server gives you a haskell-language-server-ghcxxx binary and even built them with hydra, so that we see build errors.
2020-09-22 13:34:12 niHiggim joins (~manjaro-u@98.122.188.27)
2020-09-22 13:34:36 <maralorn> Then tha haskell-language-server-wrapper can work easily under nix, too.
2020-09-22 13:35:00 cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-22 13:35:44 × niHiggim quits (~manjaro-u@98.122.188.27) (Client Quit)
2020-09-22 13:37:50 nbloomf joins (~nbloomf@2600:1700:83e0:1f40:201c:1605:3252:940e)
2020-09-22 13:39:10 <maralorn> I wonder if it would be worth it to have pkgs.haskell-language-server-ghcxxx top-level-packages. Might make it easier for people to discover them.
2020-09-22 13:39:40 <maralorn> Gonna carry that question to a more appropriate channel.
2020-09-22 13:40:27 <siraben> Ok
2020-09-22 13:40:35 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 13:40:40 niHiggim joins (~manjaro-u@2606-a000-4545-ba00-0000-0000-0000-0006.inf6.spectrum.com)
2020-09-22 13:41:10 machinedgod joins (~machinedg@104.249.228.12)
2020-09-22 13:42:03 tzh joins (~tzh@2601:448:c500:5300::82b3)
2020-09-22 13:42:49 × mirk0_ quits (~mirko@unaffiliated/-mirko-/x-2946915) (Ping timeout: 264 seconds)
2020-09-22 13:45:19 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-22 13:46:49 mirk0_ joins (~mirko@unaffiliated/-mirko-/x-2946915)
2020-09-22 13:49:18 × drbean quits (~drbean@TC210-63-209-182.static.apol.com.tw) (Ping timeout: 256 seconds)
2020-09-22 13:51:23 Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-09-22 13:52:29 × evanjs quits (~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-22 13:52:30 p-core joins (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-22 13:53:00 spew joins (uid195861@gateway/web/irccloud.com/x-bhhgjdvsxlzecbgs)
2020-09-22 13:53:48 evanjs joins (~evanjs@075-129-188-019.res.spectrum.com)
2020-09-22 13:54:45 macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-22 13:55:14 ukari joins (~ukari@unaffiliated/ukari)
2020-09-22 13:55:37 kish parts (~oracle@unaffiliated/oracle) ("Leaving")
2020-09-22 13:55:48 ystael joins (~ystael@209.6.50.55)
2020-09-22 13:56:17 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 13:57:10 × Sanchayan quits (~Sanchayan@106.201.35.117) (Quit: leaving)
2020-09-22 13:57:16 × ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-09-22 13:57:45 <ukari> why the type of same field `value1` can't be inferred when use fmap? (https://plaster.tymoon.eu/view/2057)
2020-09-22 13:59:44 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-22 14:00:01 zacts joins (~zacts@dragora/developer/zacts)
2020-09-22 14:00:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-22 14:00:58 hackage rebase 1.7.4 - A more progressive alternative to the "base" package https://hackage.haskell.org/package/rebase-1.7.4 (NikitaVolkov)
2020-09-22 14:01:16 eric_ joins (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df)
2020-09-22 14:02:37 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:201c:1605:3252:940e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 14:03:28 hackage rerebase 1.7.4 - Reexports from "base" with a bunch of other standard libraries https://hackage.haskell.org/package/rerebase-1.7.4 (NikitaVolkov)
2020-09-22 14:05:14 × borne quits (~fritjof@200116b8645e7d00f00953f5fedbeb5e.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-22 14:05:21 × eric_ quits (~eric@2804:431:c7d4:b4fa:173:5d88:9ad1:a8df) (Ping timeout: 246 seconds)
2020-09-22 14:06:53 nbloomf joins (~nbloomf@2600:1700:83e0:1f40:d189:c928:c4c6:61d6)
2020-09-22 14:07:11 ystael joins (~ystael@209.6.50.55)
2020-09-22 14:07:55 × Franciman quits (~francesco@host-82-55-138-222.retail.telecomitalia.it) (Quit: Leaving)
2020-09-22 14:08:37 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 14:08:58 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 260 seconds)
2020-09-22 14:10:17 × alp quits (~alp@2a01:e0a:58b:4920:5c1c:d9c9:7d53:7a49) (Ping timeout: 272 seconds)
2020-09-22 14:10:50 × dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-22 14:13:06 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-22 14:15:16 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-22 14:15:28 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 272 seconds)
2020-09-22 14:16:59 s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-09-22 14:18:00 × machinedgod quits (~machinedg@104.249.228.12) (Ping timeout: 272 seconds)
2020-09-22 14:21:03 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-22 14:22:05 ukari joins (~ukari@unaffiliated/ukari)
2020-09-22 14:22:44 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-09-22 14:22:46 × p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection)
2020-09-22 14:23:10 <hololeap> i have a local cabal project "linked" to my current project using cabal.project.local, but it's not finding the haddock docs for this other project: Warning ... could not find link destinations for ...
2020-09-22 14:23:14 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:d189:c928:c4c6:61d6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-22 14:23:44 ddellacosta joins (~dd@86.106.121.168)
2020-09-22 14:24:29 gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)

All times are in UTC.