Logs: freenode/#haskell
| 2020-10-26 10:44:47 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2020-10-26 10:46:57 | hackage | configurator-pg 0.2.5 - Reduced parser for configurator-ng config files https://hackage.haskell.org/package/configurator-pg-0.2.5 (vollmert) |
| 2020-10-26 10:47:36 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2020-10-26 10:52:00 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:5005:892f:e188:1072) |
| 2020-10-26 10:58:12 | × | rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2020-10-26 10:58:46 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2020-10-26 10:58:55 | → | jchia__ joins (~jchia@58.32.37.146) |
| 2020-10-26 10:59:52 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-26 11:00:55 | × | nkly_ quits (~nkly@2a02:8109:9a80:a74:201:2eff:fe81:c6dd) (Ping timeout: 240 seconds) |
| 2020-10-26 11:04:03 | × | sgraf quits (sid326656@gateway/web/irccloud.com/x-fbrdkuvcuoubeycg) (Quit: Connection closed for inactivity) |
| 2020-10-26 11:04:25 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds) |
| 2020-10-26 11:04:37 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 260 seconds) |
| 2020-10-26 11:08:19 | → | esp32_prog joins (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) |
| 2020-10-26 11:08:56 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 265 seconds) |
| 2020-10-26 11:10:27 | × | mimi_vx quits (~mimi@tulipan.habr.nat.praha12.net) (Ping timeout: 260 seconds) |
| 2020-10-26 11:14:02 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-10-26 11:18:08 | → | fendor joins (~fendor@078132040188.public.t-mobile.at) |
| 2020-10-26 11:18:19 | → | nkly joins (~nkly@2a02:8109:9a80:a74:201:2eff:fe81:c6dd) |
| 2020-10-26 11:18:53 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-10-26 11:20:06 | × | dddddd quits (~dddddd@unaffiliated/dddddd) (Ping timeout: 260 seconds) |
| 2020-10-26 11:20:24 | <tomsmeding> | merijn: forgive the off-topic question but do you have a vim binding for :pclose, and if so what :p |
| 2020-10-26 11:20:39 | → | polyrain joins (~polyrain@2001:8003:e501:6901:15fa:5e4:342f:f38b) |
| 2020-10-26 11:24:48 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-26 11:25:07 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-26 11:25:07 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-26 11:25:07 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-26 11:26:54 | <maerwald> | <leader>pc |
| 2020-10-26 11:27:03 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-10-26 11:30:39 | → | dddddd joins (~dddddd@unaffiliated/dddddd) |
| 2020-10-26 11:34:22 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 2020-10-26 11:34:39 | → | drBurgundy joins (9c923c08@156.146.60.8) |
| 2020-10-26 11:35:50 | → | mananamenos_ joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 2020-10-26 11:39:53 | × | firstlove quits (~firstlove@58.246.122.242) (Ping timeout: 260 seconds) |
| 2020-10-26 11:41:47 | → | drbean joins (~drbean@TC210-63-209-141.static.apol.com.tw) |
| 2020-10-26 11:42:15 | → | mimi_vx joins (~mimi@2a01:490:16:1026:f9ef:15f1:410b:ee8a) |
| 2020-10-26 11:42:36 | × | dixie quits (~dixie@real.wilbury.sk) (Read error: Connection reset by peer) |
| 2020-10-26 11:42:44 | → | dixie joins (~dixie@real.wilbury.sk) |
| 2020-10-26 11:42:53 | → | firstlove joins (~firstlove@58.246.122.242) |
| 2020-10-26 11:45:13 | → | mdroumag joins (mdroumag@gateway/vpn/privateinternetaccess/drburgundy) |
| 2020-10-26 11:45:24 | × | hekkaidekapus} quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus}) |
| 2020-10-26 11:45:26 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 2020-10-26 11:45:46 | × | mmohammadi9812 quits (~mmohammad@5.117.59.202) (Ping timeout: 256 seconds) |
| 2020-10-26 11:45:54 | → | mmohammadi9812 joins (~mmohammad@5.115.65.59) |
| 2020-10-26 11:46:07 | × | mdroumag quits (mdroumag@gateway/vpn/privateinternetaccess/drburgundy) (Client Quit) |
| 2020-10-26 11:46:57 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2020-10-26 11:48:19 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 2020-10-26 11:49:02 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2020-10-26 11:49:27 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-26 11:49:50 | × | drBurgundy quits (9c923c08@156.146.60.8) (Remote host closed the connection) |
| 2020-10-26 11:51:21 | <tomsmeding> | it does roll fairly nicely, I guess it works |
| 2020-10-26 11:51:33 | <Uniaika> | oh, hi tomsmeding :) |
| 2020-10-26 11:51:48 | → | alp joins (~alp@2a01:e0a:58b:4920:f086:ff9a:6c6d:3208) |
| 2020-10-26 11:52:11 | <tomsmeding> | hi Uniaika :) |
| 2020-10-26 11:52:31 | <Uniaika> | tomsmeding: how are you doing? |
| 2020-10-26 11:53:02 | × | mmohammadi9812 quits (~mmohammad@5.115.65.59) (Ping timeout: 260 seconds) |
| 2020-10-26 11:53:06 | <tomsmeding> | thesis project :p |
| 2020-10-26 11:53:18 | <tomsmeding> | and migrating from languageclient-neovim to ALE |
| 2020-10-26 11:53:39 | <tomsmeding> | ALE doesn't use neovim's floating window and that annoys me, hence the question above :p |
| 2020-10-26 11:54:26 | <Uniaika> | I do use coc.nvim which works perfectly fine for that :P |
| 2020-10-26 11:54:42 | <Uniaika> | (and it renders the markdown output of hie, contrary to LC-neovim) |
| 2020-10-26 11:55:16 | <maerwald> | coc.nvim is like running an entire website inside my edtior... it's scary (and similarly broken) |
| 2020-10-26 11:57:04 | → | mmohammadi9812 joins (~mmohammad@5.238.178.31) |
| 2020-10-26 11:57:05 | <yushyin> | you even need nodejs ... |
| 2020-10-26 11:57:06 | → | danza joins (~francesco@151.53.69.61) |
| 2020-10-26 11:57:13 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 2020-10-26 11:57:27 | × | cmeiklejohn1 quits (~cmeiklejo@84.39.116.180) (Remote host closed the connection) |
| 2020-10-26 11:57:33 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-10-26 11:57:44 | <maerwald> | it also lights up my editor like a christmas tree... I'm surpised there are no floating window ads |
| 2020-10-26 11:57:50 | <tomsmeding> | I've been attempting to avoid coc.nvim but perhaps I'll have to descend to it at some point |
| 2020-10-26 11:58:11 | × | user38966 quits (3d5cd9fe@061092217254.ctinets.com) (Remote host closed the connection) |
| 2020-10-26 11:58:21 | <yushyin> | at that point you can just use vscode |
| 2020-10-26 11:58:45 | × | firstlove quits (~firstlove@58.246.122.242) (Ping timeout: 240 seconds) |
| 2020-10-26 11:58:47 | <maerwald> | yes and it's actually a better experience |
| 2020-10-26 11:58:56 | <maerwald> | except for editing xD |
| 2020-10-26 11:59:36 | → | Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se) |
| 2020-10-26 12:00:22 | <Uniaika> | I too despise the necessity of using nodejs |
| 2020-10-26 12:00:46 | <Uniaika> | but at some point I make the choice of having a working and full-featured LSP client :P |
| 2020-10-26 12:00:53 | <Uniaika> | LC-neovim does not qualify |
| 2020-10-26 12:00:58 | × | kawaku quits (5cf785e2@92.247.133.226) (Remote host closed the connection) |
| 2020-10-26 12:01:11 | <maerwald> | why |
| 2020-10-26 12:02:09 | <tomsmeding> | LC-neovim completely fails somehow with ghcide |
| 2020-10-26 12:02:33 | <tomsmeding> | if you edit a file, then ~50% of the time imports of that file in all the other modules are suddenly unresolved |
| 2020-10-26 12:03:03 | <tomsmeding> | part of the problem was that file watches were mostly unimplemented in LC-neovim, which I fixed with a PR, but either my code also fails or something else is still broken |
| 2020-10-26 12:03:07 | <maerwald> | works here, except that hls signal handling is fishy and eventually all LSP clients fail and spawn too many instances or fail to shut down exising ones |
| 2020-10-26 12:03:27 | <tomsmeding> | I hope ALE does that better but I haven't stress-tested it yet :p |
| 2020-10-26 12:03:51 | <tomsmeding> | maerwald: I'd like to use hls instead of plain ghcide but hls doesn't work on https://github.com/AccelerateHS/accelerate for some reason |
| 2020-10-26 12:04:22 | <tomsmeding> | but the project is huge so submitting a useful bug report is hard |
| 2020-10-26 12:04:49 | <tomsmeding> | (well, "huge" for my standards, which is not all that huge probably) |
| 2020-10-26 12:07:10 | × | stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 2020-10-26 12:07:28 | → | stree joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) |
| 2020-10-26 12:09:11 | → | jedws joins (~jedws@101.184.148.229) |
| 2020-10-26 12:11:56 | × | andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection) |
| 2020-10-26 12:12:03 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2020-10-26 12:12:41 | → | hyiltiz joins (~quassel@82.118.227.47) |
| 2020-10-26 12:12:41 | × | hyiltiz quits (~quassel@82.118.227.47) (Changing host) |
| 2020-10-26 12:12:41 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2020-10-26 12:12:51 | × | jedws quits (~jedws@101.184.148.229) (Client Quit) |
| 2020-10-26 12:13:35 | × | chaosmasttter quits (~chaosmast@p200300c4a73c460118080c3b2ced1444.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2020-10-26 12:14:44 | → | andi- joins (~andi-@NixOS/user/andi-) |
| 2020-10-26 12:14:51 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.