Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 849 850 851 852 853 854 855 856 857 858 859 .. 5022
— 502,152 events total
2020-10-25 11:38:05 <__monty__> Or ghcid
2020-10-25 11:38:11 <merijn> ghcid can't do single files
2020-10-25 11:38:23 <merijn> It can only recompile the entire project using cabal
2020-10-25 11:38:32 <tomsmeding> re:ghcide: ... which I have to restart after ~every file I edit because either its file tracking is completely borked, or the interaction between ghcide and languageclient-neovim is crap
2020-10-25 11:38:39 <merijn> Or rather, the only way you can get it to compile single files is if you already know how to do so
2020-10-25 11:38:44 <tomsmeding> quite possibly the latter though
2020-10-25 11:38:48 <merijn> In which case tomsmeding wouldn't be having this issue :p
2020-10-25 11:39:07 <merijn> tomsmeding: I suspect languageclient-neovim
2020-10-25 11:39:07 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-25 11:39:10 <tomsmeding> yeah
2020-10-25 11:39:18 <merijn> It's working pretty great for me with vim + ale
2020-10-25 11:39:32 <tomsmeding> it did file watching in a completely broken way before, which I fixed with a PR, but there's probably more off
2020-10-25 11:39:45 <merijn> ale supports neovim, I think?
2020-10-25 11:40:01 <merijn> Yeah, it does
2020-10-25 11:40:50 <merijn> I quickly hacked together this a year ago (apparently) https://github.com/merijn/dotfiles/blob/master/dotfiles/vim/autoload/ale_linters/haskell/ghcide.vim
2020-10-25 11:40:56 <merijn> 0 warranty, though :p
2020-10-25 11:41:22 <merijn> https://github.com/merijn/dotfiles/blob/master/dotfiles/vim/ftplugin/haskell.vim#L1-L9
2020-10-25 11:42:11 tomsmeding looks
2020-10-25 11:42:25 × kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds)
2020-10-25 11:42:45 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds)
2020-10-25 11:45:03 <tomsmeding> "0 warranty" <- it looks fairly safe though
2020-10-25 11:47:22 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-25 11:47:59 × L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 258 seconds)
2020-10-25 11:48:25 × deftly quits (~user@209.58.189.165) (Ping timeout: 260 seconds)
2020-10-25 11:48:58 <merijn> Should be, but everything I write is "free as in puppies"
2020-10-25 11:49:02 <merijn> :p
2020-10-25 11:49:11 <tomsmeding> merijn: I'll try setting up ALE soon, if it works nicely for you then it probably will for me
2020-10-25 11:49:18 <merijn> (aka "you'll have to pay if you want if fixed" ;))
2020-10-25 11:49:22 <tomsmeding> lol sure
2020-10-25 11:49:39 <tomsmeding> isn't that with ~all open source
2020-10-25 11:49:57 <tomsmeding> also thanks :)
2020-10-25 11:50:19 <merijn> For simple stuff ghcide has been working well for ages, for my phd project it's a bit hit and miss, since that's a Haskell tooling stress test of v2-build, CApiFFI, foreign code and TH :p
2020-10-25 11:51:05 <tomsmeding> I have some TH and foreign code but mostly in modules I'm not touching, so we'll see :)
2020-10-25 11:51:12 tomsmeding is off to eat some lunch
2020-10-25 11:52:03 × drbean quits (~drbean@TC210-63-209-180.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-25 11:52:37 → drbean joins (~drbean@TC210-63-209-195.static.apol.com.tw)
2020-10-25 11:52:42 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-25 11:53:42 × drbean quits (~drbean@TC210-63-209-195.static.apol.com.tw) (Client Quit)
2020-10-25 11:53:50 → L29Ah joins (~L29Ah@unaffiliated/l29ah)
2020-10-25 11:54:21 × thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-25 11:54:40 → thir joins (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-25 11:55:04 → drbean joins (~drbean@TC210-63-209-151.static.apol.com.tw)
2020-10-25 11:55:40 × thir quits (~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-25 12:00:01 × chx quits (~chx@154.13.1.56) ()
2020-10-25 12:04:51 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2020-10-25 12:08:39 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-10-25 12:09:48 × drbean quits (~drbean@TC210-63-209-151.static.apol.com.tw) (Remote host closed the connection)
2020-10-25 12:10:43 → drbean joins (~drbean@TC210-63-209-199.static.apol.com.tw)
2020-10-25 12:12:54 → kish joins (~oracle@unaffiliated/oracle)
2020-10-25 12:12:54 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-25 12:13:05 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-25 12:16:23 × justHaunted quits (~justache@unaffiliated/justache) (Ping timeout: 260 seconds)
2020-10-25 12:17:07 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2020-10-25 12:17:38 → inkbottle joins (~inkbottle@aaubervilliers-654-1-87-219.w86-212.abo.wanadoo.fr)
2020-10-25 12:17:49 × zebrag quits (~inkbottle@aaubervilliers-654-1-64-87.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-25 12:18:14 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-10-25 12:18:27 × xff0x quits (~fox@2001:1a81:53a8:4d00:d040:ea33:23e9:22f) (Ping timeout: 260 seconds)
2020-10-25 12:19:14 → xff0x joins (~fox@2001:1a81:53a8:4d00:58d7:4c60:2850:2b9a)
2020-10-25 12:26:34 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-25 12:28:00 × kish quits (~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-10-25 12:29:08 × johnXL quits (5cf785e2@92.247.133.226) (Remote host closed the connection)
2020-10-25 12:29:24 → kish joins (~oracle@unaffiliated/oracle)
2020-10-25 12:29:51 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-25 12:31:25 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-10-25 12:32:00 → ixlun- joins (~matthew@213.205.241.94)
2020-10-25 12:35:58 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-25 12:36:44 → coot joins (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-25 12:39:59 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-25 12:42:23 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-25 12:46:45 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-25 12:46:58 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e9e0:8366:ee4d:bc13)
2020-10-25 12:48:30 → carlomagno1 joins (~cararell@148.87.23.8)
2020-10-25 12:50:39 × carlomagno quits (~cararell@148.87.23.5) (Remote host closed the connection)
2020-10-25 12:51:45 → ixlun_ joins (~matthew@213.205.241.94)
2020-10-25 12:52:29 × ixlun_ quits (~matthew@213.205.241.94) (Remote host closed the connection)
2020-10-25 12:52:43 → ixlun joins (~matthew@213.205.241.94)
2020-10-25 12:54:30 × ixlun- quits (~matthew@213.205.241.94) (Ping timeout: 256 seconds)
2020-10-25 12:56:14 × coot quits (~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-25 12:56:24 → xmj1 joins (~xmj@154.13.1.56)
2020-10-25 12:58:11 → invaser1 joins (~Thunderbi@31.148.23.125)
2020-10-25 12:58:54 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 258 seconds)
2020-10-25 12:58:54 invaser1 is now known as invaser
2020-10-25 12:59:35 × raym quits (~ray@115.187.50.31) (Remote host closed the connection)
2020-10-25 12:59:58 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-25 13:00:38 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-25 13:03:10 → gothnbass joins (~kvirc@111.red-83-37-117.dynamicip.rima-tde.net)
2020-10-25 13:05:04 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-twosczzfetktowvl)
2020-10-25 13:08:26 → justHaunted joins (~justache@unaffiliated/justache)
2020-10-25 13:08:59 → silver joins (~silver@37.214.78.15)
2020-10-25 13:11:08 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 272 seconds)
2020-10-25 13:13:27 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-10-25 13:17:16 × gothnbass quits (~kvirc@111.red-83-37-117.dynamicip.rima-tde.net) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-10-25 13:20:21 × bliminse quits (~bliminse@host109-158-26-29.range109-158.btcentralplus.com) (Quit: leaving)
2020-10-25 13:28:59 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-25 13:29:23 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e9e0:8366:ee4d:bc13) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-25 13:34:21 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-25 13:34:50 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-25 13:34:50 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-25 13:34:50 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-25 13:37:02 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
←Prev  Next→
Page 1 .. 849 850 851 852 853 854 855 856 857 858 859 .. 5022

All times are in UTC.