Logs: freenode/#haskell
| 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.